scispace - formally typeset
Proceedings ArticleDOI

Error Detection by Redundant Transaction in Transactional Memory System

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)