signal(S)

signal(S) : S.value = S.value + 1;

if S.value <= 0

remove a process P from S’s queue.

unblock P.

• Note: process that is unblocked is different from the process that executed signal(S)

• From now on we will use OO notation: S.wait() and S.signal.

Previous slide

Next slide

Back to first slide

View graphic version