dining philosophers view 1