Betriebssysteme - Bedingungsynchronisation
Ai BA Sem 2
Ai BA Sem 2
Semaphor beinhaltet:
- zwei unteilbare und ununterbrechbare Methoden (P, V)
- einen Zähler ("+" BM stehen zur Verfügung, "-" wartende Prozesse
- einen Zustand in dem Prozesse warten können
Sinngemäßer Implementierungsansatz
Erzeuger-/ Verbraucher Problem
- Ein oder mehrere Prozesse erzeugen Daten, die durch einen oder mehrere andere Prozesse verbraucht werden
- Zeitliche Teilentkoppelung der Prozesse durch Pufferung
zeitliche Teilentkoppelung der Prozesse durch Pufferung der Daten: Vorteile
- Prozesse können gleichzeitig aktiv sein -> Prozessor und Gerätetätigkeit können überlappen
- Prozesse haben eigene Geschwindigkeit -> Erzeuger nicht direkt abhängig vom langsamen Drucker
- Ausgeglichener Datenfluss an den Drucker
3. Lösung Erzeuger Verbraucher-Problem
Funktion von mutex
soll kritischen Abschnitt sichern (max. ein Prozess)
Funktion von semaFree
hat so viele "Murmeln", wie freie Plätze im Puffer sind (d.h. semaFree blockiert, sobald keine freien Plätze mehr im Puffer sind)
Funktion von semaFilled
erlaubt den Eintritt nur, falls gefüllte Plätze im Puffer sind
-
- 1 / 8
-
Cartes-fiches
Semaphor beinhaltet:
- zwei unteilbare und ununterbrechbare Methoden (P, V)
- einen Zähler ("+" BM stehen zur Verfügung, "-" wartende Prozesse
- einen Zustand in dem Prozesse warten können
Sinngemäßer Implementierungsansatz
Erzeuger-/ Verbraucher Problem
- Ein oder mehrere Prozesse erzeugen Daten, die durch einen oder mehrere andere Prozesse verbraucht werden
- Zeitliche Teilentkoppelung der Prozesse durch Pufferung
zeitliche Teilentkoppelung der Prozesse durch Pufferung der Daten: Vorteile
- Prozesse können gleichzeitig aktiv sein -> Prozessor und Gerätetätigkeit können überlappen
- Prozesse haben eigene Geschwindigkeit -> Erzeuger nicht direkt abhängig vom langsamen Drucker
- Ausgeglichener Datenfluss an den Drucker
3. Lösung Erzeuger Verbraucher-Problem
Funktion von mutex
soll kritischen Abschnitt sichern (max. ein Prozess)
Funktion von semaFree
hat so viele "Murmeln", wie freie Plätze im Puffer sind (d.h. semaFree blockiert, sobald keine freien Plätze mehr im Puffer sind)
Funktion von semaFilled
erlaubt den Eintritt nur, falls gefüllte Plätze im Puffer sind
