Асинхронний семафор

Асинхронний  семафор - це структура, яка використовується в асинхронних моделях програмування. Її мета — заблокувати fire-дію, дозволяючи йому виконатися тільки після того, як група інших, асинхронних дій виконається повністю.

Асинхронний семафор — специфічний тип абстрактної структури даних семафор в світі  асинхронного програмування.

Концепцію семафор винайшов голландський вчений Едсгер Дейкстра.

Асинхронний семафор приймає функцію як аргумент: Цей аргумент зазвичай називають «fire-функція». Fire-функція буде виконана після того, як всі асинхронні дії будуть завершені.

Асинхронний семафор також має блокуючу змінну: лічильник, який зберігає число невиконаних на даний момент асинхронних дій, що залишилися в черзі. Коли цей лічильник стає рівним нулю, всі асинхронні дії вже завершилися і викликається fire-функція.

Асинхронний семафор має дві додаткові функції:

1. Функція v (): при виклику цієї функції, значення внутрішньої блокує змінної збільшується. Це збільшення характеризує додавання одного з асинхронних дій в чергу і очікування їм процесорного часу для виконання.
2. Функція p (): коли асинхронне дія завершується, викликається функція р (). Функція p () зменшує значення внутрішньої блокує змінної. Виконане асинхронне дія завершується і видаляється з черги. Функція p () викликається зсередини завершеного асинхронного дії функції зворотного виклику. Функція p () також перевіряє рівність нулю змінної, яка характеризує кількість асинхронних дій в черзі. Якщо це так, всі дії були завершені, і fire-функція може бути викликана.

Всякий раз, коли програміст викликає одне з асинхронних дій (яке насправді буде виконане потім, коли звільниться процесорний час), програміст також викликає функцію v () асинхронного семафора з метою збільшення внутрішньої змінної блокування, яка характеризує факт додавання асинхронного дії в чергу.

Коли зворотний виклик цій асинхронної функції закінчив своє виконання, викликається функція p (), яка зменшує внутрішню змінну блокування. Це відображає той факт, що асинхронне дію завершено.

Функція p () також перевіряє, чи дорівнює нулю змінна блокування. Якщо це так, значить все асинхронні дії були завершені і «fire-функція» буде викликана.

Асинхронний семафор ефективний, коли асинхронні дії виконуються незалежно.

Ця стаття не містить посилань на джерела. Ви можете допомогти поліпшити цю статтю, додавши посилання на надійні (авторитетні) джерела. Матеріал без джерел може бути піддано сумніву та вилучено. (лютий 2017)