抽空做了下linux所有线程间同步方式的汇总(原生的),包含以下几个:
1, mutex
2, condition variable
3, reader-writer lock
4, spin lock
5, barrier
mutex是最常用的线程间同步方式,主要目的是保护共享的资源可以被原子地访问。
个人感觉condition variable是除了mutex之外的第二常用的线程间同步方式,可以用来以同步的方式使用一个线程来通知另一个线程某个事件已经发生。可以理解为线程间的信号。
reader-write lock是一种特别的锁,它有两种加锁方式,一种是以读的方式加锁,另一种是以写的方式加锁。如它可以被多个读线程同时持有,但是只能被写一个写线程单独持有。如果已经有线程以读的方式获取了读写锁的话,后续的读加锁还是可以获取到锁,但是写加锁无法获取到锁。如果已经有线程以写的方式获取了读写锁的话,则任何的其它获取锁操作都会阻塞。为了防止写线程“饿死”,当有线程要获取写锁时,所有后续的获取读锁都会阻塞,这个特性不是强制要求。
spin lock在无法获取到锁时,不会进入睡眠状态,即不会释放掉CPU资源,而是会忙等待,一直到能获取到锁为止。这在非实时系统中作用不大,因为即使不主要释放CPU,在时间片用完之后,还是会被操作系统重新调度。所以spin lock应该仅用在优先级特别高,且只要稍稍等待一会就能获取到锁的场合。
barrier是一种特殊的同步方式,它可以保证多个线程都跑到同一个地方后,才会再向下执行。可以理解为多个线程在多个平行的跑道上赛跑,在某个地方有一堵墙,仅靠一个线程的力量是无法推倒这面墙的,需要多个线程都到墙脚下,再合力才能推倒它。然后它们再一起继续运行。
每种同步方式做了一个demo程序,见github代码https://github.com/clpsz/linux-itss,欢迎讨论。