进程死锁的检测 建立资源分配图的数据结构描述； 建立绘制资源分配图的例程，包括结点和有向边； 可以删除、添加结点或有向边； 可用鼠标在窗口的任意位置指点，确定结点或有向边位置； 可以拖动现有结点的位置，与该结点相连的有向边也随之移动； 可以将资源分配图存入文件，从文件中取出。

本次课程设计通过编写和调试一个仿真模拟银行家算法避免死锁的程序，观察产生死锁的条件，并采用银行家算法，有效地避免死锁的发生。这是我们的操作系统课程设，用.net做的。 银行家算法避免死锁，其中有三个模块，欢迎界面、主窗体、安全性检查窗体。 略过欢迎界面不说，主窗体包括可利用资源的初始化、添加进程、申请资源。在申请资源后点击确定，会进入副窗体，父窗体上面显示分配资源的分配情况，可以进行安全性检查，如果存在安全序列，则分配资源，否则不分配资源。 点击父窗体的返回按钮就会回到主窗体，可以再次申请资源，或者添加进程。

能够模拟银行家算法和安全算法来避免死锁。假设系统资源有A、B、C三种，可以运行5个进程。该程序具备的基本功能为： （1）程序可以输入3种资源的数目，5个进程对3种资源的最大需求量、已分配量和需求量。 （2）能够判断某一时刻系统是否处于安全状态，如果处于安全状态能够给出安全序列。 （3）当某进程提出资源申请时，能够判断是否能把资源分配给申请进程。 （4）程序可以添加资源 删除资源 修改资源 添加进程和删除进程的操作能够判断该时刻系统是否处于安全状态，如果处于安全状态能够给出安全序列。

本过程自动捕捉SQLSERVER中的死锁进程并且自动杀掉

死锁检测算法：当任一进程Pj申请一个已被其他进程占用的资源ri时，进行死锁检测。检测算法通过反复查找进程等待表和资源分配表， 来确定进程Pj对资源ri的请求是否导致形成环路，若是，便确定出现死锁。

收集网络上关于 freelibrary 死锁 问题

操作系统实验三 预防进程死锁的银行家算法（内含源代码和详细实验报告），详细介绍：http://blog.csdn.net/xunciy/article/details/79239096

用C或C++语言实现一个程序演示死锁避免算法（银行家算法）。要求该演示程序能显示各进程申请和释放资源以及系统动态分配资源的过程，便于用户观察和分析；允许进程动态地申请资源分配之前，应先计算此次资源分配的安全性。若此次分配不会导致系统进入不安全状态，则将资源分配给进程；否则，令进程等待。如果系统不能分配，也应给出“系统进入不安全状态”的提示。 里面含有代码和课程设计报告！！！！本次课程设计是通过用C模拟实现,内容十分丰富。若有采纳，请在你的课设后面引用的参考文献中加入该条引用！！！望大家尊重版权！！！！ 为了避免完全抄袭，里面的课设报告为PDF版，若需要word版，评价留言你的邮箱！！！！！！若觉得有用，记得好评！！绝对有用！！！

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

c++写的死锁检测与解除算法,亲测已经运行成功,代码有说明，容易理解