Svag konsistens

Namnet svag konsistens kan användas i två betydelser. I den första meningen är strikt och mer populärt, svag konsistens en av konsistensmodellerna som används inom området för samtidig programmering (t.ex. i distribuerat delat minne , distribuerade transaktioner etc.).

Ett protokoll sägs stödja svag konsistens om:

1. Alla åtkomster till synkroniseringsvariabler ses av alla processer (eller noder, processorer) i samma ordning (sekventiellt) - dessa är synkroniseringsoperationer. Åtkomster till kritiska avsnitt ses sekventiellt.
2. Alla andra åtkomster kan ses i olika ordning på olika processer (eller noder, processorer).
3. Uppsättningen av både läs- och skrivoperationer mellan olika synkroniseringsoperationer är densamma i varje process.

Därför kan det inte finnas åtkomst till en synkroniseringsvariabel om det finns väntande skrivoperationer. Och det kan inte startas någon ny läs-/skrivoperation om systemet utför någon synkroniseringsoperation.

I den andra, mer generella, kan svag konsistens tillämpas på vilken konsistensmodell som helst som är svagare än sekventiell konsistens .

Ett strängare villkor är stark konsistens , där parallella processer endast kan observera ett konsekvent tillstånd.

• Den ursprungliga artikeln om svag ordning: M. Dubois, C. Scheurich och FA Briggs, Memory Access Buffering in Multiprocessors , i Proceedings of 13th Annual International Symposium on Computer Architecture 14, 2 (juni 1986), 434-442.
• Sarita V. Adve , Mark D. Hill, Weak ordering - a new definition , i Proceedings of the 17th Annual International Symposium on Computer Architecture .