-
首先应当思考的是如何对输入数据进行存储?
通过样例输入可以看出,每一个进程执行的操作数量都是不定的,因此可以采用**vectorg[N]进行存储,其中g[i]表示i号进程应执行操作,也可以采用queueq[N]**进行存储q[i]表示i号进程应执行的操作,**q[i].size()**为i号进程应执行的操作的数量
-
应该如何读取?
-
可以一整行一整行的读用fgets或者getline,读取到str当中
-
char str[100];
fgets(str,100,stdin);
//同时在使用fgets之前,如果前面有过输入应当使用getchar()读掉缓冲区中的回车符
-
string str;
getline(cin,str);
-
再使用stringstream进行一个拆分各操作,并将其push到队列或者push_back()到vector里面
-
学完了存储,应该如何求解呢?
先举一个例子说明(先用不带死锁的例子进行举例)
进程号 |
操作1 |
操作2 |
操作3 |
1 |
S2 |
|
|
2 |
R3 |
R1 |
S3 |
3 |
S2 |
R2 |
|
上面这个例子我们应该如何判断每一个进程是否都能全部执行完自己的操作呢
用dfs思路进行考虑,首先我们从1号进程开始执行,发现"S2",表示1号进程向2号进程发送了数据,那么接下来应该看看2号进程是否有“R1”,在递归到2号进程时发现有一个“R3”,那么应该从3号进程找看看有没”S2“,递归到3号进程时,发现有”S2“,因此递归返回到2号进程,2号进程”R3“可以执行,接下来该2号进程的"R1"操作了,这时正好满足1号进程对”R1“的需要,因此递归返回到1号进程,那么这样的话就完成了从1号进程开始的一次递归
细心的朋友会注意到上面的执行过程是从1号进程开始递归的,且只关注1号进程是否执行完,而不管你其他进程执行完没,因此要判断n个进程是否都能执行完毕,就得依次递归这n个进程了。
- 再来讲解如何判断死锁,同样看下面例子
进程号 |
操作1 |
操作2 |
操作3 |
1 |
S2 |
|
|
2 |
S1 |
|
|
|
|
|
|
同样我从1号进程开始递归,发现是”S2“,那么就要递归从2号进程中找”R1“,递归到2号进程时,发现是‘S1”,因此要递归到1号进程找"R2",这种情况下就发生了死锁,那么应该如何判断呢,可以用一个st[N]数组来标记前面已经递归过得进程,在往下递归求解时发现有一个进程已经标记过,则说明发生了死锁
#include <iostream>
#include <sstream>
#include <vector>
#include <cstring>
#include <queue>
using namespace std;
const int N = 100010;
struct Node{
int t; //S时为0
int id;
};
bool st[N];
queue<Node>q[N];
bool dfs(int sid,int rid,int type,int p){ //哪个进程发的,要找哪个进程,要找得进程类型
if(st[rid])return false;
st[rid] = true;
while (!q[rid].empty()){ //接收不为空
auto t = q[rid].front(); //出队列
q[rid].pop(); //
//cout << t.t << t.id <<" "<<type<<sid<<endl;
if(t.t==type&&t.id==sid){ //
st[rid] = false;
return true;
}else if(!dfs(rid,t.id,t.t^1,p)){ //不匹配
//cout<<"---" <<endl;
return false;
}
}
return sid == p;
}
int main(){
int T,n;
cin >> T >> n;
getchar();
while (T--){
for (int i = 0; i < n; ++i) {
string str;
getline(cin,str);
stringstream ssin(str);
q[i] = queue<Node>();
while (ssin>>str){
int t=1,id;
if(str[0]=='S'){
t = 0;
}
id = stoi(str.substr(1));
q[i].push({t,id});
}
}
int ans=0;
for (int i = 0; i < n; ++i) {
memset(st,0, sizeof(st));
if(!dfs(-1,i,-1,-1)) {
ans = 1;
break;
}
}
printf("%d\n",ans);
}
}