Parallel object monitors

Concurrency and Computation: Practice and Experience

Volumn 20, Issue 12, 2008, Pages 1387-1417

  Caromel, Denis ^a   Mateu, Luis ^b,c   Pothier, Guillaume ^b   Tanter, Éric ^b  

^a UNIVERSITÉ CÔTE D'AZUR   (France)

^b UNIVERSITY OF CHILE   (Chile)

^c Synopsys Chile R and D Center   (Chile)

Author keywords

Concurrent activities; Parallel execution; Scheduler; Synchronization

Indexed keywords

ABSTRACTING; COMPUTER SOFTWARE REUSABILITY; MIDDLEWARE; SYNCHRONIZATION;

APPLICATION CODES; APPLICATION LOGIC; CONCURRENT ACTIVITIES; MULTI-CORE PROCESSOR; PARALLEL EXECUTIONS; SCHEDULER; SHARED MEMORY MACHINES; UNDERSTANDABILITY;

CONCURRENCY CONTROL;

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

References (34)

1. Frølund S. Agha G. A language framework for multi-object coordination. Proceedings of the 7th European Conference on Object-oriented Programming (ECOOP 93), Kaiserslautern, Germany, July 1993 (Lecture Notes in Computer Science, vol. 707), Nierstrasz O (ed.). Springer: Berlin, 1993; 346-360.
2. Matsuoka S, Watanabe T, Yonezawa A. Hybrid group reflective architecture for object-oriented concurrent reflective programming. Proceedings of the 5th European Conference on Object-oriented Programming (ECOOP 91), Geneva, Switzerland, July 1991 (Lecture Notes in Computer Science, vol. 512), America P (ed.). Springer: Berlin, 1991; 231-250.
3. Tanter É. Noyé J. A versatile kernel for multi-language AOP. Proceedings of the 4th ACM SIGPLAN/SIGSOFT Conference on Generative Programming and Component Engineering (GPCE 2005), Tallinn, Estonia, September/October 2005 (Lecture Notes in Computer Science, vol. 3676), Glück R, Lowry M (eds.). Springer: New York, 2005; 173-188.
4. Caromel D, Mateu L, Tanter É. Sequential object monitors. Proceedings of the 18th European Conference on Object-oriented Programming (ECOOP 2004), Oslo, Norway, June 2004 (Lecture Notes in Computer Science, vol. 3086), Odersky M (ed.). Springer: Berlin, 2004; 316-340.
5. #. ACM Transactions on Programming Languages and Systems 2004; 26(5):769-804.
6. Brinch Hansen P. A programming methodology for operating system design. Proceedings of the IFIP Congress 74, Amsterdam, Holland, August 1974. North-Holland: Amsterdam, 1974; 394-397.
7. Hoare CAR. Monitors: An operating system structuring concept. Communications of the ACM 1974; 17(10):549-577.
8. Dijkstra EW. Guarded commands, nondeterminacy and formal derivation of programs. Communications of the ACM 1975; 18(8):453-457.
9. Hoare CAR. Communicating sequential processes. Communications of the ACM 1978; 21(8):666-677.
10. Birtwhistle GM, Dahl OJ, Myhrhaug B, Nygaard K. Simula Begin. Chartwell-Bratt Ltd., 1979. ISBN: 086238009X.
11. Atkinson C, Maio AD, Bayan R. Dragoon: An object-oriented notation supporting the reuse and distribution of Ada software. Proceedings of the 4th International Workshop on Real-time Ada Issues, Pitlochry, Perthshir, Scotland, 1990; 50-59.
12. Briot J-P, Guerraoui R, Löhr K-P. Concurrency and distribution in object-oriented programming. ACM Computing Surveys 1998; 30(3):291-329.
13. Agha G. ACTORS: A Model of Concurrent Computation in Distributed Systems. The MIT Press: Cambridge, MA, 1986.
14. Caromel D. Towards a method of object-oriented concurrent programming. Communications of the ACM 1993; 36(9): 90-102.
15. Nierstrasz O. Active objects in hybrid. Proceedings of the 2nd International Conference on Object-oriented Programming Systems, Languages and Applications (OOPSLA 87), Orlando, FL, U.S.A., October 1987 (ACM SIGPLAN Notices, vol. 22(12)), Meyrowitz N (ed.). ACM Press: New York, 1987; 243-253.
16. Frølund S. Inheritance synchronization constraints in concurrent object-oriented programming languages. Proceedings of the 6th European Conference on Object-oriented Programming (ECOOP 92), Utrecht, The Netherlands, July 1992 (Lecture Notes in Computer Science, vol. 615), Madsen OL (ed.). Springer: Berlin, 1992; 185-196.
17. Fournet C, Gonthier G. The reflexive chemical abstract machine and the join-calculus. Proceedings of POPL'96. ACM: New York, 1996; 372-385.
18. Tanter É, Noyé J, Caromel D, Cointe P. Partial behavioral reflection: Spatial and temporal selection of reification. Proceedings of the 18th ACM SIGPLAN Conference on Object-oriented Programming Systems, Languages and Applications (OOPSLA 2003), Anaheim, CA, U.S.A., October 2003 (ACM SIGPLAN Notices, vol. 38(11)), Crocker R, Steele GL Jr (eds.). ACM Press: New York, 2003; 27-46.
19. Tanter É. Aspects of composition in the Reflex AOP kernel. Proceedings of the 5th International Symposium on Software Composition (SC 2006), Vienna, Austria, March 2006 (Lecture Notes in Computer Science, vol. 4089), Löwe W, Südholt M (eds.). Springer: Berlin, 2006; 98-113.
20. Chiba S, Nishizawa M. An easy-to-use toolkit for efficient Java bytecode translators. Proceedings of the 2nd ACM SIGPLAN/SIGSOFT Conference on Generative Programming and Component Engineering (GPCE 2003), Erfurt, Germany, September 2003 (Lecture Notes in Computer Science, vol. 2830), Pfenning F, Smaragdakis Y (eds.). Springer: Berlin, 2003; 364-376.
21. Lea D. Concurrent Programming in Java (2nd edn) (The Java Series). Addison Wesley: New York, 1999.
22. Elrad T, Filman RE, Bader A. Aspect-oriented programming: Introduction. Communications of the ACM 2001; 44(10): 29-32.
23. Kiczales G, Hilsdale E, Hugunin J, Kersten M, Palm J, Griswold W. An overview of AspectJ. Proceedings of the 15th European Conference on Object-oriented Programming (ECOOP 2001), Budapest, Hungary, June 2001 (Lecture Notes in Computer Science, vol. 2072), Knudsen JL (ed.). Springer: Berlin, 2001; 327-353.
24. Sakurai K, Masuhara H, Ubayashi N, Matsuura S, Komiya S. Association aspects. Proceedings of the 3rd International Conference on Aspect-oriented Software Development (AOSD 2004), Lancaster, U.K., March 2004, Lieberherr K (ed.). ACM Press: New York, 2004; 16-25.
25. Briot J-P, Yonezawa A. Inheritance and synchronization in concurrent oop. Proceedings of the 1st European Conference on Object-oriented Programming (ECOOP 87) (Lecture Notes in Computer Science, vol. 276). Springer: Berlin, 1987; 32-40.
26. Matsuoka S, Yonezawa A. Analysis of inheritance anomaly in object-oriented concurrent programming languages. Research Directions in Concurrent Object-oriented Programming, Agha G, Wegner P, Yonezawa A (eds.). MIT Press: Cambridge, MA, 1993; 107-150.
27. Milicia G, Sassone V. The inheritance anomaly: Ten years after. Proceedings of the 2004 ACM Symposium on Applied Computing (SAC'04), New York, NY, U.S.A., 2004. ACM Press: New York, 2004; 1267-1274.
28. Bergmans L, Akşit M. Composing crosscutting concerns using composition filters. Communications of the ACM 2001; 44(10):51-57.
29. Milicia G, Sassone V. Jeeg: A programming language for concurrent objects synchronization. Proceedings of Joint ACM Java Grande- ISCOPE Conference (JGI 2002), Seattle, WA, November 2002; 212-221.
30. Shavit N, Touitou D. Software transactional memory. Proceedings of PODC'95, Ottawa, Ont., Canada, August 1995; 204-213.
31. Harris T. Fraser K. Language support for lightweight transactions. Proceedings of the 18th ACM SIGPLAN Conference on Object-oriented Programming Systems, Languages and Applications (OOPSLA 2003), Anaheim, CA, U.S.A., October 2003 (ACM SIGPLAN Notices, vol. 38(11)), Crocker R, Steele GL Jr (eds.). ACM Press: New York, 2003.
32. Crocker R, Steele GL Jr (eds). Proceedings of the 18th ACM SIGPLAN Conference on Object-oriented Programming Systems, Languages and Applications (OOPSLA 2003), Anaheim, CA, U.S.A., October 2003 (ACM SIGPLAN Notices, vol. 38(11)), ACM Press: New York, 2003.
33. Fraser K. Practical lock-freedom. PhD Thesis, King's College, University of Cambridge, September 2003.
34. Pothier G, Tanter É. Piquer J. Scalable omniscient debugging. Proceedings of the 22nd ACM SIGPLAN Conference on Object-oriented Programming Systems, Languages and Applications (OOPSLA 2007), Montreal, Canada, October 2007. ACM Press: New York, 2007.