-- File: [Indigo]<Sakura>Dragon>DragonArbiterImpl.sak
-- 28-Feb-82 20:03:55

DIRECTORY
  DragonArbiter,
  SakuraRT;
  
DragonArbiterImpl: MONITOR
  IMPORTS SakuraRT
  EXPORTS DragonArbiter = {

Arbiter: PUBLIC DEVICE = {
  IN ClockA, ClockB, Proc1Rq: BOOLEAN
  OUT Proc1Gr: BOOLEAN
  GUARDIAN {}
  CONTROL {
    DO
      WHEN ClockA UP: NULL;
      IF Proc1Rq THEN Proc1Gr ← TRUE;
      WHEN ClockB UP: NULL;
      IF Proc1Rq THEN Proc1Gr ← TRUE;
    ENDLOOP
    }
  };
  
}.