IMMD Home Page Up Help Go, Ge - Oct. 28, 1997

Wintersemester 1997/98

Aktuelle Trends in der Betriebssystem-Forschung

Dozenten:
Dipl.-Inf. Martin Geier, Dipl.-Inf. Michael Golm
Angaben:
Hauptseminar, 4 SWS, Schein, Vortrag, Ausarbeitung und aktive Mitarbeit
Termin:
8:30 Uhr, Seminarraum Lehrstuhl 4 (RZ-0.035)
Mailinggroup:
mit dem Mail-Alias hs_atib97@immd4 können die Teilnehmer des Seminars und die Betreuer erreicht werden
Organisatorisches:
Geeignet für Hauptstudium ab 6. Semester; Anrechenbare Stundenzahl:4 für Betriebssysteme.
Univis:
Univis

Themen

  • Apertos
    • Literatur
    • Fragen:
      • Was ist Reflexion? Wo wird Sie im Apertos-Kern eingesetzt?
      • Was ist ein Metaspace?
      • Wie ist der Apertos Kern strukturiert?
    • Ausarbeitung
  • Flux
    • Literatur
    • Fragen:
      • Was ist ein "Virtual Machine Monitor" (Nester)?
      • Was ist eine "Virtualizable Hardware Architecture"?
      • Wie ist eine traditionelle virtuelle Maschine (z.B. IBMs VM/370) aufgebaut (siehe Literaturstelle (3))? Welche Aufgabe hat das "Control Program"? Was ist der Unterschied zwischen diesen diesen virtuellen Maschinen und der "Java Virtual Machine"?
      • Was unterscheidet Fluke von traditionellen virtuellen Maschinen.
      • Warum die Dreiteilung in Processor, Microkernel und Common Protocols API?
      • Beispiele für Nesters und Nester Komposition.
    • Ausarbeitung
  • Synthetix

    • Literatur
    • Fragen:
      • Was ist "incremental specialization"? Welchen Vorteil hat sie?
      • Was sind Invarianten und Quasi-Invarianten und wie helfen sie bei der Spezialisierung?
      • Wie wird sichergestellt, daß Quasi-Invarianten erfüllt sind?
      • Erläutern Sie die Probleme beim "Replugging"!
    • Ausarbeitung
  • Scout

    • Literatur
    • Fragen:
      • Was ist ein path? Welche Arten von Pfaden gibt es (auch in anderen Betriebssystemen)?
      • Was ist g(m)? Wie wird g(m) automatisch erzeugt?
      • Welche besonderen Compilertechnologien verwendet Scout?
      • Für welche Anwendungen ist Scout besonders geeignet?
    • Ausarbeitung (MSWord)
  • SPIN
    • Literatur
    • Fragen:
      • Was sind "spindles"?
      • Wie unterscheidet sich SPIN von einem Mikrokernel?
      • Wie werden die Systemintegrität und Isolation zwischen Anwendungen garantiert?
      • Was sind events, handler und guards?
      • Was ist eine event authority, wer besitzt sie und welche Möglichkeiten für die Zugriffskontrolle bieten event authorities.
      • Was sind runaway handlers, welche Probleme sind mit ihnen verbunden und welche Lösungen werden angeboten?
    • Ausarbeitung Folien
  • VINO
    • Literatur:
      • Homepage
      • M. Seltzer, Y. Endo, C. Small, K. Smith. Dealing with Disaster: Surviving Misbehaved Kernel Extensions. Proc. of the Second Symposium on Operating Systems Design and Implementation (OSDI) 1996. pp. 213-228 OSDI96 Slides
    • Fragen:
      • Was sind "Grafts"?
      • Grafts laufen im Kernadressraum. Wie wird verhindert, daß sie private Kerndaten lesen oder schreiben?
      • Was ist "Software Fault Isolation"?
    • Ausarbeitung
  • Exokernel
    • Literatur:
      • (1) Homepage
      • (2) Dawson R. Engler, M. Frans Kaashoek, and James O'Toole Jr. Exokernel: An Operating System Architecture for Application-Level Resource Management. Proceedings of the Fifteenth Symposium on Operating Systems Principles, December 1995.SOSP95 Paper
      • (3) Dawson R. Engler, M. Frans Kaashoek and James W. O'Toole Jr. The Operating System Kernel as a Secure Programmable Machine. Proceedings of the Sixth SIGOPS European Workshop: Matching Operating Systems to Application NeedsPaper
      • (4) SOSP97 Paper
    • Fragen:
      • Wie wird der Exokernel sicher und effizient gemacht? Diskutieren Sie Vor- und Nachteile der drei in (3) genannten Verfahren.
    • Ausarbeitung
  • JavaOS - ausgefallen
    • Literatur:
    • Fragen:
      • Beschreiben Sie die Architektur von JavaOS?
      • Welche Vorteile bietet eine Betriebsystem, das in einer platformunabhängigen Sprache geschrieben ist?
      • Welche Teile des Systems sind in Java geschrieben, welche in C?

  • Seminarteilnehmer und Seminartermine:

    Nr.Thema Datum Vortragender Betreuer
    1. Apertos 26.11.97 Markus HankeGolm
    2. Flux 03.12.97 Annamaria AndresGeier
    4. Synthetix 17.12.97 Gerhard MüllerGolm
    5. Scout 07.01.97 Werner EberlingGolm
    6. SPIN 14.01.97 Alexander LechnerGolm
    7. VINO 21.01.98 Wolfgang ScheffbuchGeier
    8. Exokernel 28.01.98 Roland SchulzGeier
    9. JavaOS 04.02.98 Markus HeimhuberGeier


    About our Server | Mail to Webmaster | Navigational Hints | Search