Skip to main content
SpringerLink
Log in

The lady programming environment for distributed operating systems

  • Submitted Presentations
  • Conference paper
  • First Online:
PARLE '89 Parallel Architectures and Languages Europe (PARLE 1989)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 365))

Abstract

The LADY programming environment has been developed to support the design, implementation, testing, debugging and monitoring of distributed systems with special focus on operating systems. This paper describes the structuring model of the system implementation language LADY. In LADY, a distributed system is viewed as a collection of cooperating objects connected through typed interfaces. The language offers dynamic modifications of the program structure such as generation and deletion of objects and their interconnections as well as migration and checkpointing of objects. Further features include the extensibility of programs and recursive definition of objects. The structuring facilities of LADY are demonstrated by an example and experiences with the language are discussed.

INCremental Architecture for distributed Systems (funded by the Deutsche Forschungsgemeinschaft as part of the Research Institute SFB 124 "VLSI-Design and Parallel Architectures", Kaiserslautern — Saarbruecken, Federal Republic of Germany)

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

7. References

  1. M. Accetta, R. Baron, W. Bolosky, D. Golub, R. Rashid, A. Tevanian, and M. Young, "Mach: A New Kernel Foundation for UNIX Development," in Proc. USENIX Technical Conference and Exhibition, June 1986.

    Google Scholar 

  2. G.T. Almes, A.P. Black, E.D. Lazowska, and J.D. Noe, "The Eden System: A Technical Review," IEEE Trans. Software Eng., vol. SE-11, no. 1, 1985, pp. 43–59. Jan 1985.

    Google Scholar 

  3. G. Andrews, R. Coffin, I. Elshoff, K. Nilsen, T. Purdin, and G. Townsend, "An Overview of the SR Language and Implementation," ACM Trans. Program. Lang. Syst., vol. 10, no. 1, 1988, pp. 51–86.

    Article  Google Scholar 

  4. C. Beilken and F. Mattern, "The Distributed Programming Language CSSA — A Very Short Introduction," Internal Report 123/85, Dept. of Computer Science, University of Kaiserslautern, 1985.

    Google Scholar 

  5. K.P. Birman, "Replication and Fault-Tolerance in the ISIS System," in Proc. 10th ACM Simp. on Operating Systems Principles, 1985.

    Google Scholar 

  6. A. Black, N. Hutchinson, E. Jul, H. Levy, and L. Carter, "Distribution and Abstract Types in Emerald," IEEE Trans. Software Eng., vol. SE-13, no. 1, 1987, pp. 65–76.

    Google Scholar 

  7. D. Gelernter, "Generative Communication in Linda," ACM TOPLAS, vol. 7, no. 1, 1985, pp. 80–112.

    Article  Google Scholar 

  8. R.F. Gurwitz, M.A. Dean, and R.E. Schantz, "Programming Support in the Cronus Distributed Operating System," in Proc. 5th Conf. Distributed Computing Systems, 1985.

    Google Scholar 

  9. J.M. Chang, N.F. Maxemchuk, "Reliable Broadcast Protocols," ACM Trans. on Comp. Systems, Vol. 2, no. 3, 1984.

    Google Scholar 

  10. D. Cheriton, "The V Kernel — A Software Base for Distributed Systems," IEEE Software, Apr. 1984, pp. 19–42.

    Google Scholar 

  11. R.P. Cook, "StarMod — A Language for Distributed Programming," IEEE Trans. Software Eng., vol. SE-6, no. 6, 1980, pp. 563–371.

    Google Scholar 

  12. N. Dulay, J. Kramer. J. Magee, M. Sloman, K. Twidle, "Distributed System Construction: Experience with the CONIC Toolkit," in Proc. Int. Workshop Experiences with Distributed Systems, Springer-Verlag LNCS, 1987, pp. 189–212.

    Google Scholar 

  13. N.H. Gehani, "Broadcasting Sequential Processes (BSP)," IEEE Trans. Software Eng., vol. SE-10, no. 4, 1984, pp. 343–351.

    Google Scholar 

  14. D. Haban, "DTM — A Distributed Test Methodology," in Proc. 6th Symposium on Reliability in Distributed Software and Database Systems, 1987.

    Google Scholar 

  15. C. Hewitt, "Viewing Control Structures as Patterns of Passing Messages," Artificial Intell., vol. 8, 1977, pp. 323–364.

    Article  Google Scholar 

  16. C.A.R. Hoare, "Communicating Sequential Processes," Comm.ACM, vol. 21, no. 8, 1978.

    Google Scholar 

  17. T.J. LeBlanc and S.A. Friedberg, "Hierarchical Process Composition in Distributed Operating Systems," in Proc. 5th Conf. Distributed Computing Systems, 1985.

    Google Scholar 

  18. T.J. LeBlanc and R.P. Cook, "High-Level Broadcast Communication fo Local Area Networks," IEEE Software, vol. 2, no. 3, 1985, pp. 40–48.

    Google Scholar 

  19. C.M. Li and M.T. Liu, "Dislang: A Distributed Programming Language/System", in Proc. 2th Conf. Distributed Computing Systems, 1981.

    Google Scholar 

  20. B. Liskov, "Primitives for Distributed Computing," in Proc. 7th Symposium on Operating System Principles, 1979.

    Google Scholar 

  21. B. Liskov and R. Scheifler, "Guardians and Actions: Linguistic Support for Robust, Distributed Programs," ACM Trans. Programming Languages and Systems, vol. 5, no. 3, 1983, pp. 381–404.

    Article  Google Scholar 

  22. B. Liskov, M. Herlihy, and L. Gilbert, "Limitations of Synchronous Communication with Static Process Structure in Languages for Distributed Computing," Technical Report CMU-CS-85-168, Dept. of Comp. Science, Carnegie-Mellon University, 1985.

    Google Scholar 

  23. R. Massar, "LADY (Language for Distributed Systems) — Design and Implementation of a Language for Distributed Systems (in German)," Dissertation, University of Kaiserslautern, 1984.

    Google Scholar 

  24. S.J. Mullender and A.S. Tanenbaum, "The Design of a Capability-Based Distributed Operating System," The Computer Journal, vol. 29, no. 4, 1986, pp. 289–299.

    Article  Google Scholar 

  25. J. Nehmer, D. Haban, F. Mattern, D. Wybranietz, and H.D. Rombach, "Key Concepts of the INCAS Multicomputer Project," IEEE Trans. Software Eng., vol. SE-13, no. 8, pp. 913–923, 1987.

    Google Scholar 

  26. R.F. Rashid and G.G. Robertson, "Accent: A communication oriented network operating system kernel," in Proc. 8th Symposium on Operating System Principles, 1981, pp. 64–75.

    Google Scholar 

  27. H.D. Rombach, "A Controlled Experiment on the Impact of Software Structure on Maintainability," IEEE Trans. Software Eng., vol. SE-13, no. 3, 1987, pp. 344–354.

    Google Scholar 

  28. F.B. Schneider, D. Gries, R.D. Schlichting, "Fault-Tolerant Broadcast," Science of Computer Programming 4, 1984, pp. 1–15.

    Article  Google Scholar 

  29. M.L. Scott, "Language Support for Loosely-Coupled Distributed Programs," IEEE Trans. Software Eng., vol. SE-13, no. 1, 1987, pp. 88–103.

    Google Scholar 

  30. A. S. Tanenbaum and Robbert van Renesse, "A Critique of the Remote Procedure Call Paradigm," in Proc. EUTECO'88, 1988.

    Google Scholar 

  31. United States Department of Defense, "Reference Manual for the Ada Programming Language," (ANSI/MIL-STD-1815A-1983), 1983.

    Google Scholar 

  32. D. Wybranietz and R. Massar, "An Overview of LADY — A Language for the Implementation of Distributed Operating Systems," Technical Report 12/85, SFB 124, University of Kaiserslautern, 1985.

    Google Scholar 

  33. D. Wybranietz, "Simulation of Multicast Computer Communications with Interactive Facilities," in Proc. 15th Simula Users Conference, 1987.

    Google Scholar 

  34. D. Wybranietz, D. Haban, "Measuring and Monitoring Distributed Systems during Operation," in Proc. ACM SIGMETRICS, 1988.

    Google Scholar 

  35. H. Zimmermann, M. Guillemont, G. Morisset, and J.-S. Banino, "CHORUS: A communication and processing architecture for distributed systems," Technical Report 328, INRIA, Rocquencourt, France, 1984.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. INCAS Project Department of Computer Science, University of Kaiserslautern, D-6750, Kaiserslautern, Germany

    Dieter Wybranietz & Peter Buhler

Authors
  1. Dieter Wybranietz
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Peter Buhler
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Eddy Odijk Martin Rem Jean-Claude Syre

Rights and permissions

Reprints and permissions

Copyright information

© 1989 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Wybranietz, D., Buhler, P. (1989). The lady programming environment for distributed operating systems. In: Odijk, E., Rem, M., Syre, JC. (eds) PARLE '89 Parallel Architectures and Languages Europe. PARLE 1989. Lecture Notes in Computer Science, vol 365. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3540512845_35

Download citation

  • DOI: https://doi.org/10.1007/3540512845_35

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-51284-4

  • Online ISBN: 978-3-540-46183-8

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation