Name
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 concurrent programming environments for implicitly ensuring mutual exclusion and explicitly achieving process synchronization. This paper proposes an extension to the monitor construct for detecting run-time 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 defined. Based on these rules, fault detection algorithms are developed. A prototypical implementation of the proposed monitor construct with run-time fault detection mechanisms has been developed in Java. We briefly report our experience with and evaluation of our robust monitor prototype. |
Year | DOI | Venue |
|---|---|---|
2001 | 10.1109/DSN.2001.941420 | DSN |
Keywords | Field | DocType |
fault detection algorithm,fault detection,run-time fault detection algorithms,concurrency control faults,taxonomy,concurrency control,process synchronization,error detection,concurrent programming,high-level programming construct,monitor event sequence,distributed programming,history information recording,functional characteristics,run-time fault detection,mutual exclusion,monitor-based concurrent programming,proposed monitor,concurrency control fault,monitor operation,shared resources,program diagnostics,monitor state sequence,robust monitor prototype,run-time fault detection mechanism,java,monitor operations,synchronisation,concurrent access control,monitor concept,prototypes,synchronization,history,robustness | Synchronization,Concurrency control,Computer science,Fault detection and isolation,Real-time computing,Robustness (computer science),Concurrent computing,Synchronization (computer science),Mutual exclusion,Java,Distributed computing | Conference |
ISBN | Citations | PageRank |
0-7695-1101-5 | 1 | 0.34 |
References | Authors | |
9 | 3 | |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Jiannong Cao | 1 | 5226 | 425.12 |
| Nick K. C. Cheung | 2 | 2 | 1.36 |
| Alvin S. T. Chan | 3 | 634 | 53.61 |