哲学家就餐问题：信号量解决死锁

该程序是一个经典的哲学家就餐问题的解决方案。程序中创建了5个子进程表示5位哲学家，并使用信号量来控制哲学家的行为，以避免死锁情况的发生。

程序的执行流程如下：

1. 初始化信号量，将信号量的值设置为4，表示有4个筷子可供哲学家使用。
2. 创建5个子进程，每个子进程表示一个哲学家。子进程通过调用dining函数来模拟哲学家的行为。
3. dining函数中，每位哲学家先进行思考，然后尝试申请右手筷子（执行'sem_P'操作），如果成功则继续尝试申请左手筷子（执行'sem_P'操作），如果成功则进餐，否则等待其他哲学家放下筷子。
4. 进餐完成后，先放下右手筷子（执行'sem_V'操作），然后放下左手筷子（执行'sem_V'操作）。
5. 等待所有子进程结束。
6. 删除信号量。

通过信号量的'P'操作和'V'操作来实现对共享资源的互斥访问，保证每个哲学家在进餐时能够正确获取到两个相邻筷子，并在用完后正确释放。同时，通过信号量的初始值为4来保证最多只有4位哲学家能够同时进餐，避免死锁的发生。