The Lady Programming Environment For Distributed Operating Systems

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]  H. Dieter Rombach,et al.  A Controlled Expeniment on the Impact of Software Structure on Maintainability , 1987, IEEE Transactions on Software Engineering.

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

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

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

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

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

[7]  Juris Hartmanis,et al.  The Programming Language Ada Reference Manual American National Standards Institute, Inc. ANSI/MIL-STD-1815A-1983 , 1983, Lecture Notes in Computer Science.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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