Quote: implement exclusive access by 2 mutually exclusive states; the sequence is request:access:release

Note

exclusive access: 2 mutually exclusive states pO (o processes use resources) pl (1 process uses resource), commands: request PO PL release Pl PO . preconditions: pre(request)=mutex(PO,Pl), pre(release)=Pl. sequences: request:access;release. init at PO

Related Topics

Topic: critical regions (58 items)