Reasoning About Parallel Architectures
William W. Collier · Medical Entomology and Zoology · 1992
Seeing architecture failures history basics the model the rule of computation the rules of program order the rules of atomicity the rules of synchronisation the rules of intra-statement order the structure of architectures out of order read operations write synchronised is write atomic ring-shaped systems a model of a shared memory multiprocessor future work.