Package de.uka.ipd.sdq.scheduler.sensors

Interface IPassiveResourceSensor

public interface IPassiveResourceSensor
Observer of a passive resource.

  • Method Summary

    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 Details

    • 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.