real start on dining philosphers