new classes for dining philosopher