Otherware/Otherware_1_SB_Development.iso/amiga/programm/programi/adaed.lzh/Ada/Examples/Dine/chopspec.ada

Text File | 1992-03-03 | 298 b | 12 lines

PACKAGE Chop IS
-- Specification for a chopstick task, intended for use with
-- dining philosophers. It is really just a binary semaphore.
-- Michael B. Feldman, The George Washington University, November 1990.

  TASK TYPE Stick IS
    ENTRY Pick_Up;
    ENTRY Put_Down;
  END Stick;

END Chop;