6.1 Version 0 |
|
👤 Author: by 2014329620077ll 2016-11-01 18:42:07 |
a)
Mutual exclusion is ensured through the use of the flag and turn variables.
If both process set their flag to true, only one will succeed.
Namely, the process whose turn it is.
The waiting process can only enter its critical section when the other process updates the value of turn.
b)
Progress is provided, again through the flag and turn variables.
This algorithm does not provide strict alternation.
Rather, if a process wishes to access their critical section, it can s