Please use this identifier to cite or link to this item: http://hdl.handle.net/10397/10409
Title: A robust monitor construct with runtime fault detection
Authors: Cao, J 
Chan, ATS 
Chan, SCF 
Cheung, NKC
Keywords: Concurrent programming
Monitor construct
Reliability
Runtime checking
Issue Date: 2006
Source: Concurrency computation practice and experience, 2006, v. 18, no. 5, p. 471-500 How to cite?
Journal: Concurrency Computation Practice and Experience 
Abstract: The monitor concept provides a structured and flexible high-level programming construct to control concurrent accesses to shared resources. It has been widely used in a concurrent programming environment for implicitly ensuring mutual exclusion and explicitly achieving process synchronization. This paper proposes an extension to the monitor construct for detecting runtime errors in monitor operations. Monitors are studied and classified according to their functional characteristics. A taxonomy of concurrency control faults over a monitor is then defined. The concepts of a monitor event sequence and a monitor state sequence provide a uniform approach to history information recording and fault detection. Rules for detecting various types of faults are denned. Based on these rules, fault-detection algorithms are developed. A prototypical implementation of the proposed monitor construct with runtime fault detection mechanisms has been developed in Java. We shall briefly report our experience with and the evaluation of the robust monitor prototype.
URI: http://hdl.handle.net/10397/10409
ISSN: 1532-0626
DOI: 10.1002/cpe.934
Appears in Collections:Journal/Magazine Article

Access
View full-text via PolyU eLinks SFX Query
Show full item record

SCOPUSTM   
Citations

1
Last Week
0
Last month
0
Citations as of Nov 6, 2017

Page view(s)

42
Last Week
1
Last month
Checked on Nov 13, 2017

Google ScholarTM

Check

Altmetric



Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.