public interface IPassiveResourceSensor
Modifier and Type | Method and Description |
---|---|
void |
acquire(ISchedulableProcess process,
long num)
The given process has successfully acquired num instances of the passive resource.
|
void |
release(ISchedulableProcess process,
long num)
The given process has released num instances of the passive resource.
|
void |
request(ISchedulableProcess process,
long num)
The given process has requested num instances of the passive resource but not yet acquired
them.
|
void request(ISchedulableProcess process, long num)
void acquire(ISchedulableProcess process, long num)
void release(ISchedulableProcess process, long num)