Package de.uka.ipd.sdq.scheduler.sensors
Interface IPassiveResourceSensor
-
public interface IPassiveResourceSensor
Observer of a passive resource.
-
-
Method Summary
All Methods Instance Methods Abstract Methods Modifier and Type Method 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.
-
-
-
Method Detail
-
request
void request(ISchedulableProcess process, long num)
The given process has requested num instances of the passive resource but not yet acquired them.
-
acquire
void acquire(ISchedulableProcess process, long num)
The given process has successfully acquired num instances of the passive resource.
-
release
void release(ISchedulableProcess process, long num)
The given process has released num instances of the passive resource.
-
-