CCF-CSP201903-4-消息传递接口

本文探讨了如何处理进程间的操作执行,利用vector和queue存储进程操作,通过深度优先搜索(DFS)判断是否存在死锁。在给定的示例中,通过从每个进程开始递归执行,检查是否所有进程都能完成其操作,同时引入st数组记录已访问过的进程,从而判断是否存在死锁情况。算法详细实现代码给出,用于解决此类问题。

摘要生成于 C知道 ,由 DeepSeek-R1 满血版支持, 前往体验 >

  1. 首先应当思考的是如何对输入数据进行存储?

    通过样例输入可以看出,每一个进程执行的操作数量都是不定的,因此可以采用**vectorg[N]进行存储,其中g[i]表示i号进程应执行操作,也可以采用queueq[N]**进行存储q[i]表示i号进程应执行的操作,**q[i].size()**为i号进程应执行的操作的数量

  2. 应该如何读取?

    1. 可以一整行一整行的读用fgets或者getline,读取到str当中

      1. char str[100];
        fgets(str,100,stdin);
        //同时在使用fgets之前,如果前面有过输入应当使用getchar()读掉缓冲区中的回车符
        
      2. string str;
        getline(cin,str);
        
    2. 再使用stringstream进行一个拆分各操作,并将其push到队列或者push_back()到vector里面

  3. 学完了存储,应该如何求解呢?

先举一个例子说明(先用不带死锁的例子进行举例)

进程号操作1操作2操作3
1S2
2R3R1S3
3S2R2

上面这个例子我们应该如何判断每一个进程是否都能全部执行完自己的操作呢


用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. 再来讲解如何判断死锁,同样看下面例子
进程号操作1操作2操作3
1S2
2S1

同样我从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);
    }

}

### CCF-CSP 2024 年 12 月考试信息概述 #### 考试背景与目标 CCF-CSP(中国计算机学会软件能力认证)是一项旨在评估个人编程能力和算法设计水平的测试。该考试通常每年举办多次,每次都会提供一系列具有挑战性的题目供考生解答。对于即将举行的 CCF-CSP 2024 年 12 月考试,虽然具体细节尚未完全公开,但可以根据以往的趋势推测其形式和内容。 根据过往经验[^1],CSP 认证考试一般由四道编程题组成,难度依次递增。前三题主要考察基本的数据结构、控制流以及简单的算法实现;第四题则可能涉及较复杂的算法设计或优化技巧。因此,建议考生重点练习前三个问题的基础部分,并逐步尝试解决第四个问题中的简化版本。 #### 解题策略与准备方法 针对即将到来的比赛,以下是几点备考建议: - **熟悉输入输出处理**:如同在相似度计算问题中所展示的一样,在程序开始阶段需正确获取所需数据量的信息,比如两个字符串列表各自的长度 `n` 和 `m` [^2]。 - **掌握核心知识点**: - 基础语法熟练运用; - 数据结构如数组、链表的操作; - 排序查找等经典算法的应用场景理解。 下面给出一段用于模拟读入多个整数值并存储到List集合内的Java代码片段作为示范: ```java import java.util.ArrayList; import java.util.Scanner; public class Main { public static void main(String[] args){ Scanner sc=new Scanner(System.in); int n=sc.nextInt(); // 获取第一个序列大小 ArrayList<Integer> listA=new ArrayList<>(); for(int i=0;i<n;i++)listA.add(sc.nextInt()); int m=sc.nextInt();// 获取第二个序列大小 ArrayList<Integer> listB=new ArrayList<>(); for(int j=0;j<m;j++)listB.add(sc.nextInt()); System.out.println("Data Loaded Successfully!"); } } ``` 通过上述实例可以看出如何有效地管理大规模数据集以便后续分析比较操作得以顺利开展。 ---
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包

打赏作者

云风Com

你的鼓励将是我创作的最大动力

¥1 ¥2 ¥4 ¥6 ¥10 ¥20
扫码支付:¥1
获取中
扫码支付

您的余额不足,请更换扫码支付或充值

打赏作者

实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值