9965379856

Poprawność Programu Współbieżnego

Dwa type własności poprawności:

•    Bezpieczeństwo (safety)

-    Problemy:

•    niepoprawność (race conditions)

•    Żywotność (liveness)

-    Problemy globalne:

■ zakleszczenie (deadlock, livelock)

-    Problemy lokalne:

•    wykluczenie (tockout), zagłodzenie (starvation)