| Mutual
exclusion example |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| • | N1
and N2, non-critical |
||||||||||||
| regions
of Process 1 and 2 |
|||||||||||||
| • | T1
and T2, trying regions |
||||||||||||
| • | C1
and C2, critical regions |
||||||||||||
| • | AF(C1)
in lightly shaded |
||||||||||||
| state? |
|||||||||||||
| – | C1
always inevitably true? |
||||||||||||
| • | EF(C1
AND C2) in dark |
||||||||||||
| shaded
state? |
|||||||||||||
| – | C1
and C2 eventually true? |
||||||||||||
