Семафори

Всі найважливіші поніття які мають відношення до взаємовиключення були об’єднані в концепції семафорів. Семафор – це захищена змінна значення якої можна читати та міняти тільки за допомогою операцій Р, V також операцій ініціалізації двійкові семафори можуть приймати значення 0 та 1. семафори з рахуванням можуть приймати невід’ємні цілі значення. Операція Р-типу семафори S:

Узагальнений зміст примітиву Р(S) полягає у перевірці біжучого значення семафора S і якщо він не менше 0 то виконується перехід до наступної за даним примітивом операції, процес змінюється на деякий час з виконання і переходить в стан пасивного очікування. V(S) пов’язана із збільшенням значення семафора на 1 і переводом одного або декілька процесів в стан готовності.

Операції P та V виконуються ОС у відповідь на запит виданий деяким процесом і який вміщує ім’я семафора. Для роботи з семафорами треба мати операцію ініціалізації семафора. Семафори можна використовувати для реалізації механізму синхронізації процесів шляхом блокування розблокування. Один процес блокує себе виконуючи операцію Р з погчатковим значенням S=0 для того щоб очікувати на прихід деякої події. Інишй процес виясняє що подія яка очікуватиме відбулась і відновлює заблокований процес за допомогою операції V. Семафори з рахуванням осбливо корисні у випадку коли деякий ресурс виділяється з множини ідентичних ресурсів кожна Р-операція показує що ресурс виділяється деякому процесу а V-операція що ресурс повертає в загальну множину. Операції над семафорами можна реалізувати з використанням режиму активного очікування, але це може призвести до втрати ефективності, щоб цього уникнути подібні операції потрібно реалізовувати в ядрах.

<== попередня сторінка	\|	наступна сторінка ==>
Асинхронно паралельні процеси	\|

Не знайшли потрібну інформацію? Скористайтесь пошуком google:

Генерація сторінки за: 0.005 сек.