| |
Progress
- Given:There is no process in the critical section
- And one or more processes want to enter the critical sections
- Then one of them must be permitted to enter the critical section.
- One those processes waiting to enter the critical section must take part in the arbitration.
- This arbitration must be done in a finite amount of time.
Bounded Wait
- A scheme of fairness and ensuring no starvation.
- There is an upper bound on the number of times that other processes are allowed to enter their critical sections between a process making its request and here quest getting granted.
|
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
|
|
|
|
