https://w3xse7en.github.io/docs/os/ OS Wowchemy (https://wowchemy.com)zh https://w3xse7en.github.io/images/icon_hua2ec155b4296a9c9791d015323e16eb5_11927_512x512_fill_lanczos_center_2.png https://w3xse7en.github.io/docs/os/ https://w3xse7en.github.io/docs/os/process/ Mon, 01 Jan 0001 00:00:00 +0000 https://w3xse7en.github.io/docs/os/process/ <hr> <h2>目录</h2> <nav id="TableOfContents"> <ul> <li><a href="#进程">进程</a> <ul> <li><a href="#什么是孤儿进程">什么是孤儿进程</a></li> <li><a href="#什么是僵尸进程">什么是僵尸进程</a></li> <li><a href="#进程上下文">进程上下文</a></li> <li><a href="#内核与用户">内核与用户</a></li> <li><a href="#进程状态转换">进程状态转换</a></li> <li><a href="#进程间通信的同步异步-阻塞非阻塞">进程间通信的同步/异步， 阻塞/非阻塞</a></li> </ul> </li> <li><a href="#线程">线程</a> <ul> <li><a href="#线程上下文">线程上下文</a></li> <li><a href="#线程上下文切换耗时比进程大吗">线程上下文切换耗时比进程大吗？</a></li> </ul> </li> <li><a href="#协程">协程</a></li> <li><a href="#参考">参考</a></li> </ul> </nav> <hr> <br> <h2 id="进程">进程</h2> <hr> <p><strong>进程是资源封装的单位。</strong> 进程封装的资源包括：内存、文件、文件系统、信号、控制台等等。</p> <ul> <li><strong>在任意时刻， 一个 CPU 核心上（processor）只可能运行一个进程 。</strong></li> </ul> <h3 id="什么是孤儿进程">什么是孤儿进程</h3> <ul> <li><strong>当父进程退出时，它的子进程们（一个或者多个）就成了孤儿进程</strong></li> </ul> <p>当孤儿进程结束后，init进程会释放孤儿进程的资源，因此孤儿进程不会有危害</p> <p>一个父进程退出，而它的一个或多个子进程还在运行，那么那些子进程将成为孤儿进程。孤儿进程将被init进程(进程号为1)所收养，并由init进程对它们完成状态收集工作。 由于孤儿进程会被init进程给收养，所以孤儿进程不会对系统造成危害。</p> <h3 id="什么是僵尸进程">什么是僵尸进程</h3> <ul> <li><strong>子进程先退出，而父进程又没有去处理回收释放子进程的资源，这个时候子进程就成了僵尸进程</strong></li> </ul> <p>通常系统的进程数量都是有限制的，如果有大量的僵尸进程占用进程号，导致新的进程无法创建</p> <p>在fork()/execve()过程中，假设子进程结束时父进程仍存在，而父进程fork()之前既没安装SIGCHLD信号处理函数调用waitpid()等待子进程结束，又没有显式忽略该信号，则子进程成为僵死进程，无法正常结束，此时即使是root身份kill -9也不能杀死僵死进程。</p> <p>当我们寻求如何消灭系统中大量的僵尸进程时，答案就是把产生大量僵尸进程的那个元凶枪毙掉（通过kill发送SIGTERM或者SIGKILL信号）。枪毙了元凶进程之后，它产生的僵尸进程就变成了孤儿进程，这些孤儿进程会被init进程接管，init进程会wait()这些孤儿进程，释放它们占用的系统进程表中的资源。</p> <h3 id="进程上下文">进程上下文</h3> <ul> <li><strong>当一个进程在执行时,CPU的所有寄存器中的值、进程的状态以及堆栈中的内容被称为该进程的上下文。</strong></li> </ul> <p>当内核需要切换到另一个进程时，它需要保存当前进程的所有状态，即保存当前进程的上下文，以便在再次执行该进程时，能够必得到切换时的状态执行下去。</p> <p>在LINUX中，当前进程上下文均保存在进程的任务数据结构中。</p> <p>在发生中断时,内核就在被中断进程的上下文中，在内核态下执行中断服务例程。但同时会保留所有需要用到的资源，以便中继服务结束时能恢复被中断进程的执行。</p> <ul> <li>发生进程上下文切换的场景</li> </ul> <ol> <li>为了保证所有进程可以得到公平调度，CPU 时间被划分为一段段的时间片，这些时间片再被轮流分配给各个进程。这样，当某个进程的时间片耗尽了，就会被系统挂起，切换到其它正在等待 CPU 的进程运行。</li> <li>进程在系统资源不足（比如内存不足）时，要等到资源满足后才可以运行，这个时候进程也会被挂起，并由系统调度其他进程运行。</li> <li>当进程通过睡眠函数 sleep 这样的方法将自己主动挂起时，自然也会重新调度。</li> <li>当有优先级更高的进程运行时，为了保证高优先级进程的运行，当前进程会被挂起，由高优先级进程来运行</li> <li>发生硬件中断时，CPU 上的进程会被中断挂起，转而执行内核中的中断服务程序。</li> </ol> <h3 id="内核与用户">内核与用户</h3> <ul> <li><strong>当进程在执行用户自己的代码时，则称其处于用户运行态（用户态）。</strong></li> </ul> <p>此时处理器在特权级最低的（3级）用户代码中运行。当正在执行用户程序而突然被中断程序中断时，此时用户程序也可以象征性地称为处于进程的内核态。因为中断处理程序将使用当前进程的内核栈。</p> <ul> <li><strong>当一个任务（进程）执行系统调用而陷入内核代码中执行时，称进程处于内核运行态（内核态）。</strong></li> </ul> <p>此时处理器处于特权级最高的（0级）内核代码中执行。当进程处于内核态时，执行的内核代码会使用当前进程的内核栈。每个进程都有自己的内核栈。</p> <h3 id="进程状态转换">进程状态转换</h3> <figure id="figure-进程状态轮转图"> <a data-fancybox="" href="https://w3xse7en.github.io/media/os/process-status-transfer-en.jpg" data-caption="进程状态轮转图"> <img src="https://w3xse7en.github.io/media/os/process-status-transfer-en.jpg" alt="" > </a> <figcaption> 进程状态轮转图 </figcaption> </figure> <p>上图展示了一个进程的不同状态</p> <ul> <li>New. 进程正在被创建.</li> <li>Ready. 进程在等待被操作系统调度</li> <li>Running. 进程的指令正在被执行</li> <li>Waiting. 进程正在等待一些事件的发生（例如 I/O 的完成或者收到某个信号）</li> <li>Terminated. 进程执行完毕（可能是被强行终止的）</li> </ul> <figure > <a data-fancybox="" href="https://w3xse7en.github.io/media/os/process-status-transfer-cn.jpg" > <img src="https://w3xse7en.github.io/media/os/process-status-transfer-cn.jpg" alt="" > </a> </figure> <ul> <li>在程序中，创建一个MySQL Client实例，对应创建进程</li> <li>MySQL Client启动时会连接MySQL Server，等待MySQL语句执行，对应进程就绪</li> <li>使用MySQL Client执行Select语句，对应进程运行</li> <li>等待MySQL Server返回Select结果，对应进程阻塞</li> <li>Select结果返回后，MySQL Client重新等待语句执行，对应进程就绪</li> <li>MySQL Client 执行exit操作，对应进程运行，中止MySQL Client 对应进程中止</li> </ul> <h3 id="进程间通信的同步异步-阻塞非阻塞">进程间通信的同步/异步， 阻塞/非阻塞</h3> <ul> <li> <p><strong>进程间的通信是通过 send() 和 receive() 两种基本操作完成的。具体如何实现这两种基础操作，存在着不同的设计。 消息的传递有可能是阻塞的或非阻塞的 – 也被称为同步或异步的</strong></p> </li> <li> <p>阻塞式发送（blocking send）发送方进程会被一直阻塞， 直到消息被接受方进程收到。</p> </li> <li> <p>非阻塞式发送（nonblocking send）。发送方进程调用 send() 后， 立即就可以其他操作。</p> </li> <li> <p>阻塞式接收（blocking receive） 接收方调用 receive() 后一直阻塞， 直到消息到达可用。</p> </li> <li> <p>非阻塞式接受（nonblocking receive） 接收方调用 receive() 函数后， 要么得到一个有效的结果， 要么得到一个空值， 即不会被阻塞。</p> </li> </ul> <hr> <h2 id="线程">线程</h2> <p><strong>线程则是Linux的调度单位，共享同一个进程下的资源。</strong> Linux内核调度器是以线程为单位进行调度和上下文切换的。</p> <h3 id="线程上下文">线程上下文</h3> <ul> <li><strong>线程是调度的基本单位，而进程则是资源拥有的基本单位。</strong></li> </ul> <p>说白了，所谓内核中的任务调度，实际上的调度对象是线程；而进程只是给线程提供了虚拟内存、全局变量等资源。</p> <p>所以，对于线程和进程，我们可以这么理解：</p> <ol> <li>当进程只有一个线程时，可以认为进程就等于线程。</li> <li>当进程拥有多个线程时，这些线程会共享相同的虚拟内存和全局变量等资源。这些资源在上下文切换时是不需要修改的。另外，线程也有自己的私有数据，比如栈和寄存器等，这些在上下文切换时也是需要保存的。</li> </ol> <ul> <li>发生线程上下文切换的场景</li> </ul> <ol> <li>前后两个线程属于不同进程。此时，因为资源不共享，所以切换过程就跟进程上下文切换是一样。</li> <li>前后两个线程属于同一个进程。此时，因为虚拟内存是共享的，所以在切换时，虚拟内存这些资源就保持不动，只需要切换线程的私有数据、寄存器等不共享的数据</li> </ol> <h3 id="线程上下文切换耗时比进程大吗">线程上下文切换耗时比进程大吗？</h3> <ul> <li>从上下文切换的耗时上来看，Linux线程（轻量级进程）其实和进程差别不太大。</li> </ul> <hr> <h2 id="协程">协程</h2> <hr> <h2 id="参考">参考</h2> <p><a href="https://www.jianshu.com/p/7390f73ad668" target="_blank" rel="noopener">孤儿进程、僵尸进程和守护进程</a></p> <p><a href="https://xie.infoq.cn/article/3a980c8f6a5a0a7a26cc3d2e8" target="_blank" rel="noopener">面试官问：僵尸进程和孤儿进程有了解过吗</a></p> <p><a href="https://www.cnblogs.com/Anker/p/3269106.html" target="_blank" rel="noopener">用户空间与内核空间，进程上下文与中断上下文[总结]</a></p> <p><a href="https://zhuanlan.zhihu.com/p/79772089" target="_blank" rel="noopener">进程/线程上下文切换会用掉你多少CPU</a></p>