AUTOMA 2012-12

| Kategorie: Časopis  | Tento dokument chci!

Spolehlivé sítě průmyslového Ethernetu s velkou dostupností. Inteligentní modul I/O řady X20 zvyšuje dostupnost strojů. Rozšíření zorného pole snímače čárového kódu DataMan. Nové řádkové kamery Basler Racer. Programovatelné relé pro všechny bezpečnostní funkce ... skokové automaty ATS-C od společnosti Eaton. Podnikání. Společnost ZAT dokončila modernizaci další elektrárny na Kubě ...

Vydal: FCC Public s. r. o.

Strana 49 z 68

Jak získat tento dokument?






Poznámky redaktora
Princip mechanismu DASA je, spo- lu s porovnáním s RM a EDF, ilustrován na obr.0070, podporova- ného Operačním programem Výzkum vývoj pro inovace, financovaného strukturálních fondů státního rozpočtu ČR, projektu Výzkum informačních technologií z hlediska bezpečnosti (CEZ MSM 0021630528) a gran- tu BUT FIT-S-11-1. hodnota parametru úloh), – pravidla pro vyřazení úlohy z fronty úloh připravených k běhu při detekci přetížení (zde kritériem hodnota důležitosti úloh); vyřazené úlohy jsou uchovávány ve frontě vyřazených úloh, – pravidla pro obnovení možnosti úloh být znovu předmětem plánování. Automa, 2011, roč. 10, 42–45, ISSN 1210-9592. 2. Automa, 2010, roč. 18, č. Kluwer, 1997, pp. Automa, 2010, roč. mechanis- mus RED (Robust Earliest Deadline First).: Implementace pokročilých me- chanismů plánování množin úloh běžících pod μC/OS-II.vutbr. 16, 12, 18–19, ISSN 1210-9592. Princip mechanismu DASA lze zjednodušit následovně.: Plánování úloh v systémech RT II: neperiodické úlohy. Automa, 2011, roč.47AUTOMA 12/2012 řídicí technika úlohám přiřazován způsobem zaručujícím přednostní provádění úloh s většími hod- notami důležitosti vi. Za cenu „oběto- vání“ vybraných instancí méně důležitých úloh zmenší výpočetní požadavky klade- né na procesor v příkladu na obr. bude procesor v modře zbarvených intervalech dokonce nečinný (idle). Automa, 2012, roč. ne- přímo úměrně době Ci(t) potřeb- né k dokončení úlohy). [3] ČIŽINSKÝ, V.: Návrh časově kritických sys- témů II: úlohy reálného času.00/02.: Návrh časově kritických sys- témů III: priorita úloh. Robustní mechanismy Typickým rysem kategorie tzv. [5] STRNADEL, J. 229–249, ISBN 0-7923-9994-3. Literatura: [1] BUTAZZO, C. Zele- nou (červenou) barvou jsou označeny in- stance úloh (ne)dokončených včas. Budou představeny základní problémy v této oblasti a jejich možná řešení. [8] STRNADEL, J. CZ. Pro neměnnou hodnotu tedy VDi(t) roste s časem, který úloha již strávila v procesoru (tj. Při každém volání plánovače vy- prázdněna množina úloh určených k zařazení do nově připravované fáze plánu; poté jsou úlohy seřa- zeny sestupně podle hodnot tzv. 50–52, ISSN 1210-9592. 18, 11, 44–46, ISSN 1210-9592 Ing. Je-li tento test úspěšný, úloha přijata k za- řazení do fronty úloh připravených k běhu. Diplomová práce, FIT VUT v Brně, 2010. Úloha umístěna do množi- ny úloh určených k zařazení do plánu. Smyslem parametru VDi(t) to, aby s ohledem na důležitost úlo- hy ohodnotil „návratnost“ času již investovaného do běhu úlohy τi. V pořadí klesajících hodnot VDi(t) jsou poté po řadě prováděny tyto činnosti: 1. Závěr V následujícím dílu seriálu bude diskuto- vána možnost řešit nedostatek výpočetního výkonu použitím většího počtu procesorů. možnost přidělit proce- sor zcela zaniká. K mechanismům z této kategorie patří např. Poděkování Tento článek byl vypracován rámci pro- jektu Centrum excelence IT4Innovations, reg. V ilustraci jsou předpokládány úlo- hy τ1, s následujícími parametry: 4, T1 10.: Návrh časově kritických sys- témů IV: realizace prostředky RTOS.: Návrh časově kritických sys- témů specifikace a verifikace. Josef Strnadel, Ph. Ji- nak úloha zamítnuta a systémem není dále zpracovávána, tj. MAMMERI, Z. 17, č. analyzováno, zda vytvo- ření plánu složeného z těch- to úloh nepovede k přetížení; došlo-li němu, posledně vložená úloha z množiny vyjmuta. 16, 10, 42–44, ISSN 1210-9592. [6] STRNADEL, J. 17, 58–60, ISSN 1210-9592. [4] STRNADEL, J.. [7] STRNADEL, J. Pravidlo A je re- alizováno mechanismem EDF, pravidlo B při detekci přetížení vyřazuje úlohy v po- řadí rostoucích hodnot důležitosti, dokud přetížení nepomine, a pravidlo obnovuje v pořadí klesajících hodnot důležitosti vy- řazené úlohy, je-li na procesoru detekován dostatek času k jejich včasnému provedení.05/1.1. τ1 τ2 τ1 τ2 τ1 τ2 t t t t t t Obr. zřej- mé, mechanismus DASA schopen če- lit přetížení podstatně lépe než konvenční mechanismy a EDF. Ilustrace k mechanismu DASA (a) doplněná o po­ rovnání s mechanismy (b) a EDF (c) VD2(0) 10/3, VD1(0) 10/4: včas lze plánovat jen τ2 VD1(3) 10/4: τ1 nelze plánovat včas VD2(6) 10/2, VD1(6) 10/4: včas lze plánovat i τ1, τ2 přednost díky d1 viz 0idle idle 0 10 12 15 18 20 22 24 25 28 30 0 10 12 15 18 20 22 24 25 28 30 0 10 12 15 18 20 22 24 25 28 30 a) plán podle DASA b) plán podle RM c) plán podle EDF Do této kategorie patří např. Jeho princip následující. Mezi mechanismy této katego- rie patří např. Procesor pak přidělen úloze s nejbližší absolutní časovou mezí d. algoritmus Dover, založený na následu- jícím principu: při detekci přetížení důle- žitost příchozí úlohy porovnána s důle- žitostí Vpre úloh přerušených preempcí a dů- ležitostí Vact aktuálně běžící úlohy. [9] STRNADEL, J. Mechanismy založené na testu přijetí Pro mechanismy založené na vstupním testu přijetí (admission/guarantee test) je charakteristické, každá nově příchozí úloha prochází vstupním testem zaručujícím ≤ 1. Automa, 2012, roč.. hustoty důležitosti (value densi- ty) VDi(t), stanovené pro úlohu τi a čas jako VDi(t) Vi/Ci(t).: Plánování úloh v systémech RT závislé úlohy. realizaci systé- mu včasného varování AWACS., Centrum excelence IT4Innovations, Fakulta informačních technologií, Vysoké učení technické v Brně (strnadel@fit. č.cz) . Méně důležité úlohy z  tohoto pohledu sice „hladovějí“, avšak možnost přidělit jim procesor není zcela vyloučena. 7.,,1 tt i mi    ***rovnice 5***   n i i tft 1 BM )()(Γ ***rovnice 6***   n i iv 1 maxΓ ***rovnice 7***  actpre1 VVKV  (7) kde K je poměr největší k nejmenší z hodnot důležitosti na dané množině úloh, přija- ta, jinak zamítnuta.1. [2] COTTET, DELACROIX, KAISER, C.D. Platí-li ***rovnice 1***   n i i i T C U 1  ***rovnice 2*** ii i i i i rd C D C  S ***rovnice 3*** )( )( )( dd tD tC t i k i ikk   :   ***rovnice 4***  )(max)( . robust- ních plánovacích mechanismů (robust sche- duling) existence této trojice pravidel pro práci s úlohami: – pravidlaA pro vložení úlohy do fronty úloh připravených k běhu (kritériem může být např. LBESA (Locke’s Best Effort Scheduling Algo­- rithm) DASA (Dependent Activity Scheduling Algorithm) a lze s nimi setkat zejména při realizaci kritických úloh – jmenujme např.: Hard Real-Time Computing Systems, Predictable Scheduling Algorithms And Applications.: Scheduling Real-Ti- me Systems. John Wiley Sons, 2002, ISBN 0-470-84766-2