An example of the dining philosophers problem using C++11