写者问题#最近肝到王道的操作系统,在通过信号量控制进程的互斥和同步问题上觉得写者问题很有意思,有必要记录下。#小白的学习笔记

问题描述:存在写进程和读进程两种并发进程,它们都要访问临界资源缓冲区,写进程将数据写到缓冲区中,读进程从缓冲区读取。如果多个写进程同时对缓冲区进行写入操作,会导致数据被覆盖的问题,同时为了保证写入的数据能够共享访问,因此要求:

        1.允许多个读进程同时读取缓冲区中的数据

        2.某一时刻,只允许一个写进程将数据写入缓冲区

        3.任意写进程在没有完成写入数据之前,其他进程不能访问缓冲区

        4.写进程在写之前,其他任何进程都必须离开缓冲区。

问题分析:

        互斥性:写进程与写进程必须互斥的访问缓冲区,

                      写进程和读进程必须互斥的访问缓冲区

        其他:读进程在读的时候允许其他读进程进入读取缓冲区。

 设想一下,当缓冲区中没有进程时,第一个读进程被调用,已经拿到锁,第二个进程想要访问缓冲区是不可能的,那么我们能不能在第二个进程到来的时候跳过拿锁的过程呢?

        可以通过一个记录读进程数量的变量count来控制这个过程,当count=0时,说明缓冲区中没有读进程,此时拿到锁,count进行自增,这时并不着急释放锁,当一个读进程结束后,count进行自减运算,当count再次等于0时,说明所有的读进程都已经结束,释放锁。

        但是这样还是无法实现多个读进程同时访问,第一个读进程拿到锁之后,其他读进程想进来是不可能的,会卡在拿锁的状态。所以我们要保证多个读进程修改count是互斥进行的,要保证对count的改变是一气呵成的,在设置一个信号量来控制读进程对count的变化的控制,利用pv原语这个过程封起来。

 这样一来,当第一个读进程拿到互斥信号量mutex后,count=0,又拿到锁rw,count进行自增后,释放mutex,这样第二个读进程想要进入时,就可以拿到mutex,但是由于count不等于0,所以就不必争夺rw锁,直接进入,并进行count的自增操作。

但是,这样一来,如果有多个读进程同时进来,一直占用着rw不放,会造成写进程长期处于饥饿的状态。,怎么解决呢?

我觉得最厉害的就在这,要设置另一个互斥信号量w来保证写进程的优先。当第一个读进程完成从头自增之后,会释放锁w,这时想要进来的写进程会拿到w,读进程拿不到锁w的,所以进不来,保证了写的优先进行。又由于count的值还没有减为0,所以还没有释放缓冲区锁rw,所以写进程会卡在p(rw)那一步,当第一个读进程完成后,count变为0,释放了锁rw后,写进程拿到rw,就可以成功的写了.

  • 0
    点赞
  • 0
    收藏
    觉得还不错? 一键收藏
  • 0
    评论
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

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

余额充值