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