Blokady. Model systemu. Charakterystyka blokady

Podobne dokumenty
Porządek dostępu do zasobu: procesory obszary pamięci cykle procesora pliki urządzenia we/wy

gdy wielomian p(x) jest podzielny bez reszty przez trójmian kwadratowy x rx q. W takim przypadku (5.10)

Base 6T - widok z przodu

Stronicowanie na ¹danie

Po³¹czenie iphone'a/ipad a do Smart Multishare USB

IV. UK ADY RÓWNAÑ LINIOWYCH

Komputer i urządzenia z nim współpracujące

Witold Bednarek. Konkurs matematyczny w gimnazjum Przygotuj siê sam!

Zarz¹dzanie pamiêci¹ pomocnicz¹. Struktura dysku

Przetwornica napiêcia sta³ego DC2A (2A max)

Systemy operacyjne. wykład 11- Zakleszczenia. dr Marcin Ziółkowski. Instytut Matematyki i Informatyki Akademia im. Jana Długosza w Częstochowie

Joanna Kwatera PO NITCE DO K ÊBKA. czyli jak æwiczyæ sprawnoœæ rachunkow¹ uczniów klas 4 6 szko³y podstawowej OPOLE

Procesy. W sk³ad procesu wchodzi:

Podstawowe działania w rachunku macierzowym

2) RODZAJ ZAMAWIAJĄCEGO:

Harmonogramowanie projektów Zarządzanie czasem

HiTiN Sp. z o. o. Przekaźnik kontroli temperatury RTT 4/2 DTR Katowice, ul. Szopienicka 62 C tel/fax.: + 48 (32)

Adres strony internetowej, na której Zamawiający udostępnia Specyfikację Istotnych Warunków Zamówienia:

Adres strony internetowej, na której Zamawiający udostępnia Specyfikację Istotnych Warunków Zamówienia:

Regulamin organizacji przetwarzania i ochrony danych osobowych w Powiatowym Centrum Kształcenia Zawodowego im. Komisji Edukacji Narodowej w Jaworze

OG OSZENIE O ZAMÓWIENIU

POTRZEBY A B C D E P P P P P

Steelmate - System wspomagaj¹cy parkowanie z oœmioma czujnikami

Regulatory temperatury

Ogólne Warunki Ubezpieczenia PTU ASSISTANCE I.

Zarz¹dzanie pamiêci¹

Czy przedsiêbiorstwo, którym zarz¹dzasz, intensywnie siê rozwija, ma wiele oddzia³ów lub kolejne lokalizacje w planach?

Organizacja produkcji

Katowice, dnia 29 wrzeœnia 2006 r. Nr 15 ZARZ DZENIE PREZESA WY SZEGO URZÊDU GÓRNICZEGO

Polska-Warszawa: Usługi hotelarskie 2016/S Ogłoszenie o zamówieniu. Usługi

Adres strony internetowej, na której Zamawiający udostępnia Specyfikację Istotnych Warunków Zamówienia: ops-targowek.waw.pl

POMOC PSYCHOLOGICZNO-PEDAGOGICZNA Z OPERONEM. Vademecum doradztwa edukacyjno-zawodowego. Akademia

DZIA 4. POWIETRZE I INNE GAZY

Rys Mo liwe postacie funkcji w metodzie regula falsi

Instrukcja obsługi zamka. bibi-z50. (zamek autonomiczny z czytnikiem identyfikatora Mifare)

DE-WZP JJ.3 Warszawa,

TÜV Rheinland Polska. Nowy Znak. Odpowiadamy na Pañstwa pytania.

Procedura nadawania uprawnień do potwierdzania, przedłuŝania waŝności i uniewaŝniania profili zaufanych epuap. Załącznik nr 1

Sieci komputerowe cel

RTx-310 Wielofunkcyjny Programowalny PrzekaŸnik Czasowy. W³aœciwoœci. Wielofunkcyjny* (A) (B) (C) (D) (E2) praca jednego cyklu

OPIS TECHNICZNY. 1. ZałoŜenia ogólne

Elementy cyfrowe i układy logiczne

ZAPYTANIE OFERTOWE. III. Opis przedmiotu zamówienia.

Uchwała Nr... Rady Miejskiej Będzina z dnia roku

WYŻSZA SZKOŁA INFORMATYKI STOSOWANEJ I ZARZĄDZANIA

Regulamin Obrad Walnego Zebrania Członków Stowarzyszenia Lokalna Grupa Działania Ziemia Bielska

Problem zakleszczenia

BUS - Kabel. Do po³¹czenia interfejsów magistrali TAC - BUS BK 1 BK 10 BK 40-1

PL-Warszawa: Usługi szkolenia zawodowego 2012/S Ogłoszenie o zamówieniu. Usługi

Wrocław, dnia 2 lipca 2015 r. Poz UCHWAŁA NR XII/68/2015 RADY GMINY KAMIENIEC ZĄBKOWICKI. z dnia 29 czerwca 2015 r.

Bezpieczna dzielnica - bezpieczny mieszkaniec

UMOWA (wzór) zawarta w dniu... w Płaskiej, pomiędzy: Gminą Płaska, Płaska 53, Płaska, NIP , REGON ,

NACZYNIE WZBIORCZE INSTRUKCJA OBSŁUGI INSTRUKCJA INSTALOWANIA

UMOWA POWIERZENIA PRZETWARZANIA DANYCH OSOBOWYCH nr.. zawarta w dniu. zwana dalej Umową powierzenia

UMOWA NR... NA ŚWIADCZENIE USŁUG SZKOLENIOWO - DORADCZYCH

Adres strony internetowej, na której Zamawiający udostępnia Specyfikację Istotnych Warunków Zamówienia:

Wniosek o ustalenie warunków zabudowy

Adres strony internetowej, na której Zamawiający udostępnia Specyfikację Istotnych Warunków Zamówienia:

INSTRUKCJA MONTA U MPW - 4+ UNIWERSALNEGO MIKROPROCESOROWEGO MODU U DOMYKANIA SZYB

Procedura nadawania uprawnień do potwierdzania Profili Zaufanych w Urzędzie Gminy w Ryjewie

Przerobił mgr farm. Konrad Okurowski, OIA Olsztyn. Dz.U

Ćwiczenie 7 Liczniki binarne i binarne systemy liczbowe.

Ogólna charakterystyka kontraktów terminowych

EGZAMIN MATURALNY Z INFORMATYKI

Wiedza niepewna i wnioskowanie (c.d.)

Stan prawny na dzieñ 1 paÿdziernika 2015 r. Oficyna Wydawnicza

Projektowanie bazy danych

Szczegółowy opis zamówienia

MESO - H MESO - HX MESO - L

Szczegółowe zasady obliczania wysokości. i pobierania opłat giełdowych. (tekst jednolity)

Procedura działania Punktu Potwierdzającego Profile Zaufane epuap w Urzędzie Miejskim w Gdańsku

Plan kont wykaz kont oraz zasady ewidencji

Dziennik Ustaw Nr Poz ROZPORZÑDZENIE MINISTRA FINANSÓW. z dnia 12 grudnia 2002 r.

art. 488 i n. ustawy z dnia 23 kwietnia 1964 r. Kodeks cywilny (Dz. U. Nr 16, poz. 93 ze zm.),

ORLIK 2012 Zespół boisk sportowych dz.nr 917/3, 916/3, 915/4, 935,936, 937, 939/3, 940, 941/2, Luzino, gm. Luzino

MIC+.../IU/TC INSTRUKCJA OBS UGI CZUJNIKI ULTRAD WIÊKOWE MIC+ Z JEDNYM WYJŒCIEM ANALOGOWYM

PRZEPISY KLASYFIKACJI I BUDOWY STATKÓW MORSKICH

Instrukcja użytkowania DRIVER. Programator z przewodem sterowniczym. DRIVER 610 lub lub 2 strefy DRIVER

PROJEKT. w sprawie: wyboru Przewodniczącego Nadzwyczajnego Walnego Zgromadzenia Spółki

Koszty jakości. Definiowanie kosztów jakości oraz ich modele strukturalne

Zasilacz Stabilizowany LZS61 model 24002

1. Od kiedy i gdzie należy złożyć wniosek?

LIMATHERM SENSOR Sp. z o.o.

Rodzaj zamówienia. Tryb zamówienia "Przetarg nieograniczony" Termin składania ofert. Szacunkowa wartość zamówienia. Miejscowość: Wolbrom

Zarządzenie Nr 144/2015 Wójta Gminy Tczew z dnia r.

PROGRAM ZAPEWNIENIA I POPRAWY JAKOŚCI AUDYTU WEWNĘTRZNEGO

Zarząd Dróg Wojewódzkich. Wytyczne Techniczne. Zbigniew Tabor Kraków,

Zapisy na kursy B i C

Zebranie Mieszkańców Budynków, zwane dalej Zebraniem, działa na podstawie: a / statutu Spółdzielni Mieszkaniowej WROCŁAWSKI DOM we Wrocławiu,

S I M P L E. E R P ZARZ DZANIE MA J TKIEM.

PMI8 przekaÿnikowe modu³y interfejsowe

REGULAMIN KONKURSU..Pilanie dbaj¹ o zasady i zawsze segreguj¹ odpady"

PRZETWORNIK PROGRAMOWALNY NAPIÊCIA I PR DU STA EGO TYPU P20H

1 Jeżeli od momentu złożenia w ARR, odpisu z KRS lub zaświadczenia o wpisie do ewidencji działalności

Uchwała Nr XXXVI/387/09 Rady Miejskiej w Stargardzie Szczecińskim z dnia 24 listopada 2009r.

Witamy. Szybki start. philips. Pod³¹cz. Zainstaluj. U ywaj

ZAGADNIENIA PODATKOWE W BRANŻY ENERGETYCZNEJ - VAT

Łatwe przycinanie płyt z granulatu gumowego. Łatwe i precyzyjne przycinanie płyt

Warszawa, dnia 17 grudnia 2015 r. Poz UCHWAŁA NR XVI/106/15 RADY MIEJSKIEJ W MSZCZONOWIE. z dnia 18 listopada 2015 r.

Co zrobić, jeśli uważasz, że decyzja w sprawie zasiłku mieszkaniowego lub zasiłku na podatek lokalny jest niewłaściwa

Transkrypt:

Blokady Stan blokady: ka dy proces w zbiorze procesów czeka na zdarzenie, które mo e byæ spowodowane tylko przez inny procesu z tego samego zbioru (zdarzeniem mo e byæ przydzia³ lub zwolnienie zasobu) Przyk³ady: W systemie s¹ dwie stacje taœmowe; ka dy z procesów P1 i P2 ma jedn¹ taœmê i czeka na drug¹ Semafory A i B maj¹ wartoœæ 1: P0: wait(a); wait(b) P1: wait(b); wait(a) Model systemu Ró ne typy zasobów: Z 1,Z 2,..., Z m ;W i jednostek zasobu Z i ; cykle CPU, pamiêæ, urz¹dzenia wejœcia-wyjœcia Ka dy proces korzysta z zasobu wed³ug schematu: zamówienie; u ycie; zwolnienie Charakterystyka blokady Blokada mo e powstaæ wtw, gdy w systemie s¹ spe³nione równoczeœnie cztery warunki: 1.Wzajemne wykluczanie: tylko jeden proces mo e u ywaæ zasobu w danym czasie 2.Przetrzymywanie i oczekiwanie: proces przetrzymuj¹cy co najmniej jeden zasób czeka na przydzia³ dodatkowych zasobów bêd¹cych w posiadaniu innych procesów 3.Brak wyw³aszczania: zasoby nie podlegaj¹ wyw³aszczaniu Blokady str. 1

4.Cykliczne oczekiwanie: istnieje zbiór czekaj¹cych procesów {P 0, P 1,..., P n }, takich e P 0 czeka na zasób przetrzymywany przez P 1,P 1 czeka na zasób przetrzymywany przez P 2,..., P n czeka na zasób przetrzymywany przez P 0. (4 implikuje 2, wiêc podane warunki nie s¹ niezale ne) Graf przydzia³u zasobów: Graf skierowany o zbiorze wierzcho³ków W i krawêdzi K: W sk³ada siê z dwóch podzbiorów: P={P 1,..., P n }- procesy, Z={Z 1,..., Z m } - typy zasobów krawêdÿ ¹dania - skierowana krawêdÿ P i Z k krawêdÿ przydzia³u - skierowana krawêdÿ Z k P i Przyk³ad grafu przydzia³u zasobów bez cykli: Z 1 Z 3 P 1 P 2 P 3 Z 2 Z 4 Blokady str. 2

Przyk³ad grafu przydzia³u zasobów z cyklem: Z 1 P 2 P 1 P 3 Z 2 P 4 1. Jeœli graf nie zawiera cyklu, to nie ma blokady 2. Jeœli graf zawiera cykl, to: - jeœli zasoby s¹ w jednym egzemplarzu, to blokada - jeœli zasoby s¹ w wielu egzemplarzach, to istnieje mo liwoœæ blokady Metody postêpowania z blokadami: Zapewniæ, e system nigdy nie wejdzie w stan blokady Pozwoliæ na wejœcie systemu w stan blokady, po czym j¹ usun¹æ Zignorowaæ problem i udawaæ, e system nigdy nie wejdzie w stan blokady; stosowane przez wiêkszoœæ systemów operacyjnych, w tym Unix Blokady str. 3

Zapobieganie blokadom Zapobiec spe³nieniu jednego z warunków koniecznych wyst¹pienia blokady: Wzajemne wykluczanie - nie jest wymagane dla zasobów dzielonych; musi zachodziæ dla zasobów niepodzielnych Przetrzymywanie i oczekiwanie - trzeba zagwarantowaæ, e gdy proces ¹da zasobu, to nie posiada innych zasobów - mo na wymagaæ, by proces zamawia³ i dostawa³ wszystkie swoje zasoby zanim rozpocznie dzia³anie lub ¹da³ zasobów wtedy, gdy nie posiada adnych innych - niskie wykorzystanie zasobów, mo liwoœæ zag³odzenia Brak wyw³aszczania: - Jeœli proces bêd¹cy w posiadaniu zasobów ¹da zasobu, którego nie mo na natychmiast przydzieliæ, to musi zwolniæ wszystkie posiadane zasoby - Wyw³aszczone zasoby dodaje siê do listy zasobów, na które czeka proces - Proces zostanie wznowiony, gdy bêdzie móg³ odzyskaæ posiadane wczeœniej zasoby oraz otrzymaæ nowo ¹dany zasób Cykliczne oczekiwanie - narzuca siê uporz¹dkowanie ca³kowite wszystkich typów zasobów i wymaga, by proces zamawia³ zasoby we wzrastaj¹cym porz¹dku ich numerów Unikanie blokad Wymaga, by system posiada³ pewn¹ informacjê o przysz³ym zapotrzebowaniu na zasoby W najprostszym modelu wymaga siê, by proces deklarowa³ maksymaln¹ liczbê zasobów ka dego typu, których bêdzie potrzebowa³ Blokady str. 4

Algorytm unikania blokady dynamicznie bada stan przydzia³u zasobów, by zapewniæ, e nigdy nie dojdzie do cyklicznego oczekiwania Stan przydzia³u zasobów jest okreœlony przez liczbê dostêpnych i przydzielonych zasobów oraz przez maksymalne zapotrzebowanie procesów Stan bezpieczny - kiedy proces ¹da dostêpnego zasobu, system musi ustaliæ, czy natychmiastowy przydzia³ zasobu zachowa bezpieczny stan systemu System jest w stanie bezpiecznym, gdy istnieje bezpieczna sekwencja procesów Sekwencja <P 1,P 2,..., P n > jest bezpieczna, jeœli dla ka dego P i jego potencjalne zapotrzebowanie na zasoby mo na zaspokoiæ przez bie ¹co dostêpne zasoby oraz zasoby bêd¹ce w posiadaniu procesów P k, gdzie k<i Jeœli system jest w stanie bezpiecznym, tonie ma blokady Jeœli system nie jest w stanie bezpiecznym, to istnieje mo liwoœæ powstania blokady Mo na unikaæ blokady zapewniaj¹c, e system nigdy nie wejdzie do stanu niebezpiecznego Algorytm korzystaj¹cy z grafu przydzia³u zasobów: Dla zasobów wystêpuj¹cych pojedynczo KrawêdŸ deklaracji P i Z k wskazuje, e proces P i mo e za ¹daæ zasobu Z k ; reprezentowana lini¹ przerywan¹ KrawêdŸ deklaracji przechodzi na krawêdÿ ¹dania, gdy proces za ¹da zasobu W chwili zwolnienia zasobu krawêdÿ przydzia³u przechodzi na krawêdÿ deklaracji Blokady str. 5

Trzeba a priori zadeklarowaæ zapotrzebowanie na zasoby Koszt algorytmu szukania cyklu w grafie zasobów: n 2 Algorytm bankiera Dla zasobów wielokrotnych Ka dy proces musi a priori z³o yæ maskymalne zapotrzebowanie na zasoby Proces ¹daj¹cy zasobu byæ mo e bêdzie musia³ czekaæ, mimo e zasób jest dostêpny Gdy proces dostanie wszystkie potrzebne zasoby, to zwróci je w skoñczonym czasie Szczegó³y dzia³ania algorytmu na æwiczeniach! Koszt stwierdzenia czy stan jest bezpieczny: mxn 2 Wykrywanie blokady Dopuszcza siê wejœcie systemu w stan blokady Algorytm wykrywania blokady Algorytm wychodzenia z blokady Zasoby pojedyncze Utrzymuje siê graf oczekiwañ: wêz³y odpowiadaj¹ procesom, P i P k jeœli P i czeka na zasób bêd¹cy w posiadaniu P k Okresowo wykonuje siê algorytm szukania cyklu w grafie Koszt algorytmu: n 2, gdzie n - liczba wierzcho³ków Zasoby wielokrotne Podobny do algorytmu bankiera Szczegó³y dzia³ania algorytmu na æwiczeniach! Koszt algorytmu wykrywania blokady: mxn 2 Blokady str. 6

Jak stosowaæ algorytm wykrywania blokady: Kiedy i jak czêsto wykonywaæ: zale y od tego jak czêsto mo e wyst¹piæ blokada i jak wiele procesów obejmie Jeœli wykonuje siê algorytm w dowolnych chwilach, to w grafie mo e powstaæ wiele cykli. Wskazanie sprawcy blokady wœród wielu zablokowanych procesów mo e byæ niewykonalne Wychodzenie z blokady Zakoñczenie procesu - zakoñcz wszystkie zablokowane procesy - koñcz procesy pojedynczo, a do wyeliminowania blokady - jak wybraæ proces do zakoñczenia: Þ priorytet procesu Þ jak d³ugo proces wykonywa³ obliczenia i ile potrzebuje czasu do zakoñczenia Þ zasoby u ywane przez proces Þ zasoby potrzebne procesowi do zakoñczenia Þ ile procesów trzeba zakoñczyæ Þ czy proces jest interakcyjny, czy wsadowy Wyw³aszczanie zasobów - Wybór ofiary - Wycofanie procesu do pewnego bezpiecznego stanu i póÿniejsze jego wznowienie z tego stanu - G³odzenie procesu - pewien proces mo e byæ stale wybierany jako ofiara; uwzglêdniæ liczbê wycofañ przy ocenie kosztów ¹czenie metod postêpowania z blokad¹ Blokady str. 7