syntaxes/Program/Samples/SingleResource/SingleResource.pgrm

program SingleResourceProgram {
	monitor SingleResource {
		var busy : boolean := false;
		var nonBusy : condition;

		procedure acquire() {
			if busy then {
				nonBusy.wait();
			} else {
				busy := true;
			}
		}

		procedure release() {
			busy := false;
			nonBusy.signal();
		}
	}
}