Wówczas programy wykonywane przez oba zaangażowane procesory lub rdzenie uzyskują niespójną informację o zawartości pamięci.
W wielu zastosowaniach istotne jest zagwarantowanie niepodzielności operacji: w przetwarzaniu równoległym zmiana obiektów współdzielonych przez różne procesy musi być atomowa, z punktu widzenia procesu niepodzielna (patrz: sekcja krytyczna, fetch-and-add, compare-and-swap); w systemach baz danych wszystkie zmiany w obrębie transakcji muszą zostać w całości albo zatwierdzone albo odrzucone, inni użytkownicy bazy danych nie mogą otrzymać danych niekompletnych; podobnie w niektórych systemach plików zmiany muszą zostać w całości zatwierdzone albo odrzucone, aby w przypadku awarii (np. zaniku zasilania) system plików pozostał spójny.
Kategoria:Teoria obliczeń