//bench/incr_pxsem2.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);
}
