资源分配图
资源分配图是由一组结点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)。
一般,我们用圆圈代表一个进程,用方框代表一类资源(可能有多个资源),方框中的点代表该类资源中的一个资源。下面给出一个资源分配图的示例(随便画了下,说明问题即可)。
![在这里插入图片描述](https://img-blog.csdnimg.cn/20190609211423219.png?x-oss-process=image/watermark,type_ZmFuZ3poZW5naGVpdGk,shadow_10,text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L2ppYW5iYWlf,size_16,color_FFFFFF,t_70)
资源分配图可以描述系统死锁。