Reasoning about parallel architectures

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.