Assignment 8: Dining philosophers