remove obsolete code
faster version of optimistic dining philosopher