资源分配图

资源分配图是由一组结点N和一组边E组成的一个对偶G=(N,E),它具有下列的定义和限制：

把N分成两个互斥的子集：进程结点集合P和资源结点集合R，即N=P∪R。
任何e∈E，都连接着P中的一个结点和R中的一个结点，e=<Pi,Rj>是资源请求边（表示进程Pi请求一个单位的Ri资源），e=<Rj,Pi>是资源分配边（表示将一个单位的资源Rj分配给进程Pi）。

一般，我们用圆圈代表一个进程，用方框代表一类资源（可能有多个资源），方框中的点代表该类资源中的一个资源。下面给出一个资源分配图的示例（随便画了下，说明问题即可）。

资源分配图可以描述系统死锁。