哲学家的就餐问题（条件变量）

1965年，知名计算机科学家艾兹格·迪科斯彻提出了一个被称作“哲学家就餐”的同步问题，并对其进行了深入探讨。

自该问题提出以来，每一位致力于同步机制研究的学者，都倾向于通过解决这一经典难题来彰显其设计的同步工具的独特优势。

该问题的基本描述如下：

五位哲学家围绕着一张圆形餐桌而坐，每位哲学家的面前摆放着一碗通心粉。由于通心粉质地较为滑腻，因此需要同时使用两把叉子才能将其夹起。
在每两个相邻的餐盘之间各放置一把叉子。哲学家的生活状态由两种交替的行为组成：进食与思考。
当某位哲学家感到饥饿时，会尝试依次获取位于其左侧和右侧的叉子，每次仅取其中一把，但并不规定先后顺序。
若成功获取到两把叉子，则开始进食；待用餐结束后，将叉子放回原处并重新进入思考状态。

核心问题：
能否编写一段程序，用于描述每位哲学家的行为，且确保程序运行过程中不会出现死锁现象？

提示信息：
当五位哲学家同时尝试拾取左侧的叉子时，由于每个人均无法获取右侧的叉子，从而导致系统陷入死锁状态。
若某位哲学家在成功获取左侧叉子后，发现右侧叉子无法使用，则应先释放左侧叉子，并等待一段时