All pastes #108702 Raw Edit

Stuff

public text v1 · immutable
#108702 ·published 2006-07-31 17:08 UTC
rendered paste body
p() {
	wait(s);
	count--;

	if(count < 0) {
		queue.push(pid);
		signal(s);
		block(pid);
		
	}
	else {
		signal(s);
	}
}

v() {
	wait(s);
	count++;

	if(count >= 0) {
		pid = queue.pop();
		signal(s);
		unblock(pid);
	}
	else {
		signal(s);
	}
}