added dining philosopher examples