References

1

Thomas E. Anderson, David E. Culler, and David A. Patterson. A case for NOW (networks of workstations). IEEE Micro, 15(1):54-64, February 1995.

2

Thomas E. Anderson, Henry M. Levy, Brian N. Bershad, and Edward D. Lazowska. The interaction of architecture and operating system design. In ASPLOS 91 [4], pages 108-120.

3

Proceedings of the 2nd International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS), Palo Alto, CA, October 1987. ACM Press, New York. Published as SIGPLAN Notices, volume 22, number 10.

4

Proceedings of the 4th International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS), Santa Clara, CA, April 1991. ACM Press, New York. Published as SIGPLAN Notices, volume 26, number 4.

5

Proceedings of the 6th International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS), San Jose, CA, October 1994. ACM Press, New York. Published as Operating Systems Review, volume 28, number 5.

6

James R. Bell. Threaded code. Communications of the ACM, 16(6):370-372, June 1973.

7

Brian N. Bershad, Craig Chambers, Susan Eggers, Chris Maeda, Dylan McNamee, Przemyslaw Pardyak, Stefan Savage, and Emin Gün Sirer. SPIN - an extensible microkernel for application-specific operating system services. Technical Report CSE-94-03-03, University of Washington, February 1994.

8

Brian N. Bershad, Stefan Savage, Przemyslaw Pardyak, Emin Gün Sirer, Marc E. Fiuczynski, David Becker, Craig Chambers, and Susan Eggers. Extensibility, safety and performance in the SPIN operating system. In SOSP 15 [88], pages 267-284. Published as ACM Operating Systems Review, SIGOPS, volume 29 number 5.

9

Robert D. Blumofe, Christopher F. Joerg, Bradley C. Kuszmaul, Charles E. Leiserson, Keith H. Randall, and Yuli Zhou. Cilk: An efficient multithreaded runtime system. In PPOPP 5 [77], pages 207-216. Published as ACM SIGPLAN Notices, volume 30, number 8.

10

J. L. Bruno and T. Lassagne. The generation of optimal code for stack machines. JACM, 22(3):382-396, July 1975.

11

Roy H. Campbell and See-Mong Tan. Choices: An object-oriented multimedia operating system. In HOTOS 5 [42], pages 90-94.

12

Paul Chan, Manoj Dadoo, and Vatsa Santhanam. Evolution of the U-code compiler intermediate language at Hewlett-Packard. In USENIX Summer 1990 [94], pages 199-210.

13

David R. Cheriton. An experiment using registers for fast message-based interprocess communication. In Proceedings of the Ninth ACM Symposium on Operating Systems Principles, pages 12-20, Brenton Woods, New Hampshire, October 1983. Published as ACM Operating Systems Review, SIGOPS, volume 17, number 5.

14

David D. Clark. The structuring of systems using upcalls. In Proceedings of the tenth ACM Symposium on Operating Systems Principles, pages 171-180, Orcas Island, Washington, December 1985. Published as ACM Operating Systems Review, SIGOPS, volume 19, number 5.

15

John Couch and Terry Hamm. Semantic structures for efficient code generation on a stack machine. IEEE Computer, 10(5):42-48, May 1977.

16

David E. Culler, Andrea Dusseau, Seth Copen Goldstein, Arvind Krishnamurthy, Steven Lumetta, Thorsten von Eicken, and Katherine Yelick. Parallel programming in Split-C. In Proceedings of Supercomputing '93, pages 262-273, November 1993.

17

William J. Dally, J. A. Stuart Fiske, John S. Keen, Richard A. Lethin, Michael D. Noakes, Peter R. Nuth, Roy E. Davison, and Greogory A. Fyler. The message-driven processor: A multicomputer processing node with efficient mechanisms. IEEE Micro, pages 23-38, April 1992.

18

Jack W. Davidson and Richard A. Vaughan. The effect of instruction set complexity on program size and memory performance. In ASPLOS 87 [3], pages 60-64. Published as SIGPLAN Notices, volume 22, number 10.

19

Jack W. Davidson and David B. Whalley. Methods for saving and restoring register values across function calls. Software, Practice and Experience, 21(2):149-165, February 1991.

20

P. Deutsch and C. A. Grant. A flexible measurement tool for software systems. In IFIP Congress 71, pages TA-3-7 - TA-3-12, Ljubljana, Yougoslavia, August 1971.

21

Robert B. K. Dewar. Indirect threaded code. Communications of the ACM, 18(6):330-331, June 1975.

22

Peter Druschel and Larry L. Peterson. Fbufs: A high-bandwidth cross-domain transfer facility. In SOSP 14 [87], pages 189-202. Published as ACM Operating Systems Review, SIGOPS, volume 27 number 5.

23

Charles B. Duff. Designing an efficient language. Byte, 11(8):211-224, August 1986.

24

Bob Duzett and Ron Buck. An overview of the nCUBE 3 supercomputer. In H. J. Siegel, editor, The Fourth Symposium on the Frontiers of Massively Parallel Computation, pages 458-464, McLean, Virginia, October 1992.

25

Dawson R. Engler. VCODE: A retargetable, extensible. very fast dynamic code generation system. In Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI'96), pages 160-170, Philadelphia, PA, May 1996.

26

Dawson R. Engler, Wilson C. Hsieh, and M. Frans Kaashoek. `C: A language for efficient, machine-independent dynamic code generation. Technical Report ???, MIT LCS, 1995.

27

Dawson R. Engler and M. Frans Kaashoek. Exterminate all operating system abstractions. In Proceedings of HotOS V, Orcas Island, WA, May 1995.

28

Dawson R. Engler, M. Frans Kaashoek, and James O'Toole, Jr. Exokernel: An operating system architecture for application-level resource management. In SOSP 15 [88], pages 251-266. Published as ACM Operating Systems Review, SIGOPS, volume 29 number 5.

29

Dawson R. Engler, M. Frans Kaashoek, and James W. O'Toole, Jr. The operating system kernel as a secure programmable machine. OSR Special Issue on Extensible Operating Systems, 1995.

30

Dawson R. Engler and Todd A. Proebsting. DCG: An efficient, retargetable dynamic code generaton system. In ASPLOS 94 [5], pages 263-272. Published as Operating Systems Review, volume 28, number 5.

31

M. Anton Ertl. A portable Forth engine. In EuroFORTH '93 conference proceedings, 1993.

32

M. Anton Ertl. Stack caching for interpreters. In Proceedings of the ACM SIGPLAN '95 Conference on Programming Language Design and Implementation (PLDI), pages 315-327, 1995.

33

M. Anton Ertl. Implementation of Stack-Based Languages on Register Machines. PhD thesis, Technische Universität Wien, Austria, 1996.

34

M. Anton Ertl and Martin Maierhofer. Translating forth to efficient C. In EuroForth '95 Conference Proceedings, Schloss Dagstuhl, Germany, 1995.

35

Christopher W. Fraser and David R. Hanson. A Retargetable C Compiler: Design and Implementation. Benjamin/Cummings, 1995.

36

James Gosling and Henry McGilton. The Java language environment. http://java.sun.com/doc/language_environment/, October 1995.

37

Makoto Hasegawa and Yoshiharu Shigei. High-speed top-of-stack scheme for VLSI processor: A management algorithm and its analysis. In The 12th Annual International Symposium on Computer Architecture (ISCA), pages 48-54, Boston, Massachusetts, June 1985. IEEE Computer Society Press. Published as SIGARCH Newsletter, volume 13, issue 3.

38

John R. Hayes, Martin E. Fraeman, and Robert L. Williams Thomas Zaremba. An architecture for the direct execution of the Forth programming language. In ASPLOS 87 [3], pages 42-49. Published as SIGPLAN Notices, volume 22, number 10.

39

John Heinlein, Kourosh Gharachorloo, Scott Dresser, and Anoop Gupta. Integration of message passing and shared memory in the stanford FLASH multiprocessor. In ASPLOS 94 [5], pages 38-50. Published as Operating Systems Review, volume 28, number 5.

40

Mark Heinrich, Jeffrey Kuskin, David Ofelt, John Heinlein, Joel Baxter, Jaswinder Pal Singh, Richard Simoni, Kourosh Gharachorloo, David Nakahira, Mark Horowitz, Anoop Gupta, Mendel Rosenblum, and John Henessy. The performance impact of flexibility in the Stanford FLASH multiprocessor. In ASPLOS 94 [5], pages 274-285. Published as Operating Systems Review, volume 28, number 5.

41

Urs Hölze and David Ungar. Optimizing dynamically-dispatched calls with run-time type feedback. In Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI'94), Orlando, FL, June 1994. Published as SIGPLAN Notices, volume 29, number 6.

42

Fifth Workshop on Hot Topics in Operating Systems (HotOS V), Orcas Island, WA, May 1995. IEEE Computer Society.

43

Paul A. Karger. Using registers to optimize cross-domain call performance. In Proceedings of the 3rd International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS), pages 194-204, Boston, MA, April 1989. ACM Press, New York. Published as SIGPLAN Notices, volume 24, number 5.

44

Raghu R. Karinthi and Mark Weiser. Incremental re-execution of programs. In Symposium on Interpreters and Interpretive Techniques [91], pages 38-43.

45

David Keppel. A portable interface for on-the-fly instruction space modification. In ASPLOS 91 [4], pages 86-95. Published as SIGPLAN Notices, volume 26, number 4.

46

David Keppel, Susan J. Eggers, and Robert R. Henry. A case for runtime code generation. Technical Report CSE-91-11-04, University of Washington, 1991.

47

David Keppel, Susan J. Eggers, and Robert R. Henry. Evaluating runtime-compiled value-specific optimizations. Technical Report CSE-93-11-02, University of Washington, 1993.

48

Paul Klint. Interpretation techniques. Software Practice and Experience, 11:963-973, 1979.

49

Peter M. Kogge. An architectural trail to threaded-code systems. IEEE Computer, pages 22-32, March 1982.

50

Philip John Koopman, Jr. A preliminary exploration of optimized stack code generation. Journal of Forth Applications and Research, 6(3):241-251, 1994.

51

Phillip Koopman. Stack Computers: The New Wave. Ellis Horwood, 1989.

52

Douglas Kramer. The Java platform: A white paper. http://java.sun.com:80 /doc/whitePaper.Platform, May 1996.

53

Jeffrey Kuskin, David Ofelt, Mark Heinrich, John Heinlein, Richard Simoni, Kourosh Gharachorloo, John Chapin, David Nakahira, Joel Baxter, Mark Horowitz, Anoop Gupta, Mendel Rosenblum, and John Hennesy. The stanford FLASH multiprocessor. ???, 1994.

54

Butler W. Lampson. Fast procedure calls. In Proceedings of the Symposium on Architectural Support for Programming Languages and Operating Systems, pages 66-76, Palo Alto, CA, March 1982. ACM Press, New York. Published as SIGPLAN Notices, volume 17, number 4.

55

H. C. Lauer. On Ph.D. thesis proposals in computing science. The Computer journal., 18(3), 1975.

56

Jochen Liedtke. On -kernel construction. In SOSP 15 [88], pages 237-250. Published as ACM Operating Systems Review, SIGOPS, volume 29 number 5.

57

Lok Tin Liu and David E. Culler. Evaluation of the Intel Paragon on active message communication. In Proceedings of the Intel Supercomputer Users' Group. 1995 Annual North America Users' Conference, June 1995. Available from: http://www.cs.berkeley.edu/ ltliu/papers/isug95/isug_1.html.

58

Alan Mainwaring and David Culler. Active messages: Organization and applications programming interface. version 2.0. Available from http:// now.cs.berkeley.edu/Papers/Papers/am-spec.ps, November 1994.

59

Henry Massalin. Synthesis: An Efficient Implementation of Fundamental Operating System Services. PhD thesis, Columbia University, 1992.

60

Henry Massalin and Calton Pu. Threads and input/output in the Synthesis kernel. In Proceedings of the Twelfth ACM Symposium on Operating Systems Principles, pages 191-201, Litchfield Park, Arizona, December 1989. Published as ACM Operating Systems Review, SIGOPS, volume 23, number 5.

61

Steven McCanne and Van Jacobson. The BSD packet filter: A new architecture for user-level packet capture. In USENIX Technical Conference Proceedings, pages 259-269, San Diego, CA, Winter 1993. USENIX.

62

Larry McVoy and Carl Staelin. lmbench: Portable tools for performance analysis. In USENIX Winter 1996 [95].

63

Sun Microsystems. The Java langauge: An overview. http://java.sun.com: /doc/white_papers.html, 1995.

64

Daniel L. Miller. Stack machines and compiler design. Byte, 12(4):177-185, April 1987.

65

Jeffrey C. Mogul and Anita Borg. The effect of context switches on cache performance. In ASPLOS 91 [4], pages 75-84.

66

Jeffrey C. Mogul, Richard F. Rashid, and Michael J. Accetta. The packet filter: An efficient mechanism for user-level network code. In Proceedings of the Eleventh ACM Symposium on Operating Systems Principles, pages 39-51, Austin, Texas, 1987. Published as ACM Operating Systems Review, SIGOPS, volume 21, number 5.

67

nCUBE, 1825 NW 167th Place, Beaverton, OR 97006. nCUBE 2 Processor Manual, December 1990. PN 101636.

68

George C. Necula and Peter Lee. Safe kernel extensions without run-time checking. In The Secomd Symposium on Operating Systems Design and Implementation (OSDI'96) Proceedings, pages 229-243, Seattle, Washington, October 1996.

69

Michael D. Noakes, Deborah A. Wallach, and William J. Dally. The J-Machine multicomputer: An architectural evaluation. In Proceedings of the 20th International Symposium on Computer Architecture (ISCA), pages 224-35, San Diego, California, May 1993. ACM Press, New York. Published as ACM Computer Architecture News, SIGARCH, volume 21, number 2.

70

Marco Oey, Koen Langendoen, and Henry E. Bal. Comparing kernel-space and user-space communication protocols on Amoeba. In Proceedings of the 15th International Conference on Distributed Computing Systems, pages 238-245, Vancouver, Canada, May 1995. IEEE, IEEE Computer Society Press.

71

John K. Ousterhout. Why aren't operating systems getting faster as fast as hardware? In USENIX Summer 1990 [94], pages 247-256.

72

Scott Pakin, Mario Lauria, and Andrew Chien. High performance messaging on workstations: Illinois fast messages (FM) for Myrinet. In Supercomputing '95: Proceedings, 1995.

73

Paul Pierce. The NX message passing interface. Parallel Computing, 1993.

74

Paul Pierce and Greg Regnier. The Paragon implementation of the NX message passing interface. In SHPCC 94, 1994.

75

Christian Pirker. Üebersetzung von Forth in Maschinensprache. Masters thesis, Technische Universität Wien, Austria, 1996.

76

Thomas Pittman. Two-level hybrid interpreter/native code execution for combined space-time program efficiency. In Symposium on Interpreters and Interpretive Techniques [91], pages 150-152.

77

Fifth ACM SIGPLAN Symposium on Principles & Practice of Parallel Programming (PPOPP), Santa Barbara, CA, July 1995. Published as ACM SIGPLAN Notices, volume 30, number 8.

78

Todd A. Proebsting. Optimizing an ANSI C interpreter with superoperators. In 22nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pages 322-332, San Francisco, California, January 1995. ACM Press.

79

Elizabeth D. Rather, Donald R. Colburn, and Charles H. Moore. The evolution of Forth. ACM SIGPLAN Notices, 28(3):177-199, March 1993.

80

Rolf Riesen, Arthur B. Maccabe, and Stephen R. Wheat. Active messages versus explicit message passing under SUNMOS. In Proceedings of the Intel Supercomputer Users' Group. 1994 Annual North America Users' Conference, pages 297-303, June 1994. Available from: file://www.cs.sandia.gov /pub/sunmos/papers/ISUG94-2.ps.Z.

81

Dennis M. Ritchie. The development of the C language. ACM SIGPLAN Notices, 28(3):201-208, March 1993.

82

Margo Seltzer, Christopher Small, and Keith Smith. The case for extensible operating systems. Technical Report TR-16-94, Harvard University, 1995.

83

Margo Seltzer, Christopher Small, and Michael D. Smith. Symbiotic systems software. In First Annual Workshop on Compiler Support for System Software, February 1996.

84

Lance Shuler, Rolf Riesen, Chu Jong, David van Dresser, Arthur B. Maccabe, Lee Ann Fisk, and T. Mack Stallcup. The Puma operating system for massively parallel computers. In Proceedings of the Intel Supercomputer Users' Group. 1995 Annual North America Users' Conference, June 1995. Available from: file://www.cs.sandia.gov/pub/sunmos/papers/puma_isug95.ps.Z.

85

Christopher Small and Margo Seltzer. VINO: An integrated platform for operating system and database research. Technical Report TR-30-94, Harvard University, 1994.

86

Christopher Small and Margo Seltzer. A comparison of OS extension technologies. In USENIX Winter 1996 [95].

87

Proceedings of the Fourteenth ACM Symposium on Operating Systems Principles, Asheville, NC, December 1993. Published as ACM Operating Systems Review, SIGOPS, volume 27 number 5.

88

Proceedings of the Fifteenth ACM Symposium on Operating Systems Principles, Copper Mountain Resort, Colorado, December 1995. Published as ACM Operating Systems Review, SIGOPS, volume 29 number 5.

89

Ellen Spertus and William J. Dally. Evaluating the locality benefits of acive messages. In PPOPP 5 [77], pages 189-198. Published as ACM SIGPLAN Notices, volume 30, number 8.

90

Richard M. Stallman. Using and Porting GNU CC, November 1995. Version 2.7.2.

91

Proceedings of the SIGPLAN'87 Symposium on Interpreters and Interpretive Techniques, St. Paul, Minnesota, June 1987.

92

See-Mong Tan, David K. Raila, and Roy H. Campbell. An object-oriented nano-kernel for operating system hardware support. In Proceedings of the Fourth International Workshop on Object Orientations in Operating Systems, pages 220-223, Lund, Sweden, August 1995.

93

Chandramohan A. Thekkath and Henry M. Levy. Limits to low-latency communication on high-speed networks. ACM Transactions on Computer Systems, 11(2):179-203, May 1993.

94

USENIX Association. Proceedings of the Summer 1990 USENIX Conference, Anaheim, California, June 1990.

95

USENIX Association. 1996 USENIX Annual Technical Conference, San Diego, California, January 1996.

96

Amin Vahdat, Douglas Ghormley, and Thomas Anderson. Efficient, portable, and robust extension of operating system functionality. Technical Report UCB CS-94-842, Computer Science Division, UC Berkeley, December 1994.

97

Amin Vahdat, Douglas Ghormley, and Thomas Anderson. Efficient, portable, and robust extension of operating system functionality. In HOTOS 5 [42].

98

Thorsten von Eicken, Anindya Basu, and Vineet Buch. Low-latency communication over ATM networks using active messages. IEEE Micro, 15(1):46-53, February 1995.

99

Thorsten von Eicken, Anindya Basu, Vineet Buch, and Werner Vogels. U-Net: A user-level network interface for parallel and distributed computing. In SOSP 15 [88], pages 40-53. Published as ACM Operating Systems Review, SIGOPS, volume 29 number 5.

100

Thorsten von Eicken, David E. Culler, Seth Copen Goldstein, and Klaus Erik Schauser. Active messages: A mechanism for integrated communication and computation. In Proceedings of the 19th International Symposium on Computer Architecture (ISCA), pages 256-266, Gold Coast, Australia, May 1992. ACM Press, New York. Published as ACM Computer Architecture News, SIGARCH, volume 20, number 2.

101

G. Michael Vose. QuickBasic 4.0. Byte, 12(13):111-114, November 1987.

102

Robert Wahbe, Steven Lucco, Thomas E. Anderson, and Susan L. Graham. Efficient software-based fault isolation. In SOSP 14 [87], pages 203-216. Published as ACM Operating Systems Review, SIGOPS, volume 27 number 5.

103

Deborah A. Wallach, Wilson C. Hsieh, Kirk L. Johnson, M. Frans Kaashoek, and William E. Weihl. Optimistic active messages: A mechanism for scheduling communication with computation. In PPOPP 5 [77], pages 217-226. Published as ACM SIGPLAN Notices, volume 30, number 8.

104

Stephen R. Wheat, Arthur B. Maccabe, Rolf Riesen, David W. van Dresser, and T. Mack Stallcup. PUMA: An operating system for massively parallel systems. In Proceedings of the Twenty-Seventh Annual Hawaii International Conference on System Sciences, pages 56-65. IEEE Computer Society Press, 1994. Available from: file://www.cs.sandia.gov/pub/sunmos/papers/hicss.ps.Z.

105

Stephen R. Wheat, Arthur B. Maccabe, Rolf Riesen, David W. van Dresser, and T. Mack Stallcup. PUMA: An operating system for massively parallel systems. Scientific Programming, 3:275-288, 1994.

106

N. Wirth. Recollections about the development of Pascal. SIGPLAN notices, 28(3):333-342, March 1995.

107

Masanobu Yuhara, Brian N. Bershad, Chris Maeda, and J. Eliot B. Moss. Efficient packet demultiplexing for multiple endpoints and large messages. In USENIX Technical Conference Proceedings, pages 153-165, San Diego, CA, Winter 1994. USENIX.