竞态条件和sigsupend函数

2023-12-03 15:32
文章标签 条件 函数 竞态 sigsupend

本文主要是介绍竞态条件和sigsupend函数,希望对大家解决编程问题提供一定的参考价值,需要的开发者们随着小编来一起学习吧!

竞态条件(race condition)是一个在设备或者系统试图同时执行两个操作的时候出现的不希望的状况,但是由于设备和系统的自然特性,为了正确地执行,操作必须按照合适顺序进行。 

好比我们在模拟实现sleep()函数时

#include <stdio.h>
#include <signal.h>
#include <unistd.h>void handler(int s)
{}int mysleep(int sec)
{signal(SIGALRM,handler);alarm(sec);pause();int r=alarm(0);return r;
}
int main()
{mysleep(3);printf("3 sec \n");return 0;
}

这样实现基本可以完成sleep的功能,但在极端情况下,cpu负载很高,当程序刚刚执行完alarm(sec);这行代码时,时间片切给了另外一个进程,等回来时,alarm的时间已经到了,这时直接处理SIGALRM信号,执行信号处理函数,这些都进行完毕,才来继续执行pause()这句代码,因为信号已经在pause之前被处理过了,所以会一直阻塞在pause这里,而我们想要的是在pause()挂起时经过若干秒被SIGALRM信号打断然后pause返回,显然这与我们想要的结果相悖。

首先我们想到的是使用信号屏蔽来解决,在执行pause()之前一直屏蔽SIGALRM信号,等到即将执行pause时再解除屏蔽,但是这种做法似乎没效果,因为时间片也有可能在解除屏蔽与pause执行的间隙被切换出去,和上边做法没区别。。。

系统为我们提供了这么一个函数sigsuspend
int sigsuspend(const sigset_t* mask);
它相当于pause+信号屏蔽,是pause的加强版,可以用来解决竞态问题。
它的功能是在该函数执行期间用参数中传递 的信号屏蔽集覆盖原来的信号屏蔽集,函数执行完毕后又恢复为原来的信号屏蔽集。

小试一把先:

#include <stdio.h>
#include <stdlib.h>
#include <signal.h>
#include <unistd.h>
void handler(int s)
{printf("recv %d\n",s);sleep(3);printf("finish\n");
}
int main()
{signal(SIGINT,handler);signal(SIGQUIT,handler);sigset_t set;sigemptyset(&set);sigaddset(&set,SIGINT);sigprocmask(SIG_BLOCK,&set,NULL);sigset_t pset;sigemptyset(&pset);sigaddset(&pset,SIGQUIT);sigsuspend(&pset);sigprocmask(SIG_UNBLOCK,&set,NULL);
}

这里写图片描述

这时我们使用这个函数来处理mysleep中的竞态问题,在执行sigsupend之前屏蔽SIGALRM信号,在sigsupend的参数中传一个空的信号屏蔽集,即取消SIGALRM的屏蔽,这样就能使SIGALRM信号一定能够在sigsupend期间被处理。

#include <stdio.h>
#include <stdio.h>
#include <signal.h>
#include <unistd.h>
void handler(int s)
{}int mysleep(int sec)
{signal(SIGALRM,handler);sigset_t set;sigemptyset(&set);sigaddset(&set,SIGALRM);sigprocmask(SIG_BLOCK,&set,NULL);alarm(sec);sigset_t pset;sigemptyset(&pset);sigsuspend(&pset);sigprocmask(SIG_UNBLOCK,&pset,NULL);int r=alarm(0);return r;
}
int main()
{mysleep(3);printf("3 sec\n");
}

这篇关于竞态条件和sigsupend函数的文章就介绍到这儿,希望我们推荐的文章对编程师们有所帮助!



http://www.chinasem.cn/article/449941

相关文章

Oracle的to_date()函数详解

《Oracle的to_date()函数详解》Oracle的to_date()函数用于日期格式转换,需要注意Oracle中不区分大小写的MM和mm格式代码,应使用mi代替分钟,此外,Oracle还支持毫... 目录oracle的to_date()函数一.在使用Oracle的to_date函数来做日期转换二.日

Oracle Expdp按条件导出指定表数据的方法实例

《OracleExpdp按条件导出指定表数据的方法实例》:本文主要介绍Oracle的expdp数据泵方式导出特定机构和时间范围的数据,并通过parfile文件进行条件限制和配置,文中通过代码介绍... 目录1.场景描述 2.方案分析3.实验验证 3.1 parfile文件3.2 expdp命令导出4.总结

Python按条件批量删除TXT文件行工具

《Python按条件批量删除TXT文件行工具》这篇文章主要为大家详细介绍了Python如何实现按条件批量删除TXT文件中行的工具,文中的示例代码讲解详细,感兴趣的小伙伴可以跟随小编一起学习一下... 目录1.简介2.运行效果3.相关源码1.简介一个由python编写android的可根据TXT文件按条件批

C++11的函数包装器std::function使用示例

《C++11的函数包装器std::function使用示例》C++11引入的std::function是最常用的函数包装器,它可以存储任何可调用对象并提供统一的调用接口,以下是关于函数包装器的详细讲解... 目录一、std::function 的基本用法1. 基本语法二、如何使用 std::function

hdu1171(母函数或多重背包)

题意:把物品分成两份,使得价值最接近 可以用背包,或者是母函数来解,母函数(1 + x^v+x^2v+.....+x^num*v)(1 + x^v+x^2v+.....+x^num*v)(1 + x^v+x^2v+.....+x^num*v) 其中指数为价值,每一项的数目为(该物品数+1)个 代码如下: #include<iostream>#include<algorithm>

C++操作符重载实例(独立函数)

C++操作符重载实例,我们把坐标值CVector的加法进行重载,计算c3=c1+c2时,也就是计算x3=x1+x2,y3=y1+y2,今天我们以独立函数的方式重载操作符+(加号),以下是C++代码: c1802.cpp源代码: D:\YcjWork\CppTour>vim c1802.cpp #include <iostream>using namespace std;/*** 以独立函数

函数式编程思想

我们经常会用到各种各样的编程思想,例如面向过程、面向对象。不过笔者在该博客简单介绍一下函数式编程思想. 如果对函数式编程思想进行概括,就是f(x) = na(x) , y=uf(x)…至于其他的编程思想,可能是y=a(x)+b(x)+c(x)…,也有可能是y=f(x)=f(x)/a + f(x)/b+f(x)/c… 面向过程的指令式编程 面向过程,简单理解就是y=a(x)+b(x)+c(x)

利用matlab bar函数绘制较为复杂的柱状图,并在图中进行适当标注

示例代码和结果如下:小疑问:如何自动选择合适的坐标位置对柱状图的数值大小进行标注?😂 clear; close all;x = 1:3;aa=[28.6321521955954 26.2453660695847 21.69102348512086.93747104431360 6.25442246899816 3.342835958564245.51365061796319 4.87

OpenCV结构分析与形状描述符(11)椭圆拟合函数fitEllipse()的使用

操作系统:ubuntu22.04 OpenCV版本:OpenCV4.9 IDE:Visual Studio Code 编程语言:C++11 算法描述 围绕一组2D点拟合一个椭圆。 该函数计算出一个椭圆,该椭圆在最小二乘意义上最好地拟合一组2D点。它返回一个内切椭圆的旋转矩形。使用了由[90]描述的第一个算法。开发者应该注意,由于数据点靠近包含的 Mat 元素的边界,返回的椭圆/旋转矩形数据

Unity3D 运动之Move函数和translate

CharacterController.Move 移动 function Move (motion : Vector3) : CollisionFlags Description描述 A more complex move function taking absolute movement deltas. 一个更加复杂的运动函数,每次都绝对运动。 Attempts to