Differences
This shows you the differences between the selected revision and the current version of the page.
| notes:lec9 2007/11/05 00:16 | notes:lec9 2007/12/13 11:26 current | ||
|---|---|---|---|
| Line 314: | Line 314: | ||
| - When Process A regains control, it sets its state to BLOCKED and schedules, waiting to be woken up | - When Process A regains control, it sets its state to BLOCKED and schedules, waiting to be woken up | ||
| - | Since the mutex is now free, and Process A is no longer on the wait queue, Process A will remain blocked indefinitely. | + | Since the mutex is now free, but Process A is still blocked on the wait queue, Process A will remain blocked indefinitely. |
| Notice the implications of this: the process's state is part of the critical section, even though the process's state is not part of the mutex_t structure. | Notice the implications of this: the process's state is part of the critical section, even though the process's state is not part of the mutex_t structure. | ||
