Applying high-level language paradigms to distributed systems

ABSTRACT

We demonstrate the benefits of applying high-level language paradigms to the design and implementation of communications software for distributed systems. We focus on a set of language mechanisms including modularity and first class functions. We discuss three case studies: a remote procedure call system, a distributed Linda system, and a protocol processing system. The qualitative and quantitative benefits of such a structured use of high-level language mechanisms are analyzed and applied as the basis of a programming methodology for distributed systems,

REFERENCES

• 1: Michael J. Accetta, Robert V. Baron, William Bolosky, David B. Golub, Richard F. Rashid, Avadis Tevanian, Jr., and Michael W. Young. Mach: A new kernel foundation for UNIX development. In Proceedings of the Summer 1986 USENIX Conference, pages 93-113, July 1986.
• 2: Andrew W. Appel, Compiling with continuations, Cambridge University Press, New York, NY, 1992
• 3: Andrew W. Appel , David B. MacQueen, A standard ML compiler, Proc. of a conference on Functional programming languages and computer architecture, p.301-324, October 1987, Portland, Oregon, United States
• 4: Ted J. Biggerstaff , Alan J. Perlis, Software reusability: vol. 1, concepts and models, ACM Press, New York, NY, 1989
• 5: Luca Cardelli, James Donahue, Lucille Glassman, Mick Jordan, Bill Kalsow, and Greg Nelson. Modula-3 report (revised). Research Report 52, DEC Systems Research Center, November 1989.
• 6: Nicholas Carriero , David Gelernter, How to write parallel programs: a guide to the perplexed, ACM Computing Surveys (CSUR), v.21 n.3, p.323-357, Sep. 1989 [doi>10.1145/72551.72553]
• 7: D. D. Clark , D. L. Tennenhouse, Architectural considerations for a new generation of protocols, Proceedings of the ACM symposium on Communications architectures & protocols, p.200-208, September 26-28, 1990, Philadelphia, Pennsylvania, United States
• 8: David Gelernter, Generative communication in Linda, ACM Transactions on Programming Languages and Systems (TOPLAS), v.7 n.1, p.80-112, Jan. 1985 [doi>10.1145/2363.2433]
• 9: David Gelernter, Multiple Tuple Spaces in Linda, Proceedings of the Parallel Architectures and Languages Europe, Volume II: Parallel Languages, p.20-27, June 12-16, 1989
• 10: Per Gunningberg, Craig Partridge, Teet Sirotkin, and Bjorn Victor. Delayed evaluation of gigabit protocols. In Proceedings of the Second MultiG Workshop, June 1991.
• 11: Robert H. Halstead, Jr., MULTILISP: a language for concurrent symbolic computation, ACM Transactions on Programming Languages and Systems (TOPLAS), v.7 n.4, p.501-538, Oct. 1985 [doi>10.1145/4472.4478]
• 12: Robin Milner , Mads Tofte , Robert Harper, The definition of Standard ML, MIT Press, Cambridge, MA, 1990
• 13: Bruce Jay Nelson, Remote procedure call, 1981
• 14: R S Pressman, Software engineering: a practitioner's approach (2nd ed.), McGraw-Hill, Inc., New York, NY, 1986
• 15: David A. Watt, Programming language concepts and paradigms, Prentice-Hall, Inc., Upper Saddle River, NJ, 1990