Resource CIfc
Properties
Access to the busy state. Busy means at least 1 unit of the resource is allocated.
If b(t) is greater than zero
Access to the idle state. Idle means that no units of the resource are allocated.
Access to the inactive state. Inactive means that the capacity of the resource is 0
The initial capacity of the resource at the start of the replication. The initial capacity must be greater than 0.
The initial request queue notification rule for controlling the order in which queues are notified for processing requests after a capacity change.
If b(t) is the number of busy units, and c(t) is the current capacity, then the instantaneous utilization iu(t) is
Statistical response representing the number of busy units of the resource.
The number of times that the resource has been released (deallocated)
The number of times that the resource has been seized (allocated)
The last (previous) state before the current state.
Statistical response representing the utilization of the resource. This is the time average number of busy units divided by the time average capacity: the utilization of the capacity actually on shift.
The number of allocations made from the resource: one per allocation whatever its amount, including direct allocate() calls. It counts starts of service, not completions or throughput.
A general attribute that can be used to assist with selecting resources
The current state of the resource.
Indicates if proportion of time spent in states (idle, busy, inactive) is automatically reported
time average instantaneous utilization. Time with no capacity counts as zero, so under a capacity schedule this is lower than scheduledUtil, which divides by the capacity on shift.