前提知识
在介绍信号量之前,先来看看一些概念和一些简单的前提知识:
进程间通信的前提是让不同的进程看到同一份资源。于是,就有提出让这种资源成为一种公共资源的方法,方法的提出,导致了一种新的问题的出现,那就是数据不一致的问题。
数据不一致问题:在公共资源中,如果有规定需要让资源的数量到达了一定量后才能被读取,但是有些进程却在其写入一半的时候就去读取,接着一些按照规定去读取数据的进程去读取的时候,读取不够了!种种问题,都导致了数据不一致问题!
因此,就有对公共资源进行保护的必要了!被保护起来的公共资源称为临界资源。
去访问临界资源的进程一定是由该进程对应的代码去访问的,而代码访问的区域称为临界区。
信号量本质上是一个计数器,通常用来表示公共资源中资源的数量。那么我们结合上面所说的,举个例子,来理解信号的有什么用。
去电影院看电影
我们通过去电影院看电影做个例子。
一个电影院的一个影厅卖票,假设这个影厅有100个座位,那么肯定就只卖100张票。
当小张去买票的时候,只要买了票,就在一定的时间中,不管小张有没有去看电影,那个位置的使用权是属于小张的!因此,买票本质上就是预定位置。
我们使用这个例子来转化成对信号量的理解:
影厅就是一个临界区,每个座位就是一个个临界资源。也就是说这个临界区中有100个临界资源。小张就是一个进程,进程去访问临界资源的时候,先是通过信号量去“预定”资源。需要注意的是进程拿到了这个临界资源的访问权不代表这可以马上去访问。
特别的,当信号量sem等于1的时候,这意味共享资源的作为一整个资源被使用的。这种信号量称为二元信号量,通过互斥功能保护公共资源!
所有的进程在访问公共资源前,都必须先申请信号量,而申请信号量的前提,是让不同进程看到同一个信号量,因此信号量本身就是一个公共资源,这意味着信号量必须保证自己 的安全性!