(memory consistency, memory coherency)
problem zgodnoscι Ä kopii informacji przechowywanych w róznych, niezaleznie uaktualnianych pamieciacη Ä systemu rozproszonego. S.p. jest latwo osiagalna tylko ω Ä systemie scentralizowanym (nawet w niμ Ä rejestry moga czasowo zawierac inne wartosci niζ Ä komórki pamieci operacyjnej), rozwaza sie zatem i implementuje wiele róznych m o d e l i s p ó j n o s- c i rozumianych, jako kontrakty miedzψ Ä oprogramowaniem a pamiecia, w mysl których pamiec zapewnia poprawne dzialanie dopóty, dopóki w oprogramowaniu przestrzega sie okreslonych regul. Modele spójnosci pamieci wyrazaja kompromisy miedzy oczekiwaniami programistów a mozliwosciami realizacji s.p. Najsilniejszy rodzaj spójnosci, s p ó j- n o s c s c i s l a (strict consistency), wyraza sie postulatem: "kazde czytanie komórki x pamieci zwraca wartosc zapamietana w x przez ostatnio wykonana operacje pisania" i jest bardzo trudny do osiagniecia. Inne modele spójnosci, jak s. sekwencyjna, przyczynowa lub slaba, sa mniej restrykcyjne z punktu widzenia implementacji, wymagaja natomiast wiekszej ostroznosci ω Ä programowaniu wspólbieznym. Zob. tez DSM
- spójnosc, (consistency, coherency,...
- spójnosc pamieci podrecznej, (cache consisten cy)
- pamiec podreczna, (cache, pamiec notatnikowa,...