Slajd42

Całkowita poprawność

■ Całkowita poprawność określa, że program zakończy swoje działanie i wyniki będą „prawdziwe”

• Własność żywotności programu współbieżnego wywodzi się z całkowitej poprawności algorytmu.

Częściowa i całkowita poprawność jest odpowiednia dla kończących się programów współbieżnych tak samo jak dla programów sekwencyjnych. Lecz wówczas gdy specyfikujemy niekończące się programy (np. systemy operacyjne) to potrzebujemy innych definicji. Zatrzymanie się któregoś z takich systemów traktowane jest jako błąd! Stąd poprawność programów współbieżnych jest definiowana własnościami ciągów wykonań (własności bezpieczeństwa i żywotności).

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