an implementation of the Dining Philosophers problem in c++