Dynamic applications from the ground up

ABSTRACT

Some Lisp programs such as Emacs, but also the Linux kernel (when fully modularised) are mostly dynamic; i.e., apart from a small static core, the significant functionality is dynamically loaded. In this paper, we explore fully dynamic applications in Haskell where the static core is minimal and code is hot swappable. We demonstrate the feasibility of this architecture by two applications: Yi, an extensible editor, and Lambdabot, a plugin-based IRC robot. Benefits of the approach include hot swappable code and sophisticated application configuration and extension via embedded DSLs. We illustrate both benefits in detail at the example of a novel embedded DSL for editor interfaces.

REFERENCES

• 1: Internet Relay Chat (IRC) help archive. http://www.irchelp.org/, 2005.
• 2: 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, 1996.
• 3: Joe Armstrong, The development of Erlang, Proceedings of the second ACM SIGPLAN international conference on Functional programming, p.196-203, June 09-11, 1997, Amsterdam, The Netherlands
• 4: A. Baumann, G. Heiser, J. Appavoo, D. D. Silva, O. Krieger, R. W. Wisniewski, and J. Kerr. Providing dynamic update in an operating system. In Proceedings of the 2005 USENIX Technical Conference, pages 279--291. USENIX Association, 2005.
• 5: A. Baumann, J. Kerr, J. Appavoo, D. Da Silva, O. Krieger, and R. W. Wisniewski. Module hot-swapping for dynamic update and reconfiguration in K42. In Proceedings of the 6th Linux.Conf.Au, Canberra, Australia, Apr. 2005. To appear.
• 6: G. Bierman, M. Hicks, P. Sewell, and G. Stoyle. Formalizing dynamic software updating. In Proceedings of the Second International Workshop on Unanticipated Software Evolution (USE), April 2003.
• 7: A. Bolour. Notes on the Eclipse plug-in architecture. http://www.eclipse.org/articles/Article-Plug-in-architecture/plugin architecture.html, 2003.
• 8: Bram Moolenaar. The Vim Editor. http://www.vim.org/.
• 9: Manuel M. T. Chakravarty, Lazy Lexing is Fast, Proceedings of the 4th Fuji International Symposium on Functional and Logic Programming, p.68-84, November 11-13, 1999
• 10: Mikhail Dmitriev, Profiling Java applications using code hotswapping and dynamic call graph revelation, Proceedings of the 4th international workshop on Software and performance, January 14-16, 2004, Redwood Shores, California
• 11: B. Hausman. Turbo Erlang: Approaching the speed of C. In E. Tick and G. Succi, editors, Implementations of Logic Programming Systems, pages 119--135. Kluwer, Dordrecht, 1994.
• 12: Michael William Hicks , Scott M. Nettles, Dynamic software updating, 2001
• 13: Paul Hudak, Building domain-specific embedded languages, ACM Computing Surveys (CSUR), v.28 n.4es, Dec. 1996 [doi>10.1145/242224.242477]
• 14: P. Hudak, Modular Domain Specific Languages and Tools, Proceedings of the 5th International Conference on Software Reuse, p.134, June 02-05, 1998
• 15: Hugh Mahon. The Editor 'ee'. http://mahon.cwx.net/.
• 16: R. Ierusalimschy, L. H. de Figueiredo, and W. Celes. The evolution of an extension language: A history of Lua. In M. A. Musicante and E. H. Hausler, editors, V Simposio Brasileiro de Linguagens de Programaciao, pages B-14-B-28, Curitiba, May 2001.
• 17: Roberto Ierusalimschy , Luiz Henrique de Figueiredo , Waldemar Celes Filho, Lua—an extensible extension language, Software—Practice & Experience, v.26 n.6, p.635-652, June 1996 [doi>10.1002/(SICI)1097-024X(199606)26:6<635::AID-SPE26>3.0.CO;2-P ]
• 18: Erik Johansson , Mikael Pettersson , Konstantinos Sagonas, A high performance Erlang system, Proceedings of the 2nd ACM SIGPLAN international conference on Principles and practice of declarative programming, p.32-43, September 20-23, 2000, Montreal, Quebec, Canada [doi>10.1145/351268.351273]
• 19: M. P. Jones and S. Peyton Jones. Lightweight extensible records for Haskell. In Proceedings of the 1999 Haskell Workshop. Published in Technical Report UU-CS-1999-28, Department of Computer Science, University of Utrecht, Sept. 1999.
• 20: Simon Peyton Jones , Alastair Reid , Fergus Henderson , Tony Hoare , Simon Marlow, A semantics for imprecise exceptions, Proceedings of the ACM SIGPLAN 1999 conference on Programming language design and implementation, p.25-36, May 01-04, 1999, Atlanta, Georgia, United States
• 21: R. Lämmel and S. Peyton Jones. Scrap your boilerplate with class: extensible generic functions. Draft, submitted to ICFP 2005. http://www.cwi.nl/ralf/syb3/, Apr. 2005.
• 22: Daan Leijen, wxHaskell: a portable and concise GUI library for haskell, Proceedings of the 2004 ACM SIGPLAN workshop on Haskell, September 22-22, 2004, Snowbird, Utah, USA [doi>10.1145/1017472.1017483]
• 23: Nano Core Development Team. GNU Nano Text Editor. http://www.nano-editor.org/.
• 24: André Pang , Don Stewart , Sean Seefried , Manuel M. T. Chakravarty, Plugging Haskell in, Proceedings of the 2004 ACM SIGPLAN workshop on Haskell, September 22-22, 2004, Snowbird, Utah, USA [doi>10.1145/1017472.1017478]
• 25: J. Seward, S. Marlow, A. Gill, S. Finne, and S. P. Jones. Architecture of the Haskell Execution Platform (HEP). http://www.haskell.org/ghc/docs/papers/, 1999.
• 26: C. A. N. Soules, J. Appavoo, K. Hui, R. W. Wisniewski, D. D. Silva, G. R. Ganger, O. Krieger, M. Stumm, M. Auslander, M. Ostrowski, B. Rosenburg, and J. Xenidis. System support for online reconfiguration. In Proc. of the Usenix Technical Conference, 2003.
• 27: Richard M. Stallman, EMACS the extensible, customizable self-documenting display editor, Proceedings of the ACM SIGPLAN SIGOA symposium on Text manipulation, p.147-156, June 08-10, 1981, Portland, Oregon, United States
• 28: Sven Verdoolaege and Keith Bostic. The Berkeley Vi Editor. http://www.bostic.com/vi/.
• 29: Larry Wall , Mike Loukides, Programming Perl, O'Reilly & Associates, Inc., Sebastopol, CA, 2000
• 30: Malcolm Wallace , Colin Runciman, The bits between the lambdas: binary data in a lazy functional language, Proceedings of the 1st international symposium on Memory management, p.107-117, October 17-19, 1998, Vancouver, British Columbia, Canada

INDEX TERMS

Primary Classification:
  D. Software
  D.3 PROGRAMMING LANGUAGES
      D.3.3 Language Constructs and Features

General Terms:
Design, Languages

Keywords:
dynamic applications, dynamic update, extension languages, functional programming, hot swapping