Pr-1st-1.1-m04-toc
Z Studia Informatyczne
Przejdź do nawigacjiPrzejdź do wyszukiwania
Spis treści
- Czas wirtualny, złożoność algorytmów
- Plan wykładu
- Czas wirtualny (1)
- Czas wirtualny (2)
- Zegar logiczny - definicja
- Zegary logiczne - właściwości
- Zegar skalarny – definicja
- Realizacja zegarów skalarnych
- Alg. Lamporta (1)
- Alg. Lamporta (2)
- Alg. Lamporta (3)
- Przykład synchronizacji zegarów logicznych
- Relacja między zb. zdarzeń i zb. wartości zegara skalarnego
- Zegar wektorowy - definicja
- Realizacja zegarów wektorowych
- Alg. Matterna (1)
- Alg. Matterna (2)
- Alg. Matterna (3)
- Zegary wektorowe (1)
- Relacje na etykietach wektorowych
- Zegary wektorowe (2)
- Kanały FIFO
- Alg. Müllender’a (1)
- Alg. Müllender’a (2)
- Alg. Müllender’a (3)
- Alg. Müllender’a (4)
- Cechy kanałów FIFO
- Kanały typu FC
- Wyprzedzanie wiadomości
- Typy wiadomości w kanałach FC
- Implementacja kanałów FC
- Relacja poprzedzania ?+i,j
- Bezpośrednie poprzedzanie
- Konstrukcja relacji ?i,j (1)
- Konstrukcja relacji ?i,j (2)
- Konstrukcja relacji ?i,j (3)
- Przekazywania informacji o relacji ?i,j
- Alg. Kearnsa, Campa i Ahuja (1)
- Alg. Kearnsa, Campa i Ahuja (2)
- Alg. Kearnsa, Campa i Ahuja (3)
- Alg. Kearnsa, Campa i Ahuja (4)
- Alg. Kearnsa, Campa i Ahuja (5)
- Alg. Kearnsa, Campa i Ahuja (6)
- Alg. Kearnsa, Campa i Ahuja (7)
- Alg. Kearnsa, Campa i Ahuja (8)
- Środowisko nie zachowujące uporządkowania przyczynowego
- Środowisko zachowujące uporządkowanie przyczynowe
- Alg. Birmana, Schipera i Stephensona (1)
- Alg. Birmana, Schipera i Stephensona (2)
- Alg. Birmana, Schipera i Stephensona (3)
- Alg. Schipera, Egli, Sandoza (1)
- Alg. Schipera, Egli, Sandoza (2)
- Alg. Schipera, Egli, Sandoza (3)
- Alg. Schipera, Egli, Sandoza (4)
- Alg. Schipera, Egli, Sandoza (4)
- Alg. Schipera, Egli, Sandoza (5)
- Funkcje kosztu – oznaczenia
- Funkcja kosztu - definicja
- Funkcje kosztu wykonania algorytmów
- Rząd funkcji (1)
- Rząd funkcji (2)
- Rząd funkcji (3)
- Złożoność czasowa
- Czasy przetwarzania lokalnego i transmisji
- Złożoność komunikacyjna
- Przykład (1) - bariera
- Przykład (1) - rysunek
- Przykład (2) - bariera
- Przykład (2) - rysunek
- Warunki poprawności