PPT Slide
package PROTECT is
procedure READ (V: out ELEM) ;
procedure WRITE (E: in ELEM) ;
end ;
package body PROTECT is
use READER_WRITER ;
VARIABLE: ELEM ;
procedure READ (V: out ELEM) is
begin
REQUEST (R) ;
V := VARIABLE ;
FIN ;
end ;
procedure WRITE (V: in ELEM) is
begin
REQUEST (W) ;
VARIABLE := V ;
FIN ;
end ;
end PROTECT ;
The final solution to the Readers and Writers problem in Ada
Previous slide
Next slide
Back to first slide
View graphic version