Proceedings ArticleDOI
Error Detection by Redundant Transaction in Transactional Memory System
Wei Song,Jia Jia,Yuxing Peng +2 more
- pp 220-224
Reads0
Chats0
TLDR
This paper validates the EDRT through 5 test programs, including 4 SPLASH-2 benchmarks, and shows that, the average error detecting cost is about 3.68% relative to the whole program, and it's only about 12.07%relative to the transaction parts of the program.Abstract:
This paper addresses the issue of error detection in transactional memory, and proposes a new method of error detection based on redundant transaction (EDRT). This method creates a transaction copy for every transaction, and executes both original transactions and transaction copies on adequate processor cores, and achieves error detection by comparing the execution results. EDRT utilizes the data-versioning mechanism of transactional memory to achieve the acquisition of an approximate minimum error detection comparing data set, and the acquisition is transparent and online. At last, this paper validates the EDRT through 5 test programs, including 4 SPLASH-2 benchmarks. The experimental results show that, the average error detecting cost is about 3.68% relative to the whole program, and it's only about 12.07% relative to the transaction parts of the program.read more
Citations
More filters
Patent
Using transactional execution for reliability and recovery of transient failures
TL;DR: In this paper, a computer system supporting transactional execution mode processing is described, where an instruction in a portion of the stream of program instructions begins a transaction, saving a snapshot of system state information, and executing the portion of program instruction as a transaction until an end-mode test point in the program instruction is reached.
Patent
Indicating a low priority transaction
TL;DR: In this article, the authors present an approach for assigning a conflict priority to a transaction based on encountering a conflict with another process for a memory location, comparing the assigned conflict priority of the transaction with another priority of another process, and aborting the transaction.
Patent
Transaction digest generation during nested transactional execution
TL;DR: In this paper, a transactional memory environment supporting transaction nesting is provided, in which a computed digest based on the execution of at least one of a plurality of instructions of the transaction is generated.
Patent
Enhancing reliability of transaction execution by using transaction digests
TL;DR: In this article, a computer system identifies a beginning instruction of a digest-generating transaction comprising a plurality of instructions, and an ending instruction of the digest generating transaction in which committing memory store data is suppressed.
Patent
Diagnostics for transactional execution errors in reliable transactions
TL;DR: In this article, a transactional memory environment for performing transactional executions is provided, where diagnostics are gathered during the execution of a transaction in order to identify a beginning instruction and an ending instruction associated with the plurality of instructions.
References
More filters
Proceedings ArticleDOI
Software transactional memory for dynamic-sized data structures
TL;DR: A new form of software transactional memory designed to support dynamic-sized data structures, and a novel non-blocking implementation of this STM that uses modular contention managers to ensure progress in practice.
Proceedings ArticleDOI
SWIFT: Software Implemented Fault Tolerance
TL;DR: A novel, software-only, transient-fault-detection technique, called SWIFT, which efficiently manages redundancy by reclaiming unused instruction-level resources present during the execution of most programs and provides a high level of protection and performance with an enhanced control-flow checking mechanism.
Proceedings ArticleDOI
LogTM: log-based transactional memory
TL;DR: This paper presents a new implementation of transactional memory, log-based transactionalMemory (LogTM), that makes commits fast by storing old values to a per-thread log in cacheable virtual memory and storing new values in place.
Proceedings ArticleDOI
Transient fault detection via simultaneous multithreading
TL;DR: The concept of the sphere of replication is introduced, which abstract both the physical redundancy of a lockstepped system and the logical redundancy of an SRT processor, and two mechanisms-slack fetch and branch outcome queue-are proposed and evaluated that enhance the performance of anSRT processor by allowing one thread to prefetch cache misses and branch results for the other thread.
Journal ArticleDOI
Control-flow checking by software signatures
TL;DR: A pure software method that checks the control flow of a program using assigned signatures that can be used even when the operating system does not support multitasking, and it is possible to increase error detection coverage for control flow errors by an order of magnitude.
Related Papers (5)
Multi-petascale highly efficient parallel supercomputer
Sameh W. Asaad,Ralph Bellofatto,Michael A. Blocksome,Matthias A. Blumrich,Peter Boyle,Jose R. Brunheroto,Dong Chen,Chen-Yong Cher,George Liang-Tai Chiu,N. H. Christ,Paul W. Coteus,Kristan D. Davis,Gabor Dozsa,Alexandre E. Eichenberger,Noel A. Eisley,Matthew R. Ellavsky,Kahn C. Evans,Bruce M. Fleischer,Thomas W. Fox,Alan Gara,Mark E. Giampapa,Thomas M. Gooding,Michael K. Gschwind,John A. Gunnels,Shawn A. Hall,Rudolf A. Haring,Philip Heidelberger,Todd A. Inglett,Brant L. Knudson,Gerard V. Kopcsay,Sameer Kumar,Amith R. Mamidala,James Anthony Marcella,Mark G. Megerian,Douglas R. Miller,Samuel J. Miller,Adam J. Muff,Michael B. Mundy,John Kevin Patrick O'Brien,Kathryn M. O'Brien,Martin Ohmacht,Jeffrey J. Parker,Ruth J. Poole,Joseph D. Ratterman,Valentina Salapura,David L. Satterfield,Robert M. Senger,Brian E. Smith,Burkhard Steinmacher-Burow,William Maupin Stockdell,Craig B. Stunkel,Krishnan Sugavanam,Yutaka Sugawara,Todd E. Takken,Barry M. Trager,James L. Van Oosten,Charles D. Wait,Robert E. Walkup,Alfred T. Watson,Robert W. Wisniewski,Peng Wu +60 more