Advertisement

The lady programming environment for distributed operating systems

  • Dieter Wybranietz
  • Peter Buhler
Submitted Presentations
Part of the Lecture Notes in Computer Science book series (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.

Keywords

Output Port Input Port Multicast Group Interface Agent Interprocess Communication 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

7. References

  1. [ACC86]
    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. [ALM85]
    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. [AND88]
    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.CrossRefGoogle Scholar
  4. [BEM85]
    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. [BIR85]
    K.P. Birman, "Replication and Fault-Tolerance in the ISIS System," in Proc. 10th ACM Simp. on Operating Systems Principles, 1985.Google Scholar
  6. [BLA87]
    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. [GEL85]
    D. Gelernter, "Generative Communication in Linda," ACM TOPLAS, vol. 7, no. 1, 1985, pp. 80–112.CrossRefGoogle Scholar
  8. [GUR85]
    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. [CHA84]
    J.M. Chang, N.F. Maxemchuk, "Reliable Broadcast Protocols," ACM Trans. on Comp. Systems, Vol. 2, no. 3, 1984.Google Scholar
  10. [CHE84]
    D. Cheriton, "The V Kernel — A Software Base for Distributed Systems," IEEE Software, Apr. 1984, pp. 19–42.Google Scholar
  11. [COO80]
    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. [DUL87]
    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. [GEH84]
    N.H. Gehani, "Broadcasting Sequential Processes (BSP)," IEEE Trans. Software Eng., vol. SE-10, no. 4, 1984, pp. 343–351.Google Scholar
  14. [HAB87]
    D. Haban, "DTM — A Distributed Test Methodology," in Proc. 6th Symposium on Reliability in Distributed Software and Database Systems, 1987.Google Scholar
  15. [HEW77]
    C. Hewitt, "Viewing Control Structures as Patterns of Passing Messages," Artificial Intell., vol. 8, 1977, pp. 323–364.CrossRefGoogle Scholar
  16. [HOA78]
    C.A.R. Hoare, "Communicating Sequential Processes," Comm.ACM, vol. 21, no. 8, 1978.Google Scholar
  17. [LEB85a]
    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. [LEB85b]
    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. [LIL81]
    C.M. Li and M.T. Liu, "Dislang: A Distributed Programming Language/System", in Proc. 2th Conf. Distributed Computing Systems, 1981.Google Scholar
  20. [LIS79]
    B. Liskov, "Primitives for Distributed Computing," in Proc. 7th Symposium on Operating System Principles, 1979.Google Scholar
  21. [LIS83]
    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.CrossRefGoogle Scholar
  22. [LIS85]
    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. [MAS84]
    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. [MUL86]
    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.CrossRefGoogle Scholar
  25. [NEH87]
    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. [RAS81]
    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. [ROM87]
    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. [SCH84]
    F.B. Schneider, D. Gries, R.D. Schlichting, "Fault-Tolerant Broadcast," Science of Computer Programming 4, 1984, pp. 1–15.CrossRefGoogle Scholar
  29. [SCO87]
    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. [TAN88]
    A. S. Tanenbaum and Robbert van Renesse, "A Critique of the Remote Procedure Call Paradigm," in Proc. EUTECO'88, 1988.Google Scholar
  31. [USD83]
    United States Department of Defense, "Reference Manual for the Ada Programming Language," (ANSI/MIL-STD-1815A-1983), 1983.Google Scholar
  32. [WYB85]
    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. [WYB87]
    D. Wybranietz, "Simulation of Multicast Computer Communications with Interactive Facilities," in Proc. 15th Simula Users Conference, 1987.Google Scholar
  34. [WYB88]
    D. Wybranietz, D. Haban, "Measuring and Monitoring Distributed Systems during Operation," in Proc. ACM SIGMETRICS, 1988.Google Scholar
  35. [ZIM84]
    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

Copyright information

© Springer-Verlag Berlin Heidelberg 1989

Authors and Affiliations

  • Dieter Wybranietz
    • 1
  • Peter Buhler
    • 1
  1. 1.INCAS Project Department of Computer ScienceUniversity of KaiserslauternKaiserslauternGermany

Personalised recommendations