start of dining philosophers