线程同步与锁
线程同步
为了避免多个线程同时读写同一个数据而产生不可预料的后果,我们要将各个线程对同一个数据的访问同步。所谓同步,就是指在一个线程访问数据未结束时,其他线程不得对同一个数据进行访问。如此,对数据的访问被原子化了。就像洗手间一样,在一个人方便时,其他人不能进入洗手间。
锁
同步最常见的方法就是锁,锁是一种非强制机制,每一个线程在访问数据或资源之前首先试图获取锁,并在访问结束之后释放锁。在锁已经被占用的时候试图获取锁,线程会等待,直到锁重新可用。
互斥量
互斥量是一种简单的锁,他有两种状态,占用和非占用。它适合只能被唯一一个线程独占访问的资源。当互斥量处于非占用状态时,第一个获取该互斥量的线程会获得该锁,并将互斥量至于非占用状态,此后其他所有获取该互斥量的线程都会等待,知道该锁被释放。
信号量
二元信号量和互斥量极为相似。但也有些许不同,信号量在整个系统中可以被任意线程获取并释放。也就是说,同一个信号量可以被一个线程获取而被另一个线程释放。而互斥量要求哪个线程获取,就要求哪个线程释放。
而对多元信号量而言,允许多个线程并发访问的资源。一个初始值为n的信号量允许n个线程并发访问。m个获取该信号量时,n就减m,释放时,n就加m,n小于等于0即等待。
临界区
临界区是比互斥量更加严格额同步手段。临界区和互斥量的区别在于,互斥量在系统中的任何进程里都是可见的,也就是说,一个进程创建了一个互斥量,另一个进程试图获取该锁是合法的,然而,临界区的作用范围仅限于本进程,其他进程无法获取该锁。除此之外,临界区和互斥量性质一样。
读写锁
对于一些多读少写的进程来说,你采用其他锁会显得十分的低效,所以,读写锁应运而生。读写锁就是支持多个线程同时读取,而只支持一个线程去写。对于同一个锁,读写锁有两种获取方式,共享的或独占的。具体获取方式如下表所示:
条件变量
条件变量作为一种同步手段,作用类似于一个栅栏。对于条件变量,线程可以有两种操作,首先线程可以等待条件变量,一个条件变量可以被多个线程等待。其次,线程可以唤醒条件变量,此时某个或所有等待此条件变量的线程都会被唤醒并继续支持。也就是说,使用条件变量可以让许多线程一起等待某个事件的发生,当事件发生时,所有的线程可以一起恢复执行。