240 likes | 403 Views
Binaryzacja okresów zadań cyklicznych. Jerzy Nawrocki, Adam Czajka Instytut Informatyki Politechnika Poznańska. SCR2000, Kraków 25-28.09.2000. . . . . Metoda HRT HOOD. Obiekty cykliczne. Obiekty sporadyczne. Są transformowane do cyklicznych. Obiekty chronione.
E N D
Binaryzacja okresówzadań cyklicznych Jerzy Nawrocki, Adam Czajka Instytut Informatyki Politechnika Poznańska SCR2000, Kraków 25-28.09.2000
Metoda HRT HOOD • Obiekty cykliczne • Obiekty sporadyczne Są transformowane do cyklicznych • Obiekty chronione Obiekty cykliczne zadania niepodzielne SCR2000, Kraków 25-28.09.2000
Problem podstawowy Jak szeregować niepodzielne zadania cykliczne? SCR2000, Kraków 25-28.09.2000
Plan Aktywacji Plan Aktywacji Szeregowanie statyczne Opisy zadań: • cykl • max. czas wyk. Czas projektu T2 start! Czas pracy 0 : 05 SCR2000, Kraków 25-28.09.2000
Horyzont czasowy Horyzont H = NWW (1, 2, .., n) PAP PAP PAP PAP H H H H SCR2000, Kraków 25-28.09.2000
Horyzont czasowy - przykład H = NWW (17, 37, 131, 271) = 22 330 129 4 zadania H = 22 mln kilkaset zadań H = ??? SCR2000, Kraków 25-28.09.2000
Rozmiar tablicy pamiętającej PAP Złożoność (czas) inspekcji PAP Horyzont czasowy H SCR2000, Kraków 25-28.09.2000
Jak skrócić horyzont czasowy? Jeśli okresy pi tworzą postęp geometryczny, to NWW= max{pi}. Oryginalny okres i można zastąpić krótszym okresem pi. Zadania : T1 T2 T3 T4 Okresy : 17 37 131 271 SCR2000, Kraków 25-28.09.2000
Jak skrócić horyzont czasowy? Jeśli okresy pi tworzą postęp geometryczny, to NWW= max{pi}. Oryginalny okres i można zastąpić krótszym okresem pi. Zadania : T1 T2 T3 T4 Okresy :16 37 131 271 SCR2000, Kraków 25-28.09.2000
Jak skrócić horyzont czasowy? Jeśli okresy pi tworzą postęp geometryczny, to NWW= max{pi}. Oryginalny okres i można zastąpić krótszym okresem pi. Zadania : T1 T2 T3 T4 Okresy :1632 131 271 SCR2000, Kraków 25-28.09.2000
Jak skrócić horyzont czasowy? Jeśli okresy pi tworzą postęp geometryczny, to NWW= max{pi}. Oryginalny okres i można zastąpić krótszym okresem pi. Zadania : T1 T2 T3 T4 Okresy :1632128 271 SCR2000, Kraków 25-28.09.2000
Jak skrócić horyzont czasowy? Jeśli okresy pi tworzą postęp geometryczny, to NWW= max{pi}. Oryginalny okres i można zastąpić krótszym okresem pi. Zadania : T1 T2 T3 T4 Okresy :1632128256 Horyzont:256 SCR2000, Kraków 25-28.09.2000
Binaryzacja okresów zadań ... ... jest to transformacja oryginalnych okresów 1, 2, .., n do okresów zmodyfikowanych p1, p2, .., pn gdzie pi = p02k(i) SCR2000, Kraków 25-28.09.2000
Zadania : T1 T2 T3 T4 Okresy : 1·p032128 256 NWW = 256 Binaryzacja okresów p0 = 16 SCR2000, Kraków 25-28.09.2000
Zadania : T1 T2 T3 T4 Okresy : 1·p0 2·p0128 256 NWW = 256 Binaryzacja okresów p0 = 16 SCR2000, Kraków 25-28.09.2000
Zadania : T1 T2 T3 T4 Okresy : 1·p0 2·p0 8·p0256 NWW = 256 Binaryzacja okresów p0 = 16 SCR2000, Kraków 25-28.09.2000
Zadania : T1 T2 T3 T4 Okresy : 1·p0 2·p0 8·p0 16·p0 NWW = 256 Binaryzacja okresów p0 = 16 SCR2000, Kraków 25-28.09.2000
Zadania : T1 T2 T3 T4 Okresy : 1·p0 2·p0 8·p0 16·p0 NWW = 256 Binaryzacja okresów p0 = 16 Binaryzacja = [16 : 1, 2, 8, 16] SCR2000, Kraków 25-28.09.2000
Systemy z okresami binarnymi • Sterowanie F-16 • Architektura MAFT SCR2000, Kraków 25-28.09.2000
Problemy binaryzacji Binaryzacji jest nieskończenie wiele. Jak znaleźć najlepszą? Skrócenie okresów może doprowadzić do braku uszeregowania dopuszczalnego. Można temu zaradzić wprowadzając szybszy procesor, ale to kosztuje. Jakie są koszty binaryzacji? SCR2000, Kraków 25-28.09.2000
Algorytm binaryzacji Złożoność: O(n log max) Algorytm znajduje wszystkie binaryzacje niezdominowane. Binaryzacji niezdominowanych jest nie więcej niż okresów zadań. SCR2000, Kraków 25-28.09.2000
Koszt binaryzacji określa ile razy należy przyspieszyć procesor, aby po binaryzacji okresów zadań można było skonstruować uszeregowanie dopuszczalne Koszty binaryzacji W najgorszym przypadku koszt binaryzacji jest nie większy niż 2. SCR2000, Kraków 25-28.09.2000
Eksperymenty obliczeniowe SCR2000, Kraków 25-28.09.2000
Podsumowanie • Binaryzacja zmniejszyć roz-miar tablicy przechowujacej uszeregowanie nawet kilka-dziesiąt tysięcy razy • Teoretyczny koszt binaryzacji nie większy niż 2 • W praktyce koszt binaryzacji nie większy niż 1.4 At last! SCR2000, Kraków 25-28.09.2000