线程的并发执行是由多处理器或操作系统调度来实现的。
用户使用的是用户态下的进程,其数量不一定在操作系统内核里对应同等数量的内核线程。
一对一模型
一对一模型是指:一个用户使用的线程就唯一对应一个内核使用的线程。反过来,一个内核里的线程在用户态不一定有对应的线程存在。
优点:对于该模型,线程之间真正实现了并发,一个线程因为某原因阻塞时,其他线程执行不受影响。
缺点:
- 由于许多操作系统限制了内核线程的数量,因此一对一线程会让用户的线程数量受到限制
- 许多操作系统内核线程调度时,上下文切换的开销较大,导致用户线程的执行效率下降
多对一模型
多对一模型是将多个用户线程映射到一个内核线程上,线程之间的切换由用户态的代码来进行。其最大的优点就是高效的上下文切换和几乎无限制的线程数量。
该模型的最大的问题是:如果一个用户线程阻塞,那么所有的线程都将无法执行,因此此时内核里的线程也随之阻塞了。
多对多模型
多对多模型结合了多对一模型和一对一模型的特点,将多个用户线程映射到少数但不止一个内核线程上。
多对多模型中,一个用户线程阻塞并不会使得所有的用户线程阻塞,因为此时还有别的线程可以被调度来执行。