Programming languages as operating systems (or revenge of the son of the lisp machine)

ABSTRACT

The MrEd virtual machine serves both as the implementation platform for the DrScheme programming environment, and as the underlying Scheme engine for executing expressions and programs entered into DrScheme's read-eval-print loop. We describe the key elements of the MrEd virtual machine for building a programming environment, and we step through the implementation of a miniature version of DrScheme in MrEd. More generally, we show how MrEd defines a high-level operating system for graphical programs.

REFERENCES

• 1: Godmar Back , Wilson Hsieh, Drawing the Red Line in Java, Proceedings of the The Seventh Workshop on Hot Topics in Operating Systems, p.116, March 28-30, 1999
• 2: Back, G., P. TuUmann, L. Stoller, W. C. Hsieh and J. Lepreau. Java operating systems: Design and implementation. Technical Report UUCS-98-015, University of Utah, 1998.
• 3: Balfanz, D. and L. Gong. Experience with secure multi-processing in Java. Technical Report TR-560-97, Princeton University, Computer Science Department, September 1997.
• 4: Gaurav Banga , Peter Druschel , Jeffrey C. Mogul, Resource containers: a new facility for resource management in server systems, Proceedings of the third symposium on Operating systems design and implementation, p.45-58, February 1999, New Orleans, Louisiana, United States
• 5: B. N. Bershad , S. Savage , P. Pardyak , E. G. Sirer , M. E. Fiuczynski , D. Becker , C. Chambers , S. Eggers, Extensibility safety and performance in the SPIN operating system, Proceedings of the fifteenth ACM symposium on Operating systems principles, p.267-283, December 03-06, 1995, Copper Mountain, Colorado, United States
• 6: Gilad Bracha , William Cook, Mixin-based inheritance, Proceedings of the European conference on object-oriented programming on Object-oriented programming systems, languages, and applications, p.303-311, September 1990, Ottawa, Canada
• 7: H Bromley, Lisp lore: a guide to programming the Lisp machine, Kluwer Academic Publishers, Norwell, MA, 1986
• 8: Sean Dorward , Rob Pike , David Leo Presotto , Dennis Ritchie , Howard Trickey , Phil Winterbottom, Inferno, Proceedings of the 42nd IEEE International Computer Conference, p.241, February 23-26, 1997
• 9: Dybvig, R. K. Chez Scheme User's Guide. Cadence Research Systems, 1998.
• 10: Robert Bruce Findler , Cormac Flanagan , Matthew Flatt , Shriram Krishnamurthi , Matthias Felleisen, DrScheme: A Pedagogic Programming Environment for Scheme, Proceedings of the9th International Symposium on Programming Languages: Implementations, Logics, and Programs: Including a Special Trach on Declarative Programming Languages in Education, p.369-388, September 03-05, 1997
• 11: Finne, S. and S. P. Jones. Composing Haggis. In Proc. Eurographics Workshop on Programming Paradigms.for Computer Graphics, September 1995.
• 12: Fisler, K., S. Krishnamurthi and K. Gray. Implementing extensible theorem provers. Technical Report 99- 340, Rice University, 1999.
• 13: Flatt, M. PLT MzScheme: Language manual. Technical Report TR97-280, Rice University, 1997.
• 14: Matthew Flatt , Matthias Felleisen, Units: cool modules for HOT languages, Proceedings of the ACM SIGPLAN 1998 conference on Programming language design and implementation, p.236-248, June 17-19, 1998, Montreal, Quebec, Canada
• 15: Flatt, M. and R. B. Findler. PLT MrEd: Graphical toolbox manual. Technical Report TR97-279, Rice University, 1997.
• 16: Matthew Flatt , Shriram Krishnamurthi , Matthias Felleisen, Classes and mixins, Proceedings of the 25th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.171-183, January 19-21, 1998, San Diego, California, United States [doi>10.1145/268946.268961]
• 17: Ford, B. and J. Lepreau. Evolving Much 3.0 to a migrating thread model. In Proc. USENiX Technical Conference and Exhibition, pages 97-114, Janurary 1.994.
• 18: Ganser, E. R. and J. H. Reppy. eXene. In Proc. of the 1991 CMU Workshop on Standard ML. Carnegie Mellon University, September 1991.
• 19: Adele Goldberg , David Robson, Smalltalk-80: the language and its implementation, Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 1983
• 20: Masami Hagiya, Meta-circular interpreter for a strongly typed language, Journal of Symbolic Computation, v.8 n.6, p.651-680, Dec. 1989 [doi>10.1016/S0747-7171(89)80066-5]
• 21: Thomas Hallgren , Magnus Carlsson, Programming with Fudgets, Advanced Functional Programming, First International Spring School on Advanced Functional Programming Techniques-Tutorial Text, p.137-182, May 24-30, 1995
• 22: Hawblitzel, C., C.-C. Chang, G. Czajkowski, D. Hu and T. von Eicken. implementing mlxltiple protection domains in Java. In Proc. of USENIX Annual Technical Conferenc% pages 259-270, June 1998.
• 23: N. I. Adams, IV , D. H. Bartley , G. Brooks , R. K. Dybvig , D. P. Friedman , R. Halstead , C. Hanson , C. T. Haynes , E. Kohlbecker , D. Oxley , K. M. Pitman , G. J. Rozas , G. L. Steele, Jr. , G. J. Sussman , M. Wand , H. Abelson, Revised5 report on the algorithmic language scheme, ACM SIGPLAN Notices, v.33 n.9, p.26-76, Sept. 1, 1998 [doi>10.1145/290229.290234]
• 24: Leslie, I. M., D. McAuley, R. J. Black, T. Roscoe, P. R. Barbara, D. M. Evers, R. Fairburns end E. A. Hyden. The design and implementation of an operating system to support distributed multimeclia applications. IEEE Journal on Selected Areas in Communications, 14(7):1280-1297, September 1996.
• 25: John McCarthy, Recursive functions of symbolic expressions and their computation by machine, Part I, Communications of the ACM, v.3 n.4, p.184-195, April 1960 [doi>10.1145/367177.367199]
• 26: David A. Moon, Object-oriented programming with flavors, Conference proceedings on Object-oriented programming systems, languages and applications, p.1-8, September 29-October 02, 1986, Portland, Oregon, United States
• 27: David D. Redell , Yogen K. Dalal , Thomas R. Horsley , Hugh C. Lauer , William C. Lynch , Paul R. McJones , Hal G. Murray , Stephen C. Purcell, Pilot: an operating system for a personal computer, Communications of the ACM, v.23 n.2, p.81-92, Feb. 1980 [doi>10.1145/358818.358822]
• 28: John C. Reynolds, Definitional interpreters for higher-order programming languages, Proceedings of the ACM annual conference, p.717-740, August 01-01, 1972, Boston, Massachusetts, United States [doi>10.1145/800194.805852]
• 29: Smart, J. et al. wxWindows. http://web, ukonline, co. uk/julian, smart/wxwin/.
• 30: Sperber, M. The Lula system for theater lighting control. http://www-pu, informatik .uni-tuebingen. de/ users / sperbe r/lul a/.
• 31: Sun Microsystems, Inc. JavaOS: A standalone Java environment, 1997. ht ~p://www. j avaso ft. corn/product s / j avao s/ j avaos, white, html.
• 32: Daniel C. Swinehart , Polle T. Zellweger , Richard J. Beach , Robert B. Hagmann, A structural view of the Cedar programming environment, ACM Transactions on Programming Languages and Systems (TOPLAS), v.8 n.4, p.419-490, Oct. 1986 [doi>10.1145/6465.6466]
• 33: Niklaus Wirth , Jürg Gutknecht, Project Oberon: the design of an operating system and compiler, ACM Press/Addison-Wesley Publishing Co., New York, NY, 1992

INDEX TERMS

Primary Classification:
  D. Software
  D.4 OPERATING SYSTEMS
      D.4.8 Performance
          Subjects: Simulation

Additional Classification:
  D. Software
  D.2 SOFTWARE ENGINEERING

General Terms:
Languages, Management