8. Literaturverzeichnis

Transkript

1 5 8. Literaturverzeichnis 8.1 Lehrbücher Betriebssysteme [D 90] Deitel H., Operating Systems, Second Edition, Addison-Wesley Publishing Company, 1990 Teil 1: Die Einführung gibt einen historischen Abriß über die Entwicklung von Betriebssystemen und legt Hardware- und Softwarebegriffe fest. Teil 2: Erläutert das Prozeßkonzept, die Synchronisationverfahren für parallele Prozesse und Verklemmungen von parallelen Prozessen. Teil 3: Behandelt die Hauptspeicherverwaltung. Teil 4: Schedulingverfahren; Parallelrechner und Multiprozessoren. Teil 5: Plattenzugriffe und -verwaltung; Filesysteme Teil6: Leistungsbetrachtungen und Leistungmessung von Rechnern; Analytische Modell für Rechner Teil 7: ISO/OSI Modell und Sicherheitsmechanismen in Betriebssystemen. Teil 8: Fallbeispiele für die Betriebssysteme UNIX, DOS, MVS, VM, Apple Macintosh, OS/2. [MOO 87] Maekawa M., Oldehoeft A. E., Oldehoeft R. R., Operating Systems, Advanced Concepts, Benjamin/Cummings Publishing Company Inc.,1987 Behandlung der tiefergehenden und theoretisch basierten Konzepten von Betriebssystemen. Insbesondere Einschluß von verteilten Systemen, Sicherheitsaspekte bei Betriebssystemen und Warteschlangenmodelle. Jedes Kapitel schließt mit einer großen Zahl von Literaturhinweisen. [M 92] Milenkovic M., Operating Systems, Concepts and Design, Second Edition, Mc Graw-Hill, Inc., 1992 Detailierte und alle Aspekte umfassende Beschreibung von Betriebssystemen. Enthält die Implementation eines Betriebssystemkerns für ein Multiprozessorsystem. Fallbeispiele für die Betriebssysteme PC-DOS, UNIX und

2 irmx86. Gegenüber der ersten Auflage von 1987 enthält die zweite Auflage vier weitere neue Kapitel: Sicherheit und Schutz, Multiprozessor Systeme, Algorithmen für verteilte Betriebssyteme, Implementation von verteilten Betriebssystemen. Weiterhin wurde das Buch in vier Teile gegliedert: Fundamentale Konzepte, Implementation, Fortgeschrittene Punkte, Fallstudien. [SG 94] Silberschatz A., Galvin P., Operating System Concepts, Fourth Edition, Addison Wesley Publishing Company, 1994 Teil 1: Gibt einen Überblick über Betriebssystementwicklungen, Rechnerstrukturen und Betriebssytemstrukturen. Teil 2: Prozeßverwaltung mit Prozeßbegriff, CPU-Scheduling, Prozeßsynchronisation und Verklemmungen Teil 3: Speicherverwaltung für Hauptspeicher und Platte. Teil 4: Schutz und Sicherheit Teil 5: Verteilte Systeme mit Netzwerkstrukturen, Strukturen für verteilte Systeme, verteilte Dateisysteme und verteilte Koordination. Teil 6: Fallstudien für die Betriebssysteme UNIX, Mach und die Entwicklung der Betriebssytem beinflußende Betriebssysteme Der Anhang beschreibt das Nachos-System, eine Simulation eines Betriebssystem auf Unix-Basis. [S 92] Stallings W., Operating Systems, Macmillan Publishing Company, 1992 Nach einer Einführung in die Rechnerarchitektur und einem Abriß über die historische Entwicklung von Betriebssystemen werden die einzelnen Komponenten eines Betriebssystems besprochen, wobei Multiprocessing und verteilte Systeme ebenfalls besprochen werden. Jedes Kapitel schließt mit einer Illustration der dargestellten Konzepte an den drei Betriebssystemen OS/2, Unix und MVS. Jeder Abschnitt enthält am Ende Problem- und Aufgabenstellungen und Hinweise auf weiterführende Literatur. [T 87] Tanenbaum A. S., Operating Systems: Design and Implementation, Prentice Hall, 1987 Tanenbaum A. S., Betriebssysteme, Entwurf und Realisierung, Teil 1. Lehrbuch Teil 2. Minix-Leitfaden und kommentierter Programmtext Carl Hanser Verlag, 1990 Führt die Beschreibung von Betriebssystemen und die Konzepte anhand einer Beispielimplementation von Minix ein. Minix ist ein Unix-artiges Betriebssystem mit strukturiertem Aufbau und einer Kommandosprache (Shell) und 6

3 Betriebsystemaufrufen von Unix. Der komplette Quellcode von Minix ist erhältlich für IBM PC und VAX. [T 92] Tanenbaum A., Modern Operating Systems, Prentice-Hall, Inc., 1992 Tanenbaum A. S., Moderne Betriebssysteme, Carl Hanser Verlag, 1994 Zweiteiliges Werk - Traditionelle Betriebssysteme und verteilte Betriebssysteme Teil 1: Beschreibt die Komponentenen eines Betriebssystems für Einprozessormaschinen; Prozesse, Hauptspeicherverwaltung, Dateisysteme, Ein/Ausgabe, Verklemmungen. Enthält am Ende zwei Fallstudien für traditionelle Betriebssysteme: UNIX und MS-DOS. Teil 2: Behandelt Netzwerkbetriebssysteme und verteilte Betriebssysteme; Hardware und Softwarekonzepte von verteilten Systemen, Kommunikation in verteilten Systemen (Client-Server-Modell, Remote Procedure Call und Gruppenkommunikation), Synchronisation in verteilten Systemen (Uhrensynchronisation, wechselseitiger Ausschluß, Auswahlalgorithmen, atomare Transaktionen, Verklemmungen in verteilten Systemen), Prozesse (Threads, Prozessorallokation), Verteilte Dateisysteme (File- und Directory-Server). Enthält am Ende zwei Fallbeispiele für verteilte Betriebssysteme: Amoeba und Mach Literatur zu Unix [A 95] Andleigh P., UNIX System Architecture, Prentice Hall Inc., 1990 Andleigh P., UNIX Systemarchitektur, Carl Hanser Verlag,1995 Beschreibt überblickshaft die Architektur des UNIX-Betriebssystems. Blickrichtung ist dabei die Sicht eines UNIX-Systemprogrammierers und -administrators. Kann als Einstiegsbuch zu den komplexeren Themenbereiche von [B91] oder [LMKQ 90] herangezogen werden. [B 91] Bach M. J., The Design of the Unix Operating System, Prentice Hall Inc., 1986 In Deutsch erschienen: Bach M. J., UNIX -Wie funktioniert das Betriebssystem, Carl Hanser Verlag, 1991 Beschreibt den internen Aufbau und die Architektur des Unix Betriebssystems.

4 8 [LMKQ 90] Leffler S. J., McKusick M. K., Karels M., Quaterman J. S., Design and Implementation of the 4.3BSD Unix Operating System, Addison Wesley Publishing Company, 1989 In Deutsch erschienen: Leffler S. J., McKusick M. K., Karels M., Quaterman J. S., Das 4.3 BSD Unix Betriebssystem, Design und Implementierung Addison Wesley (Deutschland) GmbH, 1990 Beschreibung der Implementation des Berkeley Software Distribution Unix auf Vax. 8.2 Unix Systemprogrammierung [S 92] Stevens W. R., Advanced Programming in the Unix Environment, Addison-Wesley Publishing Company, 1992 [C 96] Curry D. A., UNIX Systems Programming for SVR4, O Reilly & Associates, Inc [G 97] Gray J. S., Interprocess Communications in Unix - the nooks and crannies, Prentice Hall Unix Kommandoebene [GO 88] Gulbins J., Obermayr, UNIX, Springer Verlag, 4 Edition, 1995 [B 96] Burmeister Arne, Der Einstieg in Unix, Carl Hanser Verlag Linux [W 94] DRx. Linux, The Linux Documentation Project. Linux Installation and Getting Started Verfügbar über anonymous ftp from sunsite.unc.edu in directory /pub/linux/docs/ldp [B95] Beck M., Böhme H., Dziadzka M., Kunitz U., Magnus R., Verworner D., Linux-Kernel-Programmierung, Algorithmen und Strukturen der Version 1.2, 3., aktualisierte und erweiterte Auflage Addision-Wesley Publishing Company, 1995

5 9 8.5 Literatur zu Mach [ZK 93] Zimmermann Ch., Kraas A. W., Mach, Konzepte und Programmierung, Springer Verlag, Literatur zu Windows NT [C 93] Custer H., Inside Windows NT, Microsoft Press, 1993 Beschreibt die Entwurfskriterien, den Aufbau und die Implementation von Microsofts Windows NT. 8.7 Literatur zu OS/2 8.8 Literatur zur Synchronisation und Kommunikation [A 91] Andrews G. R., Concurrent Programming, Principles and Practice, The Benjamin/Cummings Publishing Company, Inc., 1991 [BEW 88] Bustard D., Elder J., Welsh J., Concurrent Program Structures, Prentice Hall International, 1988 Beschreibung der konkurrenten Programmstrukturen und eine Vielzahl von Applikationen, besonders aus dem Bereich der Echtzeitsysteme, der Betriebssysteme und der Simulation. [GM 88] Gehani N., McGettrick A. D., Concurrent Programming, Addison-Wesley Publishing Company, 1988 Enthält die in Fachzeitschriften erschienen wichtigsten Artikel über konkurrente Programmierung. [HH 89] Herrtwich R.G., Hommel G., Kooperation und Konkurrenz, Nebenläufige, verteilte und echtzeitabhängige Programmsysteme, Springer Verlag, 1989 Enthält die Beschreibung von parallelen Prozessen und die Synchronisationsund Kommunikationsmittel und deren Implementation. Die Schwerpunkte liegen dabei auf der Anwendung dieser Mittel und Techniken in nebenläufigen, verteilten und echtzeitabhängigen Systemen. [P 87] Perrot R. H., Parallel Programming, Addison Wesley Publishing Company, 1987 Beschreibt die in verschiedenen Programmiersprachen (Modula-2, Pascal Plus, Ada, Occam) vorhandenen parallelen Konstrukte zur Synchronisation

6 8.5 Literatur 10 und Kommunikation, weiterhin die Entdeckung von Parallelismus in Fortran und Spracherweiterungen von Fortran um Parallelität auszudrücken. Am Ende wird auf die Datenflußsprache VAL eingegangen. 8.5 Literatur [A 83] The Programming Language Ada Reference Manual, American National Standards Institute, Inc., ANSI/MIL-std-1815A-1983, Lecture Notes in Computer Science 155, Springer Verlag, 1983 [B 66] Belady L. A., A Study of Replacement Algorithms for a Virtual Storage Computer, IBM Systems Journal, Vol. 5, No. 2, 1966 [B 75] Brinch Hansen, The Programming Language Concurrent Pascal, IEEE Transaction on Software Engineering, Vo. SE-1, No. 2, 1975 [Ba 78] Backus J., Can Programming Be Liberated from the von Neumann Style? A Functional Style and Its Algebra of Programs, Communictaions of the ACM, Vol. 21, No. 8, 1978 [B 83] Booch G., Software Engineering with Ada, Benjamin/Cummings Publishing Company Inc., 1983 [B 86] Bengel G., Ada: Konzepte und Anwendungsbeispiele aus der Prozeßautomatisierung, VDI Verlag, 1986 [D 83] Dijkstra E. U., The Structure of the THE- Multiprogramming System, Communications of the ACM, Vol. 26, No. 1, 1983 [H 74] Hoare C. A. R., Monitors - An Operating Systems Structuring Concept, Communications of the ACM, Vol. 11, No 10, 1974 [H 78] Hoare C. A. R., Communicating Sequential Processes, Communications of the ACM, Vol. 21., No. 8, 1978 [I 88] Inmos Limited, Occam 2 Reference Manual, Prentice Hall International, 1988 [K 80] Kistner B., ISO-Architekturmodell, Informatik Spektrum, Band 3, Heft 4, Mai 1980 [LM 76] Lister A. M., Maynard K. J., An Implementation of Monitors,

7 8.5 Literatur 11 Software Practice and Experience, Vol. 6., 1976 [MH 89] McDowell C. E., Helmbold D. P., Debugging Concurrent Programs, ACM Computing Surveys, Vol. 21, No.4, Dec [N 84] Nehmer J., Systemarchitektur von Realzeitsystemen, Informatik Spektrum, Band 7, Heft 2, April 1984 [N 85] Nehmer J., Softwaretechnik für verteilte Systeme, Springer Verlag, 1985 [O 72] Organick E. J., The Multics System: An Examination of its Structure, MIT Press, Cambridge, Masachusetts, 1972 [PS 85] Paul M., Siegert H. J., (Eds.) Distributed Systems Methodes and Tools for Specification, Lecture Notes in Computer Science, Vol. 190, Springer Verlag, 1985 [QSP 85] Quarterman J. S., Silberschatz A., Peterson J. L., 4.2 BSD and 4.3 BSD as Examples of the UNIX System, ACM Computing Surveys, Vol. 17, No. 4, Dec [S 84] Svoboda L., File Servers for Network-Based Distributed Systems, ACM Computing Surveys, Vol. 16, No. 4, Dec [S 87] Sturm M., Verteilte Systeme: Eine Einführung am Beispiel V, Informatik Spektrum, Band 10, Heft 10, Okt [S 88] Shaw A., Special Section on Operating Systems, Communications of the ACM, Vol. 31, No. 3, March 1988 [SU 84] Sun Microsystems Inc., The NFS Network File Server, 1984 [T 88] Teuffel M., TSO, Time Sharing Option im Betriebssystem MVS, 2. Auflage, Oldenburg Verlag, 1988 [TBH 82] Treleaven P.C., Browbridge D. R., Hopkins R. P., Data-Driven and Demand-Driven Computer Architecture, ACM Computing Surveys, Vol. 14, No. 1, March 1982 [TR 85] Tanenbaum A. S., Van Renesse R., Distributed Operating Systems, ACM Computing Surveys, Vol. 17, No. 4, Dec. 1985