关键术语
- 原子操作:一个或多个指令的序列,对外是不可分的;
- 临界区:一段代码,在这段代码中进程将访问共享资源,一个进程在这段代码中执行,另一个进程就不能再这段代码中执行;
- 死锁:两个或两个以上的进程因其中的每个进程都在等待其他进程做完某些事情而不能继续执行,这样的情形叫做死锁;
- 活锁:两个或两个以上的进程为了响应其他进程中的变化而持续不断改变自己的状态但不做有用的工作,这样的情形叫做活锁;
- 互斥:当一个进程在临界区访问共享资源时,其他进程不能进入该临界区访问任何共享资源,这种情形叫做互斥;
- 竞争条件:多个线程或者进程在读写一个共享数据时,结果依赖于它们执行得相对时间,这种情形叫做竞争;
- 饥饿: 是指一个可运行的进程尽管能继续执行,但被调度器无限制地忽视,而不能被执行调度的情况;
互斥硬件专用指令:compare_and_swap,exchange
常用并发机制:
- 信号量:用于进程间传递信号的一个整数值,可以被抢占;
- 二元信号量:只取0值和1值的信号量;
- 互斥量:类似于二元信号量,关键区别在于为其加减锁的进程必须是同一个进程;
- 条件变量:一种数据类型,用于阻塞进程或者线程,直到特定的条件为真,条件变量在发送信号时,如果没有线程等待在该条件变量上,那么信号将丢失;而信号量有计数值,每次信号量post操作都会被记录;
- 管程:一种编程语言结构,在一个抽象数据类型中封装了变量、访问过程和初始化代码;
- 事件标志:作为同步机制的一个内存字;
- 信箱/消息:两个进程交换信息的一种方法,也可以用于同步
- 自旋锁:一种互斥机制,进程在一个无条件循环中执行,等待锁变量变为可用,一个自旋锁只能被一个可执行线程持有,自旋锁保持期间是抢占失效的(内核不允许被抢占,内核抢占代码使用自旋锁作为非抢占区域的标记),而信号量和读写信号量保持期间是可以被抢占的;