SEMA
Àðãóìåíòû:
CLAIM BOOLEAN êîìàíäà “ïðîâåðèòü è óñòàíîâèòü”
RELEASE BOOLEAN îñâîáîäèòü ñåìàôîð
BUSY BOOLEAN ñîñòîÿíèå ñåìàôîðà
Îïèñàíèå:
(* "x" - ýòî áóëåâñêàÿ ïåðåìåííàÿ ïðîèíèöèàëèçèðîâàííàÿ çíà÷åíèåì FALSE *)
busy := x;
If claim Then
x := True;
Else
If release Then
busy := False;
x := False;
End_if;
End_if;