dining philosophers, monitor sulution