Übungen Betriebssysteme (BS)

U3 – Verklemmungen

Alwin Berger

TU Dortmund - AG Systemsoftware

🚀 by Decker

(Wiederholung) Semaphore

Ein Semaphor (σῆμα dt. Zeichen, φέρειν dt. tragen) ist eine Datenstruktur zur Verwaltung beschränkter Ressourcen in digitalen Systemen
Analogie: Eisenbahnsignal

(Wiederholung) Semaphore

Die Semaphor wird als Zähler mit der maximalen Anzahl n der entsprechenden Ressource initialisiert: s := n
P(): Prolaag = probeer te verlagen (dt. versuche zu senken)
- s>0: Ressource wird beansprucht und s := s−1
- s=0: Warten bis Ressource wieder verfügbar ist: s>0
V(): Verhogen bzw. vrijgeven dt. freigeben: s := s+1

Schloss und Semaphor im Vergleich

Betriebsmittel

Präsenzaufgabe: Produzent-Konsument-Problem

Präsenzaufgabe: Produzent-Konsument-Problem

Präsenzaufgabe: Produzent-Konsument-Problem

Präsenzaufgabe: Bedingungen für einen Deadlock

Präsenzaufgabe: Bedingungen für einen Deadlock

Präsenzaufgabe: Bedingungen für einen Deadlock

Präsenzaufgabe: Bedingungen für einen Deadlock

Präsenzaufgabe: Bedingungen für einen Deadlock

Präsenzaufgabe: Bedingungen für einen Deadlock

Zirkuläres warten im Detail (Zugriffsgraph)

Zirkuläres warten im Detail (Zugriffsgraph)

Zirkuläres warten im Detail (Zugriffsgraph)

Zirkuläres warten im Detail (Zugriffsgraph)

Zirkuläres warten im Detail (Zugriffsgraph)

Verklemmungsauflösung

Makefiles

Enthält Informationen, welche Dateien zu einem Projekt gehören und deren Abhängigkeiten
Bauen von Projekten mit mehreren Dateien
Makefiles ausführen mit make
- bei fehlendem Target wird das Standard-Target ausgeführt (erstes Target in der Datei)
- Ein Target entspricht (meistens) der zu erstellenden Datei
- Optionen: -f gibt das Makefile an, -j Anzahl gleichzeitger Jobs
Syntax

# Name: <benötigte Dateien und/oder andere Targets>
# <TAB> Kommando

Beispiel für ein Makefile

CC=gcc
CFLAGS= -Wall -ansi -pedantic -D_XOPEN_SOURCE -D_POSIX_SOURCE

all: programm1 programm2    # erstes Target = Default-Target
programm1: prog1.c prog1.h
         $(CC) $(CFLAGS) -o prog1 prog1.c
programm2: prog2.c prog2.h prog1 # Abhängigkeit: benötigt programm1!
         $(CC) $(CFLAGS) -o prog2 prog2.c

Implizite Regeln (auch ohne Makefile)

make verfügt über imlizite Regeln, welche Standardaufgaben auch ohne Makefile ausführen.
Beispiel:
- Eine Datei testprog.c befindet sich im aktuellen Verzeichnis.
- Es existiert kein Makefile.
- make sucht selbstständig nach einer anwendbaren Regel. make -p zeigt eine Liste aller Regeln an.

$ make testprog
cc     testprog.c   -o testprog

Was haben wir heute gelernt?

Zusammenfassung
- Semaphore und deren Synchronisationsmuster
- Zustandekommen von Verklemmungen
- Verwendung von Makefiles