DocumentCode
2002343
Title
Testing Memory Models
Author
Collier, William W.
Author_Institution
Multiprocessor Diagnostics, Wappingers Falls, NY
fYear
2008
fDate
8-10 Dec. 2008
Firstpage
14
Lastpage
17
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Microprocessor Test and Verification, 2008. MTV '08. Ninth International Workshop on
Conference_Location
Austin, TX
ISSN
1550-4093
Print_ISBN
978-1-4244-3682-8
Type
conf
DOI
10.1109/MTV.2008.15
Filename
5070928
Link To Document