Pr-1st-1.1-m11-toc

<< powrót

Spis treści

1. Przetwarzanie rozproszone
2. Plan wykładu
3. Proces poprawny i niepoprawny
4. Definicje awarii, błędu, wady
5. Klasy awarii procesów
6. Modele kanałów komunikacyjnych
7. Kanały rzetelne: Specyfikacja
8. Kanały rzetelne: Operacje komunikacyjne
9. Kanały wytrwałe: Specyfikacja
10. Kanały wytrwałe: Operacje komunikacyjne
11. Algorytm implementujący kanały wytrwałe: Założenia
12. Kanały wytrwałe: Algorytm (1)
13. Kanały wytrwałe: Algorytm (2)
14. Kanały niezawodne: Specyfikacja
15. Kanały niezawodne: Operacje komunikacyjne
16. Algorytm implementujący kanały niezawodne: Założenia
17. Kanały niezawodne: Algorytm (1)
18. Kanały niezawodne: Algorytm (2)
19. Modele systemów rozproszonych w kontekście niezawodności
20. Systemy asynchroniczne
21. Systemy synchroniczne
22. Systemy częściowo synchroniczne (1)
23. Systemy częściowo synchroniczne (2)
24. Detektory awarii
25. Rozważany model systemu
26. Wzorzec awarii
27. Historia detektora awarii
28. Formalna definicja detektora awarii
29. Własności detektora
30. Własność kompletności
31. Własność dokładności
32. Klasyfikacja detektorów
33. Relacja redukcji detektorów (1)
34. Relacja redukcji detektorów (2)
35. Relacje między detektorami
36. Hierarchia detektorów
37. Jakość detekcji
38. Metryki
39. Czas wykrycia pomyłki
40. Czas trwania pomyłki
41. Okres między kolejnymi pomyłkami
42. Prawdopodobieństwo dokładności zapytania
43. Metryka PrA – przykład
44. Średni współczynnik pomyłek
45. Metryki AM i PrA– przykład
46. Implementacja detektora awarii: mechanizm pulsu
47. Implementacja detektora awarii: mechanizm odpytywania
48. Implementacja detektora P
49. Algorytm implementujący detektor awarii P z użyciem mechanizmu pulsu: Założenia
50. Algorytm implementujący detektor awarii P z użyciem mechanizmu pulsu: Koncepcja
51. Algorytm implementujący detektor awarii P z użyciem mechanizmu pulsu: Zdarzenia cykliczne
52. Detektor klasy P: Algorytm (1)
53. Detektor klasy P: Algorytm (2)
54. Implementacja detektora $\Diamond$P
55. Algorytm implementujący detektor awarii$\Diamond$P z użyciem mechanizmu pulsu: Założenia
56. Algorytm implementujący detektor awarii$\Diamond$P z użyciem mechanizmu pulsu: Koncepcja
57. Detektor klasy$\Diamond$P: Algorytm (1)
58. Detektor klasy$\Diamond$P: Algorytm (2)
59. Detektor klasy$\Diamond$P: Algorytm (3)
60. Problem wyboru lidera
61. Algorytm wyboru ostatecznego lidera: Założenia
62. Algorytm wyboru ostatecznego lidera: Koncepcja
63. Problem wyboru lidera: Algorytm (1)
64. Problem wyboru lidera: Algorytm (2)
65. Problem wyboru lidera: Algorytm (3)
66. Problem wyboru lidera: Algorytm (4)
67. Problem wyboru lidera: Algorytm (5)
68. Modele przetwarzania