Semaphoren und Bounded Buffer

[Hans W. (Gast)]

Hi Leute!

Ich hab hier folgenden Code:

while(true)
{
//produce item
wait(empty);
wait(mutex);

//add the item to the buffer

signal(mutex);
signal(full);
}

Ich will jetzt wissen was dieser Code genau macht. Meines Erachtens 
bestehen die wait und signal Semaphoren aus diesen Code:

wait(S)
{
value--;
if(value < 0)
{
//add process to waiting queue
}
}


signal(S)
{
value++;
if(value <= 0)
{
//remove process from the waiting queue
}
}

Was passiert nun wenn die Variablen folgendermaßen intialisiert sind:
mutex=1; full=0; empty=N

empty: wie viel ist im Buffer noch frei



Ich gehe nun davon aus, dass der Buffer komplett frei ist. Der Buffer 
soll 10 Speicherstellen aufweisen. Wenn ich das jetzt von oben 
durchgehe, dann is quasi empty=10. wait verringert von 10 auf 9 und 
prüft ob der Wert kleiner 0 ist; ist er aber nicht und kommt somit nicht 
in das if rein und der Prozess kommt somit auch nicht zum Warten in die 
"waiting queue" sondern darf weiter zum wait(mutex). mutex=1 wird zu 
mutex=0, das if ist also wieder nicht erfüllt und ich kann in den Puffer 
schreiben. Dann gehts weiter zum signal(mutex). mutex=0 wird mutex=1 
erhöht, das if ist erfüllt und es wird ein momentan wartender Prozess 
von der waiting queue entfernt.

-> Was passiert an dieser Stelle? Wo wird da welcher Prozess von der 
waiting queue entfernt? Mache ich an dieser Stelle nun mit der letzten 
Semaphore (signal(full)) weiter oder beginne ich jetzt an einer anderen 
Stelle?

Könnt ihr mir ein bisschen helfen?