Linux 守护进程的实现
Eloisa8912
9年前
<p>昨天突然地来了场面试，让我有点不知所措，好在好多好多天前复习了下，但是自感表现不是很好（<em>面试官的声音比较柔和，更是让我不知所措</em>）。询问了做过的项目后，看我简历上有写 Linux 进程相关的经历，就开始追问了，从 IPC 到 Redis 再到 Nginx 模块开发、网络编程，还问了下 Golang（老实讲，Go 初学，只照着官网文档看了一遍，几天后忘得差不多了），最后问了个问题，让我遗憾了好多天，就是本文的题目：<strong>如何实现守护进程？</strong></p> <p>本来这个应该知道的，前面看过 Nginx 和 Redis 基础架构，都是以 <strong>Daemon</strong> 的方式运行的。但是当时没查词典 “Daemon” 是什么意思，然而又感觉这个名词好像在哪里见过，结果便懵了，只能说不知道“<strong>守护进程</strong>”这个东西……归根到底还是因为没有相关服务端开发经验惹的祸。这不禁让我记起当年老大问我“SQL绑定变量”的原因是什么，只记得当时脸红过关羽；哎，只知道这样用，却不知这个东西叫啥……</p> <p>那么守护进程到底是做什么的呢？该如何实现呢？经过一番深刻地反省和检讨之后，博主认真学习怎么去实现守护进程。</p> <h2>守护进程 Daemon</h2> <p>守护进程，也即通常所说的 Daemon 进程，是 Linux 下一种特殊的后台服务进程，它独立于控制终端并且周期性的执行某种任务或者等待处理某些发生的事件。守护进程通常在系统引导装入时启动，在系统关闭时终止。Linux 系统下大多数服务都是通过守护进程实现的。</p> <p>守护进程的名称通常以 “d” 结尾，如 “httpd”、“crond”、“mysqld”等。</p> <p>控制终端是什么？<br> 终端是用户与操作系统进行交流的界面。在 Linux 系统中，用户由终端登录系统登入系统后会得到一个 shell 进程，这个终端便成为这个 shell 进程的控制终端（Controlling Terminal）。shell 进程启动的其他进程，由于复制了父进程的信息，因此也都同依附于这个控制终端。<br> 从终端启动的进程都依附于该终端，并受终端控制和影响。终端关闭，相应的进程都会自动关闭。守护进程脱离终端的目的，也即是不受终端变化的影响不被终端打断，当然也不想在终端显示执行过程中的信息。</p> <p><strong>如果不想进程受到用户、终端或其他变化的影响，就必须把它变成守护进程。</strong></p> <h2>如何实现守护进程</h2> <p>守护进程属于 Linux 进程管理的范畴。其首要的特性是<strong>后台运行</strong>；其次，要与从启动它的父进程的运行环境隔离开来，需要处理的内容大致包括会话、控制终端、进程组、文件描述符、文件权限掩码以及工作目录等。<br> 守护进程可以在 Linux 启动时从脚本 <code>/etc/rc.d</code> 启动，也可以由作业规划进程 <code>crond</code> 启动，还可以通过用户终端（一般是 Shell）启动。</p> <p>实现一个守护进程，其实就是将普通进程按照上述特性改造为守护进程的过程。<br> 需要注意的一点是，不同版本的 Unix 系统其实现机制不同，BSD 和 Linux 下的实现细节就不同。</p> <p>根据上述的特性，我们便可以创建一个简单的守护进程，这里以 Linux 系统下从终端 Shell 来启动为例。</p> <h3>1、创建子进程，父进程退出</h3> <p>编写守护进程第一步，就是要使得进程独立于终端后台运行。为避免终端挂起，将父进程退出，造成程序已经退出的假象，而后面的工作都在子进程完成，这样控制终端也可以继续执行其他命令，从而在形式上脱离控制终端的控制。</p> <p>由于父进程先于子进程退出，子进程就变为孤儿进程，并由 init 进程作为其父进程收养。</p> <h3>2、子进程创建新会话</h3> <p>经过上一步，子进程已经后台运行，然而系统调用 <code>fork</code> 创建子进程，子进程便复制了原父进程的进程控制块（PCB），相应地继承了一些信息，包括会话、进程组、控制终端等信息。尽管父进程已经退出，但子进程的会话、进程组、控制终端的信息没有改变。为使子进程完全摆脱父进程的环境，需要调用 <code>setsid</code> 函数。</p> <p>这里有必要说一下两个概念：<strong>会话</strong>和<strong>进程组</strong>。</p> <p>进程组：一个或多个进程的集合。拥有唯一的标识进程组 ID，每个进程组都有一个组长进程，该进程的进程号等于其进程组的 ID。进程组 ID 不会因组长进程退出而受到影响，<code>fork</code> 调用也不会改变进程组 ID。</p> <p>会话：一个或多个进程组的集合。新建会话时，当前进程（会话中唯一的进程）成为会话首进程，<strong>也是当前进程组的组长进程</strong>，其进程号为会话 ID，同样也是该进程组的 ID。它通常是登录 shell，也可以是调用 <code>setsid</code> 新建会话的孤儿进程。<br> 注意：组长进程调用 <code>setsid</code> ，则出错返回，无法新建会话。</p> <p>通常，会话开始于用户登录，终止于用户退出，期间的所有进程都属于这个会话。一个会话一般包含一个<strong>会话首进程</strong>、一个<strong>前台进程组</strong>和一个<strong>后台进程组</strong>，控制终端可有可无；此外，前台进程组只有一个，后台进程组可以有多个，这些进程组共享一个控制终端。</p> <ul> <li> <p>前台进程组：<br> 该进程组中的进程可以<strong>向终端设备进行读、写操作</strong>（属于该组的进程可以从终端获得输入）。该进程组的 ID 等于控制终端进程组 ID，通常据此来判断前台进程组。</p> </li> <li> <p>后台进程组：<br> 会话中除了会话首进程和前台进程组以外的所有进程，都属于后台进程组。该进程组中的进程<strong>只能向终端设备进行写操作</strong>。</p> </li> </ul> <p>下图为会话、进程组、进程和控制终端之间的关系（登录 shell 进程本身属于一个单独的进程组）。</p> <p><img alt="Linux 守护进程的实现" src="https://simg.open-open.com/show/6cbf9d070bcfe7ce15d6271f45dd7650.png" width="536" height="346"></p> <p><em>想了解更多关于会话 <strong>Sessions</strong> 内容，可以认真读一下 <a href="/misc/goto?guid=4959674788077707078"><strong>APUE</strong></a> 这本书。</em></p> <p>如果调用进程非组长进程，那么就能创建一个新会话：</p> <ul> <li>该进程变成新会话的首进程</li> <li>该进程成为一个新进程组的组长进程</li> <li>该进程没有控制终端，如果之前有，则会被中断（<strong>会话过程对控制终端的独占性</strong>）</li> </ul> <p>也就是说：<strong>组长进程不能成为新会话首进程，新会话首进程必定成为组长进程</strong>。</p> <p>到此为止，我们熟悉了会话与进程间的关系，那么如何新建一个会话呢？</p> <p>通过调用 <code>setsid</code> 函数可以创建一个新会话，调用进程担任新会话的首进程，其作用有：</p> <ul> <li>使当前进程脱离原会话的控制</li> <li>使当前进程脱离原进程组的控制</li> <li>使当前进程脱离原控制终端的控制</li> </ul> <p>这样，当前进程才能实现真正意义上完全独立出来，摆脱其他进程的控制。</p> <p>另外，要提一下，尽管进程变成无终端的会话首进程，但是它仍然可以重新申请打开一个控制终端。可以通过再次创建子进程结束当前进程，<strong>使进程不再是会话首进程</strong>来禁止进程重新打开控制终端。</p> <h3>3、改变当前目录为根目录</h3> <p>直接调用 <code>chdir</code> 函数切换到根目录下。<br> 由于进程运行过程中，当前目录所在的文件系统（如：“/mnt/usb”）是不能卸载的，为避免对以后的使用造成麻烦，改变工作目录为根目录是必要的。如有特殊需要，也可以改变到特定目录，如“/tmp”。</p> <h3>4、重设文件权限掩码</h3> <p><code>fork</code> 函数创建的子进程，继承了父进程的文件操作权限，为防止对以后使用文件带来问题，需要重设<strong>文件权限掩码</strong>。</p> <p>文件权限掩码，设定了文件权限中要屏蔽掉的对应位。这个跟文件权限的八进制数字模式表示差不多，将现有存取权限减去权限掩码（或做异或运算），就可产生新建文件时的预设权限。</p> <p>调用 <code>umask</code> 设置文件权限掩码，通常是重设为 0，清除掩码，这样可以大大增强守护进程的灵活性。</p> <h3>5、关闭文件描述符</h3> <p>同文件权限掩码一样，子进程可能继承了父进程打开的文件，而这些文件可能永远不会被用到，但它们一样消耗系统资源，而且可能导致所在的文件系统无法卸下，因此需要一一关闭它们。由于守护进程脱离了终端运行，因此标准输入、标准输出、标准错误输出这3个文件描述符也要关闭。通常按如下方式来关闭：</p> <pre> <code class="language-cpp">for (i=0; i < MAXFILE; i++) close(i); </code></pre> <p>这里要注意下，<code>param.h</code> 头文件中定义了一个常量 <code>NOFILE</code>，表示最大允许的文件描述符，但是我们尽量不要用它，而是通过调用函数 <code>getdtablesize</code> 返回进程文件描述符表中的项数（即打开的文件数目）：</p> <blockquote> <p>/* The following are not really correct but it is a value we used for a long time<br> and which seems to be usable. People should not use <strong>NOFILE</strong> and <strong>NCARGS</strong> anyway. */<br> <strong>#define NOFILE 256</strong><br> <strong>#define NCARGS 131072</strong></p> </blockquote> <p>至此为止，一个简单的守护进程就建立起来了。<br> 另外，有些 Unix 提供一个 <code>daemon</code> 的 C 库函数，实现守护进程。（BSD 和 Linux 均提供这个函数）：</p> <blockquote> <p><strong>NAME</strong><br> daemon - run in the background</p> <p><strong>SYNOPSIS</strong><br> #include <unistd.h><br> int daemon(int nochdir, int noclose);</p> <p><strong>DESCRIPTION</strong><br> The daemon() function is for programs wishing to detach themselves from the controlling terminal and run in the background as system daemons.</p> </blockquote> <h2>守护进程实例</h2> <p>代码说明：</p> <pre> <code class="language-cpp">#include <stdio.h> #include <stdlib.h> #include <string.h> #include <time.h> #include <unistd.h> #include <sys/param.h> #include <sys/types.h> #include <sys/stat.h> #include <fcntl.h> // 守护进程初始化函数 void init_daemon() { pid_t pid; int i = 0; if ((pid = fork()) == -1) { printf("Fork error !\n"); exit(1); } if (pid != 0) { exit(0); // 父进程退出 } setsid(); // 子进程开启新会话，并成为会话首进程和组长进程 if ((pid = fork()) == -1) { printf("Fork error !\n"); exit(-1); } if (pid != 0) { exit(0); // 结束第一子进程，第二子进程不再是会话首进程 } chdir("/tmp"); // 改变工作目录 umask(0); // 重设文件掩码 for (; i < getdtablesize(); ++i) { close(i); // 关闭打开的文件描述符 } return; } int main(int argc, char *argv[]) { int fp; time_t t; char buf[] = {"This is a daemon: "}; char *datetime; int len = 0; //printf("The NOFILE is: %d\n", NOFILE); //printf("The tablesize is: %d\n", getdtablesize()); //printf("The pid is: %d\n", getpid()); // 初始化 Daemon 进程 init_daemon(); // 每隔一分钟记录运行状态 while (1) { if (-1 == (fp = open("/tmp/daemon.log", O_CREAT|O_WRONLY|O_APPEND, 0600))) { printf("Open file error !\n"); exit(1); } len = strlen(buf); write(fp, buf, len); t = time(0); datetime = asctime(localtime(&t)); len = strlen(datetime); write(fp, datetime, len); close(fp); sleep(60); } return 0; } </code></pre> <p>测试结果：</p> <p><img alt="Linux 守护进程的实现" src="https://simg.open-open.com/show/e8aa44d333d8e2a40ade435fec8dfa11.png" width="605" height="268"></p> <h2>僵尸进程</h2> <p>提到守护进程，就不得不说一下另一类特殊进程——<strong>僵尸进程</strong>。</p> <p>那什么是僵尸进程呢？<br> 以前看的书上大致都说“如果父进程中没有等待子进程的结束，那么子进程就会变成僵尸进程”，所以就想当然地认为“如果父进程先于子进程结束，那么子进程就成为僵尸进程”。<br> 事实上，这是完全错误的理解，<strong>父进程先于子进程结束</strong>，这时的子进程应该称作“<strong>孤儿进程</strong>（Orphan）”，它将被 1 号进程（init 进程）接管，init 进程成为其父进程。而僵尸进程是<strong>子进程先于父进程结束</strong>，而且父进程没有函数调用 <code>wait()</code> 或 <code>waitpid()</code> 等待子进程结束，也没有注册 <code>SIGCHLD</code>信号处理函数，结果使得子进程的<strong>进程列表信息</strong>无法回收，就变成了僵尸进程（Zombie）。</p> <p><strong>一个已经终止，但是其父进程尚未对其进行善后处理（获取终止子进程的有关信息、释放它仍占用的资源）的进程被称为僵尸进程。</strong></p> <p> </p>