Beispiel
Einfachste mögliche Verklemmungssituation:
(Bildquelle: Tanenbaum, Modern Operating Systems)
|
Mögliche zugehörige Abläufe am Beispiel der Abstimmung über Semaphore:
semaphore sema_T = 1, sema_U = 1;
|
void process_C () {
|
|
down(sema_U);
|
down(sema_T);
|
use_U_and_T();
|
up(sema_T);
|
up(sema_U);
|
}
|
void process_D () {
|
|
down(sema_T);
|
down(sema_U);
|
use_U_and_T();
|
up(sema_U);
|
up(sema_T);
|
}
|