Основа решения - синхронизация в моменте принятия решения, может ли текущий философ начать кушать. Для этого нужно, чтобы его ни один из его соседей не ел в данный момент. Помните о race condition - пока философ проверяет одного соседа, состояние второго может измениться