Thread Active
Bounded Buffer Collaboration Diagram
Thread Waits Producer Bounded Buffer Consumer
Init: NBuffEmpty=1, NBuffFull=0 PutBuff: NBuffEmpty > 0{yes NBuffFull+; NBuffEmpty-;} PutBuff: NBuffEmpty > 0{no} PutBuff: NBuffEmpty >0{yes NBuffFull+; NBuffEmpty-;} GetBuff: NBuffFull > 0 {no} NBuffEmpty +; NBuffFull-; } GetBuff: NBuffFull > 0 {yes NbuffEmpty+; NBuffFull-;} NBuffEmpty +; NBuffFull-; }