added dining philosophers example