Run-time fault detection in monitor based concurrent programming

Proceedings of the International Conference on Dependable Systems and Networks

Volumn , Issue , 2001, Pages 357-366

  Cao, Jiannong ^a   Cheung, Nick K C ^a   Chan, Alvin T S ^a  

^a HONG KONG POLYTECHNIC UNIVERSITY   (Hong Kong)

Author keywords

[No Author keywords available]

Indexed keywords

CONCURRENT PROGRAMMING;

COMPUTER MONITORS; CONCURRENCY CONTROL; JAVA PROGRAMMING LANGUAGE; SYNCHRONIZATION;

FAULT TOLERANT COMPUTER SYSTEMS;

EID: 0035789223     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/DSN.2001.941420     Document Type: Conference Paper

References (14)

1. G.R. Andrews and F.B. Schneider, "Concepts and Notations for Concurrent Programming", ACM Computing Surveys, Vol. 15, No. 1, Mar 1983. pp.3-43.
2. P.A. Buhr and M. Fortier, "Monitor Classification", ACM Computing Surveys, Vol, 27, No. 1, Mar 1995. pp.63-107.
3. R.H. Campbell and R.B. Kolstd, "A Practical Implementation of Path Expressions", Tech Report CS-R-80-1008, Dept. of Computer Sci, UIUC, June 1980.
4. J. Cao, Nick. Cheung, Alvin. Chan, "Implementing a Robust Monitor Construct in Java", submitted for publication.
5. Thomas W. Doeppner Jr. AND Alan J. Gebele, "C++ on a Parallel Machine", Tech. Report, CS-87-26, Dept of Computer Sci, Brown Univ., Nov. 17, 1987
6. P.B. Hansen, Operating Systems Principles Prentice Hall, 1973.
7. P.B. Hansen, "The Programming Language Concurrent Pascal", IEEE Trans. Software Engineering, SE-1 (2) 1975. pp. 199-206.
8. C.A.R. Hoare, "Monitors: An Operating System Structuring Concept", CACM, Vol. 17 No 10, Oct 1974, pp 549-557
9. John H. Howard, "PROVING MONITORS", The University of Texa at Austin, May 1976.
10. Butler W. Lampson AND David D. Redell, "Experiences with Processes and Monitors in Mesa", CACM, Vol. 23, No 2, February 1980, pp 105-117
11. A.M. Lister and K.J. Mayland, "An implementation of Monitors", Software - Practice and Experience, Vol. 6, 1976. pp.375-385.
12. Susan Owicki, "Verifying Concurrent Programs with Shared Data Classes" Digital Systems Laboratory, Stanford University
13. Ashok R. Saxena and Thomas H. Bredt, "Verification of A Monitor Specification" University of Colorado, Hewlett-Packard Company, Stanford University
14. P.D. Terry, "A Modula-2 Kernel for Supporting Monitors", Software - Practice and Experience,Vol. 16(5), May 1986, pp.457-472