A race detection mechanism embedded in a conceptual model for the debugging of message-passing distributed programs

Ana Paula Cláudio; João Duarte Cunha

A race detection mechanism embedded in a conceptual model for the debugging of message-passing distributed programs

Ana Paula Cláudio^*, João Duarte Cunha

^*Corresponding author for this work

Research output: Contribution to journal › Article › peer-review

1 Citation (Scopus)

Abstract

An object-oriented conceptual model for the debugging of message-passing distributed programs incorporates several debugging facilities: generation of a space-time diagram showing the progression of the execution being studied, detection of race conditions, detection of particular kinds of predicates and representation of causality cones. The focus of this paper is the race detection mechanism. The proposed mechanism comprises two steps: detection of pairs of receive events in the same process potentially involved in race conditions and verification of the legitimacy of the potential race condition. The mechanism relies on the analysis of two arguments, process id and message tag, in receive events and consume events, which are considered as distinct types of occurrences in the conceptual model.

Original language	English
Pages (from-to)	57-65
Number of pages	9
Journal	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	2790
Publication status	Published - 2004
Externally published	Yes

Cite this

@article{6c67994612b24fb9806fd006c114b79e,

title = "A race detection mechanism embedded in a conceptual model for the debugging of message-passing distributed programs",

abstract = "An object-oriented conceptual model for the debugging of message-passing distributed programs incorporates several debugging facilities: generation of a space-time diagram showing the progression of the execution being studied, detection of race conditions, detection of particular kinds of predicates and representation of causality cones. The focus of this paper is the race detection mechanism. The proposed mechanism comprises two steps: detection of pairs of receive events in the same process potentially involved in race conditions and verification of the legitimacy of the potential race condition. The mechanism relies on the analysis of two arguments, process id and message tag, in receive events and consume events, which are considered as distinct types of occurrences in the conceptual model.",

author = "Cl{\'a}udio, {Ana Paula} and Cunha, {Jo{\~a}o Duarte}",

year = "2004",

language = "English",

volume = "2790",

pages = "57--65",

journal = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

issn = "0302-9743",

publisher = "Springer Science and Business Media Deutschland GmbH",

}

A race detection mechanism embedded in a conceptual model for the debugging of message-passing distributed programs. / Cláudio, Ana Paula; Cunha, João Duarte.
In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 2790, 2004, p. 57-65.

Research output: Contribution to journal › Article › peer-review

TY - JOUR

T1 - A race detection mechanism embedded in a conceptual model for the debugging of message-passing distributed programs

AU - Cláudio, Ana Paula

AU - Cunha, João Duarte

PY - 2004

Y1 - 2004

N2 - An object-oriented conceptual model for the debugging of message-passing distributed programs incorporates several debugging facilities: generation of a space-time diagram showing the progression of the execution being studied, detection of race conditions, detection of particular kinds of predicates and representation of causality cones. The focus of this paper is the race detection mechanism. The proposed mechanism comprises two steps: detection of pairs of receive events in the same process potentially involved in race conditions and verification of the legitimacy of the potential race condition. The mechanism relies on the analysis of two arguments, process id and message tag, in receive events and consume events, which are considered as distinct types of occurrences in the conceptual model.

AB - An object-oriented conceptual model for the debugging of message-passing distributed programs incorporates several debugging facilities: generation of a space-time diagram showing the progression of the execution being studied, detection of race conditions, detection of particular kinds of predicates and representation of causality cones. The focus of this paper is the race detection mechanism. The proposed mechanism comprises two steps: detection of pairs of receive events in the same process potentially involved in race conditions and verification of the legitimacy of the potential race condition. The mechanism relies on the analysis of two arguments, process id and message tag, in receive events and consume events, which are considered as distinct types of occurrences in the conceptual model.

UR - http://www.scopus.com/inward/record.url?scp=35048815619&partnerID=8YFLogxK

M3 - Article

AN - SCOPUS:35048815619

SN - 0302-9743

VL - 2790

SP - 57

EP - 65

JO - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

JF - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

ER -

A race detection mechanism embedded in a conceptual model for the debugging of message-passing distributed programs

Abstract

Other files and links

Fingerprint

Cite this