Deadlock, Livelock ve Starvation: Coffman Koşulları, Lock Ordering ve Priority Inversion
Deadlock ancak mutual exclusion, hold and wait, no preemption ve circular wait birlikte olduğunda oluşur; pratikte en kolay kırılan koşul circular wait'tir ve çözümü kilitleri global bir sırayla almaktır. Bookstore'un iki deposu arasında gerçekten kilitlenen transferi Id sırasıyla 25 ms'de bitiriyor, 1 ms'lik timeout'un 5 saniyede 621.187 timeout'lu bir livelock ürettiğini ölçüyor ve Mars Pathfinder'ın priority inversion vakasına bakıyoruz.
14 Kas 2026
·
11 dk
·
12
