Sleeping barbers problem