The LADY programming environment for distributed operating systems

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.

[1]  Thomas J. LeBlanc,et al.  Hierarchical Process Composition in Distributed Operating Systems , 1985, ICDCS.

[2]  Narain H. Gehani,et al.  Broadcasting Sequential Processes (BSP) , 1984, IEEE Transactions on Software Engineering.

[3]  Andrew S. Tanenbaum,et al.  A Critique of the Remote Procedure Call Paradigm , 1988 .

[4]  H. Dieter Rombach,et al.  A Controlled Expeniment on the Impact of Software Structure on Maintainability , 1987, IEEE Transactions on Software Engineering.

[5]  C. A. R. Hoare,et al.  Communicating sequential processes , 1978, CACM.

[6]  Maurice Herlihy,et al.  Limitations of synchronous communication with static process structure in languages for distributed computing , 1986, POPL '86.

[7]  Richard E. Schantz,et al.  Programming Support in the Cronus Distributed Operating System , 1986, IEEE International Conference on Distributed Computing Systems.

[8]  David Gelernter,et al.  Generative communication in Linda , 1985, TOPL.

[9]  Gregory R. Andrews,et al.  An overview of the SR language and implementation , 1988, TOPL.

[10]  Carl Hewitt,et al.  Viewing Control Structures as Patterns of Passing Messages , 1977, Artif. Intell..

[11]  Michael L. Scott,et al.  Language Support for Loosely Coupled Distributed Programs , 1987, IEEE Transactions on Software Engineering.

[12]  George G. Robertson,et al.  Accent: A communication oriented network operating system kernel , 1981, SOSP.

[13]  William J. Bolosky,et al.  Mach: A New Kernel Foundation for UNIX Development , 1986, USENIX Summer.

[14]  Andrew S. Tanenbaum,et al.  The Design of a Capability-Based Distributed Operating System , 1986, Comput. J..

[15]  Barbara Liskov,et al.  Primitives for distributed computing , 1979, SOSP '79.

[16]  Henry Ledgard,et al.  Reference Manual for the ADA® Programming Language , 1983, Springer New York.

[17]  Robert P. Cook,et al.  *MOD—A Language for Distributed Programming , 1980, IEEE Transactions on Software Engineering.

[18]  Barbara Liskov,et al.  Guardians and Actions: Linguistic Support for Robust, Distributed Programs , 1983, TOPL.

[19]  G. G. Stokes.  "J." , 1890, The New Yale Book of Quotations.

[20]  Kenneth P. Birman.  Replication and fault-tolerance in the ISIS system , 1985, SOSP 1985.

[21]  Peter Buhler,et al.  Tools for distributed programming in the INCAS project , 1989, Microprocessing and Microprogramming.

[22]  Thomas J. LeBlanc,et al.  High-Level Broadcast Communication for Local Area Networks , 1985, IEEE Software.

[23]  Larry Carter,et al.  Distrbution and Abstract Types in Emerald , 1987, IEEE Transactions on Software Engineering.

[24]  Morris Sloman,et al.  Distributed System Construction: Experience with the Conic Toolkit , 1987, Experiences with Distributed Systems.

[25]  D. Haban,et al.  Monitoring and performance measuring distributed systems during operation , 1988, SIGMETRICS 1988.

[26]  Andrew P. Black,et al.  The Eden System: A Technical Review , 1985, IEEE Transactions on Software Engineering.

[27]  Friedemann Mattern,et al.  Key Concepts of the INCAS Multicomputer Project , 1987, IEEE Transactions on Software Engineering.

[28]  David R. Cheriton.  The V Kernel: A Software Base for Distributed Systems , 1984, IEEE Software.

[29]  Jo-Mei Chang,et al.  Reliable broadcast protocols , 1984, TOCS.

[30]  M. T. Liu,et al.  DISLANG: A Distributed Programming Language/System , 1981, ICDCS.

[31]  Richard D. Schlichting,et al.  Fault-Tolerant Broadcasts , 1984, Sci. Comput. Program..