A robust monitor construct with runtime fault detection

Concurrency and Computation: Practice and Experience

Volumn 18, Issue 5, 2006, Pages 471-500

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

^a HONG KONG POLYTECHNIC UNIVERSITY   (Hong Kong)

Author keywords

Concurrent programming; Monitor construct; Reliability; Runtime checking

Indexed keywords

ALGORITHMS; COMPUTER PROGRAMMING; CONTROL SYSTEMS; ERROR ANALYSIS; JAVA PROGRAMMING LANGUAGE; ROBUSTNESS (CONTROL SYSTEMS); SYNCHRONIZATION;

CONCURRENT PROGRAMMING; MONITOR CONSTRUCT; RUNTIME CHECKING;

CONCURRENT ENGINEERING;

EID: 33646354429     PISSN: 15320626     EISSN: 15320634     Source Type: Journal    
DOI: 10.1002/cpe.934     Document Type: Article

References (23)

1. Hansen PB. Operating Systems, Principles. Prentice-Hall: Englewood Cliffs. NJ, 1973.
2. Hoare CAR. Monitors: An operating system structuring concept. Communications of the ACM 1974; 17(10):549-557.
3. Hansen PB. The programming language concurrent pascal. IEEE Transactions in Software Engineering 1975; 1(2): 199-206.
4. Lampson BW, Redell DD. Experiences with processes and monitors in Mesa. Communications of the ACM 1980; 23(2): 105-117.
5. Andrews GR, Schneider FB. Concepts and notations for concurrent programming. ACM Computing Surveys 1983; 15(1):3-43.
6. Doeppner TW Jr, Gebele AJ. C++ on a parallel machine. Technical Report CS-87-26, Department of Computer Science. Brown University, November 1987.
7. Huhr PA, Fortier M. Monitor classification. ACM Computing Surveys 1995; 27(1):63-107.
8. Howard JH. Proving monitors. Communications of the ACM 1976; 19(5):273-279.
9. Owicki S. Verifying concurrent programs with shared data classes. Formal Description of Programming Concepts, Neuhold EJ (ed.). North-Holland: Amsterdam. 1978; 279-298.
10. Saxena AR. Bredt TH. Verification of a monitor specification. Proceedings of the 2nd International Conference on Software Engineering, San Francisco, CA, 1976. IEEE Computer Society Press: Los Alamitos, CA. 1976; 53-59.
11. Andler S. Synchronization primitives and the verification of concurrent programs. OS: Theory and Practice. North-Holland: Amsterdam, 1979; 67-69.
12. Silberschatz A. Kieburtz RB. The external consistency of abstract data types. ACM SIGPLAN Notices 1980; 15(2):64-73.
13. Hansen PB. The Architecture of Concurrent Programs. Prentice-Hall: Englewood Cliffs, NJ, 1977.
14. Lister AM, Mayland KJ. An implementation of monitors. Software - Practice and Experience 1976; 6:375-385.
15. Ben-Ari M. Principles of Concurrent Programming. Prentice-Hall: Englewood Cliffs. NJ, 1982.
16. Dahl OJ. Hierarchical program structures. Structured Programming. Academic Press: New York. 1972.
17. Terry PD. A Modula-2 kernel for supporting monitors. Software - Practice and Experience 1986; 16(5):457-472.
18. Pashtan A. Unger EA. Resource monitors: A design methodology for OS. Software-Practice and Experience 1984; 14(81):791-806.
19. Campbell RH. Randell B. Error recovery in asynchronous systems. Technical Report No. 186, Computing Laboratory. University of Newcastle upon Tyne. July 1983.
20. Campbell RH, Kolstad RB. A practical implementation of path expressions. Technical Report UIUCDCS-R-80-1008, Department of Computer Science, UIUC, June 1980.
21. Cao J, Cheung N. Chan A. Implementing a robust monitor construct in Java (submitted).
22. Lea D. Concurrent Programming in Java. Addison-Wesley: Reading, MA, 1997.
23. Vanderburg GL et al. Tricks of the Java programming gurus. 1996. http://docs.rinet.ru:8083/JaTricks/.