死锁，是指多个线程同时被阻塞，其中一个或者全部线程都在等待某个资源，由于资源争夺而造成的一中僵局。若无外力推进，他们都将无法推进。由于无限期的阻塞，程序没有办法进行正常终止。
举个例子~
场景：两个人一起去吃饭，桌上有辣椒和醋，两人都需要加辣椒和醋
A拿起辣椒，B拿起醋
A说：你先把醋给我用，我用完了把辣椒给你
B说：你先把辣椒给我用，我用完了把醋给你
如果两个人互不相让，就会形成死锁。
这里的辣椒和醋就相当于是两把锁。
在死锁中，讨论最多的是哲学家问题
当上述四个条件都成立的时候，就会形成死锁。只要打破上述的条件之一，就会
当多个进程共享资源，如果资源数目小于进程数，形成资源竞争，造成死锁
如果系统分配的不可剥夺资源数目小于进程所需，就会造成资源竞争，形成僵局。
举个例子~
系统中有打印机A，磁带机B，进程P1和P2共享。
假如，进程P1获得打印机A，进程P2获得磁带机B。
若P1继续要求磁带机B，由于P2占用，所以阻塞。P2又要求打印机A，但是被P1占用，所以P2阻塞。
P1和P2之间就形成了僵局，两个进程都在等待对方释放自己所需要的资源。
一旦获得资源，不能强制收回，只能等待进程自己释放。
所以，它们又都因不能继续获得自己所需要的资源而不能继续推进，从而也不能释放自己所占有的资源，以致进入死锁状态。
临时资源指的就是进程短暂的用过，之后就不再使用了。比如硬件中断、信号、消息、缓冲区内的消息等，它也可能引起死锁。
以下情况也会造成死锁：
通过设置限制条件，破坏死锁的必要条件
在资源分配时，使用某种方法避免系统进入不安全的状态。
首先解释一下安全状态和不安全状态
安全状态：如果存在一个由系统中所有进程构成的安全序列P1，…，Pn，则系统处于安全状态。安全状态一定是没有死锁发生。
不安全状态：不存在一个安全序列，不安全状态不一定导致死锁。
数据结构
是一个含有m个元素的数组，其中的每一个元素代表一类可利用的资源数目。如果Available[j]=K，则表示系统中现有Rj类资源K个。
这是一个n×m的矩阵，定义了系统中n个进程中的每一个进程对m类资源的最大需求。如果Max[i,j]=K，则表示进程i需要Rj类资源的最大数目为K。
这是一个n×m的矩阵，它定义了系统中每一类资源当前已分配给每一进程的资源数。如果Allocation[i,j]=K，则表示进程i当前已分得Rj类资源的 数目为K。
这是一个n×m的矩阵，用以表示每一个进程尚需的各类资源数。如果Need[i,j]=K，则表示进程i还需要Rj类资源K个。
Need[i,j]=Max[i,j]-Allocation[i,j]
算法描述
假设Request是Pi的请求向量，Request[j] = k，代表Pi请求的Rj类资源是k个。
执行如下步骤
如果Request[j] <= Need[i,j]，执行第二步。否则，出错。
如果Request[j] <= Available[j]，执行第三步。否则，出错，需要等待。
系统试探分配资源，修改相关数据：
Available[j] = Available[j] - Requesti[j];
Allocation[i,j] = Allocation[i,j] + Requesti[j];
Need[i,j] = Need[i,j] - Requesti[j];
系统执行安全性检查，如安全，则分配成立；否则试探险性分配作废，系统恢复原状，进程等待。
安全性检查算法
设置两个工作向量Work=AVAILABLE;FINISH
从进程集合中找到一个满足下述条件的进程，
FINISH==false;
NEED<=Work;
如满足，执行（3)
否则，执行（4)
设进程获得资源，可顺利执行，直至完成，从而释放资源。
Work=Work+ALLOCATION;
Finish=true;
返回第二步
如所有的进程Finish= true，则表示安全，否则系统不安全
允许系统在运行过程中发生死锁。但是通过系统检测后，能及时地检测出死锁的发生，并精确地确定与死锁有关的进程和资源。
发生死锁的时候，把进程从死锁的状态解脱出来
