Pr-1st-1.1-m06-Slajd25: Różnice pomiędzy wersjami
Z Studia Informatyczne
Przejdź do nawigacjiPrzejdź do wyszukiwania
Nie podano opisu zmian |
m Zastępowanie tekstu – „ </math>” na „</math>” |
||
| Linia 6: | Linia 6: | ||
Niech ponadto: | Niech ponadto: | ||
:<math> succ(i) = (i) \mod _n + 1 </math> | :<math> succ(i) = (i) \mod _n + 1</math> | ||
:<math> pred(i) = (i + n - 2) \mod _n + 1</math> | :<math> pred(i) = (i + n - 2) \mod _n + 1</math> | ||
[[pr-1st-1.1-m06-Slajd24 | << Poprzedni slajd]] | [[pr-1st-1.1-m06-toc|Spis treści ]] | [[pr-1st-1.1-m06-Slajd26 | Następny slajd >>]] | [[pr-1st-1.1-m06-Slajd24 | << Poprzedni slajd]] | [[pr-1st-1.1-m06-toc|Spis treści ]] | [[pr-1st-1.1-m06-Slajd26 | Następny slajd >>]] | ||
Wersja z 10:45, 5 wrz 2023
Detekcja zakleszczenia dla modelu predykatowego (2)
W celu uproszczenia prezentacji algorytmu detekcji zakleszczenia dla modelu predykatowego przyjmiemy, że monitory procesów aplikacyjnych tworzą strukturę pierścienia.
Niech ponadto:
