Metody formalne Copyright, 2005 © Jerzy R. Nawrocki Analiza systemów informatycznych Wykład 13
J.Nawrocki, Procesy współbieżne Plan wykładu Podstawowe pojęcia Sieci Petriego Analiza zastoju
J.Nawrocki, Procesy współbieżne Interferencja obliczeń Z = Zarobek studenta Z:= Z + 100Z:= Z Z: 7
J.Nawrocki, Procesy współbieżne Z: 7 Interferencja obliczeń X:= Z; X:= X + 100; Z:= X Z:= Z + 100Z:= Z Z = Zarobek studenta
J.Nawrocki, Procesy współbieżne Z: 107 Interferencja obliczeń X:= Z; X:= X + 100; Z:= X Z:= Z + 100Z:= Z Z = Zarobek studenta
J.Nawrocki, Procesy współbieżne Z: 107 Interferencja obliczeń X:= Z; X:= X + 100; Z:= X Y:= Z; Y:= Y + 300; Z:= Y Z:= Z + 100Z:= Z Z = Zarobek studenta
J.Nawrocki, Procesy współbieżne Z: 407 Interferencja obliczeń X:= Z; X:= X + 100; Z:= X Y:= Z; Y:= Y + 300; Z:= Y Z:= Z + 100Z:= Z Z = Zarobek studenta
J.Nawrocki, Procesy współbieżne Z: 7 Interferencja obliczeń X:= Z; X:= X Z:= Z Z = Zarobek studenta Z:= Z Z:= X X: 107
J.Nawrocki, Procesy współbieżne Z: 7 Interferencja obliczeń X:= Z; X:= X Y:= Z; Y:= Y + 300; Z:= Z Z = Zarobek studenta Z:= Z Z:= Y Z:= X X: 107 Y: 307
J.Nawrocki, Procesy współbieżne Z: 307 Interferencja obliczeń X:= Z; X:= X Y:= Z; Y:= Y + 300; Z:= Y Z:= Z Z = Zarobek studenta Z:= Z Z:= X X: 107 Y: 307
J.Nawrocki, Procesy współbieżne Z: 107 Interferencja obliczeń X:= Z; X:= X + 100; Z:= X Y:= Z; Y:= Y + 300; Z:= Y Z:= Z Z = Zarobek studenta Z:= Z X: 107 Y: 307
J.Nawrocki, Procesy współbieżne Z: 107 Interferencja obliczeń X:= Z; X:= X + 100; Z:= X Y:= Z; Y:= Y + 300; Z:= Y Z:= Z Z = Zarobek studenta Z:= Z X: 107 Y: 307
J.Nawrocki, Procesy współbieżne Plan wykładu Podstawowe pojęcia Sieci Petriego Analiza zastoju
J.Nawrocki, Procesy współbieżne Carl Adam Petri Ur. 12 lipca 1926 w Lipsku Od 1988: Honorowy Prof. Uniwersytetu w Hamburgu Kommunikation mit Automaten. Petri, C.A., Bonn: Institut für Instrumentelle Mathematik, Schriften des IIM Nr. 2, 1962.
J.Nawrocki, Procesy współbieżne Co to za gra?
J.Nawrocki, Procesy współbieżne Co to za gra?
J.Nawrocki, Procesy współbieżne Co to za gra?
J.Nawrocki, Procesy współbieżne Co to za gra?
J.Nawrocki, Procesy współbieżne Co to za gra?
J.Nawrocki, Procesy współbieżne Co to za gra?
J.Nawrocki, Procesy współbieżne Wprowadzenie Sieci Petriego: Notacja graficzna Dobra podstawa matematyczna Zastosowania: Modelowanie systemów współbieżnych i rozproszonych Protokoły komunikacyjne, sieci komputerowe, systemy produkcyjne, systemy transportu publicznego itp.
J.Nawrocki, Procesy współbieżne Terminologia Miejsce Przejście Znacznik Łuk wej. Łuk wyj.
J.Nawrocki, Procesy współbieżne Bardzo prosty przykład waiting reading strt_reading stop_reading Czytelnik w bibliotece: czekanie, czytanie.
J.Nawrocki, Procesy współbieżne Bardzo prosty przykład waiting reading strt_reading stop_reading Czytelnik w bibliotece: czekanie, czytanie.
J.Nawrocki, Procesy współbieżne Bardzo prosty przykład waiting reading strt_reading stop_reading Czytelnik w bibliotece: czekanie, czytanie.
J.Nawrocki, Procesy współbieżne Bardzo prosty przykład waiting reading strt_reading stop_reading Czytelnik w bibliotece: czekanie, czytanie.
J.Nawrocki, Procesy współbieżne Bardzo prosty przykład waiting reading strt_reading stop_reading Czytelnik w bibliotece: czekanie, czytanie.
J.Nawrocki, Procesy współbieżne waiting reading strt_reading stop_reading Inny prosty przykład Dwaj czytelnicy w czytelni: czekanie, czytanie.
J.Nawrocki, Procesy współbieżne waiting reading strt_reading stop_reading Inny prosty przykład Dwaj czytelnicy w czytelni: czekanie, czytanie.
J.Nawrocki, Procesy współbieżne waiting reading strt_reading stop_reading Inny prosty przykład Dwaj czytelnicy w czytelni: czekanie, czytanie.
J.Nawrocki, Procesy współbieżne waiting reading strt_reading stop_reading Inny prosty przykład Dwaj czytelnicy w czytelni: czekanie, czytanie.
J.Nawrocki, Procesy współbieżne Przejścia równoległe 2
J.Nawrocki, Procesy współbieżne Przejścia równoległe 2
J.Nawrocki, Procesy współbieżne Przejścia równoległe 2
J.Nawrocki, Procesy współbieżne Przejścia konfliktowe
J.Nawrocki, Procesy współbieżne Przejścia konfliktowe
J.Nawrocki, Procesy współbieżne Przejścia konfliktowe Punkt decyzyjny
J.Nawrocki, Procesy współbieżne Inny przykład while (true) { t 1 ;... t 2 ;... t 3 ; } while (.. t 4..) {... t 5 ;... } Klient Serwer
J.Nawrocki, Procesy współbieżne Inny przykład while (1) { t 1 ;... t 2 ;... t 3 ; } while (..t 4..) {... t 5 ;... } t1t1 t2t2 t3t3 t4t4 t5t5
J.Nawrocki, Procesy współbieżne Inny przykład while (1) { t 1 ;... t 2 ;... t 3 ; } while (..t 4..) {... t 5 ;... } t1t1 t2t2 t3t3 t4t4 t5t5
J.Nawrocki, Procesy współbieżne Inny przykład while (1) { t 1 ;... t 2 ;... t 3 ; } while (..t 4..) {... t 5 ;... } t1t1 t2t2 t3t3 t4t4 t5t5
J.Nawrocki, Procesy współbieżne Inny przykład while (1) { t 1 ;... t 2 ;... t 3 ; } while (..t 4..) {... t 5 ;... } t1t1 t2t2 t3t3 t4t4 t5t5
J.Nawrocki, Procesy współbieżne Inny przykład while (1) { t 1 ;... t 2 ;... t 3 ; } while (..t 4..) {... t 5 ;... } t1t1 t2t2 t3t3 t4t4 t5t5
J.Nawrocki, Procesy współbieżne Inny przykład while (1) { t 1 ;... t 2 ;... t 3 ; } while (..t 4..) {... t 5 ;... } t1t1 t2t2 t3t3 t4t4 t5t5
J.Nawrocki, Procesy współbieżne Inny przykład while (1) { t 1 ;... t 2 ;... t 3 ; } while (..t 4..) {... t 5 ;... } t1t1 t2t2 t3t3 t4t4 t5t5
J.Nawrocki, Procesy współbieżne Inny przykład while (1) { t 1 ;... t 2 ;... t 3 ; } while (..t 4..) {... t 5 ;... } t1t1 t2t2 t3t3 t4t4 t5t5
J.Nawrocki, Procesy współbieżne Inny przykład while (1) { t 1 ;... t 2 ;... t 3 ; } while (..t 4..) {... t 5 ;... } t1t1 t2t2 t3t3 t4t4 t5t5
J.Nawrocki, Procesy współbieżne Inny przykład while (1) { t 1 ;... t 2 ;... t 3 ; } while (..t 4..) {... t 5 ;... } t1t1 t2t2 t3t3 t4t4 t5t5
J.Nawrocki, Procesy współbieżne Inny przykład while (1) { t 1 ;... t 2 ;... t 3 ; } while (..t 4..) {... t 5 ;... } t1t1 t2t2 t3t3 t4t4 t5t5
J.Nawrocki, Procesy współbieżne Plan wykładu Podstawowe pojęcia Sieci Petriego Analiza zastoju
J.Nawrocki, Procesy współbieżne Systemy operacyjne Jak uniknąć zastoju w systemie? AllocateLP; AllocateHD; UseHDandLP; ReleaseHD; ReleaseLP; LP HD B A
J.Nawrocki, Procesy współbieżne Systemy operacyjne AllocateLP; AllocateHD; UseHDandLP; ReleaseHD; ReleaseLP; LP HD B A
J.Nawrocki, Procesy współbieżne Systemy operacyjne AllocateLP; AllocateHD; UseHDandLP; ReleaseHD; ReleaseLP; LP HD B A
J.Nawrocki, Procesy współbieżne Systemy operacyjne AllocateLP; AllocateHD; UseHDandLP; ReleaseHD; ReleaseLP; LP HD B A
J.Nawrocki, Procesy współbieżne Systemy operacyjne AllocateLP; AllocateHD; UseHDandLP; ReleaseHD; ReleaseLP; LP HD B A
J.Nawrocki, Procesy współbieżne Systemy operacyjne AllocateLP; AllocateHD; UseHDandLP; ReleaseHD; ReleaseLP; LP HD B A
J.Nawrocki, Procesy współbieżne Systemy operacyjne AllocateLP; AllocateHD; UseHDandLP; ReleaseHD; ReleaseLP; LP HD B A
J.Nawrocki, Procesy współbieżne Systemy operacyjne AllocateLP; AllocateHD; UseHDandLP; ReleaseHD; ReleaseLP; LP HD B A
J.Nawrocki, Procesy współbieżne Systemy operacyjne AllocateLP; AllocateHD; UseHDandLP; ReleaseHD; ReleaseLP; LP HD B A
J.Nawrocki, Procesy współbieżne Systemy operacyjne AllocateLP; AllocateHD; UseHDandLP; ReleaseHD; ReleaseLP; LP HD B A
J.Nawrocki, Procesy współbieżne Systemy operacyjne AllocateLP; AllocateHD; UseHDandLP; ReleaseHD; ReleaseLP; AllocateHD; AllocateLP; UseHDandLP; ReleaseLP; ReleaseHD; LP HD B A Ale proste!
J.Nawrocki, Procesy współbieżne Systemy operacyjne AllocateLP; AllocateHD; UseHDandLP; ReleaseHD; ReleaseLP; AllocateHD; AllocateLP; UseHDandLP; ReleaseLP; ReleaseHD; LP HD B A
J.Nawrocki, Procesy współbieżne Systemy operacyjne AllocateLP; AllocateHD; UseHDandLP; ReleaseHD; ReleaseLP; AllocateHD; AllocateLP; UseHDandLP; ReleaseLP; ReleaseHD; LP HD B A
J.Nawrocki, Procesy współbieżne Systemy operacyjne AllocateLP; AllocateHD; UseHDandLP; ReleaseHD; ReleaseLP; AllocateHD; AllocateLP; UseHDandLP; ReleaseLP; ReleaseHD; LP HD B A
J.Nawrocki, Procesy współbieżne Systemy operacyjne AllocateLP; AllocateHD; UseHDandLP; ReleaseHD; ReleaseLP; AllocateHD; AllocateLP; UseHDandLP; ReleaseLP; ReleaseHD; LP HD B A
J.Nawrocki, Procesy współbieżne Systemy operacyjne AllocateLP; AllocateHD; UseHDandLP; ReleaseHD; ReleaseLP; AllocateHD; AllocateLP; UseHDandLP; ReleaseLP; ReleaseHD; LP HD B A
J.Nawrocki, Procesy współbieżne Systemy operacyjne AllocateLP; AllocateHD; UseHDandLP; ReleaseHD; ReleaseLP; AllocateHD; AllocateLP; UseHDandLP; ReleaseLP; ReleaseHD; LP HD B A ?
J.Nawrocki, Procesy współbieżne Problem zastoju AllocateHD AllocateLP use ReleaseHD ReleaseLP AllocateLP AllocateHD use ReleaseLP ReleaseHD HD LP
J.Nawrocki, Procesy współbieżne Problem zastoju AllocateHD AllocateLP use ReleaseHD ReleaseLP AllocateLP AllocateHD use ReleaseLP ReleaseHD HD LP
J.Nawrocki, Procesy współbieżne Problem zastoju AllocateHD AllocateLP use ReleaseHD ReleaseLP AllocateLP AllocateHD use ReleaseLP ReleaseHD HD LP
J.Nawrocki, Procesy współbieżne Problem zastoju AllocateHD AllocateLP use ReleaseHD ReleaseLP AllocateLP AllocateHD use ReleaseLP ReleaseHD HD LP
J.Nawrocki, Procesy współbieżne Systemy operacyjne AllocateLP; AllocateHD; UseHDandLP; ReleaseHD; ReleaseLP; AllocateHD; AllocateLP; UseHDandLP; ReleaseLP; ReleaseHD; LP HD B A
J.Nawrocki, Procesy współbieżne Systemy operacyjne AllocateLP; AllocateHD; UseHDandLP; ReleaseHD; ReleaseLP; AllocateLP; AllocateHD; UseHDandLP; ReleaseLP; ReleaseHD; LP HD B A
J.Nawrocki, Procesy współbieżne Problem zastoju AllocateHD AllocateLP use ReleaseHD ReleaseLP AllocateHD AllocateLP use ReleaseHD ReleaseLP HD LP
J.Nawrocki, Procesy współbieżne Podsumowanie Interferencja obliczeń Sieci Petriego Analiza zastoju Wreszcie!
J.Nawrocki, Procesy współbieżne Literatura A. Tanenbaum, Operating Systems: Design and Implementation, Prentice- Hall, 1987.
J.Nawrocki, Procesy współbieżne Ocena wykładu 1. Wrażenie ogólne? (1 - 6) 2. Zbyt wolno czy zbyt szybko? 3. Czy dowiedziałeś się czegoś ważnego? 4. Co poprawić i jak?