データ構造。

n：整数、プロセスの数。
m：整数、リソースタイプの数。
Available [m]：各リソースの使用可能なインスタンスの数を[1 ... m]に格納する1次元配列。
Max [n] [m]：n×m行列、Max [i] [j]はプロセスiによるリソースjの総需要を表します。
Allocation [n] [m]：nxm行列、Allocation [i] [j]は、プロセスiがすでに保持しているリソースjの数を表します。
Need [n] [m]：n×m行列、Need [i] [j]はプロセスiが必要とするリソースjの数を表す。

ベクター。

長さnの2つのベクトル $X$ 和 $Y$ 、当そして仅当 $X [i] < Y [i]$ すべての $私 \in [1 。。 N-]$ 真であるとき、私たちはと言う $バツ < そして。$

システムセキュリティテストアルゴリズム。

この時点でシステムが安全な状態かどうかをテストするために使用されるアルゴリズムは次のとおりです。

TestSafety()
{
    
    
	//1.
	Work[1..m]=Available[1..m];
	//向量Work初始化为当前可用资源实例数向量.

	Finish[1..n]=false;
	//向量Finish每个分量都为false,表示初态都是未完成.

	//2.
	change=true;	//循环控制变量.
	while(change)
	{
    
    
		//Need[i]表示矩阵的第i行,也就是进程Pi所需资源数向量,
		//若进程Pi未完成,并且需求能够得到满足,就执行Pi,后续
		//释放其中的资源,等价于Work获得Pi已经持有的资源数向量
		//Allocation[i].
		change=false;
		for(int i=1;i<=n;++i)
		{
    
    
			if(Finish[i]==false && Need[i]<Work) 
			{
    
    
				Work=Work+Allocation[i];
				Finish[i]=true;
				change=true;
			}
		}
	}
	//不动点算法:只有当Finish和Allocation不再发生改变时,
	//也就意味着所有的进程都已经完成或者剩余进程都无法运行
	//这两种情况之一发生时，才会跳出while循环.

	//3.
	for(int i=1;i<=n;++i)
	{
    
    
		if(Finish[i]==false)
		{
    
    
			return false;
		}
	}
	return true;
	//全真为真,一假俱假.
}

リソース要求アルゴリズム。

Request [n] [m]：n×mマトリックス。Request[i] [j]は、この時点でプロセスiによって要求されたリソースjの数を表します。

if(Request[i]<Need[i])
{
    
    
	if(Request[i]<Available)
	{
    
    
		//Simulate allocation.
		Available=Available-Request[i];
		Allocation[i]=Allocation[i]+Request[i];
		Need[i]=Need[i]-Request[i];
		
		if(TestSafety())
		{
    
    
			Agree Allocation;
			//System safe,just allocate.
		}
		else
		{
    
    
			Rollback;
			//System unsafe,rollback.
		}
	}
	else
	{
    
    
		Wait;
		//Cause resource insufficient.
	}
}
else
{
    
    
	Error;
	//Cause request too many resources.
}

例1。

ここに画像の説明を挿入

現在、システムは安全な状態にありますか？
プロセス $P_1$ リソース要求を行う要求要求 $R E 、Q 、U 、E 、S 、T_{1} = （ 1 、 0 、 2 ）$ 満足できますか？
プロセス $P_0$ リソース要求を行う要求要求 $_0 =（0、2、0）$ 、満足できますか？
プロセス $P_4の$ 場合 $P_{4}$ リソース要求を行う要求要求 $R E 、Q 、U 、E 、S 、T_{4} = （ 3 、 3 、 0 ）$ 、満足できますか？