Title :
Testing Memory Models
Author :
Collier, William W.
Author_Institution :
Multiprocessor Diagnostics, Wappingers Falls, NY
Abstract :
A memory model defines the behavior of a shared memory machine when two or more threads read/write the same operand at the same time. There are only a handful of choices in defining a memory model. There are two (not clearly distinct) types of test to determine if a machine fails to conform to its memory model. Simple tests identify the normal behavior of the machine. Complex tests try to overwhelm the machine in an effort to reveal bugs in the machine´s design and/or construction. Presented here is a framework for generating complex tests.
Keywords :
memory architecture; program debugging; shared memory systems; machine design; memory model testing; shared memory machine; Analytical models; Assembly; Coherence; Computer bugs; Electronic mail; Magnetic resonance imaging; Microprocessors; Read-write memory; Testing; Yarn; Architecture; Atomicity; Coherence; Consistency; Memory Model; Order;
Conference_Titel :
Microprocessor Test and Verification, 2008. MTV '08. Ninth International Workshop on
Conference_Location :
Austin, TX
Print_ISBN :
978-1-4244-3682-8
DOI :
10.1109/MTV.2008.15
