如何避免死锁

系统安全状态：

1.安全状态：按某种进程顺序来分配资源，直至满足每个进程对资源的最大需求，使每个进程都能顺利完成，如果系统找到这样一个安全序列，则成系统处于安全状态

系统处于不安全状态不意味着一定会转入死锁

死锁定理：S为死锁状态的充分条件是：当且仅当S状态的资源分配图是不可完全简化的。若分配图不能完全简化，则所有的简化顺序，都讲得到相同的不可简化图。就是当前空闲资源无论如何分配都不能满足任何一个进程使其完成从而造成死锁的发生。

死锁的解除：

1.剥夺资源：剥夺其他进程的资源给死锁进程；剥夺死锁进程本身的资源

2.撤销进程：撤销所有死锁进程；按某种顺序逐个撤销进程，直至死锁状态消除

撤销进程策略：撤销的进程数目最小；撤销进程所付出的代价最小

假设系统中共有m个进程，每个进程都需要同类资源数为n，为保证系统不发生死锁，系统最少资源数为x，则三者的关系为：

m*(n-1)+1<=x