adding dining philosophers monitor-based solution