Technische Informatik I: Betriebssysteme Tutorium

Diese WWW-Page faßt alle Resourcen zusammen, die unserer Meinung nach direkt oder indirekt mit der Vorlesung "Technische Informatik I: Betriebssysteme" (SS 98) von Prof. Ladkin zusammenhängen. Das schließt z.B. auch Dokumentationen zu TLA, TLA+, LaTeX, Emacs, HTML und RCS mit ein. Diese Seite enthält die Abschnitte:

Vorlesung
Notes
Literatur
Übungen und Musterlösungen
Administrativa

Vorlesung

Die Vorlesung "Technische Informatik I: Betriebssysteme" behandelt den prinzipiellen Aufbau von Betriebssystemen. Ein Schwerpunkt liegt dabei in der Organisation von parallelen Prozessen. Gleichzeitig werden Kentnisse über TLA+, ein Werkzeug zur Spezifikation von Prozessen, vermittelt. Eine weitergehende Beschreibung befindet sich auch im KVV .

Die Folien der Vorlesung stehen als PostScript (1,2MB) und PDF (277K) zur Verfügung. (Hier noch ein paar Infos zum Ausdrucken.)

Notes

Im Laufe der letzten Semester haben die Tutoren eine Einführung zum Thema Betriebssysteme erstellt (PostScript-Datei).

Folien vom Tutorium

Skizzen zum Thema Betriebssysteme: PostScript
Organisatorisches und LaTeX-Einstieg: LaTeX - DVI - PostScript
TLA+-Einstieg: LaTeX - DVI - PostScript
TLA+-Ergänzung: LaTeX - DVI - PostScript
Dieser Foliensatz ist neu (15.5.98). Er enthält Folien zur neuen, leicht geänderten TLA+-Modulstruktur: ein allgemeines Spezifikations-Modulschema und ein einfaches Beispiel.

Tools und Sprachen

Im Laufe der letzten Semester ist auch eine Sammlung von Hints und Links zum Handwerkzeug für die Übungen entstanden. Mit HTML und RCS haben zwar eher die Tutoren als die Teilnehmer zu tun, aber vielleicht sind die Infos dazu trotzdem für den einen oder anderen mal nützlich.

LaTeX
Ausdrucken von LaTeX-Dokumenten
TLA+ und TLA (Temporal Logic of Actions)
TLA+ unter LaTeX
Emacs
HTML (HyperText Markup Language)
RCS (Revision Control System)

Literatur

Betriebssysteme (Bücher)

A. Silberschatz, J.L. Peterson, P.B. Galvin: Operating Systems Concepts, Addison-Wesley.
Andrew Tanenbaum: Moderne Betriebsysteme, Prentice-Hall/Hanser-Verlag (auch in Englisch: Modern Operating Systems).
Andrew Tanenbaum: Betriebssysteme, Prentice-Hall/Hanser-Verlag (auch in Englisch: Operating Systems). (Nein, es ist nicht dasselbe Buch - es ist mehr ein How-To für Programmierer.)
Lutz Richter: Betriebssyssteme, B.G.Teubner. Schon etwas älter, aber durch seine handliche Größe vielleicht hilfreich für einen schnellen Überblick.

LaTeX (WWW-Dokumente und Bücher)

Jörg Knappen, Hubert Partl, Elisabeth Schlegl, Irene Hyna: LaTeX2e-Kurzbeschreibung, DVI-Datei, World Wide Web. Nach meinem Eindruck ideal für den Erstkontakt mit LaTeX. Hierzu stehen auch die Quelltext-Dateien zur Verfügung.
Tobias Oetiker, Hubert Partl, Elisabeth Schlegl, Irene Hyna: The Not So Short Introduction to LaTeX2e, DVI-Datei, World Wide Web. Ähnlich, etwas umfangreicher.
LAUB, die LaTeX Administratoren der Universität Bielefeld, bieten strukturierte Informationen zu TeX und LaTeX an der Universität Bielefeld.
Bei DANTE, der Deutschsprachigen Anwendervereinigung TeX e.V., findet man unter anderem eine strukturierte TeX-FAQ-Liste und das offizielle TeX-Archiv CTAN mit Suchfunktion.

Leslie Lamport: LaTeX, A Document Preparation System, User's Guide and Reference Manual, Addison-Wesley. Die Original-LaTeX-Referenz.
Michael Goossens, Frank Mittelbach, Alexander Samarin: The LaTeX Companion, Addison-Wesley. Das Standardwerk über Ergänzungs-Pakete zu LaTeX.
Zu diesen beiden Büchern gibt es deutsche Übersetzungen, die auch auf die Besonderheiten der Verarbeitung deutscher Texte eingehen. Sie sind ebenfalls bei Addison-Wesley erschienen und heißen Das LaTeX-Handbuch bzw. Der LaTeX-Begleiter.
Helmut Kopka: LaTeX, Band 1: Einführung, Addison-Wesley. Eine sehr gute deutschsprachige LaTeX-Einführung, etwas ausführlicher als der Lamport.

TLA und TLA+ (WWW-Dokumente)

Michael Blume: Kleine Einführung in die Spezifikationssprache TLA+. DVI - PostScript
Von Leslie Lamport, dem Autor von TLA und TLA+, gibt es getrennte Spezifikationen zur Modulstruktur und zu den Operatoren von TLA+.
Leslie Lamport: Introduction to TLA. Eine Einführung in den Logik-Kalkül TLA, auf dem die Spezifikationssprache TLA+ beruht.
Weitere Texte zu TLA und TLA+ findet man auf der TLA-Homepage von Leslie Lamport und in der Literaturliste der AG RVS.
Zum Setzen von TLA+-Modulen mit LaTeX braucht man die drei Stildateien tla.sty, abbrev.sty und pf.sty. Diese Dateien sind nicht in normalen LaTeX-Systemen enthalten. Jede der drei Dateien beginnt mit einem ausführlichen Kommentarteil, in dem alle in der Datei definierten LaTeX-Befehle dokumentiert sind.

Übungen

Hier werden im Laufe der Vorlesung alle Aufgaben und zum Ende der Vorlesungszeit auch die Musterlösungen hineingestellt.

Die Aufgaben 1 und 3 stammen aus den Vorlesungsfolien.

Administrativa

Übungszeiten, Termine, Räume und Tutoren

Gruppe 1	Gruppe 2	Gruppe 3	Gruppe 4
TBD	TBD	TBD	TBD
TBD	TBD	TBD	TBD
TBD	TBD	TBD	TBD
TBD	TBD	TBD	TBD

Die Abgabe der Lösungen

Zur Bearbeitung der Übungsaufgaben findet Euch bitte zu 2er- oder 3er-Gruppen zusammen. Die Aufgaben sind meistens für eine Bearbeitungszeit von 2 Wochen gedacht. Die jeweiligen Abgabetermine werden in den Übungsgruppen von den Tutoren bekanntgegeben. "Einsendeschluß" ist in der Regel am Montag abend.

Die Lösungen werden in der Regel direkt per E-Mail an die Tutoren geschickt. Falls ihr die Lösung nicht als LaTeX-Skript, sondern als DVI-Dateien abgebt, achtet bitte darauf, sie MIME-codiert zu schicken oder vor dem mailen mit uuencode zu verpacken! Wenn Ihr uuencode oder womöglich irgendwelche Komprimierungs-Programme verwendet, schreibt das bitte mit in die Mail! Eine Lösung, die wir nicht entschlüsseln können, gilt als nicht abgegeben.

Schein oder nicht Schein ?

Scheine gibt es für die Lösung der Übungsaufgaben. Die Bewertung erfolgt nach einem einfachen ABC-Prinzip:
A = überdurchschnittliche Lösung
B = hinreichende Lösung
C = keine ausreichende Lösung

Einen Schein erhalten diejenigen, die alle Aufgaben mindestens mit ``B'' gelöst haben.

Wohin mit Fragen?

Die Arbeitsgruppe ist in D6-129 (Tel. 5325) zu finden, Prof. Ladkins Raum ist D6-131 (Tel. 5326).

Zusätzliche Anregungen und Hilfen kann man auch unter der Werkzeuge-Seite von Dirk Henkel finden