Back to ComputerTerms
The protocols to maintain coherence for multiple processors are called CacheCoherenceProtocols
A memory system is coherent if (P-process, X[value]-location)
Program order: _ P-->X[10], P<--X[10], essentially you read what you wrote before provided no one else wrote to X!
Memory Coherence: P2-->X[5], P1<--X[5], essentially you read what someone else wrote to X if they wrote it before you.
Serialization: Writes to the same location are serialized: two writes to the same location are seen in the same order by all processors!
Back to ComputerTerms