Контрольные вопросы

1. Покажите, что задача синхронизации является частным случаем задачи взаимного исключения.

2. Для каких задач использование единственной общей переменной исключения может быть оправданным?

3. Сопоставьте свойства алгоритмов взаимного исключения, использующих атомарность команд и использующих атомарность обращений к памяти.

4. В состав семафора входит переменная взаимного исключения и скобки критической секции. Почему же потери на занятое ожидание в семафоре не могут быть значительными?

5. Какие ограничения имеются в решении задачи "производители–потребители" методом семафоров?

6. В чем преимущества встраивания критической секции в язык программирования? Покажите, как используются скрытые семафоры для реализации встроенной критической секции.

7. В чем преимущество использования мониторов? Покажите, как используются скрытые семафоры для реализации защищенных процедур.

8. Проблема вложенных вызовов мониторов может быть решена при помощи иерархической дисциплины, описанной в разделе 5.3. Покажите пути такой реализации.

9. Почему при применении групповых мониторов процедуры read и write не должны быть защищенными?

10. Покажите реализацию задачи "читатели–писатели" с исключением возможности бесконечного откладывания процесса-писателя.

11. В чем преимущества решения задачи "производители–потребители" методами счетчиков событий или секвенсоров перед методом семафоров?

12. Как, используя семафоры, реализовать счетчики событий и секвенсоры?

13. В каких ситуациях процесс, участвующий во взаимодействии по модели рандеву, может быть заблокирован?

14. Объясните реализацию семафора методом рандеву.