//bench/incr_pxsem1.c
void *
incr(void *arg)
{
	int		i;

	for (i = 0; i < nloop; i++) {
		Sem_wait(&shared.mutex);
		shared.counter++;
		Sem_post(&shared.mutex);
	}
	return(NULL);
}
