Tackling the Awkward Squad for Reactive Programming: The Actor-Reactor Model

Authors Sam Van den Vonder , Thierry Renaux , Bjarno Oeyen , Joeri De Koster , Wolfgang De Meuter



PDF
Thumbnail PDF

File

LIPIcs.ECOOP.2020.19.pdf
  • Filesize: 0.74 MB
  • 29 pages

Document Identifiers

Author Details

Sam Van den Vonder
  • Software Languages Lab, Vrije Universiteit Brussel, Belgium
Thierry Renaux
  • Software Languages Lab, Vrije Universiteit Brussel, Belgium
Bjarno Oeyen
  • Software Languages Lab, Vrije Universiteit Brussel, Belgium
Joeri De Koster
  • Software Languages Lab, Vrije Universiteit Brussel, Belgium
Wolfgang De Meuter
  • Software Languages Lab, Vrije Universiteit Brussel, Belgium

Cite As Get BibTex

Sam Van den Vonder, Thierry Renaux, Bjarno Oeyen, Joeri De Koster, and Wolfgang De Meuter. Tackling the Awkward Squad for Reactive Programming: The Actor-Reactor Model. In 34th European Conference on Object-Oriented Programming (ECOOP 2020). Leibniz International Proceedings in Informatics (LIPIcs), Volume 166, pp. 19:1-19:29, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2020) https://doi.org/10.4230/LIPIcs.ECOOP.2020.19

Abstract

Reactive programming is a programming paradigm whereby programs are internally represented by a dependency graph, which is used to automatically (re)compute parts of a program whenever its input changes. In practice reactive programming can only be used for some parts of an application: a reactive program is usually embedded in an application that is still written in ordinary imperative languages such as JavaScript or Scala. In this paper we investigate this embedding and we distill "the awkward squad for reactive programming" as 3 concerns that are essential for real-world software development, but that do not fit within reactive programming. They are related to long lasting computations, side-effects, and the coordination between imperative and reactive code. To solve these issues we design a new programming model called the Actor-Reactor Model in which programs are split up in a number of actors and reactors. Actors and reactors enforce a strict separation of imperative and reactive code, and they can be composed via a number of composition operators that make use of data streams. We demonstrate the model via our own implementation in a language called Stella.

Subject Classification

ACM Subject Classification
  • Software and its engineering → Data flow languages
  • Software and its engineering → Multiparadigm languages
Keywords
  • functional reactive programming
  • reactive programming
  • reactive streams
  • actors
  • reactors

Metrics

  • Access Statistics
  • Total Accesses (updated on a weekly basis)
    0
    PDF Downloads

References

  1. Harold Abelson and Gerald J. Sussman. Structure and Interpretation of Computer Programs, Second Edition. MIT Press, 1996. Google Scholar
  2. José Bacelar Almeida, Manuel Barbosa, Gilles Barthe, Arthur Blot, Benjamin Grégoire, Vincent Laporte, Tiago Oliveira, Hugo Pacheco, Benedikt Schmidt, and Pierre-Yves Strub. Jasmin: High-assurance and high-speed cryptography. In Bhavani M. Thuraisingham, David Evans, Tal Malkin, and Dongyan Xu, editors, Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications Security, CCS 2017, Dallas, TX, USA, October 30 - November 03, 2017, pages 1807-1823. ACM, 2017. URL: https://doi.org/10.1145/3133956.3134078.
  3. Engineer Bainomugisha, Andoni Lombide Carreton, Tom Van Cutsem, Stijn Mostinckx, and Wolfgang De Meuter. A survey on reactive programming. ACM Computing Surveys, 45(4):52:1-52:34, 2013. URL: https://doi.org/10.1145/2501654.2501666.
  4. Gérard Berry. Real time programming: Special purpose or general purpose languages. In Gerhard Ritter, editor, Information Processing 89, Proceedings of the IFIP 11th World Computer Congress, San Francisco, USA, August 28 - September 1, 1989., pages 11-17. North-Holland/IFIP, 1989. Google Scholar
  5. Gérard Berry and Georges Gonthier. The esterel synchronous programming language: Design, semantics, implementation. Science of Computer Programming, 19(2):87-152, 1992. URL: https://doi.org/10.1016/0167-6423(92)90005-V.
  6. Gérard Berry and Manuel Serrano. Hop and hiphop: Multitier web orchestration. In Raja Natarajan, editor, Distributed Computing and Internet Technology - 10th International Conference, ICDCIT 2014, Bhubaneswar, India, February 6-9, 2014. Proceedings, volume 8337 of Lecture Notes in Computer Science, pages 1-13. Springer, 2014. URL: https://doi.org/10.1007/978-3-319-04483-5_1.
  7. Jonas Bonér, Dave Farley, Roland Kuhn, and Martin Thompson. The reactive manifesto. https://web.archive.org/web/20191210084324/https://www.reactivemanifesto.org/. Accessed: 2019-12-10.
  8. Walter S Brainerd and Lawrence H Landweber. Theory of computation. John Wiley & Sons, Inc., 1974. URL: https://archive.org/details/theoryofcomputat00brai.
  9. Andoni Lombide Carreton, Stijn Mostinckx, Tom Van Cutsem, and Wolfgang De Meuter. Loosely-coupled distributed reactive programming in mobile ad hoc networks. In Jan Vitek, editor, Objects, Models, Components, Patterns, 48th International Conference, TOOLS 2010, Málaga, Spain, June 28 - July 2, 2010. Proceedings, volume 6141 of Lecture Notes in Computer Science, pages 41-60. Springer, 2010. URL: https://doi.org/10.1007/978-3-642-13953-6_3.
  10. Sunjay Cauligi, Gary Soeller, Fraser Brown, Brian Johannesmeyer, Yunlu Huang, Ranjit Jhala, and Deian Stefan. Fact: A flexible, constant-time programming language. In IEEE Cybersecurity Development, SecDev 2017, Cambridge, MA, USA, September 24-26, 2017, pages 69-76. IEEE Computer Society, 2017. URL: https://doi.org/10.1109/SecDev.2017.24.
  11. Byron Cook, Andreas Podelski, and Andrey Rybalchenko. Termination proofs for systems code. In Michael I. Schwartzbach and Thomas Ball, editors, Proceedings of the ACM SIGPLAN 2006 Conference on Programming Language Design and Implementation, Ottawa, Ontario, Canada, June 11-14, 2006, pages 415-426. ACM, 2006. URL: https://doi.org/10.1145/1133981.1134029.
  12. Gregory H. Cooper and Shriram Krishnamurthi. Embedding dynamic dataflow in a call-by-value language. In Peter Sestoft, editor, Programming Languages and Systems, 15th European Symposium on Programming, ESOP 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 27-28, 2006, Proceedings, volume 3924 of Lecture Notes in Computer Science, pages 294-308. Springer, 2006. URL: https://doi.org/10.1007/11693024_20.
  13. Oracle Corporation. JEP 266: More concurrency updates. https://web.archive.org/web/20191009093608/https://openjdk.java.net/jeps/266. Accessed: 2019-10-09.
  14. Evan Czaplicki. A farewell to frp. https://web.archive.org/web/20191208051242/https://elm-lang.org/news/farewell-to-frp. Accessed: 2019-12-30.
  15. Evan Czaplicki and Stephen Chong. Asynchronous functional reactive programming for GUIs. In Hans-Juergen Boehm and Cormac Flanagan, editors, ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI '13, Seattle, WA, USA, June 16-19, 2013, pages 411-422. ACM, 2013. URL: https://doi.org/10.1145/2491956.2462161.
  16. Frank S. de Boer, Vlad Serbanescu, Reiner Hähnle, Ludovic Henrio, Justine Rochas, Crystal Chang Din, Einar Broch Johnsen, Marjan Sirjani, Ehsan Khamespanah, Kiko Fernandez-Reyes, and Albert Mingkun Yang. A survey of active object languages. ACM Computing Surveys, 50(5):76:1-76:39, 2017. URL: https://doi.org/10.1145/3122848.
  17. Robert de Simone, Jean-Pierre Talpin, and Dumitru Potop-Butucaru. The synchronous hypothesis and synchronous languages. In Richard Zurawski, editor, Embedded Systems Handbook. CRC Press, 2005. URL: https://doi.org/10.1201/9781420038163.ch8.
  18. Joscha Drechsler, Ragnar Mogk, Guido Salvaneschi, and Mira Mezini. Thread-safe reactive programming. Proceedings of the ACM on Programming Languages, 2(OOPSLA):107:1-107:30, 2018. URL: https://doi.org/10.1145/3276477.
  19. Jonathan Edwards. Coherent reaction. In Shail Arora and Gary T. Leavens, editors, Companion to the 24th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2009, October 25-29, 2009, Orlando, Florida, USA, pages 925-932. ACM, 2009. URL: https://doi.org/10.1145/1639950.1640058.
  20. Jonathan Edwards. Coherent reaction. Technical Report MIT-CSAIL-TR-2009-024, Massachusetts Institute of Technology, Computer Science and Artificial Intelligence Laboratory, Cambridge, 02139 Massachusetts, USA, June 2009. URL: http://web.archive.org/web/20181103183154/http://dspace.mit.edu/bitstream/handle/1721.1/45563/MIT-CSAIL-TR-2009-024.pdf?sequence=1.
  21. Bonnie Eisenman. Learning React Native: Building Native Mobile Apps with JavaScript. O'Reilly Media, Inc., 2 edition, 2017. Google Scholar
  22. Daniel P. Friedman and Mitchell Wand. Essentials of programming languages (3. ed.). MIT Press, 2008. Google Scholar
  23. Thierry Gautier and Paul Le Guernic. SIGNAL: A declarative language for synchronous programming of real-time systems. In Gilles Kahn, editor, Functional Programming Languages and Computer Architecture, Portland, Oregon, USA, September 14-16, 1987, Proceedings, volume 274 of Lecture Notes in Computer Science, pages 257-277. Springer, 1987. URL: https://doi.org/10.1007/3-540-18317-5_15.
  24. Adele Goldberg and David Robson. Smalltalk-80: The Language and Its Implementation. Addison-Wesley, 1983. Google Scholar
  25. Nicolas Halbwachs, Fabienne Lagnier, and Christophe Ratel. Programming and verifying real-time systems by means of the synchronous data-flow language LUSTRE. IEEE Transactions on Software Engineering, 18(9):785-793, 1992. URL: https://doi.org/10.1109/32.159839.
  26. Daniel Ignatoff, Gregory H. Cooper, and Shriram Krishnamurthi. Crossing state lines: Adapting object-oriented frameworks to functional reactive languages. In Masami Hagiya and Philip Wadler, editors, Functional and Logic Programming, 8th International Symposium, FLOPS 2006, Fuji-Susono, Japan, April 24-26, 2006, Proceedings, volume 3945 of Lecture Notes in Computer Science, pages 259-276. Springer, 2006. URL: https://doi.org/10.1007/11737414_18.
  27. Facebook Inc. Components and props. https://web.archive.org/web/20191126131226/http://reactjs.org/docs/components-and-props.html. Accessed: 2019-11-26.
  28. Facebook Inc. React: A javascript library for building user interfaces. https://web.archive.org/web/20191009084855/http://reactjs.org/. Accessed: 2019-10-09.
  29. Reactive Streams Initiative. Reactive streams. https://web.archive.org/web/20191009093755/https://www.reactive-streams.org/. Accessed: 2019-10-09.
  30. Joeri De Koster, Tom Van Cutsem, and Wolfgang De Meuter. 43 years of actors: a taxonomy of actor models and their key properties. In Sylvan Clebsch, Travis Desell, Philipp Haller, and Alessandro Ricci, editors, Proceedings of the 6th International Workshop on Programming Based on Actors, Agents, and Decentralized Control, AGERE 2016, Amsterdam, The Netherlands, October 30, 2016, pages 31-40. ACM, 2016. URL: https://doi.org/10.1145/3001886.3001890.
  31. Roland Kuhn, Brian Hanafee, and Jamie Allen. Reactive Design Patterns. Manning Publications Co., Greenwich, CT, USA, 1st edition, 2017. Google Scholar
  32. Miran Lipovaca. Learn You a Haskell for Great Good!: A Beginner’s Guide. No Starch Press, San Francisco, CA, USA, 1st edition, 2011. Google Scholar
  33. Ingo Maier and Martin Odersky. Deprecating the observer pattern with scala.react. Technical Report EPFL-REPORT-176887, École Polytechnique Fédérale de Lausanne, EPFL IC IINFCOM LAMP, Station 14, 1015 Lausanne, 2012. URL: http://web.archive.org/web/20200522141109/https://infoscience.epfl.ch/record/176887.
  34. Leo A. Meyerovich, Arjun Guha, Jacob P. Baskin, Gregory H. Cooper, Michael Greenberg, Aleks Bromfield, and Shriram Krishnamurthi. Flapjax: a programming language for ajax applications. In Shail Arora and Gary T. Leavens, editors, Proceedings of the 24th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2009, October 25-29, 2009, Orlando, Florida, USA, pages 1-20. ACM, 2009. URL: https://doi.org/10.1145/1640089.1640091.
  35. Phuc C. Nguyen, Thomas Gilray, Sam Tobin-Hochstadt, and David Van Horn. Size-change termination as a contract: dynamically and statically enforcing termination for higher-order programs. In Kathryn S. McKinley and Kathleen Fisher, editors, Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2019, Phoenix, AZ, USA, June 22-26, 2019., pages 845-859. ACM, 2019. URL: https://doi.org/10.1145/3314221.3314643.
  36. Bjarno Oeyen, Humberto Rodríguez-Avila, Sam Van den Vonder, and Wolfgang De Meuter. Composable higher-order reactors as the basis for a live reactive programming environment. In Guido Salvaneschi, Wolfgang De Meuter, Patrick Eugster, Lukasz Ziarek, and Francisco Sant'Anna, editors, Proceedings of the 5th ACM SIGPLAN International Workshop on Reactive and Event-Based Languages and Systems, REBLS@SPLASH 2018, Boston, MA, USA, November 4, 2018, pages 51-60. ACM, 2018. URL: https://doi.org/10.1145/3281278.3281284.
  37. Simon Peyton Jones. Tackling the awkward squad: monadic input/output, concurrency, exceptions, and foreign-language calls in haskell. Engineering Theories of Software Construction, 180:47-96, January 2001. IOS Press. Google Scholar
  38. ReactiveX. Do. https://web.archive.org/web/20200415125833/http://reactivex.io/documentation/operators/do.html. Accessed: 2020-04-15.
  39. ReactiveX. Introduction. https://web.archive.org/web/20200415132837/http://reactivex.io/rxjs/manual/overview.html. Accessed: 2020-04-15.
  40. ReactiveX. ReactiveX: An api for asynchronous programming with observable streams. https://web.archive.org/web/20191009085652/http://reactivex.io/. Accessed: 2019-10-09.
  41. REScala. REScala manual. https://web.archive.org/web/20191126124033/http://www.rescala-lang.com/manual/. Accessed: 2019-11-26.
  42. REUK. Betz limit. https://web.archive.org/web/20191025112828/http://www.reuk.co.uk/wordpress/wind/calculation-of-wind-power/. Accessed: 2019-10-25.
  43. REUK. Calculation of wind power. https://web.archive.org/web/20191025113431/http://www.reuk.co.uk/wordpress/wind/betz-limit/. Accessed: 2019-10-25.
  44. RexEgg. The explosive quantifier trap. https://web.archive.org/web/20191223155226/https://www.rexegg.com/regex-explosive-quantifiers.html. Accessed: 2019-12-23.
  45. Raymond Roestenburg, Rob Bakker, and Rob Williams. Akka in action. Manning Publications Co., 1 edition, 2016. Google Scholar
  46. Guido Salvaneschi, Gerold Hintz, and Mira Mezini. Rescala: bridging between object-oriented and functional style in reactive applications. In Walter Binder, Erik Ernst, Achille Peternier, and Robert Hirschfeld, editors, 13th International Conference on Modularity, MODULARITY '14, Lugano, Switzerland, April 22-26, 2014, pages 25-36. ACM, 2014. URL: https://doi.org/10.1145/2577080.2577083.
  47. Guido Salvaneschi, Sebastian Proksch, Sven Amann, Sarah Nadi, and Mira Mezini. On the positive effect of reactive programming on software comprehension: An empirical study. IEEE Transactions on Software Engineering, 43(12):1125-1143, 2017. URL: https://doi.org/10.1109/TSE.2017.2655524.
  48. Francisco Sant'Anna, Roberto Ierusalimschy, Noemi de La Rocque Rodriguez, Silvana Rossetto, and Adriano Branco. The design and implementation of the synchronous language CÉU. ACM Trans. Embedded Comput. Syst., 16(4):98:1-98:26, 2017. URL: https://doi.org/10.1145/3035544.
  49. RxJS Team. RxJS: Reactive extensions library for javascript. https://web.archive.org/web/20191125123104/https://rxjs.dev/. Accessed: 2019-11-25.
  50. The Flapjax Team. Flapjax framework api documentation. https://web.archive.org/web/20191128081915/https://www.flapjax-lang.org/docs/. Accessed: 2019-11-28.
  51. D. A. Turner. Total functional programming. Journal of Universal Computer Science, 10(7):751-768, 2004. URL: https://doi.org/10.3217/jucs-010-07-0751.
  52. GitHub user "htimur". Akka Streams: Utility function for side effects #23512. https://web.archive.org/web/20200415164156/https://github.com/akka/akka/issues/23512. Accessed: 2020-04-15.
  53. GitHub user "otto-dev". Request: Overloaded version of .alsoTo that takes a function #28524. https://web.archive.org/web/20200415154306/https://github.com/akka/akka/issues/28524. Accessed: 2020-04-15.
  54. Mandana Vaziri, Olivier Tardieu, Rodric Rabbah, Philippe Suter, and Martin Hirzel. Stream processing with a spreadsheet. In Richard E. Jones, editor, ECOOP 2014 - Object-Oriented Programming - 28th European Conference, Uppsala, Sweden, July 28 - August 1, 2014. Proceedings, volume 8586 of Lecture Notes in Computer Science, pages 360-384. Springer, 2014. URL: https://doi.org/10.1007/978-3-662-44202-9_15.
  55. Colin Vidal, Gérard Berry, and Manuel Serrano. Hiphop.js: a language to orchestrate web applications. In Hisham M. Haddad, Roger L. Wainwright, and Richard Chbeir, editors, Proceedings of the 33rd Annual ACM Symposium on Applied Computing, SAC 2018, Pau, France, April 09-13, 2018, pages 2193-2195. ACM, 2018. URL: https://doi.org/10.1145/3167132.3167440.
  56. Zhanyong Wan, Walid Taha, and Paul Hudak. Real-time FRP. In Benjamin C. Pierce, editor, Proceedings of the Sixth ACM SIGPLAN International Conference on Functional Programming (ICFP '01), Firenze (Florence), Italy, September 3-5, 2001, pages 146-156. ACM, 2001. URL: https://doi.org/10.1145/507635.507654.
  57. Akinori Yonezawa, Jean-Pierre Briot, and Etsuya Shibayama. Object-oriented concurrent programming in ABCL/1. In Norman K. Meyrowitz, editor, Conference on Object-Oriented Programming Systems, Languages, and Applications (OOPSLA'86), Portland, Oregon, USA, Proceedings., pages 258-268. ACM, 1986. URL: https://doi.org/10.1145/28697.28722.
Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail