/ Betriebssysteme & Prozesse

Semaphor-Ressourcenverwaltung

Aktuell verfügbare Ressourcen eines zählenden Semaphors: Verfügbar = Kapazität − Belegt.

01 · Eingabe

Semaphor-Ressourcenverwaltung berechnen

Aktuell verfügbare Ressourcen eines zählenden Semaphors: Verfügbar = Kapazität − Belegt.

Lösen für

Verfügbar = Kapazität − Belegt

Kapazitaet Kapazität

Belegt Belegte Ressourcen

Worum geht es?

Ein zählender Semaphor schützt einen Pool von N gleichartigen Ressourcen. Sein Zählerwert gibt zu jedem Zeitpunkt an, wie viele Ressourcen noch frei sind — bei P (wait) wird heruntergezählt, bei V (signal) wieder hoch.

Die Formel beschreibt den unmittelbaren Zusammenhang zwischen initialer Kapazität, aktuell belegten Ressourcen und aktuell verfügbaren Ressourcen.

Die Formel

Formel Semaphor

Verfügbar = Kapazität − Belegt

Umstellungen:
    Belegt    = Kapazität − Verfügbar
    Kapazität = Verfügbar + Belegt

Die Variablen

Symbol	Bedeutung	Einheit	Erklärung
Kapazität	Kapazität	—	Initialer Semaphor-Wert (Gesamtkapazität).
Belegt	Belegte Ressourcen	—	Anzahl aktuell belegter Ressourcen.
Verfügbar	Verfügbare Ressourcen	—	Aktueller Semaphor-Zählerwert.

Minimal-Beispiel

Drucker-Pool mit Kapazität 4, 3 belegt.

Rechnung Verfügbar

Verfügbar = 4 − 3
          = 1

Praxis-Beispiele

Beispiel 1 — Connection-Pool

Datenbank-Pool mit 20 Verbindungen, davon 17 in Benutzung.

Rechnung Pool-Status

Verfügbar = 20 − 17
          = 3

Beispiel 2 — Belegte aus Differenz

Kapazität 10, Verfügbar 4 — wie viele sind belegt?

Rechnung Belegt

Belegt = 10 − 4
       = 6

Beispiel 3 — Kapazität ermitteln

Werker-Pool meldet 5 frei und 11 belegt.

Rechnung Kapazität

Kapazität = 5 + 11
          = 16