Article

Event-Based programming without inversion of control

Authors:

Philipp Haller,

Martin OderskyAuthors Info & Claims

JMLC'06: Proceedings of the 7th joint conference on Modular Programming Languages

Pages 4 - 22

https://doi.org/10.1007/11860990_2

Published: 13 September 2006 Publication History

Abstract

Concurrent programming is indispensable. On the one hand, distributed and mobile environments naturally involve concurrency. On the other hand, there is a general trend towards multi-core processors that are capable of running multiple threads in parallel.

References

[1]

Gul A. Agha. ACTORS: A Model of Concurrent Computation in Distributed Systems. Series in Artificial Intelligence. The MIT Press, Cambridge, Massachusetts, 1986.

Digital Library

[2]

Ken Anderson, Tim Hickey, and Peter Norvig. Jscheme.

[3]

J. Armstrong. Erlang -- a survey of the language and its industrial applications. In INAP'96 -- The 9th Exhibitions and Symposium on Industrial Applications of Prolog, pages 16-18, Hino, Tokyo, Japan, October 1996.

[4]

Joe Armstrong, Robert Virding, Claes Wikström, and Mike Williams. Concurrent Programming in Erlang, Second Edition. Prentice-Hall, 1996.

Digital Library

[5]

Joe L. Armstrong. The development of erlang. In ICFP, pages 196-203, 1997.

Digital Library

[6]

A. Black, M. Carlsson, M. Jones, R. Kieburtz, and J. Nordlander. Timber: A programming language for real-time embedded systems, 2002.

[7]

Yannis Bres, Bernard P. Serpette, and Manuel Serrano. Bigloo.NET: compiling scheme to.NET CLR. Journal of Object Technology, 3(9):71-94, 2004.

[8]

Jean-Pierre Briot. Actalk: A testbed for classifying and designing actor languages in the smalltalk-80 environment. In ECOOP, pages 109-129, 1989.

[9]

Legand L. Burge III and K. M. George. JMAS: A Java-based mobile actor system for distributed parallel computation. In Proceedings of the Fifth USENIX Conference on Object-Oriented Technologies and Systems, pages 115-129. The USENIX Association, 1999.

Digital Library

[10]

Brian Chin and Todd Millstein. Responders: Language support for interactive applications. In ECOOP, Nantes, France, July 2006.

Digital Library

[11]

Georgio Chrysanthakopoulos and Satnam Singh. An asynchronous messaging library for c#. In Proceedings of Workshop on Synchronization and Concurrency in Object-Oriented Languages (SCOOL), OOPSLA, 2005.

[12]

Adam Dunkels, Björn Grönvall, and Thiemo Voigt. Contiki - A lightweight and flexible operating system for tiny networked sensors. In LCN, pages 455-462, 2004.

Digital Library

[13]

E. Gamma, R. Helm, R. Johnson, and J. Vlissides. Design Patterns. Addison-Wesley, 1995.

Digital Library

[14]

Benoit Garbinato, Rachid Guerraoui, Jarle Hulaas, Maxime Monod, and Jesper H. Spring. Frugal Mobile Objects. Technical report, EPFL, 2005.

[15]

John Gough. Compiling for the .NET Common Language Runtime. .NET series. Prentice Hall, 2002.

Digital Library

[16]

Carl Hewitt, Peter Bishop, and Richard Steiger. A universal modular ACTOR formalism for artificial intelligence. In IJCAI, pages 235-245, 1973.

Digital Library

[17]

Jason Hill, Robert Szewczyk, AlecWoo, Seth Hollar, David E. Culler, and Kristofer S. J. Pister. System architecture directions for networked sensors. In ASPLOS, pages 93-104, 2000.

Digital Library

[18]

Richard Kelsey, William Clinger, and Jonathan Rees. Revised5 report on the algorithmic language Scheme. Higher-Order and Symbolic Computation, 11(1):7- 105, 1998. Also appears in ACM SIGPLAN Notices 33(9), September 1998.

Digital Library

[19]

Andrew Kennedy. Pickler combinators. J. Funct. Program., 14(6):727-739, 2004.

Digital Library

[20]

George Lawton. Moving Java into mobile phones. Computer, 35(6):17-20, June 2002.

Digital Library

[21]

P. Levis and D. Culler. Mate: A tiny virtual machine for sensor networks. In International Conference on Architectural Support for Programming Languages and Operating Systems, San Jose, CA, USA, Oct. 2002.

Digital Library

[22]

T. Lindholm and F. Yellin. The Java Virtual Machine Specification. Addison-Wesley, 1996.

Digital Library

[23]

Jeremy Manson, Jason Baker, Antonio Cunei, Suresh Jagannathan, Marek Prochazka, Bin Xin, and Jan Vitek. Preemptible atomic regions for real-time java. In RTSS, pages 62-71. IEEE Computer Society, 2005.

Digital Library

[24]

Yukihiro Matsumoto. The Ruby Programming Language. Addison Wesley Professional, 2002.

[25]

J. H. Nyström, Philip W. Trinder, and David J. King. Evaluating distributed functional languages for telecommunications software. In Bjarne Däcker and Thomas Arts, editors, Proceedings of the 2003 ACM SIGPLAN Workshop on Erlang, Uppsala, Sweden, August 29, 2003, pages 1-7. ACM, 2003.

Digital Library

[26]

Martin Odersky and al. An overview of the scala programming language. Technical Report IC/2004/64, EPFL Lausanne, Switzerland, 2004.

[27]

F. Pizlo, J. M. Fox, David Holmes, and Jan Vitek. Real-time java scoped memory: Design patterns and semantics. In ISORC, pages 101-110. IEEE Computer Society, 2004.

[28]

Erik Stenman and Konstantinos Sagonas. On reducing interprocess communication overhead in concurrent programs. In Proceedings of the 2002 ACM SIGPLAN Workshop on Erlang, Pittsburgh, PA, USA, October 7, 2002, pages 58-63. ACM, 2002.

Digital Library

[29]

D. A. Thomas, W. R. Lalonde, J. Duimovich, M. Wilson, J. McAffer, and B. Berry. Actra A multitasking/multiprocessing smalltalk. Proceedings of the ACM SIGPLAN Workshop on Object-Based Concurrent Programming, ACM SIGPLAN Notices, 24(4):87-90, April 1989.

Digital Library

[30]

Carlos Varela and Gul Agha. Programming dynamically reconfigurable open systems with salsa. SIGPLAN Not., 36(12):20-34, 2001.

Digital Library

[31]

Claes Wikström. Distributed programming in erlang. In Hoon Hong, editor, Proceedings of the First International Symposium on Parallel Symbolic Computation, PASCO'94 (Hagenberg/Linz, Austria, September 26-28, 1994), volume 5 of Lecture Note Series in Computing, pages 412-421. World Scientific, Singapore-New Jersey-London-Hong Kong, 1994.

Cited By

Zhou HLatham RRaffenetti KGuo YThakur R(2024)MPI Progress For AllProceedings of the SC '24 Workshops of the International Conference on High Performance Computing, Network, Storage, and Analysis10.1109/SCW63240.2024.00063(425-435)Online publication date: 17-Nov-2024
https://dl.acm.org/doi/10.1109/SCW63240.2024.00063
Harvey PSventek JLawall J(2017)Adaptable ActorsProceedings of the 9th Workshop on Programming Languages and Operating Systems10.1145/3144555.3144559(22-28)Online publication date: 28-Oct-2017
https://dl.acm.org/doi/10.1145/3144555.3144559
Prokopec ATorlak EStorm TBiddle R(2017)Encoding the building blocks of communicationProceedings of the 2017 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software10.1145/3133850.3133865(104-118)Online publication date: 25-Oct-2017
https://dl.acm.org/doi/10.1145/3133850.3133865
Show More Cited By

Recommendations

Concurrent programming without locks

Mutual exclusion locks remain the de facto mechanism for concurrency control on shared-memory data structures. However, their apparent simplicity is deceptive: It is hard to design scalable locking strategies because locks can harbor problems such as ...
Semantics-based concurrency control: beyond commutativity

The concurrency of transactions executing on atomic data types can be enhanced through the use of semantic information about operations defined on these types. Hitherto, commutativity of operations has been exploited to provide enchanced concurrency ...
Transactional Memory Execution for Parallel Multithread Programming without Lock
PDCAT '07: Proceedings of the Eighth International Conference on Parallel and Distributed Computing, Applications and Technologies

With the increasing popularity of shared-memory programming model, especially at the advent of multicore processors, applications need to become more concurrent to take advantage of the increased computational power provided by chip level ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

cover image Guide Proceedings

JMLC'06: Proceedings of the 7th joint conference on Modular Programming Languages

September 2006

414 pages

ISBN:3540409270

Editors:
David E. Lightfoot
School of Technology, Department of Computing, Oxford Brookes University, Oxford, UK
,
Clemens Szyperski
School of Technology, Department of Computing, Microsoft, Oxford, UK

Sponsors

dpunkt.verlag: dpunkt.verlag
Sun Microsystems
Microsoft Research: Microsoft Research
Robinson Associates: Robinson Associates

Publisher

Springer-Verlag

Berlin, Heidelberg

Publication History

Published: 13 September 2006

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

31
Total Citations
View Citations
0
Total Downloads

Downloads (Last 12 months)0
Downloads (Last 6 weeks)0

Reflects downloads up to 03 Mar 2025

Other Metrics

View Author Metrics

Citations

Cited By

Zhou HLatham RRaffenetti KGuo YThakur R(2024)MPI Progress For AllProceedings of the SC '24 Workshops of the International Conference on High Performance Computing, Network, Storage, and Analysis10.1109/SCW63240.2024.00063(425-435)Online publication date: 17-Nov-2024
https://dl.acm.org/doi/10.1109/SCW63240.2024.00063
Harvey PSventek JLawall J(2017)Adaptable ActorsProceedings of the 9th Workshop on Programming Languages and Operating Systems10.1145/3144555.3144559(22-28)Online publication date: 28-Oct-2017
https://dl.acm.org/doi/10.1145/3144555.3144559
Prokopec ATorlak EStorm TBiddle R(2017)Encoding the building blocks of communicationProceedings of the 2017 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software10.1145/3133850.3133865(104-118)Online publication date: 25-Oct-2017
https://dl.acm.org/doi/10.1145/3133850.3133865
Al-Mahfoudh MGopalakrishnan GStutsman R(2016)Toward rigorous design of domain-specific distributed systemsProceedings of the 4th FME Workshop on Formal Methods in Software Engineering10.1145/2897667.2897674(42-48)Online publication date: 14-May-2016
https://dl.acm.org/doi/10.1145/2897667.2897674
Bejleri AMezini MEugster PFuentes LBatory DCzarnecki K(2016)Cooperative decoupled processes: the e-calculus and linearityProceedings of the 15th International Conference on Modularity10.1145/2889443.2889449(82-93)Online publication date: 14-Mar-2016
https://dl.acm.org/doi/10.1145/2889443.2889449
Long YBagherzadeh MLin EUpadhyaya GRajan HFuentes LBatory DCzarnecki K(2016)On ordering problems in message passing softwareProceedings of the 15th International Conference on Modularity10.1145/2889443.2889444(54-65)Online publication date: 14-Mar-2016
https://dl.acm.org/doi/10.1145/2889443.2889444
Charousset DHiesgen RSchmidt T(2016)Revisiting actor programming in C++Computer Languages, Systems and Structures10.1016/j.cl.2016.01.00245:C(105-131)Online publication date: 1-Apr-2016
https://dl.acm.org/doi/10.1016/j.cl.2016.01.002
Prokopec AOdersky MMurphy GJr. G(2015)Isolates, channels, and event streams for composable distributed programming2015 ACM International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software (Onward!)10.1145/2814228.2814245(171-182)Online publication date: 21-Oct-2015
https://dl.acm.org/doi/10.1145/2814228.2814245
Arcangeli JBoujbel RLeriche S(2015)Automatic deployment of distributed software systemsJournal of Systems and Software10.1016/j.jss.2015.01.040103:C(198-218)Online publication date: 1-May-2015
https://dl.acm.org/doi/10.1016/j.jss.2015.01.040
Renaux THoste LScholliers CDe Meuter WBishop JPuder ATillmann N(2014)Software Engineering Principles in the Midas Gesture Specification LanguageProceedings of the 2nd Workshop on Programming for Mobile & Touch10.1145/2688471.2688478(9-16)Online publication date: 20-Oct-2014
https://dl.acm.org/doi/10.1145/2688471.2688478
Show More Cited By

View Options

View options

Figures

Tables

Media

View Table of Conten