release
Releases the allocation of the resource
If the allocation was made to satisfy a request against a pool, the waiting requests in the queue name the pool rather than the member that happened to be allocated, so the release processes that queue on the pool's behalf. The allocation records which pool it came from, so this is automatic and the caller does not choose. Releasing a member allocation of a pool therefore still wakes the entities queued for that pool.
Parameters
represents an allocation of so many units of a resource to an entity
the priority associated with this release. This priority is used to order the resumption events associated with the release. If multiple releases occur at the same simulated time, this priority can be used to order the associated resumption of dependent processes.
Releases ANY(ALL) allocations related to the resource that are allocated to the entity currently executing this process
Parameters
the resource to release
the priority associated with this release. This priority is used to order the resumption events associated with the release. If multiple releases occur at the same simulated time, this priority can be used to order the associated resumption of dependent processes.
Releases the allocations associated with using a ResourcePool
Parameters
the priority associated with this release. This priority is used to order the resumption events associated with the release. If multiple releases occur at the same simulated time, this priority can be used to order the associated resumption of dependent processes.