Dining Philosophers solution based on  mutual-exclusion locks