evaluation: dining philosophers