skip to main content
DOE Patents title logo U.S. Department of Energy
Office of Scientific and Technical Information

Title: Atomicity violation detection using access interleaving invariants

Abstract

During execution of a program, the situation where the atomicity of a pair of instructions that are to be executed atomically is violated is identified, and a bug is detected as occurring in the program at the pair of instructions. The pairs of instructions that are to be executed atomically can be identified in different manners, such as by executing a program multiple times and using the results of those executions to automatically identify the pairs of instructions.

Inventors:
; ;
Issue Date:
Research Org.:
The Board of Trustees of the University of Illinois (Urbana, IL)
Sponsoring Org.:
USDOE
OSTI Identifier:
1092760
Patent Number(s):
8,533,681
Application Number:
11/857,925
Assignee:
The Board of Trustees of the University of Illinois (Urbana, IL)
DOE Contract Number:  
FG02-05ER25688
Resource Type:
Patent
Country of Publication:
United States
Language:
English
Subject:
97 MATHEMATICS AND COMPUTING

Citation Formats

Zhou, Yuanyuan, Lu, Shan, and Tucek, Joseph Andrew. Atomicity violation detection using access interleaving invariants. United States: N. p., 2013. Web.
Zhou, Yuanyuan, Lu, Shan, & Tucek, Joseph Andrew. Atomicity violation detection using access interleaving invariants. United States.
Zhou, Yuanyuan, Lu, Shan, and Tucek, Joseph Andrew. Tue . "Atomicity violation detection using access interleaving invariants". United States. https://www.osti.gov/servlets/purl/1092760.
@article{osti_1092760,
title = {Atomicity violation detection using access interleaving invariants},
author = {Zhou, Yuanyuan and Lu, Shan and Tucek, Joseph Andrew},
abstractNote = {During execution of a program, the situation where the atomicity of a pair of instructions that are to be executed atomically is violated is identified, and a bug is detected as occurring in the program at the pair of instructions. The pairs of instructions that are to be executed atomically can be identified in different manners, such as by executing a program multiple times and using the results of those executions to automatically identify the pairs of instructions.},
doi = {},
journal = {},
number = ,
volume = ,
place = {United States},
year = {2013},
month = {9}
}

Patent:

Save / Share: