Evaluating and optimizing stabilizing dining philosophers