Chapter 9 Modelling III: Asynchronous Shared Memory Model
In this chapter, we give a formal model for asynchronous shared memory systems. This model is presented in terms of the general I/O automaton model for asynchronous systems that we defined in Chapter 8.
A shared memory system consists of a collection of communicating processes, as does a network system. But this time, instead of sending and receiving messages over communication channels, the processes perform instantaneous operations on shared variables.
Informally speaking, an asynchronous shared memory system consists of a finite collection of processes interacting with each other by means of a finite collection of shared variables. The variables are used only ...