SO-1st-2.3-w11.tresc-1.0-Slajd20

Własność uczciwości programów współbieżnych

Dodatkowo sformułować można własność uczciwości (lub inaczej sprawiedliwości, ang. fairness) programów współbieżnych. Własność ta jest uszczegółowieniem własności żywotności i precyzuje czas oczekiwania na wystąpienie określonego stanu.

Własność uczciwości zostaje tylko zasygnalizowana i nie będzie w dalszej części analizowana w prezentowanych algorytmach.

<< Poprzedni slajd | Spis treści | Następny slajd >>