Paper Info
Title
SafetyNet: improving the availability of shared memory multiprocessors with global checkpoint/recovery
Abstract
We develop an availability solution, called SafetyNet, that uses a unified, lightweight checkpoint/recovery mechanism to support multiple long-latency fault detection schemes. At an abstract level, SafetyNet logically maintains multiple, globally consistent checkpoints of the state of a shared memory multiprocessor (i.e., processors, memory, and coherence permissions), and it recovers to a pre-fault checkpoint of the system and re-executes if a fault is detected. SafetyNet efficiently coordinates checkpoints across the system in logical time and uses "logically atomic" coherence transactions to free checkpoints of transient coherence state. SafetyNet minimizes performance overhead by pipelining checkpoint validation with subsequent parallel execution.We illustrate SafetyNet avoiding system crashes due to either dropped coherence messages or the loss of an interconnection network switch (and its buffered messages). Using full-system simulation of a 16-way multiprocessor running commercial workloads, we find that SafetyNet (a) adds statistically insignificant runtime overhead in the common-case of fault-free execution, and (b) avoids a crash when tolerated faults occur.
Year
DOI
Venue
2002
10.1145/545214.545229
ACM Sigarch Computer Architecture News
Keywords
Field
DocType
availability,multiprocessor,shared memory
Pipeline (computing),Shared memory,Computer science,Fault detection and isolation,Parallel computing,Network switch,Real-time computing,Coherence (physics),Multiprocessing,Shared memory multiprocessor,Interconnection
Conference
Volume
Issue
ISSN
30
2
0163-5964
ISBN
Citations 
PageRank 
0-7695-1605-X
163
7.70
References 
Authors
29
4
Search Limit
100163
Name
Order
Citations
PageRank
Daniel J. Sorin12213125.31
Milo M. K. Martin22677125.22
Mark D. Hill37371582.90
David A. Wood46058617.11