С. Синхронізація процесів

В. Блокування віртуальної пам'яті.

Хоча в базовому стандарті POSIX використання віртуальної пам'яті не потрібно, в UNIX-Системах цей механізм широко розповсюджений. Він дуже ефективний при роботі програм, що не ставляться до програм реального часу, але приводить до непередбачуваності часу реакції системи. Для того щоб обмежити час доступу до пам'яті, у стандарті 1003.1b визначаються функції блокування (фіксації) у пам'яті всього адресного простору процесу або окремих його областей. Ці функції варто використовувати для критичних процесів, а також для процесів, з якими синхронізуються критичні процеси. У цьому випадку час їхньої реакції може бути передбачуваним.

У стандарті 1003.1b визначаються функції керування синхронізацією процесів за допомогою семафорів-лічильників. Ці семафори ідентифікуються за ім'ям, що перебуває в деякому просторі імен, обумовленому при реалізації стандарту. Це простір імен може збігатися, але не обов'язково, із простором імен файлів. Семафор-Лічильник - це загальний механізм синхронізації, що дозволяє реалізувати взаємно доступ, до розподілюваних ресурсів, передачу сигналів, очікування процесів і інші механізми синхронізації. Одним з найпоширеніших застосувань семафорів є спільне використання даних процесами. Відповідно до стандарту, це можна реалізувати за допомогою об'єктів розподілюваної пам'яті, використовуваних разом із семафорами.

На жаль, семафори-лічильники, визначення яких дається в стандарті, допускають інверсію пріоритетів. Вона виникає тоді, коли високопріоритетний процес змушений чекати завершення деякої дії, виконуваного процесом з більше низьким пріоритетом. Це означає, що затримка високопріоритетних завдань викликається не тривалістю виконання критичних секцій, а залежить від загального часу виконання низькопріорітетних завдань. Ця ситуація може виникнути тоді, коли високопріорітетне завдання очікує звільнення низькопріорітетного завданням семафора, що управляє доступом до поділюваних ресурсів, а низкоприоритетная завдання витиснуте завданням із проміжним значенням пріоритету. Для завдань твердого реального часу такі тривалі затримки звичайно неприйнятні. Тому в стандарті 1003.1c (Threads), що описується далі, описується інший механізм синхронізації – м’ютекс (mutex) - який запобігає незаконному запереченню пріоритету й також може використовуватися в процесах.

Дата добавления: 2013-12-14