Petri网预备知识.docVIP

死锁产生原因 （1）互斥：同时争夺唯一资源 （2）占用且等待 （3）无抢占 （4）循环等待 死锁产生的原因及四个必要条件 产生死锁的原因主要是：（1） 因为系统资源不足。（2） 进程运行推进的顺序不合适。（3） 资源分配不当等。如果系统资源充足，进 程的资源请求都能够得到满足，死锁出现的可能性就很低，否则就会因争夺有限的资源而陷入死锁。其次，进程运行推进顺序与速度不同，也可能产生死锁。产生死锁的四个必要条件：（1）?互斥条件：一个资源每次只能被一个进程使用。（2）?请求与保持条件：一个进程因请求资源而阻塞时，对已获得的资源保持不放（3）?不剥夺条件:进程已获得的资源，在末使用完之前，不能强行剥夺。（4）?循环等待条件:若干进程之间形成一种头尾相接的循环等待资源关系。这四个条件是死锁的必要条件，只要系统发生死锁，这些条件必然成立，而只要上述条件之一不满足，就不会发生死锁。死锁的解除与预防：理解了死锁的原因，尤其是产生死锁的四个必要条件，就可以最大可能地避免、预防和解除死锁。所以，在系统设计、进程调度等方面注意如何不让这四个必要条件成立，如何确定资源的合理分配算法，避免进程永久占据系统资源。此外，也要防止进程在处于等待状态的情况下占用资源。因此，对资源的分配要给予合理的规划。 G是指一个三元组(V, A, ()，其中V和A是两个不相交的集合，V非空，(是从A到V的元素对集合的一个映射。当考虑V中元素的无序对时，G是无向图；而考虑V中元素的有序对时，G是有向图。V中元素称为顶点，A中元素在无向图中为边，在有向图中为弧。(为图G的关联函数。当图G的一条边e通过关联函数映射到G的一对顶点(x, y)时，则e连接x和y。当G是无向图时，顶点x和y为e的端点；当G是有向图时，x是e的始点，y是e的终点。 在一个无向图中，两个端点相同的边是环；两条具有相同端点的边是重边。既无环又无重边的图为简单图。本文所考虑的图都是简单图。为简化符号起见，下面不再用三元组(V, A, ()来表示图G，而直接将(V, A, ()记为G(V, A)或者G。 有向图G的一个串(chain)是指一个顶点和弧组成的交替序列c = (x0, e1, x1, e2, x2, (, xq(1, eq, xq)，其中ek = (xk(1, xk)或者ek = (xk, xk(1)。如果ek = (xk(1, xk)，则ek是c的前进弧；如果ek = (xk, xk(1)，则ek是c的后退弧。x0与xq分别为串c的始点和终点。一个串是闭的如果它的始点和终点重合。串是简单的如果它的每条弧仅出现一次。串是基本的如果除了始点和终点可能重合外，其它每个顶点都仅出现一次。串c的长度l(c)是指弧的个数q。闭的简单串称为圈（cycle）。每个圈都是一系列弧两两不交的基本圈的并。所有弧都是前进弧的串为迹（walk）。简单迹为路径（path）。闭的路径为回路（circuit）。闭的基本路径为基本回路（elementary circuit）。每个回路都是一系列基本回路的并。 令G(V, A)是有向图，忽略G(V, A)中弧的方向，则得到一个无向图。去掉该无向图中的环或者重边得到的简单图为G(V, A)的基础图（underlying graph），用G0(V, A0)表示。令x, y ( V，如果在G0(V, A0)中存在从x到y的路径，则x与y是连通的（connected）。根据连通关系，得到G0(V, A0)的所有顶点等价类，每一个等价类为一个连通分支。如果G0(V, A0)只有一个连通分支，则G0(V, A0)是连通的。用c(G0)表示G0(V, A0)的连通分支数。有向图G(V, A)是强连通的（strongly connected）如果对有向图中任何的x, y ( V，都存在从x到y和从y到x的路径。 令c1 = (x0, e1, x1, (, el, xl)，c2 = (y0, f1, y1, (, fq, yq)，xl = y0。c1 ( c2 = (x0, e1, x1, (, el, xl = y0, f1, y1, (, fq, yq)为一个链接（concatenation），仍是一个串。令c是G中简单串，串向量C（系数C(e)，e ( A）如下： 换言之，如果在c中e ( c是前进弧，则C(e) = 1；如果在c中e ( c是后退弧，则C(e) = (1；如果e ( c，则C(e) = 0。在串向量C与基本串c之间存在一一对应关系。对于一般的串，此关系不成立。如果c1，c2是弧不交的两个串，且c2的始点与c1的终点重合，则链接c1 ( c2对应的向量为C1 + C2。由此可知，对任意串c，它对应的串向量可以定义为它的每一个弧对应的串向量