Dinning philosophers problem with semaphores.