Modem concurrency abstractions for C

ACM Transactions on Programming Languages and Systems

Volumn 26, Issue 5, 2004, Pages 769-804

  Benton, Nick ^a,b   Cardelli, Luca ^a   Fournet, Cédric ^a  

^a MICROSOFT RESEARCH   (United States)

^b MICROSOFT RESEARCH   (United Kingdom)

Author keywords

Asynchrony; Chords; Events; Join calculus; Messages; Polyphonic c; Synchronization; Threads

Indexed keywords

ASYNCHRONY; CHORDS; EVENTS; JOIN CALCULUS; MESSAGES; POLYPHONIC C#; THREADS;

ABSTRACTING; CALCULATIONS; CODES (SYMBOLS); COMPUTER PROGRAMMING LANGUAGES; CONCURRENCY CONTROL; MATHEMATICAL MODELS; PROBLEM SOLVING; SYNCHRONIZATION;

OBJECT ORIENTED PROGRAMMING;

EID: 11344295053     PISSN: 01640925     EISSN: None     Source Type: Journal    
DOI: 10.1145/1018203.1018205     Document Type: Conference Paper

References (45)

1. AGHA, G. 1990. ACTORS: A model of Concurrent computations in Distributed Systems. The MIT Press, Cambridge, Mass.
2. AGHA, G., WEGNER, P., AND YONEZAWA, A. 1993. Research Directions in Concurrent Object-Oriented Programming. MIT Press.
3. AMERICA, P. 1989. Issues in the design of a parallel object-oriented language. Formal Aspects of Computing 1, 4, 366-411.
4. ANDREWS, G. R. AND OLSSON, R. A. 1993. The SR Programming Language: Concurrency in Practice. Benjamin/Cummings.
5. ANDREWS, G. R., OLSSON, R. A., COFFIN, M., ELSHOFF, I., NILSEN, K., PURDIN, T., AND TOWNSEND, G. 1988. An overview of the SR language and implementation. ACM Trans. Prog. Lang. Syst. 10, 1 (Jan.), 51-86.
6. BANÂTRE, J.-P., COUTANT, A., AND MÉTAYER, D. L. 1988. A parallel machine for multiset transformation an its programming style. Future Generation Computing Systems 4, 133-144.
7. BARCLAY, T., GRAY, J., AND SLUTZ, D. 2000. Microsoft TerraServer: A spatial data warehouse. In Proceedings of ACM SIGMOD. Also Microsoft Research Tech. Rep. MS-TR-99-29.
8. BARCLAY, T., GRAY, J., STRAND, E., EKBLAD, S., AND RICHTER, J. 2002. TerraService.NET: An introduction to web services. Tech. Rep. MSR-TR-2002-53, Microsoft Research. June.
9. BEN-ARI, M. 1998. How to solve the Santa Claus problem. Concurrency: Practice & Experience 10, 6, 485-496.
10. BENTON, N. 2003. Jingle bells: Solving the Santa Claus problem in Polyphonic C#.
11. BIRRELL, A. D. 1989. An introduction to programming with threads. Research Report 35, DEC SRC. Jan.
12. BIRRELL, A. D., GUTTAG, J. V., HORNING, J. J., AND LEVIN, R. 1987. Synchronization primitives for a multiprocessor: A formal specification. Research Report 20, DEC SRC. Aug.
13. BUSCEMI, M. G. AND SASSONE, V. 2001. High-level petri nets as type theories in the join calculus. In Foundations of Software Science and Computation Structures, 4th International Conference (FOSSACS 2001), F. Honsell and M. Miculan, Eds. Lecture Notes in Computer Science, vol. 2030. Springer, 104-120.
14. CARDELLI, L. AND DAVIES, R. 1999. Service combinators for web computing. Software Engineering 25, 3, 309-316.
15. CHAKI, S., RAJAMANI, S. K., AND REHOF, J. 2002. Types as models: Model checking message-passing programs. In Proceedings of the 29th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. ACM.
16. CONCHON, S. AND LE FESSANT, F. 1999. Jocaml: Mobile agents for Objective-Caml. In First International Symposium on Agent Systems and Applications (ASA'99) / Third International Symposium on Mobile Agents (MA'99). IEEE Computer Society, 22-29. Software and documentation available from http: //pauillac.inria.fr/jocaml.
17. DAHL, O.-J. AND NYGAARD, K. 1966. SIMULA - an ALGOL-Based Simulation Language. Comm. ACM 9, 9 (Sept.), 671-678.
18. DETLEFS, D. L., LEINO, K. R. M., NELSON, G., AND SAXE, J. B. 1998. Extended static checking. Research Report 159, DEC SRC. Dec.
19. ECMA. 2001. Standard ECMA-334: C# Language Specification.
20. FOURNET, C. AND GONTHIER, G. 1996. The reflexive chemical abstract machine and the joincalculus. In Proceedings of the 23rd ACM-SIGACT Symposium on Principles of Programming Languages. ACM, 372-385.
21. FOURNET, C. AND GONTHIER, G. 2002. The join calculus: a language for distributed mobile programming. In Proceedings of the Applied Semantics Summer School (APPSEM), Caminha, Sept. 2000, G. Barthe, P. Dybjer, L. Pinto, and J. Saraiva, Eds. Lecture Notes in Computer Science, vol. 2395. Springer-Verlag, 268-332.
22. FOURNET, C., LANEVE, C., MARANGET, L., AND RÉMY, D. 2000. Inheritance in the join-calculus (extended abstract). In FST TCS 2000: Foundations of Software Technology and Theoretical Computer Science. Lecture Notes in Computer Science, vol. 1974. Springer-Verlag, 397-408. Full version to appear in Journal of Logic and Algebraic Programming.
23. GOSLING, J., JOY, B., AND STEELE, G. 1996. Threads and locks. In The Java Language Specification. Addison Wesley, Chapter 17.
24. GUREVICH, Y., SCHULTE, W., AND WALLACE, C. 2000. Investigating Java concurrency using abstract state machines. In Abstract State Machines: Theory and Applications, Y. Gurevich, P. Kutter, M. Odersky, and L. Thiele, Eds. Lecture Notes in Computer Science, vol. 1912. Springer-Verlag, 151-176.
25. HEWITT, C. 1977. Viewing control structures as patterns of passing messages. J. Artificial Intell. 8, 3, 323-364.
26. HOARE, C. A. R. 1974. Monitors: An operating system structuring concept. Comm. ACM 17, 10 (Oct.), 549-557.
27. HOARE, C. A. R. 1985. Communicating Sequential Processes. Prentice-Hall.
28. IGARASHI, A. AND KOBAYASHI, N. 2001. A generic type system for the Pi-Calculus. In Proceedings of the 28th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. ACM.
29. INMOS LIMITED. 1984. Occam Programming Manual. Prentice-Hall Int.
30. ITZSTEIN, G. S. AND JASIUNAS, M. 2003. On implementing high level concurrency in Java. In Proceedings of the Eighth Asia-Pacific Computer Systems Architecture Conference. Japan.
31. ITZSTEIN, G. S. AND KEARNEY, D. 2001. Join Java: An alternative concurrency semantics for Java. Tech. Rep. ACRC-01-001, University of South Australia.
32. ITZSTEIN, G. S. AND KEARNEY, D. 2002. Applications of Join Java. In Proceedings of the Seventh Asia-Pacific Computer Systems Architectures Conference (ACSAC2002), Melbourne, Australia, F. Lai and J. J. Morris, Eds. Conferences in Research and Practice in Information Technology, vol. 6. ACS, 37-46.
33. KAMIN, S., Ed. 1997. Proceedings of the First ACM-SIGPLAN Workshop on Domain-Specific Languages. Paris, France.
34. LARUS, J. R. AND PARKES, M. 2001. Using cohort scheduling to enhance server performance. Tech. Rep. MSR-TR-2001-39, Microsoft Research. Mar.
35. LE FESSANT, F. AND MARANGET, L. 1998. Compiling join-patterns. In HLCL '98: High-Level Concurrent Languages, U. Nestmann and B. C. Pierce, Eds. Electronic Notes in Theoretical Computer Science, vol. 16(3). Elsevier Science Publishers.
36. LEA, D. 1999. Concurrent Programming in Java: Design Principles and Patterns, Second Edition. Addison-Wesley.
37. MATSUOKA, S. AND YONEZAWA, A. 1993. Analysis of inheritance anomaly in object-oriented concurrent programming languages. See Agha et al. [1993], Chapter 4, 107-150.
38. NIELSON, H. R. AND NIELSON, F. 1994. Higher-order concurrent programs with finite communication topology. In Proceedings of the 21st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. ACM.
39. ODERSKY, M. 2000. Functional nets. In Proceedings of the European Symposium on Programming. Lecture Notes in Computer Science, vol. 1782. Springer-Verlag, 1-25.
40. PHILIPPSEN, M. 1995. Imperative concurrent object-oriented languages: An annotated bibliography. Tech. Rep. TR-95-049, International Computer Science Institute, Berkeley, CA.
41. PIERCE, B. C. AND TURNER, D. N. 2000. Pict: A programming language based on the pi-calculus. In Proof, Language and Interaction: Essays in Honour of Robin Milner, G. D. Plotkin, C. Stirling, and M. Tofte, Eds. MIT Press.
42. RAMMING, J. C., Ed. 1997. Proceedings of the First USENIX Conference on Domain-Specific Languages. Santa Barbara, California.
43. REPPY, J. H. 1992. Concurrent ML: Design, application and semantics. In Programming, Concurrency, Simulation and Automated Reasoning. Lecture Notes in Computer Science, vol. 693. Springer-Verlag, 165-198.
44. TRONO, J. A. 1994. A new exercise in concurrency. SIGCSE Bulletin 26, 3, 8-10. Corrigendum: 26(4):63.
45. YONEZAWA, A. 1990. ABCL:An Object-Oriented Concurrent System - Theory, Language, Programming, Implementation and Application. Computer System Series. MIT Press.