Work

Detecting access anomalies in programs with critical sections

Year: 1991

Type: conference-paper

Abstract: ThE paper presents an efficient on-the-fly method for detecting access anomalies in programs that contain critical section coordinw tion.For a large class of programs, a single execution instance is sufficient to determine theexistence of an acceeaanomaly for a given input when the proposed method is used.In contrast, for the same class of programs, previous on-the-fly methods for handling critical sections can fail to detect anomalies for a given input, and can require N! execution instances to find an anomaly, where N is the degree of parallelism.An algorithm for statically determining which programs are in this class is described.

DOI: 10.1145/122759.122767

Authors: Anne Dinning, Edith Schonberg

Institutions: D. E. Shaw Research, IBM (United States), IBM Research - Thomas J. Watson Research Center

Language: English

Topic: Software Testing and Debugging Techniques

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: gold

OpenAlex ID: W2061239425

FWCI: 2.009

Cites: 24

Cited by: 193

Related to: 10