Linux下的死锁

死锁 (deallocks)： 是指两个或两个以上的进程（线程）在执行过程中，因争夺资源而造成的一种互相等待的现象，若无外力作用，它们都将无法推进下去。此时称系统处于死锁状态或系统产生了死锁，这些永远在互相等待的进程（线程）称为死锁进程（线程）。 由于资源占用是互斥的，当某个进程提出申请资源后，使得有关进程（线程）在无外力协助下，永远分配不到必需的资源而无法继续运行，这就产生了一种特殊现象死锁。

一种交叉持锁死锁的情形，此时执行程序中两个或多个线程发生永久堵塞（等待），每个线程都在等待被其它线程占用并堵塞了的资源。例如，如果线程 1 锁住了记录 A 并等待记录 B，而线程 2 锁住了记录 B 并等待记录 A，这样两个线程就发生了死锁现象。在计算机系统中 , 如果系统的资源分配策略不当，更常见的可能是程序员写的程序有错误等，则会导致进程因竞争资源不当而产生死锁的现象。

产生死锁的四个必要条件

（1） 互斥条件：一个资源每次只能被一个进程（线程）使用。
（2） 请求与保持条件：一个进程（线程）因请求资源而阻塞时，对已获得的资源保持不放。
（3） 不剥夺条件 : 此进程（线程）已获得的资源，在末使用完之前，不能强行剥夺。
（4） 循环等待条件 : 多个进程（线程）之间形成一种头尾相接的循环等待资源关系。

处理死锁的方法

由于死锁状态的出现会给整个系统带来严重的后果，所以如何解决死锁问题引起了人们的普遍关注。目前常用的方法有以下三种：
（1）预防死锁
为了使系统中不发生死锁现象，在系统设计初期即选取择一些限制条件，来破坏产生死锁的四个必要条件之一或其中几个。这样，系统中就不会出现死锁现象。这种方法对预防死锁的发生非常有效，但有可能降低系统资源的利用率。
（2）避免死锁
由于一方面预防死锁的方法会降低系统资源利用率，另一方面死锁的必要条件是存在示必就一定会使系统发生死锁，因此为提高系统资源的利用率，可采用避免死锁。避免死锁并不严格限制死锁必要条件的存在，而是在资源的动态分配过程中，使用某种方法去防止系统进入不安全状态，从而避免死锁的紧终出现。
（3）检测和解除死锁
由于死锁产生的概率总是比较小的，所以在一些相对简单的系统中，为节省预防或避免死锁中所增加的系统开销，系统中允许出现死锁状态。在这种系统中，专门设置了一个检测机构，可以随时检测出死锁的发生，并能确定与死锁有关的进程和资源，然后采用适当的方法解除系统中的死锁状态。

常用的解除死锁的方法有两种：一是强制性地撤销一些死锁进程，并剥夺它们的资源给其他的时程；另一种是使用一个有效的挂起和解除挂起机构来挂起一些进程，以便从被挂起进程中剥夺一些资源，用来解除死锁。

预防死锁
（1）打破“请求和保持”条件
打破“请求和保持”条件，即把进程运行中所要求的所有资源在进程开始动行之前，一次性地分配给进程，只要有一种资源不能满足，该进程就必须等待。这样，进程在运行过程中就不再需要新的资源，这种方法又称为预先静态分配法。
（2）打破“不剥夺”条件
打破“不剥夺”条件，即强迫那些请求新资源而没有立即得到满足的进程释放它已保持的其他资源。这意味着一个进程在运行过程可以暂时释放已占有的资源，即允许其他进程剥夺使用该资源，从而破坏了“不剥夺”条件的出现。
（3）打破“环路等待”条件
死锁产生时，一定存在一种进程和资源的循环链。打破“环路等待”条件就是在资源的分配过程中，对资源的请求做出某种限制，使环路不可能出现。

避免死锁的算法有-----银行家算法

银行家算法是避免死锁的一种重要方法，防止死锁的机构只能确保上述四个条件之一不出现，则系统就不会发生死锁。通过这个算法可以用来解决生活中的实际问题，如银行贷款等。

程序实现思路银行家算法顾名思义是来源于银行的借贷业务，一定数量的本金要应多个客户的借贷周转，为了防止银行家资金无法周转而倒闭，对每一笔贷款，必须考察其是否能限期归还。在操作系统中研究资源分配策略时也有类似问题，系统中有限的资源要供多个进程使用，必须保证得到的资源的进程能在有限的时间内归还资源，以供其他进程使用资源。如果资源分配不得到就会发生进程循环等待资源，则进程都无法继续执行下去的死锁现象。

把一个进程需要和已占有资源的情况记录在进程控制中，假定进程控制块PCB其中"状态"有就绪态、等待态和完成态。当进程在处于等待态时，表示系统不能满足该进程当前的资源申请。"资源需求总量"表示进程在整个执行过程中总共要申请的资源量。显然，每个进程的资源需求总量不能超过系统拥有的资源总数， 银行算法进行资源分配可以避免死锁。

算法详细解析：

http://blog.csdn.net/orange_os/article/details/7417204