Operating System Techniques (BST)

Contents

In this course, we will discuss selected topics from the area of protection and priviledge isolation in the context of operating systems. Thereby, these topics are developed as an extension of the OOStuBS, as developed in the course Betriebssystembau. Starting from a single-processor operating system, privilege isolation, spatial isolation and advanced virtual-memory techniques are explored and implemented.

• Privilege isolation
  • Use of x86 protection rings to separate user mode and system mode
  • System entry through trap-based system calls
• Spatial isolation
  • Management of free physical memory
  • Virtual address space creation and management
  • Execution of processes in their own address space
  • Loading of programs; creation of processes
• Advanced address space methods
  • Message dispatch without copying
  • Copy on Write
  • Implementation of fork(2)

Lab assignments are project oriented: The exercises are divided into three parts, which are to be worked on by groups consisting of 2 students. Besides the practical work, there are six lecture-like sessions, where the underlying theory and the concrete technical background for x86 is taught.

Prerequisites

• Recommended: Lecture and Exercise Betriebssystembau

Dates

Date	Time	Room	Topic
Dienstag, 17.10.2023	11:00 - 13:00	CIP/E - 2.027P3d	Lecture 01: Isolation in Operating Systems
	13:00 - 15:00	CIP/E - 2.027P3d	Blackboard Execise 01: System-Calls in StuBSmI
Dienstag, 24.10.2023	11:00 - 13:00	CIP/E - 2.027P3d	nan
	13:00 - 15:00	CIP/E - 2.027P3d	nan
Dienstag, 31.10.2023	11:00 - 13:00	CIP/E - 2.027P3d	nan
	13:00 - 15:00	CIP/E - 2.027P3d	nan
Dienstag, 07.11.2023	11:00 - 13:00	CIP/E - 2.027P3d	Lecture 02: Spatial Isolation
	13:00 - 15:00	CIP/E - 2.027P3d	nan
Dienstag, 14.11.2023	11:00 - 13:00	CIP/E - 2.027P3d	Backboard Exercise 02: Paging in StuBSmI
	13:00 - 15:00	CIP/E - 2.027P3d	nan
	14:00 - 15:00	Deadline: Exercise 01 nan
Dienstag, 21.11.2023	11:00 - 13:00	CIP/E - 2.027P3d	nan
	13:00 - 15:00	CIP/E - 2.027P3d	nan
Dienstag, 28.11.2023	11:00 - 13:00	CIP/E - 2.027P3d	nan
	13:00 - 15:00	CIP/E - 2.027P3d	nan
Dienstag, 05.12.2023	11:00 - 13:00	CIP/E - 2.027P3d	nan
	13:00 - 15:00	CIP/E - 2.027P3d	nan
Dienstag, 12.12.2023	11:00 - 13:00	CIP/E - 2.027P3d	Lecture 03: Sharing and Interprocess Communication
	13:00 - 15:00	CIP/E - 2.027P3d	nan
Dienstag, 19.12.2023	11:00 - 13:00	CIP/E - 2.027P3d	Blackboard Exercise 03: Message Passing and Extended Paging
	13:00 - 15:00	CIP/E - 2.027P3d	nan
	14:00 - 15:00	Deadline: Exercise 02 nan
Dienstag, 09.01.2024	11:00 - 13:00	CIP/E - 2.027P3d	nan
	13:00 - 15:00	CIP/E - 2.027P3d	nan
Dienstag, 16.01.2024	11:00 - 13:00	CIP/E - 2.027P3d	nan
	13:00 - 15:00	CIP/E - 2.027P3d	nan
Dienstag, 23.01.2024	11:00 - 13:00	CIP/E - 2.027P3d	nan
	13:00 - 15:00	CIP/E - 2.027P3d	nan
Dienstag, 30.01.2024	11:00 - 13:00	CIP/E - 2.027P3d	nan
	13:00 - 15:00	CIP/E - 2.027P3d	nan
	14:00 - 15:00	Deadline: Exercise 03 nan

Literatur

Structured Computer Organization

Andrew S. TanenbaumPrentice Hall PTR2006978-0131485211.
[BibTex]

🗙

BibTex Entry

@book{tanenbaum:06:sco,
author = {Andrew S. Tanenbaum},
category = {os},
edition = {Fifth},
isbn = {978-0131485211},
publisher = {Prentice Hall PTR},
title = {Structured Computer Organization},
year = {2006},
}

Close

Using Continuations to Implement Thread Management and Communication in Operating Systems

Richard P. Draves, Brian N. Bershad, Richard F. Rashid, Randall W. DeanProceedings of the 13th ACM Symposium on Operating Systems Principles (SOSP '91)ACM Press1991.
10.1145/121132.121155 [BibTex]

🗙

BibTex Entry

@inproceedings{draves:91:sosp,
acmid = {121155},
author = {Draves, Richard P. and Bershad, Brian N. and Rashid, Richard F. and Dean, Randall W.},
booktitle = {Proceedings of the 13th ACM Symposium on Operating Systems Principles (SOSP '91)},
crossref = {sosp:91},
date = {1991-09},
doi = {10.1145/121132.121155},
isbn = {0-89791-447-3},
numpages = {15},
pages = {122–136},
publisher = {ACM Press},
title = {Using Continuations to Implement Thread Management and Communication in Operating Systems},
venue = {Pacific Grove, CA, USA},
}

Close

Virtual Memory, Processes, and Sharing in MULTICS

Robert C. Daley, Jack Bonnell DennisCommunications of the ACM11.51968.
10.1145/363095.363139 [BibTex]

🗙

BibTex Entry

@article{daley:68:cacm,
author = {Robert C. Daley and Jack Bonnell Dennis},
doi = {10.1145/363095.363139},
journaltitle = {Communications of the ACM},
month = {May},
number = {5},
pages = {306–312},
title = {Virtual Memory, Processes, and Sharing in {MULTICS}},
volume = {11},
year = {1968},
}

Close

The Multics System: An Examination of its Structure

Elliot I. OrganickMIT Press19720-262-15012-3.
[BibTex]

🗙

BibTex Entry

@book{organick:72:book,
author = {Elliot I. Organick},
isbn = {0-262-15012-3},
publisher = {MIT Press},
title = {The Multics System: An Examination of its Structure},
year = {1972},
}

Close

The Unix Time-Sharing System

Dennis MacAlistair Ritchie, Ken ThompsonCommunications of the ACM17.71974.
10.1145/361011.361061 [BibTex]

🗙

BibTex Entry

@article{ritchie:74:cacm,
author = {Dennis MacAlistair Ritchie and Ken Thompson},
category = {os},
doi = {10.1145/361011.361061},
journaltitle = {Communications of the ACM},
month = {July},
number = {7},
pages = {365–370},
title = {The {Unix} Time-Sharing System},
volume = {17},
year = {1974},
}

Close

Design Tradeoffs for Software-Managed TLBs

Richard Uhlig, David Nagle, Tim Stanley, Trevor Mudge, Stuart Sechrest, Richard BrownACM Transactions on Computer Systems12.31994.
10.1145/165123.165127 [BibTex]

🗙

BibTex Entry

@article{uhlig:94:tocs,
author = {Richard Uhlig and David Nagle and Tim Stanley and Trevor Mudge and Stuart Sechrest and Richard Brown},
doi = {10.1145/165123.165127},
journaltitle = {ACM Transactions on Computer Systems},
month = {August},
number = {3},
pages = {175–205},
title = {Design Tradeoffs for Software-Managed TLBs},
volume = {12},
year = {1994},
}

Close

Accent: A Communication Oriented Network Operating System Kernel

Richard F. Rashid, George G. RobertsonProceedings of the 8th ACM Symposium on Operating Systems Principles (SOSP '81)ACM Press1981.
10.1145/800216.806593 [BibTex]

🗙

BibTex Entry

@inproceedings{rashid:81:sosp,
author = {Richard F. Rashid and George G. Robertson},
booktitle = {Proceedings of the 8th ACM Symposium on Operating Systems Principles (SOSP '81)},
crossref = {sosp:81},
date = {1981},
doi = {10.1145/800216.806593},
isbn = {0-89791-062-1},
pages = {64–75},
publisher = {ACM Press},
title = {Accent: A Communication Oriented Network Operating System Kernel},
}

Close

Meltdown

Moritz Lipp, Michael Schwarz, Daniel Gruss, Thomas Prescher, Werner Haas, Stefan Mangard, Paul Kocher, Daniel Genkin, Yuval Yarom, Mike HamburgArXiv e-prints2018.
PDF 1801.01207 [BibTex]

🗙

BibTex Entry

@article{lipp:18:arxiv,
author = {Lipp, Moritz and Schwarz, Michael and Gruss, Daniel and Prescher, Thomas and Haas, Werner and Mangard, Stefan and Kocher, Paul and Genkin, Daniel and Yarom, Yuval and Hamburg, Mike},
eprint = {1801.01207},
eprinttype = {arxiv},
journaltitle = {ArXiv e-prints},
month = {January},
title = {Meltdown},
year = {2018},
}

Close

Evaluation

• WS22 • Vorlesung • Evaluation (PDF)
• WS21 • Vorlesung • Evaluation (PDF) • Bewertung: 1.6

Anmeldung und weitere Infos

Für diese Veranstaltung ist eine Online-Anmeldung über Stud.IP erforderlich. Bitte registrieren Sie sich (falls noch nicht geschehen) für Stud.IP und tragen Sie sich dort in die entsprechende Veranstaltung ein.