Нақты уақыттағы жүйелерді талдауды жоспарлау - Scheduling analysis real-time systems - Wikipedia

Термин жоспарлауды талдау жылы нақты уақыттағы есептеу талдауды және тестілеуді қамтиды жоспарлаушы жүйесі және алгоритмдер нақты уақыттағы қосымшаларда қолданылады. Жылы есептеу техникасы, нақты уақыт кестесін талдау - бұл бағалау, тестілеу және тексеру жоспарлау жүйесі және алгоритмдер нақты уақыттағы операцияларда қолданылады. Маңызды операциялар үшін нақты уақыт режиміндегі жүйенің жұмысы тексеріліп, тексерілуі керек.

Нақты уақыттағы жоспарлау жүйесі жоспарлағыштан, сағаттан және өңдеуші жабдық элементтерінен тұрады. Нақты уақыт жүйесінде процесс немесе тапсырма жоспарлау мүмкіндігіне ие; тапсырмалар нақты уақыт режиміндегі жүйемен қабылданады және жоспарлау алгоритмінің сипаттамасына байланысты тапсырма мерзімінде көрсетілгендей аяқталады.[1] Жоспарлау жүйесін нақты уақыт режимінде модельдеу және бағалау алгоритмнің технологиялық процестің аяқталу мүмкіндігін талдау болып табылады. Мерзім тапсырманы өңдеуге кететін уақыт ретінде анықталады.

Мысалы, нақты уақыт кестесін құру алгоритмінде соңғы бес нано-секундты қоюға болады. Маңызды операция кезінде тапсырма белгіленген мерзімде өңделуі керек (яғни бес нано-секунд). Нақты уақыттағы жүйеде тапсырма «ерте де, кеш те емес; ..» орындалуы керек.[2] Тапсырмалар көрсетілген мерзімге сәйкес келе алмайтын кезде жүйе жоспардан тыс деп аталады.[3] Тапсырманы периодтық немесе апериодтық процесс деп жіктеуге болады.[4]

Жіктелімдері

Нақты уақыт критерийлері ретінде жіктелуі мүмкін қиын, берік немесе жұмсақ. Жоспарлаушы белгіленген тапсырысқа сәйкес тапсырмаларды орындау алгоритмін орнатады.[4] Жоспарлау жүйесін бейнелейтін бірнеше математикалық модельдер бар, нақты уақыттағы жоспарлау алгоритмінің көпшілігі бірпроцессорлық немесе көппроцессорлық конфигурацияларды жүзеге асыруға арналған. Күрделі жоспарлау алгоритмі көппроцессорларда кездеседі, мультипроцессорда бірпроцессорлық жоспарлау алгоритмін енгізу әрдайым мүмкін емес.[4] Жоспарлауды талдау кезінде қолданылатын алгоритмдерді «ретінде жіктеуге болады алдын ала немесе алдын-ала емес ».[1]

Жоспарлау алгоритмі жоспарлау жүйесінің тапсырмаларды қалай өңдейтінін анықтайды. Жалпы алғанда, нақты уақыт кестесін құру жүйесінің алгоритмінде әр тапсырмаға сипаттама, мерзімі және идентификатор (басымдылықты көрсете отырып) тағайындалады. Жоспарлаудың таңдалған алгоритмі белгілі бір тапсырмаға басымдықтардың қалай тағайындалатынын анықтайды. Нақты уақыттағы жоспарлау алгоритмін статикалық немесе динамикалық деп жіктеуге болады. Статикалық жоспарлаушы үшін жүйенің жұмыс басталар алдында басымдылықтары анықталады. Динамикалық жоспарлаушы жұмыстың басымдықтарын жұмыс барысында анықтайды.[4]Тапсырмаларды аппараттық элементтер нақты уақыт режиміндегі есептеу жүйесінен есептеу ортасынан қабылдайды және нақты уақыт режимінде өңдейді. Шығыс сигнал өңдеу күйін көрсетеді.[5] Тапсырманың соңғы мерзімі әр тапсырманы орындау үшін белгіленген уақытты көрсетеді.

Қажетті мерзімді орындау әрдайым мүмкін емес; сондықтан жоспарлау алгоритмін одан әрі тексеру жүргізілуі керек. Динамикалық жоспарлау алгоритмінің көмегімен екі түрлі модельді жүзеге асыруға болады; тапсырманың соңғы мерзімі тапсырманың басымдығына сәйкес тағайындалуы мүмкін (ең ерте мерзім) немесе әр тапсырманың аяқталу уақыты белгіленген уақыттан бастап өңдеу уақытын шегеру арқылы тағайындалуы мүмкін (ең аз лакстылық).[4] Өңдеу элементтерін орындау мерзімдерін тиімді пайдалануды қамтамасыз ету үшін тапсырмаларды орындау мерзімдері мен талап етілетін уақытты алдын-ала түсіну керек.

Тестілеу және тексеру

Нақты уақыттағы жоспарлау алгоритмінің өнімділігін тексеру және орындау алгоритмнің орындалу уақытын талдау арқылы жүзеге асырылады. Нақты уақыттағы жоспарлаушының жұмысын тексеру жоспарлау алгоритмін әр түрлі сценарийлер бойынша тексеруді қажет етеді, оның ішінде ең нашар орындалу уақыты. Бұл тестілеу сценарийлері алгоритм өнімділігін бағалау үшін ең нашар және қолайсыз жағдайларды қамтиды. Жоспарлау жүйесін талдауға уақытты есептеу алгоритмді код деңгейінде бағалауды қажет етеді.[4]

Жоспарлау жүйесін нақты уақыт жүйесінде тексеру үшін әр түрлі әдістер қолданылуы мүмкін. Кейбір әдістерге мыналар кіреді: енгізу / шығаруды тексеру және кодты талдау. Бір әдіс - әрбір енгізу шартын тексеру және нәтижелерге бақылау жасау. Кірістердің санына байланысты бұл тәсіл көп күш салуы мүмкін. Тағы бір жылдам әрі үнемді әдіс - бұл сынақ үшін өкілдік маңызды деректер таңдалатын тәуекелге негізделген тәсіл. Бұл әдіс үнемді, бірақ дұрыс емес тәсіл қолданылған жағдайда жүйенің жарамдылығына қатысты оңтайлы қорытындыларға әкелуі мүмкін. Жоспарлау жүйесіне өзгертулер енгізілгеннен кейін қайта тестілеу талаптары әр жағдайда қарастырылады.

Нақты уақыттағы жүйелерді тексеру және тексеру тек кіріс / шығыс және кодтарды тексерумен шектеліп қана қоймай, интрузивті немесе интрузивті емес әдістерді қолдана отырып іске қосылады.

Сондай-ақ қараңыз

Әдебиеттер тізімі

  1. ^ а б Леунг, Джозеф; Чжао, Хайронг (қараша 2005). Нақты уақыттағы жоспарлауды талдау (PDF) (Техникалық есеп). DOT / FAA / AR-05/27.
  2. ^ Лю, Цзимин; Джозеф, Матай (17 ақпан 2001). «Нақты уақыттағы бағдарламаларды тексеру, нақтылау және жоспарлау». Теориялық информатика. 253 (1): 119–152. CiteSeerX  10.1.1.50.2896. дои:10.1016 / s0304-3975 (00) 00091-8.
  3. ^ Сорин, манолах; Петру, Элес; Зебо, Пенг (қараша 2004). «Стохастикалық тапсырманы орындау уақытымен өтінімдерді жоспарлау талдауы» (PDF). Кірістірілген есептеу жүйелеріндегі ACM транзакциялары. 3 (4): 706–735. дои:10.1145/1027794.1027797. Алынған 4 желтоқсан 2015.
  4. ^ а б в г. e f Одсли, Н .; Бернс, А. (1990). Нақты уақыттағы жүйені жоспарлау (PDF) (Техникалық есеп). Йорк университеті, Ұлыбритания.
  5. ^ Кастанет, Р .; Лауренчот, П. «Нақты уақыттағы жүйелерді тексеру». Қауіпсіз тестілеу бойынша 15-ші Дүниежүзілік конференция. AIPnD. Алынған 4 желтоқсан 2015.

Сыртқы сілтемелер

  • IEEE нақты уақыт жүйелері бойынша техникалық комитет: http://tcrts.org/