This application is the HOOD version of "Dining Philosophers - Ada95 edition" from Michael B. Feldman, The George Washington University, July 1995.
HOOD adaptation was performed by Pierre Dissaux, TNI, June 1998, with STOOD toolset.
Please refer to parent module description.
INHERITANCE NONE
ATTRIBUTES In_Use : Boolean := --|false|--
ENUMERATION NONE
ATTRIBUTES NONE
ENUMERATION NONE
type Stick_Ptr is access all Stick;
pick_up(me : in out stick);
WCET
put_down(me : in out stick);
WCET
pick_up CONSTRAINED_BY RWER STATE;
put_down CONSTRAINED_BY RWER STATE;
put_down, put_down
pick_up, put_down
pick_up
put_down
pick_up
Not_In_Use
In_Use
not In_Use
put_down
In_Use
Not_In_Use
put_down
In_Use
Not_In_Use
begin
In_Use := True;
begin
In_Use := False;