Заключение
Для эффективных программных алгоритмов устранения race condition помимо условия взаимоисключения требуется выполнение следующих условий: алгоритмы не используют специальных команд процессора для организации взаимоисключений, алгоритмы ничего не знают о скоростях выполнения процессов, алгоритмы удовлетворяют условиям прогресса и ограниченного ожидания. Все эти условия выполняются в алгоритме Петерсона для двух процессов и алгоритме булочной — для нескольких процессов.
Применение специальных команд процессора, выполняющих ряд действий как атомарную операцию, — Test-and-Set, Swap — позволяет существенно упростить алгоритмы синхронизации процессов.
Еще по теме Заключение:
- Заключение договора: оферта, акцепт, момент заключения договора
- 6. Последствия признания недействительной сделки с дефектами содержания и порядка заключения сделки. Сделка, заключенная вследствие злонамеренной договоренности представителя одной стороны с другой ее стороной,
- § 4. Заключение договора
- Заключение
- 2. Заключение договора.
- § 1. Заключение договора
- §60. ЗАКЛЮЧЕНИЕ ДОГОВОРА
- § 2. Заключение договора аренды
- § 2. Заключение договора подряда
- § 2. Заключение договора хранения
- 3.4. Заключение
- Тема 30. Заключение, изменение и расторжение гражданско-правового договора
- 2. Порядок и стадии заключения договора
-
Windows -
Архитектура компьютера -
Интернет -
Информатика -
Компьютер -
Компьютерные и телекоммуникационные системы -
Программирование -
Социальные сети -
-
Английский язык -
Астрология -
Астрономия -
Биология -
Военная литература -
Журналистика -
Компьютерная инженерия -
Педагогика -
Право -
Психология -
Социология -
Lecture.Center