Solution

Use of semaphores ✅

Because the Dining Philosopher problem is a classical synchronization problem, and it is solved using semaphores / monitors / mutex locks.

• Overlays → related to memory management, not correct.

• Mutual exclusion → is a requirement, but the standard answer in MCQs is semaphores.

• Bounded waiting → is a condition, not the actual solution technique.

So the correct choice from the given options is "Use of semaphores."