Reasoning About Parallel Architectures

Rating:
Summary: the bible for multiprocessor memory verification
Review: This unique book develops the mathematics for showing
that an architecture obeys properties that may either be
assumed by naive programmers or prescribed in architecture
specifications. The book culminates in a series of tests
for multiprocessor memory system properties that have been
very useful in practice.