"Dining Philosophers" multi-threaded simulation program