加入星计划,您可以享受以下权益:

  • 创作内容快速变现
  • 行业影响力扩散
  • 作品版权保护
  • 300W+ 专业用户
  • 1.5W+ 优质创作者
  • 5000+ 长期合作伙伴
立即加入
  • 正文
    • 1 信号量
    • 2 PV原语
    • 3 信号量与PV操作的应用
    • 4 总结
  • 推荐器件
  • 相关推荐
  • 电子产业图谱
申请入驻 产业图谱

嵌入式基础知识-信号量、PV原语与前趋图

03/04 13:30
4103
阅读需 7 分钟
加入交流群
扫码加入
获取工程师必备礼包
参与热点资讯讨论

本篇来介绍信号量与PV原语的一些知识,并介绍其在前趋图上的应用分析。本篇的知识属于操作系统部分的通用知识,在嵌入式软件开发中,同样会用到这些知识。

1 信号量

信号量是最早出现的用来解决进程同步与互斥问题的机制(可以把信号量视为一个加锁标志位,实现对临界资源互斥的访问)。

信号量是一个整数:

    当信号量S>=0时,代表可供并发使用的资源数量当信号量S<0时,代表已经没有可用资源,S的绝对值表示当前等待该资源的进程数

利用信号量可以实现进程的互斥与同步

2 PV原语

2.1 P原语(wait)

P原语(申请资源,相当于wait,阻塞进程)操作的动作是:

sem减1

    • 若sem减1后仍>=0,则执行P操作的进程继续执行

若sem减1后<0,则执行P操作的进程被阻塞

    后进入与该信号相对应的队列中,然后转进程调度

2.2 V原语(signl)

V原语(释放资源,相当于signal,激活进行)操作的动作是:

sem加1

    • 若sem加1后>0,则执行V操作继续执行若sem加1后仍<=0(表明有进程阻塞在该类资源上),则从该信号的

等待队列中唤醒一等待进程

    ,然后再返回原进程继续执行或转进程调度

注意:PV操作对于每一个进程来说,都只能进行一次,而且必须成对使用。在PV原语执行期间不允许有中断的发生。

2.3 P、V操作

PV原语的执行顺序

    执行P操作,信号量减一然后进行对共享资源的访问V操作,信号量加一

PV操作中关于信号量的计算

某系统有n个进程,共享资源R,R是可用数为m,其中n>=m。若采用PV操作,则信号量S的取值范围是多少?

分析:

    信号量的最大值,即可用资源的数据,即m信号量的最小值,即最多能阻塞的进程数量,然后取负数,本例中,最大阻塞数为n-m所以,信号量S的取值范围是 -(n-m)~m

3 信号量与PV操作的应用

3.1 实现进程互斥

为使多个进程互斥的访问某临界资源(例如一台打印机):

    须为该资源设置一个互斥信号量mutex,并设其初值为1然后各进程访问资源的临界区CS置于wait(mutx)和signal(mutex)之间即可
semaphore mtuex = 1; //表示打印机(互斥/共享资源)

void process1() //进程1
{
    //...
    wait(mutx); //P操作,信号量-1
    //使用打印机
    signal(mutex); //V操作,信号量+1
    //...
}

void process2() //进程2
{
    //...
    wait(mutx);//P操作,信号量-1
    //使用打印机
    signal(mutex);//V操作,信号量+1
    //...
}

这里简单分析一下

只有一台打印机,所以信号量初值是1

wait(mutx),即P操作,信号量减1,例如:

      • 当第一个进程使用打印机时,信号量减为0,没有进程阻塞当第二个进程也使用打印机时,信号量再减1变为-1,小于0了,说明有进程阻塞(就是第二个进程阻塞)当第三个进程也使用打印机时,信号量再减1变为-2,也小于0了,说明有进程阻塞(就是第三个进程阻塞)

signal(mutex),即V操作,信号量加1,例如:

    • 当第一个进程使用打印机完毕时,信号量加1变为-1,仍小于0,说明激活一个进程后,仍有进程阻塞(例如第二个进程可以使用打印机了,第三个进程仍在等待)当第二个进程使用打印机完毕时,信号量加1变为0,说明激活一个进程后,没有进程阻塞(第二个进程可以使用打印机了)当第三个进程使用打印机完毕时,信号量加1变为1

3.2 实现前趋关系(前趋图)

这里先简单介绍下前趋图:

前趋图是为了描述一个程序的各部分间的依赖关系,或者是一个大的计算的各个子任务间的因果关系的图示。

前趋图中的每个结点可以表示一条语句、一个程序段或一个进程

结点间的有向边表示两个结点之间存在的偏序(Partial Order)或前趋关系

3.2.1 例子1

进程P1~P5的前趋图如下所示,若用PV操作控制进程P1~P5并发执行的过程,需要设置5个信号量S1~S5,且信号量的初值都是0。

根据以上描述,下图中的a~e处分别该填什么:

分析,根据文字描述,对照图中信息,可先将P(S1)和P(S3)在图中标注出来,进而可推出信号量S1和S3以及V操作V(S1)和V(S3)。

然后假设P1到P3使用的信号量S3,P3到P5使用的信号量S4,P4到P5使用的信号量S5,即可推导出剩余的PV操作。

3.2.2 例子2

进程P1~P6的前趋图如下所示,若用PV操作控制进程P1~P6进程同步与互斥的程序如下,则呈现中中的①~⑥处分别该填什么:

分析:根据程序中的描述,对照图中信息,可先将程序中已表示的PV操作标注出来,并标注出①~⑥在图中的位置。

然后假设P1到P2使用的信号量S1,P4到P6使用的信号量S7,P5到P6使用的信号量S8,即可推导出剩余的PV操作

4 总结

本篇介绍了信号量与PV原语的基础知识点,并介绍了PV操作的一些应用,实现进程互斥和实现前趋关系,前趋关系中使用前趋图来实例分析PV操作影响信号量变化的具体运行过程。

推荐器件

更多器件
器件型号 数量 器件厂商 器件描述 数据手册 ECAD模型 风险等级 参考价格 更多信息
PLR135/T8 1 Everlight Electronics Co Ltd Receiver, 16Mbps, Through Hole Mount,

ECAD模型

下载ECAD模型
$2 查看
CSTNE16M0V530000R0 1 Murata Manufacturing Co Ltd Ceramic Resonator,

ECAD模型

下载ECAD模型
$0.68 查看
EPCS4SI8N 1 Altera Corporation Configuration Memory, 4MX1, Serial, CMOS, PDSO8, LEAD FREE, PLASTIC, SOIC-8

ECAD模型

下载ECAD模型
$23.2 查看

相关推荐

电子产业图谱

控制科学与工程硕士,日常分享单片机、嵌入式、C/C++、Linux等学习经验干货~