线程系统调用阻塞是否导致进程阻塞的问题
- 问题: 如果一个进程中的某一个线程调用了一个阻塞的系统调用函数后,那么该进程包括该进程中的其他所有线程也同时被阻塞 ?
- 关于这个问题。网上有些解答似乎比较混乱。回答这个问题,首先要简单了解一下线程模型。
- 线程模型(下述对应关系为 “线程”对“内核调度实体”)
- 多对1用户级线程模型
- 1对1内核级线程模型
- 多对多两级线程模型
多对1用户级线程模型
-
线程的创建、调度、同步,由所属进程的用户空间线程库实现。
-
用户态线程,对内核几乎是透明的(许多操作不需要内核接管)
-
但线程总要有一些操作经过内核,比如系统调用。
-
不需要频繁的内核态/用户态切换,处理速度非常快。
-
该模式下,当进程的某个线程,系统调用(比如I/O)阻塞时,该进程也会阻塞。
-
原因:该模式下,进程的所有线程,都对应一个内核调度实体(KES),并且内核不知道这个进程有哪些线程。KES无法将其他线程,调度到其他处理器上。该进程(所有的线程)被阻塞,直到本次系统调用(比如I/O)结束。
1对1内核级线程模型
- 每个用户线程都对应一个的内核调度实体。
- 内核会对每个线程进行调度,可以调度到其他处理器上。
- 线程每次操作会在用户态和内核态切换。
- 线程数量过多时,对系统性能有影响。
多对多两级线程模型
- 每个用户线程拥有多个内核调度实体
- 多个用户线程也可以对应一个内核调度实体
- 实现该模型非常复杂。
目前(linux)基本上都采用一对一模型。
总结
- 线程系统调用阻塞时,在多对1用户级线程模型下,会导致所属进程阻塞。
- 在1对1或多对多模型下,不会导致该问题的发生。
- 如果是单进程单线程的话,不管哪个模型,都会阻塞的。