华东交大的课程设计，交大软件计算机专业的学生基本不用修改就能直接使用。

哲学家进餐问题的课程设计报告，包括课程设计背景，程序流图，源代码，分析，注解，以及课程设计总结。相当完整

自己亲手做的操作系统课程设计，题目是哲学家进餐问题，里面有进程线程的设计，报告+源代码都有！

操作系统实习文档，5个哲学家进餐问题的源码

死锁的四个条件： （1） 互斥条件：一个资源每次只能被一个进程使用。 （2） 请求与保持条件：一个进程因请求资源而阻塞时，对已获得的资源保持不放。 （3） 不剥夺条件:进程已获得的资源，在末使用完之前，不能强行剥夺。 （4） 循环等待条件:若干进程之间形成一种头尾相接的循环等待资源关系 先写一个会造成死锁的哲学家问题。当所有哲学家同时决定进餐，拿起左边筷子时候，就发生了死锁。

操作系统

实验一 进程同步互斥——不死锁的哲学家问题　　 (1)输入的形式和输入值的范围； 　　由于这个是一个按钮实现监控，界面提供视图的程序，所以并不需要别的附加的输入，只需要点击相应的按钮即可。按钮有开始、暂停、结束（退出）。实验只需要按动开始键，即可以直观形象地看到哲学家吃面条问题在随机时间下的解决情况，方便用户查看。 　　输出的形式； 　　输出的形式，是以可视化界面的形式，哲学家和筷子的状态以图片的形式显示出来，可以看到是饥饿还是进餐或思考状态。而提示输出是以String的形式显示在界面右下角的位置的。方便用户更客观的查看进程的运行情况。 　　程序所能达到的功能； 　　该程序能解决经典的哲学家吃面条问题的问题，即死锁问题。在此题中，筷子是一个共享的但是要互斥使用的临界资源 ，当前筷子是否被占用，其他哲学家的状态，都是需要进行交互的，于是涉及同步互斥的问题。该程序能解决死锁问题及将哲学家的状态用可视化的界面显示出来，所以比较客观的让我们理解了这个问题的实现。

操作系统课程作业，有可视化动态，VS2017可运行，C#。

操作系统课程中模拟哲学家进餐问题的c++程序，MFC开发

操作系统初学，关于信号量同步的实验报告，用三种方法避免哲学家进餐问题死锁，a:and信号量，b:控制进餐人数，c设置条件