|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: INNER | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||
java.lang.Object
|
+--one.world.core.Component
|
+--one.world.binding.LeaseManager
Implementation of a lease manager. A lease manager is responsible for managing the leases governing access to leased resources.
Leased resources are provided by resource managers. When a resource manager receives a binding request for one of the resources it manages, it acquires the corresponding lease from its lease manager through an acquire lease event. The lease manager then handles lease renewal and cancellation. It notifies the resource manager of cancellation through a canceled lease event. Resource managers may receive several canceled lease events for the same resource and should simply ignore repeated canceled lease events.
Note that when the lease manager sends a canceled lease event to the resource manager, the canceled lease event's closure is the same as the closure of the corresponding acquire lease event.
Imported and Exported Event Handlers
Exported event handler(s):
BindingRequest,
LeaseEvent, Serialized Form| Inner Class Summary | |
static class |
LeaseManager.Acquire
The event handler for processing lease acquisition. |
| Inner classes inherited from class one.world.core.Component |
Component.HandlerReference, Component.Importer |
| Constructor Summary | |
LeaseManager(Environment env)
Create a new instance of LeaseManager. |
|
| Method Summary | |
static void |
acquire(BindingRequest request,
EventHandler resource,
EventHandler leaseManager)
Acquire a lease. |
static void |
acquire(BindingRequest request,
EventHandler resource,
EventHandler resourceManager,
EventHandler leaseManager)
Acquire a lease. |
ComponentDescriptor |
getDescriptor()
Get the component descriptor. |
| Methods inherited from class one.world.core.Component |
declareExported, declareImported, equals, eventHandlers, getDescriptor, getEnvironment, getLinkedHandlers, getLinkedNumber, getTimer, hasEventHandler, hashCode, isFullyLinked, isLinked, isSealed, link, link, run, seal, unbox, undeclare, unlink, wrap |
| Methods inherited from class java.lang.Object |
clone, finalize, getClass, notify, notifyAll, toString, wait, wait, wait |
| Constructor Detail |
public LeaseManager(Environment env)
LeaseManager.env - The environment for the new instance.| Method Detail |
public ComponentDescriptor getDescriptor()
getDescriptor in class Componentone.world.core.Component
public static void acquire(BindingRequest request,
EventHandler resource,
EventHandler leaseManager)
Calling this method is equivalent to calling
leaseManager.handle(new
LeaseEvent(new Acquire(request, resource), null,
LeaseEvent.ACQUIRE, resource,
request.descriptor, request.duration));
The specified binding request must be a valid binding request. The specified resource must correctly handle canceled lease events. The specified lease manager must correctly handle acquire lease events.
request - The binding request.resource - The corresponding resource.leaseManager - The lease manager.LeaseManager.Acquire
public static void acquire(BindingRequest request,
EventHandler resource,
EventHandler resourceManager,
EventHandler leaseManager)
Calling this method is equivalent to calling
leaseManager.handle(new
LeaseEvent(new Acquire(request, resource), null,
LeaseEvent.ACQUIRE, resourceManager,
request.descriptor, request.duration));
The specified binding request must be a valid binding request. The specified resource manager must correctly handle canceled lease events. The specified lease manager must correctly handle acquire lease events.
request - The binding request.resource - The corresponding resource.resourceManager - The resource manager.leaseManager - The lease manager.LeaseManager.Acquire
|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: INNER | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||