Основы операционных систем
Критическая секция
Важным понятием при изучении способов синхронизации процессов является понятие критической секции (critical section) программы. Критическая секция – это часть программы, исполнение которой может привести к возникновению race condition для определенного набора программ. Чтобы исключить эффект гонок по отношению к некоторому ресурсу, необходимо организовать работу так, чтобы в каждый момент времени только один процесс мог находиться в своей критической секции, связанной с этим ресурсом. Иными словами, необходимо обеспечить реализацию взаимоисключения для критических секций программ. Реализация взаимоисключения для критических секций программ с практической точки зрения означает, что по отношению к другим процессам, участвующим во взаимодействии, критическая секция начинает выполняться как атомарная операция. Давайте рассмотрим следующий пример, в котором псевдопараллельные взаимодействующие процессы представлены действиями различных студентов (таблица 5.1):
Здесь критический участок для каждого процесса – от операции "Обнаруживает, что хлеба нет" до операции "Возвращается в комнату" включительно. В результате отсутствия взаимоисключения мы из ситуации "Нет хлеба" попадаем в ситуацию "Слишком много хлеба". Если бы этот критический участок выполнялся как атомарная операция – "Достает два батона хлеба", то проблема образования излишков была бы снята.
| 17-05 | Приходит в комнату | ||
| 17-07 | Обнаруживает,что хлеба нет | ||
| 17-09 | Уходит в магазин | ||
| 17-11 | Приходит в комнату | ||
| 17-13 | Обнаруживает, что хлеба нет | ||
| 17-15 | Уходит в магазин | ||
| 17-17 | Приходит в комнату | ||
| 17-19 | Обнаруживает,что хлеба нет | ||
| 17-21 | Уходит в магазин | ||
| 17-23 | Приходит в магазин | ||
| 17-25 | Покупает 2 батона на всех | ||
| 17-27 | Уходит из магазина | ||
| 17-29 | Приходит в магазин | ||
| 17-31 | Покупает 2 батона на всех | ||
| 17-33 | Уходит из магазина | ||
| 17-35 | Приходит в магазин | ||
| 17-37 | Покупает 2 батона на всех | ||
| 17-39 | Уходит из магазина | ||
| 17-41 | Возвращается в комнату | ||
| 17-43 | |||
| 17-45 | |||
| 17-47 | Возвращается в комнату | ||
| 17-49 | |||
| 17-51 | |||
| 17-53 | Возвращается в комнату |
Forekc.ru
Рефераты, дипломы, курсовые, выпускные и квалификационные работы, диссертации, учебники, учебные пособия, лекции, методические пособия и рекомендации, программы и курсы обучения, публикации из профильных изданий