Problem

Compare the memory-access constraints in the following memory consistency models:

(a) Determine the similarities and subtle differences among the conditions on sequential consistency imposed by Lamport (1979), by Dubois et al. (1986), and by Sindhu et al. (1992), respectively.

(b) Repeat question (a) between the DSB model and the ISO model for weak consistency memory systems.

(c) A PSO (partial store order) model for weak consistency has been refined from the ISO model. Study the PSO specification in the paper by Sindhu et al. (1992) and compare the relative merits between theTS0 and the PSO memory models.