
9.5 Implications for Parallel Software 729
IMPLICATIONS FOR PARALLEL SOFTWARE
Let us examine the implications for parallel software of all the approaches discussed
in this chapter, beyond the parallel programming issues already discussed in earlier
chapters.
Relaxed memory consistency models require that parallel programs label the
desired conflicting accesses as synchronization operations. The insertion points are
usually quite stylized, for example, looking for variables that a process spins on in a
while loop before proceeding; but sometimes orders must be preserved even without
spin-waiting, as in some of the examples in Figure 9.4. A programmin ...