• Unikanie — techniki gwarantujące brak zakleszczeń
- Wstępne żadanie wszystkich zasobów — ogranicza współbieżność
- Czekasz? Umieraj! (wait-die)
Zasób zajęty? Zabij transakcję i zacznij ją od nowa.
• Wykrywanie i rozrywanie pętli zakleszczeń
Wykrywanie — — złożoność grafu
oczekiwania (wait-for graph) jest rzędu n~ dla n procesów Rozerwanie wymaga wyboru ofiary (np. czas oczekiwania, priorytet, pracochłonność)
Inżynieria Oprogramowania
wykład 7 - Faza implementacji
20 XI 2006