var occupied
var blocked
Enter Region:
{
If (occupied) {
then blocked= blocked +1
sleep ( );
}
else occupied= 1;
}
Exit Region:
{
occupied= 0
If (blocked) {
then wakeup (process);
blocked= blocked – 1;
}
}
True/False
(1) Mutual Exclusion is guaranteed?
(2) Deadlock free Algorithm?
(3) Progress is guaranteed?