Ta witryna wykorzystuje cookies. Więcej informacji można znaleźć na stronie Polityka dotycząca cookies i podobnych technologii. ZAMKNIJ Zamknij ostrzeżenie dotyczące cookies

Seminarium Instytutu Informatyki

zdjęcie

W. Daszczuk

Instytutu Informatyki zaprasza na seminarium 30 marca br. o godzinie 12:15 w Audytorium Centralnym. Referat pt. " Anatomia zakleszczeńwygłosi dr inż.  Wiktor Daszczuk, adiunkt w Zakładzie Oprogramowania Architektury Komputerów IIPW . Serdecznie zapraszamy wszystkich zainteresowanych. Poniżej autorskie streszczenie referatu.

W referacie zostaną przedstawione podstawowe metody znajdowania zakleszczeń oraz klasyfikacja zakleszczeń, w tym podział na zakleszczenia komunikacyjne i na zasobach oraz zakleszczenia totalne i częściowe (globalne i lokalne). Na tym tle zostanie przedstawiony oryginalny model IMDS (Integrated Model of Distributed Systems), w którym w jednolity sposób można przedstawić strukturę systemu rozproszonego, a zakleszczenia komunikacyjne i na zasobach wykrywać poprzez rzutowanie na procesy serwerów/agentów.

Zostanie przedstawione środowisko DEDAN, w którym można modelować systemy, rzutować na procesy serwerów/agentów, oraz symulować zachowanie systemów. W środowisko jest wbudowany weryfikator temporalny, który pozwala znajdować zakleszczenia i badać terminację procesów.

Ostatnia modyfikacja: wtorek, 15 marca 2016, 12:16:12, Bożenna Skalska

x x Aktualności (2) - wg daty publikacji

‹‹ Marzec 2016 ››
Pon Wt Śr Czw Pt So N
  1 2 3 4 5 6
7 8 9 10 11 12 13
14 15 16 17 18 19 20
21 22 23 24 25 26 27
28 29 30 31