Module facility

The facility entity.

Structs

Facility

Represents a facility.

FacilityPreemptMode

The facility preemption mode.

FacilityPreemptTransfer

Proceed with the computation by the specified preempted transact and remaining time from the process holding computation such as the Advance block.

NewFacility

Computation that creates a new facility.

Preempt

Preempt the facility.

Release

Release the facility.

Seize

Seize the facility.

Functions

preempt_facility

Preempt the facility within Process computation.

release_facility

Release the facility by the active transact within Process computation.

return_facility

Return the facility by the active transact within Process computation.

seize_facility

Seize the facility within Process computation.