thus the behavior of a program can depend on the

Info iconThis preview shows page 1. Sign up to view the full content.

View Full Document Right Arrow Icon
This is the end of the preview. Sign up to access the rest of the document.

Unformatted text preview: y – if we are content with slow and safe, things can be pretty straightforward. Simplest model (linearizable memory): the behavior of a set of caches should appear exactly the same as if every process was running on one node with a single memory (single copy). In other words, reads and writes should be done in the order they were made in real time – if one processor wrote a location, and another processor later on (in physical time) read the location, then the later one would always see the write. Sidebar: the nomenclature is highly confusing. In plain English usage, one would think the words, linearizability and serializability, mean precisely the same thing – that is, they are synonyms in English. But as technical jargon, they mean very slightly different things, and the difference does not have any relationship to the plain English meaning of these two terms. [Please! when inventing jargon – don’t use English words against their plain meaning!] sidebar: Serializability vs. linearizability. Suppose instead of signaling with done0/done1, we use the telephone...
View Full Document

Ask a homework question - tutors are online