FailsafeSemaphore

Access Finalize Init ReinitializeClass Release ReleaseFailsafe

Attributes

Class FailsafeSemaphore defines no new attributes.

Fields

instance FailsafeSemaphore tag;
   releaseCount: 0;
          actor: nilObject;
end instance;

//
// FailsafeSemaphores release even if the actor that has one accessed but
// is not blocked on it gets destroyed. This guarantees that code waiting for
// a semaphore will run regardless of the time window in which actors are destroyed.
//
Define Class FailsafeSemaphore;
    inherits from Semaphore;

    field actor: Actor, weak;
    
    class operation ReleaseFailsafe(actor: Actor);
        // release any semaphores accessed by this actor

    overrides ReinitializeClass, Init, Finalize;
    overrides Access, Release;
end class;