Книга: Системное программирование в среде Windows
Модель переменных условий и свойства безопасности
Многопоточные программы намного легче разрабатывать, делать их более понятными и сопровождать, если использовать известные, хорошо разработанные методики и модели. Эти вопросы уже обсуждались в главе 7, в которой для создания полезной концептуальной основы, позволяющей понять принципы работы многопоточных программ, были введены модель "хозяин/рабочий" ("boss/worker") и модель рабочей группы (work crew model). Понятие критических участков кода (critical sections) играет существенную роль при использовании мьютексов, а определение инвариантов (invariants) используемых структур данных также может принести немалую пользу. Наконец, даже для дефектов существуют свои модели, как это было показано на примере взаимной блокировки (deadlock) потоков.
Примечание
Компания Microsoft разработала собственный набор моделей, таких как апартаментная модель (apartment model) или модель свободных потоков (free threading). Эта терминология чаще всего встречается в технологии СОМ и кратко обсуждается в конце главы 11.
Оглавление книги
- Конец условий
- 11.2. СВОЙСТВА ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ
- Система безопасности InterBase
- Общие рекомендации по безопасности
- Улучшенная стратегия вычисления предиката IN и условий, объединенных по OR
- Значения переменных по умолчанию
- Конфигурация безопасности для базы данных
- 7.4. Модель системы автоматизированного проектирования защиты информации
- 5. Null-значения и проверка условий
- 4. Свойства унарных операций
- 3. Свойства бинарных операций
- 5. Продукционная модель знаний