ня - round-robin. У цьому випадку процес виконується або поки виділений йому квант часу не має терміну дії, або поки не буде призупинено іншим процесом з більш високим пріоритетом. Після того, як час, виділений для даного процесу, закінчиться, активується наступний готовий до запуску процес. p> Коли процес отримує більш високий пріоритет і призупиняє виконання поточного, планувальник зберігає контекст припиненого процесу для того, щоб потім продовжити його виконання з місця зупину. Призупинений процес залишається готовим до запуску. p> Процеси в списку готових до запуску завдань упорядковані, згідно з методом EDF - у порядку зростання часу реакції. При наявності блокування запускаються лише завдання з пріоритетом вище або рівним пріоритету яка ініціювала блокування завдання. p> 3.2.2. Опис функціонування програми. p> Схема взаємодії об'єктів створюваної системи показана на діаграмі 10.
3.2.2.1. Підготовка до запуску планувальника. p> Головна програма запускає функцію ініціалізації планувальника, в яку передається масив структур, що складається з покажчиків на плановані процедури і з параметрів виконання. У число параметрів входять: ідентифікатор (Задається головною програмою), пріоритет, інтервал/квант виконання, час реакції, час виконання (для м'яких завдань може не визначатися), період (для періодичних функцій), кількість запусків або час роботи (для спорадичних завдань), порядок, щодо інших завдань. Також можлива передача покажчика на вхідні параметри процедури.
У планувальнику створюється список завдань. Створюється процес-таймер, який формуватиме послідовність повідомлень для планувальника.
3.2.2.2. Робота. p> Головна програма виконує виклики функції, що відсилає повідомлення про початок роботи певної задачі. Планувальник створює окремі процеси для кожного завдання. Запущені завдання самі можуть викликати функції планування для себе або інших завдань.
Таймер отримує від планувальника повідомлення і створює відповідні мітки відсилання повідомлень для планувальника. Надалі по досягненні мітки таймер посилає планувальником повідомлення ініціювати роботу певної задачі. Якщо це мітка періодичної чи спорадичної завдання, то таймер створює через В«періодВ» наступну. Планувальник посилає процесам-завданнях сигнали початку кванта часу для виконання.
При виході певної задачі за межі часу реакції, таймер посилає повідомлення про блокування тих завдань, у яких пріоритет менше. Якщо вихід за межі у двох однаково пріоритетних одночасно, то вони продовжать виконуватися разом.
3.2.2.3. Управління завданнями. p> У багатьох системах можна заздалегідь встановити безліч завдань, які будуть використовуватися, і припустити їх характеристики роботи в гіршому випадку. При цьому можна або провести фіксований планування, яке буде задовольняти вимогам системи, або визначити попередні пріоритети завдань. Однак неминуче виникає необхідність зміни поточного режиму/стану системи. Можна виділити наступні типи операцій по зміні режиму:
В· Додавання завдання. p> Планувальник приймає повідомлення про активацію завдання, і поміщає в число готових до запуску з урахуванням абсолютних і відносних обмежень. Додається запис в процесс-таймер. p> В· Зміна інтервалу виконання завдання.
Приймається повідомлення про зміну інтервалу. Якщо завдання, для якої він повинен бути зрад, активна, то вона призупиняється. Інтервал змінюється. Потім цикл обчислень триває, починаючи з цього завдання. p> В· Зміна періоду виконання періодичної задачі.
Планувальник приймає повідомлення і посилає до процессу-таймеру сигнал на зміну мітки часу, відповідної даної завданню.
В· Зміна часу реакції, часу виконання або пріоритету.
Приймається повідомлення про необхідність зміни параметра. Якщо завдання, для якої він повинен бути зрад, активна, то вона призупиняється. Видаляється відповідна мітка в таймері. Параметр змінюється. Встановлюється нова мітка в таймері. Якщо час реакції дорівнює 0, то блокуються завдання з пріоритетом меншим, ніж у даній.
В· Видалення завдання. p> Завдання завершує своє виконання і посилає планувальником повідомлення на видалення її зі списку готових до виконання. Або планувальник видаляє завдання, що вийшла за межі виділеного їй часу виконання.
3.3. Реалізація протоколу ARINC A.415 на основі розробленого модуля СРВ. p> 3.3.1. Модель вимог до системи. p> 3.3.1.1. Описова модель. p> Протоколу A.415 ARINC, використовується у вбудованих системах реального часу літаків провідних авіаперевізників, таких як Airbus, McDonnel Douglas та ін Це протокол опитування бортових пристроїв, що дозволяє в заздалегідь позначений проміжок часу отримати від них інформацію і сигналізувати про несправності в обладнанні.
Бортові системи літака через жорстко задані проміжки часу формують спеціальні повідомлення, в яких можуть повідомляти про виникненні всередині них несправностей і описувати їх. Спеціальні...
