Architectural and hardware advances in computing design are occurring at an ever quickening rate, but it is the operating system that masters the complexity of these new computing devices to make them useful tools. Operating systems can make the difference between an interesting architecture and a useful computing environment. As more complex computational structures and more powerful communication technologies become available, we are faced with the need to develop new generations of operating systems to harness their power. This volume presents the proceedings of an international workshop intended to plot a course for design and development work on operating systems over the coming decade that was held in Dagstuhl Castle, Germany, in July 1991. Eight sessions covered: - Size, scalability and distribution in future operating systems, - The impact of future trends in hardware and communication technology, - Integrating heterogeneous operating systems, - Trends in real-time operating systems, - Fault tolerance support in futute operating systems, - Security and protection support in future operating systems, - The next generation of operating systems, - Supporting mulitmedia applications in distributed systems.

This volume contains the proceedings of an international workshop on "Experiences with Distributed Systems" held September 28-30, 1987, at the University of Kaiserslautern. The workshop was jointly sponsored and organized by the Sonderforschungsbereich 124 "VSLI-Entwurfsmethoden und ParallelitAt" and the European Network Center (ENC) of the IBM Corporation, Heidelberg. The objective of the workshop was to bring together researchers who had gathered substantial experience with the implementation of distributed systems. The emphasis was put on the exchange of (good and bad) experiences with existing concepts in distributed system design rather than presenting new ideas. Participation in the workshop was by invitation only. The presentations can be roughly categorized as reports on a specific project or reports on experiences with a certain topic accumulated through several projects. Other lectures treated general topics such as fault tolerance, design principles for distributed languages and systems, and distributed databases.

Die Konstruktion verteilter Systeme erfordert gut aufeinander abgestimmte Konzepte und Techniken in den Bereichen der lokalen Netze, der Netzwerkbe- triebssysteme und der Programmier-und Laufzeitumgebungen fUr verteilte An- wenderprogrammsysteme. In diesem Buch wird der Versuch unternommen, aufbauend auf derTechnolo- gie heutiger lokaler Netze, erprobte Softwaretechniken zu vermitteln, die sich breit und durchgangig fUr die stufenweise Realisierung verteilter Systeme eignen. Diese Techniken werden anhand der exemplarischen Implementierung eines N etzwerkbetriebssystems demonstriert. Viele interessierende Problemkreise konnen aus PlatzgrUnden nicht diskutiert oder lediglich gestreift werden. Dazu gehoren z. B. die Protokollverifikation, das Testen in verteilten Systemen und die Realisierung von Fehlertoleranz mittels verteilter Systeme. Viele dieser nicht behandelten Themenbereiche sind heute noch Gegenstand intensiver Forschung. Ich hoffe, daB dieses Buch gleichwohl seinen Hauptzweck erfUllt: Praktiker in die Welt der verteilten Systeme und lokalen Netze einzufuhren und ihnen mit wenigen, aber allgemein verwendbaren Konzepten und Techniken die Mitarbeit auf diesem interessanten, sich schnell entwickelnden Gebiet zu ermoglichen. Kaiserslautern, im November 1984 JUrgen Nehmer Inhaltsverzeichnis 1. Einfiihrung 1 Literatur 5 2. Beschreibungsmethodik . . . . . . . . 7 2.1 Elemente der Softwarestrukturierung . 7 2.1.1 Datentypen . 8 2.1.2 Operationen . . . . . . . . 9 2.1.3 Formationen . . . . . . . . 11 Das Rechnen mit Pointern .