/* only one process can enter critical section at one time: */
semaphore s = 1;

down( s );
/* critical section */
up( s );