An implementation of Dr. Tanenbaum's solution to the dining philosophers