Slajd25

Poprawność programu współbieżnego

(m. in. po uwzględnieniu zmian w terminologii)

Zakleszczenie nazywane jest również blokadą (M. Ben-Ari: „Podstawy programowania współbieżnego i rozproszonego”, WNT, 1996; M. Ben-Ari: „Podstawy programowania współbieżnego”, WNT, 1989; A. Silberschatz i in.: „Podstawy systemów operacyjnych”, WNT, 1993), impasem (W. Sta Ili nys: „Systemy operacyjne. Struktura i zasady budowy”, PWN, 2006), zastojem (A.S. Tanenbaum: „Rozproszone systemy operacyjne”, PWN, 1997) a nawet martwym punktem (Z. Weiss, T. Grużlewski: „Programowanie współbieżne i rozproszone”, WNT, 1993)

Podstawowe pojęcia programowania współbieżnego 25