multi-thread of dining philosopher and sleeping barber