Solution to the multi-threaded dining philosophers problem, implemented with C++ within NACHOS