Pr-1st-1.1-m09-toc

<< Powrót

Spis treści

1. Przetwarzanie rozproszone
2. Plan wykładu
3. Problem detekcji zakończenia: przykłady
4. Przykład 1 – sortowanie rozproszone
5. Sortowanie rozproszone: definicje
6. Sortowanie rozproszone – przykład
7. Sortowanie rozproszone – przykład (2)
8. Problem zakończenia
9. Przykład 2 – obraz stanu globalnego
10. Definicja nieformalna zakończenia
11. Definicja formalna: Oznaczenia (1)
12. Definicja formalna: Oznaczenia (2)
13. Zakończenie dynamiczne
14. Zakończenie dynamiczne: definicja formalna
15. Zakończenie statyczne
16. Zakończenie statyczne: definicja formalna
17. Zakończenie dynamiczne a statyczne
18. Klasyczna definicja zakończenia
19. Klasyczna definicja zakończenia a zakończenie statyczne
20. Problem detekcji zakończenia
21. Model przetwarzania synchronicznego
22. Detekcja zakończenia dla synchronicznego modelu przetwarzania
23. Przykład detekcji zakończenia runda zakończona niepowodzeniem
24. Przykład detekcji zakończenia runda zakończona sukcesem
25. Algorytm detekcji zakończenia Dijkstra, Feijen, van Gasteren (1)
26. Algorytm detekcji zakończenia Dijkstra, Feijen, van Gasteren (2)
27. Algorytm detekcji zakończenia Dijkstra, Feijen, van Gasteren (3)
28. Algorytm detekcji zakończenia Dijkstra, Feijen, van Gasteren (4)
29. Algorytm detekcji zakończenia Dijkstra, Feijen, van Gasteren (5)
30. Algorytm detekcji zakończenia Dijkstra, Feijen, van Gasteren (6)
31. Algorytm detekcji zakończenia Dijkstra, Feijen, van Gasteren (7)
32. Model przetwarzania dyfuzyjnego
33. Założenia dodatkowe
34. Koncepcja algorytmu detekcji zakończenia (Dijkstra-Scholten ’80)
35. Graf przetwarzania dyfuzyjnego
36. Graf przetwarzania dyfuzyjnego (2)
37. Algorytm detekcji zakończenia dla dyfuzyjnego modelu przetwarzania algorytm (1)
38. Algorytm detekcji zakończenia dla dyfuzyjnego modelu przetwarzania algorytm (2)
39. Algorytm detekcji zakończenia dla dyfuzyjnego modelu przetwarzania algorytm (3)
40. Algorytm detekcji zakończenia dla dyfuzyjnego modelu przetwarzania algorytm (4)
41. Algorytm detekcji zakończenia dla dyfuzyjnego modelu przetwarzania algorytm (5)
42. Algorytm detekcji zakończenia dla dyfuzyjnego modelu przetwarzania algorytm (6)
43. Algorytm detekcji zakończenia dla dyfuzyjnego modelu przetwarzania algorytm (7)
44. Twierdzenie 9.3
45. Algorytm detekcji zakończenia dla systemów asynchronicznych (Misra ’83)
46. Algorytm detekcji zakończenia dla systemów asynchronicznych algorytm (1)
47. Algorytm detekcji zakończenia dla systemów asynchronicznych algorytm (2)
48. Algorytm detekcji zakończenia dla systemów asynchronicznych algorytm (3)
49. Algorytm detekcji zakończenia dla systemów asynchronicznych algorytm (4)
50. Algorytm detekcji zakończenia dla systemów asynchronicznych algorytm (5)
51. Algorytm detekcji zakończenia dla systemów asynchronicznych algorytm (6)
52. Cechy algorytmu Misra’83