Pr-1st-1.1-m09-toc

From Studia Informatyczne

<< 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