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