Зміст:
- Визначення - Що означає звичайний критичний розділ (КСВ)?
- "Техопедія" пояснює звичайний критичний розділ (КСВ)
Визначення - Що означає звичайний критичний розділ (КСВ)?
Програма критичного розділу (CSR) - це розділ коду, для якого процес отримує ексклюзивний замок, щоб жоден інший процес не міг виконувати його одночасно. Часто один або кілька процесів виконуються одночасно в операційній системі, змушуючи ці процеси конкурувати один з одним за доступ до файлів і ресурсів. Доступ до ресурсу повинен бути дозволений лише одному процесу, поки виконується частина коду, пов'язаного з ресурсом.
Щоб процес у КСВ не відбувся під час очікування інших процесів, компонент управління процесом встановлює обмеження часу. Таким чином, процес може мати доступ до ексклюзивного блокування лише протягом обмеженого часу.
"Техопедія" пояснює звичайний критичний розділ (КСВ)
Основними вимогами до впровадження КСВ є:
- Взаємне виключення: Коли процес виконується в CSR, жоден інший процес не може вступити.
- Умова прогресу: Якщо жоден процес не виконується в КСВ і є деякі процеси, які бажають ввести його, вони можуть зробити це за певний час. Один з процесів надходить до CSR, а інші чекають.
- Обмежене очікування: Коли процес вимагає ввести CSR і до того, як запит буде наданий, повинна бути верхня межа кількості процесів, які очікують на введення CSR за цей період, щоб гарантувати відсутність голодуючих процесів і кожного процесу в черзі очікування отримує черга ввійти до КСВ.
У певній частині коду КСВ можна ідентифікувати за такими властивостями:
- Код характеризується послідовністю операцій читання-запису-оновлення.
- Розділи коду змінюють змінні в іншому коді, який виконує послідовність операцій читання-запис-оновлення.
- Наявність коду, який отримує доступ до структури даних якогось іншого коду, модифікуючи його, або коду, який використовує структуру даних, яка могла бути модифікована деяким іншим процесом.
Концепція критичного розділу може бути застосована до обладнання, яке використовує засоби переривання. Щоразу, коли процес потрапляє у критичний розділ, усі переривання на процесорі повинні бути відключені, щоб інші процеси не могли вимагати блокування ресурсу. Аналогічно, коли процес закінчує виконання, переривання вмикаються знову. Інший підхід полягає у використанні семафору, спеціальної змінної, яка діє як сигнал для керування виконанням або припиненням процесу.
