Linux并发程序设计(1)——进程

 

进程的概念

       在了解进程之前我们需要了解什么是程序,程序就是存放在磁盘上的指令和数据的有序集合(文件),程序是静态的(程序编译好以后指令、数据等就不能再改变)。
       进程与程序是密切相关的,进程是操作系统为了执行一个程序分配资源的总称、是程序的一次执行过程,进程相当于程序来说是动态的,包括创建、调度、执行和消亡。当系统执行一个程序时,至少创建了一个进程

进程内容

在这里插入图片描述
       进程主要包括代码(正文)、用户程序、系统数据。系统数据有助于操作系统管理进程。系统数据段主要包括进程控制块(PCB Process Control Block)、CPU寄存器值、堆栈。

系统数据段作用
进程控制块(pcb)① 进程标识PID ② 进程用户 ③ 进程状态、优先级 ④文件描述符表
寄存器程序计数器PC(program counter)该寄存器保存了程序下一个指令的地址
堆栈C语言局部变量、函数的参数、返回值都是在栈上创建的

进程类型

  • 交互进程:在Shell下启动。以在前台运行,也可以在后台运行。(后台运行给指令后加一个‘&’)
  • 批处理进程:与在终端无关,被提交到一个作业队列中以便执行
  • 守护进程:和终端没有关系,一直在后台运行

进程的状态

  • 运行态:进程正在运行,或者准备运行
  • 等待态:进程在等待一个事件的发生某种系统资源(分为可中断和不可中断)
  • 停止态:进程被终止,收到信号后可继续运行
  • 死亡态:已终止的程序,但是pcb没有被释放
  • 进程状态图:

Linux下进程的相关命令

查看进程相关信息

终端命令显示结果
ps -ef进程所有者、进程号、父进程号、进程执行时间、程序对应名称
ps aux相对于ps -ef还能够显示进程的当前状态(运行态、停止态、前台进程等)
top可以查看进程动态信息(每隔3秒钟统计系统信息)能显示系统最消耗CPU资源的进程
/proc目录查看进入该目录下可以查看进程的详细信息

注意使用ps命令都可以配合管道命令进行筛选相关进程信息

修改进程优先级

命令作用
nice按用户指定优先级运行进程
renice改变正在运行进程的优先级

示例:

<span style="color:#000000"><code class="language-bash"><span style="color:#dd4a68">nice</span> -n 2 ./test<span style="color:#708090">#将test进程的nice值设置为2</span>

<span style="color:#dd4a68">renice</span> -n 2 29070<span style="color:#708090">#将进程号为29070的nice值设置为2</span>
</code></span>
  • 1
  • 2
  • 3

注意进程的nice值默认是0,范围为- 20~20,nice值越小则优先级越高。普通用户设置的nice值只能为0 ~ 20,且只能增加nice值

前后台进程切换

命令作用
jobs查看后台进程(作业)
bg将挂起的进程在后台运行
fg把后台运行的进程放到前台运行

进程相关函数

创建进程——fork

<span style="color:#000000"><code class="language-c"><span style="color:#986801">#<span style="color:#0077aa">include</span> <span style="color:#50a14f"><unistd.h></span></span>
pid_t <span style="color:#dd4a68">fork</span><span style="color:#999999">(</span><span style="color:#0077aa">void</span><span style="color:#999999">)</span><span style="color:#999999">;</span><span style="color:#708090">//pid_t 等价与有符号整型</span>
</code></span>
  • 1
  • 2
  • 创建新的进程,失败返回-1
  • 创建成功时,父进程返回子进程的进程号,子进程返回0
  • 通过fork()的返回值来区分父子进程

示例:

<span style="color:#000000"><code class="language-c"><span style="color:#986801">#<span style="color:#0077aa">include</span><span style="color:#50a14f"><stdio.h></span></span>
<span style="color:#986801">#<span style="color:#0077aa">include</span><span style="color:#50a14f"><unistd.h></span></span>

<span style="color:#0077aa">int</span> <span style="color:#dd4a68">main</span><span style="color:#999999">(</span><span style="color:#999999">)</span>
<span style="color:#999999">{</span>
    pid_t pid<span style="color:#999999">;</span>
    <span style="color:#0077aa">if</span><span style="color:#999999">(</span><span style="color:#999999">(</span>pid<span style="color:#a67f59">=</span><span style="color:#dd4a68">fork</span><span style="color:#999999">(</span><span style="color:#999999">)</span><span style="color:#999999">)</span><span style="color:#a67f59"><</span><span style="color:#986801">0</span><span style="color:#999999">)</span><span style="color:#999999">{</span>
	<span style="color:#dd4a68">perror</span><span style="color:#999999">(</span><span style="color:#50a14f">"fork"</span><span style="color:#999999">)</span><span style="color:#999999">;</span><span style="color:#708090">//创建失败,打印错误信息</span>
	<span style="color:#0077aa">return</span> <span style="color:#a67f59">-</span><span style="color:#986801">1</span><span style="color:#999999">;</span>
    <span style="color:#999999">}</span>
    <span style="color:#0077aa">else</span> <span style="color:#0077aa">if</span><span style="color:#999999">(</span>pid<span style="color:#a67f59">==</span><span style="color:#986801">0</span><span style="color:#999999">)</span><span style="color:#999999">{</span>
	<span style="color:#dd4a68">printf</span><span style="color:#999999">(</span><span style="color:#50a14f">"child prosess:my pid is %d\n"</span><span style="color:#999999">,</span><span style="color:#dd4a68">getpid</span><span style="color:#999999">(</span><span style="color:#999999">)</span><span style="color:#999999">)</span><span style="color:#999999">;</span><span style="color:#708090">//创建子进程,返回子进程的pid号</span>
    <span style="color:#999999">}</span>
    <span style="color:#0077aa">else</span><span style="color:#999999">{</span>
	<span style="color:#dd4a68">printf</span><span style="color:#999999">(</span><span style="color:#50a14f">"parent process:my pid is %d\n"</span><span style="color:#999999">,</span><span style="color:#dd4a68">getpid</span><span style="color:#999999">(</span><span style="color:#999999">)</span><span style="color:#999999">)</span><span style="color:#999999">;</span><span style="color:#708090">//打印父进程的进程号</span>
    <span style="color:#999999">}</span>
<span style="color:#999999">}</span>
</code></span>
  • 1
  • 2
  • 3
  • 4
  • 5
  • 6
  • 7
  • 8
  • 9
  • 10
  • 11
  • 12
  • 13
  • 14
  • 15
  • 16
  • 17

父子进程

  • 子进程继承了父进程的内容(几乎赋值了父进程的全部内容,但是pid、ppid不同)
  • 父子进程有独立的地址空间,互不影响
  • 若父进程先结束
    • 子进程成为孤儿进程,被init进程收养
    • 子进程变成后台进程
  • 若子进程先结束
    • 父进程如果没有及时回收,子进程变成僵尸进程

注意:
       1. 子进程是从fork函数的下一条语句开始执行,并没有执行fork
       2. 内核先调用父进程就先执行父进程,先调用子进程就先执行子进程
       3. 父进程可以多次调用fork,子进程也可以调用fork创建孙进程(注意进程的回收)

结束进程——exit/_exit/return

<span style="color:#000000"><code class="language-c"><span style="color:#986801">#<span style="color:#0077aa">include</span> <span style="color:#50a14f"><stdlib.h></span></span>
<span style="color:#986801">#<span style="color:#0077aa">include</span> <span style="color:#50a14f"><unistd.h></span></span>
<span style="color:#0077aa">void</span> <span style="color:#dd4a68">exit</span><span style="color:#999999">(</span><span style="color:#0077aa">int</span> status<span style="color:#999999">)</span><span style="color:#999999">;</span><span style="color:#708090">//用stdlib.h头文件</span>
<span style="color:#0077aa">void</span> <span style="color:#dd4a68">_exit</span><span style="color:#999999">(</span><span style="color:#0077aa">int</span> status<span style="color:#999999">)</span><span style="color:#999999">;</span><span style="color:#708090">//用unistd.h头文件</span>
</code></span>
  • 1
  • 2
  • 3
  • 4
  • 结束当前的进程并将status返回
  • exit结束后会刷新流的缓冲区
    示例:
<span style="color:#000000"><code class="language-c"><span style="color:#986801">#<span style="color:#0077aa">include</span> <span style="color:#50a14f"><stdio.h></span></span>
<span style="color:#986801">#<span style="color:#0077aa">include</span> <span style="color:#50a14f"><stdlib.h></span></span>
<span style="color:#0077aa">int</span> <span style="color:#dd4a68">main</span><span style="color:#999999">(</span><span style="color:#0077aa">void</span><span style="color:#999999">)</span>
<span style="color:#999999">{</span>
	<span style="color:#dd4a68">printf</span><span style="color:#999999">(</span><span style="color:#50a14f">"this process will exit"</span><span style="color:#999999">)</span><span style="color:#999999">;</span><span style="color:#708090">//没有换行符只能写到标准输出流的缓冲区,不会在终端显示</span>
	<span style="color:#dd4a68">exit</span><span style="color:#999999">(</span><span style="color:#986801">0</span><span style="color:#999999">)</span><span style="color:#999999">;</span><span style="color:#708090">//结束进程,刷新缓冲区的流,因此上条语句会显示在终端上</span>
	<span style="color:#dd4a68">printf</span><span style="color:#999999">(</span><span style="color:#50a14f">"never be discovered"</span><span style="color:#999999">)</span><span style="color:#999999">;</span><span style="color:#708090">//不会被打印	</span>
<span style="color:#999999">}</span>
</code></span>
  • 1
  • 2
  • 3
  • 4
  • 5
  • 6
  • 7
  • 8

exec函数族

作用

  • 进程调用exec函数族执行某个程序
  • 进程当前内容被指定程序替换
  • 实现父子进程执行不同程序
    • 父进程创建子进程
    • 父进程调用exec函数族
    • 父进程不受影响
<span style="color:#000000"><code class="language-c"><span style="color:#986801">#<span style="color:#0077aa">include</span> <span style="color:#50a14f"><unistd.h></span></span>
<span style="color:#0077aa">int</span> <span style="color:#dd4a68">execl</span><span style="color:#999999">(</span><span style="color:#0077aa">const</span> <span style="color:#0077aa">char</span> <span style="color:#a67f59">*</span>path<span style="color:#999999">,</span><span style="color:#0077aa">const</span> <span style="color:#a67f59">*</span>arg<span style="color:#999999">,</span><span style="color:#999999">.</span><span style="color:#999999">.</span><span style="color:#999999">.</span><span style="color:#999999">)</span><span style="color:#999999">;</span><span style="color:#708090">//arg...传递给执行的程序的参数列表</span>
<span style="color:#0077aa">int</span> <span style="color:#dd4a68">execlp</span><span style="color:#999999">(</span><span style="color:#0077aa">const</span> <span style="color:#0077aa">char</span> <span style="color:#a67f59">*</span>file<span style="color:#999999">,</span><span style="color:#0077aa">const</span> <span style="color:#0077aa">char</span> <span style="color:#a67f59">*</span>arg<span style="color:#999999">,</span><span style="color:#999999">.</span><span style="color:#999999">.</span><span style="color:#999999">.</span><span style="color:#999999">)</span><span style="color:#999999">;</span><span style="color:#708090">//arg...传递给执行的程序的参数列表</span>

<span style="color:#0077aa">int</span> <span style="color:#dd4a68">execv</span><span style="color:#999999">(</span><span style="color:#0077aa">const</span> <span style="color:#0077aa">char</span> <span style="color:#a67f59">*</span>path<span style="color:#999999">,</span><span style="color:#0077aa">char</span> <span style="color:#a67f59">*</span><span style="color:#0077aa">const</span> argv<span style="color:#999999">[</span><span style="color:#999999">]</span><span style="color:#999999">)</span><span style="color:#999999">;</span><span style="color:#708090">//arg...封装成指针数组的形式</span>
<span style="color:#0077aa">int</span> <span style="color:#dd4a68">execvp</span><span style="color:#999999">(</span><span style="color:#0077aa">const</span> <span style="color:#0077aa">char</span><span style="color:#a67f59">*</span>file<span style="color:#999999">,</span><span style="color:#0077aa">char</span> <span style="color:#a67f59">*</span><span style="color:#0077aa">const</span> argv<span style="color:#999999">[</span><span style="color:#999999">]</span><span style="color:#999999">)</span><span style="color:#999999">;</span><span style="color:#708090">//arg...封装成指针数组的形式 </span>
</code></span>
  • 1
  • 2
  • 3
  • 4
  • 5
  • 6
  • 成功时返回指定程序;失败时返回EOF
  • path执行的程序名称,包含路径
  • file执行程序的名称,在PATH中查找

示例:

       执行ls命令,显示/etc目录下所有文件的详细信息

<span style="color:#000000"><code class="language-c">方式<span style="color:#986801">1</span>:execl
<span style="color:#0077aa">if</span><span style="color:#999999">(</span><span style="color:#dd4a68">execl</span><span style="color:#999999">(</span><span style="color:#50a14f">"/bin/ls"</span><span style="color:#999999">,</span><span style="color:#50a14f">"ls"</span><span style="color:#999999">,</span><span style="color:#50a14f">"-a"</span><span style="color:#999999">,</span><span style="color:#50a14f">"-l"</span><span style="color:#999999">,</span><span style="color:#50a14f">"/etc"</span><span style="color:#999999">,</span><span style="color:#986801">NULL</span><span style="color:#999999">)</span><span style="color:#a67f59"><</span><span style="color:#986801">0</span><span style="color:#999999">{</span><span style="color:#708090">//一定要以NULL结尾,并判断函数是否执行成功</span>
	<span style="color:#dd4a68">perror</span><span style="color:#999999">(</span><span style="color:#50a14f">"execl"</span><span style="color:#999999">)</span><span style="color:#999999">;</span>
<span style="color:#999999">}</span>	

方式<span style="color:#986801">2</span>:execlp
<span style="color:#0077aa">if</span><span style="color:#999999">(</span><span style="color:#dd4a68">execl</span><span style="color:#999999">(</span><span style="color:#50a14f">"ls"</span><span style="color:#999999">,</span><span style="color:#50a14f">"ls"</span><span style="color:#999999">,</span><span style="color:#50a14f">"-a"</span><span style="color:#999999">,</span><span style="color:#50a14f">"-l"</span><span style="color:#999999">,</span><span style="color:#50a14f">"/etc"</span><span style="color:#999999">,</span><span style="color:#986801">NULL</span><span style="color:#999999">)</span><span style="color:#a67f59"><</span><span style="color:#986801">0</span><span style="color:#999999">{</span><span style="color:#708090">//会自动在PATH路劲搜索</span>
	<span style="color:#dd4a68">perror</span><span style="color:#999999">(</span><span style="color:#50a14f">"execl"</span><span style="color:#999999">)</span><span style="color:#999999">;</span>
<span style="color:#999999">}</span>	
方式<span style="color:#986801">3</span>:execv
<span style="color:#0077aa">char</span> <span style="color:#a67f59">*</span>arg<span style="color:#999999">[</span><span style="color:#999999">]</span><span style="color:#a67f59">=</span><span style="color:#999999">{</span><span style="color:#50a14f">"ls"</span><span style="color:#999999">,</span><span style="color:#50a14f">"-a"</span><span style="color:#999999">,</span><span style="color:#50a14f">"-l"</span><span style="color:#999999">,</span><span style="color:#50a14f">"/etc"</span><span style="color:#999999">,</span><span style="color:#986801">NULL</span><span style="color:#999999">}</span><span style="color:#999999">;</span><span style="color:#708090">//将要传递的参数放在数组中</span>
<span style="color:#0077aa">if</span><span style="color:#999999">(</span><span style="color:#dd4a68">execv</span><span style="color:#999999">(</span><span style="color:#50a14f">"/bin/ls"</span><span style="color:#999999">,</span>arg<span style="color:#999999">)</span><span style="color:#a67f59"><</span><span style="color:#986801">0</span><span style="color:#999999">)</span><span style="color:#999999">{</span>
	<span style="color:#dd4a68">perror</span><span style="color:#999999">(</span><span style="color:#50a14f">"execv"</span><span style="color:#999999">)</span><span style="color:#999999">;</span>
<span style="color:#999999">}</span>
方式<span style="color:#986801">3</span><span style="color:#999999">:</span>execvp
<span style="color:#0077aa">if</span><span style="color:#999999">(</span><span style="color:#dd4a68">execvp</span><span style="color:#999999">(</span><span style="color:#50a14f">"ls"</span><span style="color:#999999">,</span>arg<span style="color:#999999">)</span><span style="color:#a67f59"><</span><span style="color:#986801">0</span><span style="color:#999999">)</span><span style="color:#999999">{</span>
	<span style="color:#dd4a68">perror</span><span style="color:#999999">(</span><span style="color:#50a14f">"execvp"</span><span style="color:#999999">)</span><span style="color:#999999">;</span><span style="color:#708090">//会自动在PATH路径中搜索</span>
<span style="color:#999999">}</span>
</code></span>
  • 1
  • 2
  • 3
  • 4
  • 5
  • 6
  • 7
  • 8
  • 9
  • 10
  • 11
  • 12
  • 13
  • 14
  • 15
  • 16
  • 17
  • 18

system函数

<span style="color:#000000"><code class="language-c"><span style="color:#986801">#<span style="color:#0077aa">include</span> <span style="color:#50a14f"><stdlib.h></span></span>
<span style="color:#0077aa">int</span> <span style="color:#dd4a68">system</span><span style="color:#999999">(</span><span style="color:#0077aa">const</span> <span style="color:#0077aa">char</span> <span style="color:#a67f59">*</span>command<span style="color:#999999">)</span>
</code></span>
  • 1
  • 2
  • 成功时返回command的返回值;失败时返回EOF(自动创建一个子进程,子进程执行命令)
  • 当前进程(父进程)等待command执行结束后才继续执行。

进程回收——wait/waitpid

  • 子进程结束时由父进程回收
  • 孤儿进程由init进程回收
  • 若孤儿进程没有回收会出现僵尸进程

回收函数——wait:

<span style="color:#000000"><code class="language-c"><span style="color:#986801">#<span style="color:#0077aa">include</span> <span style="color:#50a14f"><unistd.h></span></span>
pid_t <span style="color:#dd4a68">wait</span><span style="color:#999999">(</span><span style="color:#0077aa">int</span> <span style="color:#a67f59">*</span>status<span style="color:#999999">)</span><span style="color:#999999">;</span>
</code></span>
  • 1
  • 2
  • 成功时返回回收子进程的进程号;失败时返回EOF
  • 若子进程没有结束,父进程一直阻塞
  • 若有多个子进程,那个进程先结束就先回收
  • status指定保存子进程返回值和结束方式的地址
  • status为NULL表示直接释放子进程PCB,不接收返回值

示例:

<span style="color:#000000"><code class="language-c"><span style="color:#986801">#<span style="color:#0077aa">include</span><span style="color:#50a14f"><stdio.h></span></span>
<span style="color:#986801">#<span style="color:#0077aa">include</span><span style="color:#50a14f"><unistd.h></span></span>

<span style="color:#0077aa">int</span> <span style="color:#dd4a68">main</span><span style="color:#999999">(</span><span style="color:#999999">)</span>
<span style="color:#999999">{</span>
    <span style="color:#0077aa">int</span> status<span style="color:#999999">;</span><span style="color:#708090">//接收返回值以及返回方式</span>
    pid_t pid<span style="color:#999999">;</span><span style="color:#708090">//接收fork的返回值</span>
    <span style="color:#0077aa">if</span><span style="color:#999999">(</span><span style="color:#999999">(</span>pid<span style="color:#a67f59">=</span><span style="color:#dd4a68">fork</span><span style="color:#999999">(</span><span style="color:#999999">)</span><span style="color:#999999">)</span><span style="color:#a67f59"><</span><span style="color:#986801">0</span><span style="color:#999999">)</span><span style="color:#999999">{</span>
        <span style="color:#dd4a68">perror</span><span style="color:#999999">(</span><span style="color:#50a14f">"fork"</span><span style="color:#999999">)</span><span style="color:#999999">;</span>
        <span style="color:#dd4a68">exit</span><span style="color:#999999">(</span><span style="color:#a67f59">-</span><span style="color:#986801">1</span><span style="color:#999999">)</span><span style="color:#999999">;</span>
    <span style="color:#999999">}</span>
    <span style="color:#0077aa">else</span> <span style="color:#0077aa">if</span><span style="color:#999999">(</span>pid<span style="color:#a67f59">==</span><span style="color:#986801">0</span><span style="color:#999999">)</span><span style="color:#999999">{</span>
        <span style="color:#dd4a68">sleep</span><span style="color:#999999">(</span><span style="color:#986801">1</span><span style="color:#999999">)</span><span style="color:#999999">;</span><span style="color:#708090">//如果是子进程睡眠一秒</span>
        <span style="color:#dd4a68">exit</span><span style="color:#999999">(</span><span style="color:#986801">2</span><span style="color:#999999">)</span><span style="color:#999999">;</span><span style="color:#708090">//退出子进程</span>
    <span style="color:#999999">}</span>
    <span style="color:#0077aa">else</span><span style="color:#999999">{</span>
        <span style="color:#dd4a68">wait</span><span style="color:#999999">(</span><span style="color:#a67f59">&</span>status<span style="color:#999999">)</span><span style="color:#999999">;</span><span style="color:#708090">//等待子进程结束</span>
        <span style="color:#dd4a68">printf</span><span style="color:#999999">(</span><span style="color:#50a14f">"%x\n"</span><span style="color:#999999">,</span>status<span style="color:#999999">)</span><span style="color:#999999">;</span><span style="color:#708090">//打印输出结果</span>
    <span style="color:#999999">}</span>
<span style="color:#999999">}</span>
</code></span>
  • 1
  • 2
  • 3
  • 4
  • 5
  • 6
  • 7
  • 8
  • 9
  • 10
  • 11
  • 12
  • 13
  • 14
  • 15
  • 16
  • 17
  • 18
  • 19
  • 20
  • 子进程通过exit/_exit/return返回某个值(0~255)
  • 父进程通过调用wait(&status)回收
宏标识符作用
WIFEXITED(status)判断子进程是否正常结束
WEXITSTATUS(status)获得子进程的返回值
WIFSIGNALED(status)判断子进程是否被信号结束
WTERMSIG(status)获取结束子进程的信号类型

回收函数——wait_pid:

<span style="color:#000000"><code class="language-c"><span style="color:#986801">#<span style="color:#0077aa">include</span><span style="color:#50a14f"><unistd.h></span></span>
pid_t <span style="color:#dd4a68">waitpid</span><span style="color:#999999">(</span>pid_t pid<span style="color:#999999">,</span><span style="color:#0077aa">int</span> status<span style="color:#999999">,</span><span style="color:#0077aa">int</span> option<span style="color:#999999">)</span><span style="color:#999999">;</span>
</code></span>
  • 1
  • 2
  • 成功时返回回收子进程的pid或0;失败(如:没有子线程)返回EOF
  • pid可用于指定回收那个子进程或任意子进程
  • status指定用于保存子进程的返回值和结束方式的地址
  • option指定回收方式,0(阻塞的方式,等待子进程结束)或WNOHANG(非阻塞)

示例:

<span style="color:#000000"><code class="language-c"><span style="color:#dd4a68">waitpid</span><span style="color:#999999">(</span>pid<span style="color:#999999">,</span><span style="color:#a67f59">&</span>status<span style="color:#999999">,</span><span style="color:#986801">0</span><span style="color:#999999">)</span><span style="color:#999999">;</span><span style="color:#708090">//指定进程的进程号,阻塞方式</span>
<span style="color:#dd4a68">waitpid</span><span style="color:#999999">(</span>pid<span style="color:#999999">,</span><span style="color:#a67f59">&</span>status<span style="color:#999999">,</span>WNOHABG<span style="color:#999999">)</span><span style="color:#999999">;</span><span style="color:#708090">//子进程结束返回子进程的进程号,没有结束返回0</span>
<span style="color:#dd4a68">waitpid</span><span style="color:#999999">(</span><span style="color:#a67f59">-</span><span style="color:#986801">1</span><span style="color:#999999">,</span><span style="color:#a67f59">&</span>status<span style="color:#999999">,</span><span style="color:#986801">0</span><span style="color:#999999">)</span><span style="color:#999999">;</span><span style="color:#708090">//-1表示回收任意一个子进程,等价于wait</span>
<span style="color:#dd4a68">waitpid</span><span style="color:#999999">(</span><span style="color:#a67f59">-</span><span style="color:#986801">1</span><span style="color:#999999">,</span><span style="color:#a67f59">&</span>status<span style="color:#999999">,</span>WNOHANG<span style="color:#999999">)</span><span style="color:#999999">;</span><span style="color:#708090">//非阻塞的方式回收任意进程</span>
</code></span>
  • 1
  • 2
  • 3
  • 4

守护进程

       守护进程(Daemon)是Linux三种类型之一,通常在系统启动时运行,系统结束时关闭,Linux系统中大量使用,很多服务程序就是以守护进程形式运行。
       Linux以会话(session)、进程组的方式管理进程,每个进程就属于一个进程组。而会话是一个或者多个进程组的集合。通常用户打开一个终端时,系统会创建一个临时会话,所有通过该终端运行的进程都属于这个会话。终端关闭时,所有进程会被结束。那么我们要使得守护进程与终端无关,当终端关闭的时候守护进程依旧可以运行。

守护进程特点

  • 始终在后台运行
  • 独立于任何终端
  • 周期性的执行某种任务或等待处理特定事件

守护进程的创建

1. 创建子进程,父进程退出

<span style="color:#000000"><code class="language-c"><span style="color:#0077aa">if</span><span style="color:#999999">(</span><span style="color:#dd4a68">fork</span><span style="color:#999999">(</span><span style="color:#999999">)</span><span style="color:#a67f59">></span><span style="color:#986801">0</span><span style="color:#999999">)</span><span style="color:#999999">{</span>
	<span style="color:#dd4a68">exit</span><span style="color:#999999">(</span><span style="color:#986801">0</span><span style="color:#999999">)</span><span style="color:#999999">;</span>
<span style="color:#999999">}</span>
</code></span>
  • 1
  • 2
  • 3
  • 子进程变成孤儿进程,被init进程收养
  • 子进程在后台运行,但是依旧和终端相关联

2. 子进程创建新会话

<span style="color:#000000"><code class="language-c"><span style="color:#0077aa">if</span><span style="color:#999999">(</span><span style="color:#dd4a68">setsid</span><span style="color:#999999">(</span><span style="color:#999999">)</span><span style="color:#a67f59"><</span><span style="color:#986801">0</span><span style="color:#999999">)</span><span style="color:#708090">//通过setsid创建一个新的会话</span>
<span style="color:#999999">{</span>
	<span style="color:#dd4a68">exit</span><span style="color:#999999">(</span><span style="color:#a67f59">-</span><span style="color:#986801">1</span><span style="color:#999999">)</span><span style="color:#999999">;</span>
<span style="color:#999999">}</span>
</code></span>
  • 1
  • 2
  • 3
  • 4
  • 子进程成为新的会话组长
  • 子进程脱离原先的终端

3. 更改当前工作目录

<span style="color:#000000"><code class="language-c"><span style="color:#dd4a68">chdir</span><span style="color:#999999">(</span><span style="color:#50a14f">"/"</span><span style="color:#999999">)</span><span style="color:#999999">;</span>
<span style="color:#dd4a68">chdir</span><span style="color:#999999">(</span><span style="color:#50a14f">"/tmp"</span><span style="color:#999999">)</span><span style="color:#999999">;</span><span style="color:#708090">//所有用户可读可写可执行</span>
</code></span>
  • 1
  • 2
  • 守护进程一直在后台运行,其工作目录不能被卸载
  • 重新设定当前工作目录cwd

4. 重设文件权限掩码

<span style="color:#000000"><code class="language-c"><span style="color:#0077aa">if</span><span style="color:#999999">(</span><span style="color:#dd4a68">umask</span><span style="color:#999999">(</span><span style="color:#986801">0</span><span style="color:#999999">)</span><span style="color:#a67f59"><</span><span style="color:#986801">0</span><span style="color:#999999">)</span><span style="color:#999999">{</span>
	<span style="color:#dd4a68">exit</span><span style="color:#999999">(</span><span style="color:#a67f59">-</span><span style="color:#986801">1</span><span style="color:#999999">)</span><span style="color:#999999">;</span>
<span style="color:#999999">}</span>
</code></span>
  • 1
  • 2
  • 3
  • 文件权限掩码设置为0
  • 只影响当前进程

5. 关闭打开的文件描述符

<span style="color:#000000"><code class="language-c"><span style="color:#0077aa">int</span> i<span style="color:#999999">;</span>
<span style="color:#0077aa">for</span><span style="color:#999999">(</span>i<span style="color:#a67f59">=</span><span style="color:#986801">0</span><span style="color:#999999">;</span>i<span style="color:#a67f59"><</span><span style="color:#dd4a68">getdtablesize</span><span style="color:#999999">(</span><span style="color:#999999">)</span><span style="color:#999999">;</span>i<span style="color:#a67f59">++</span><span style="color:#999999">)</span><span style="color:#708090">//文件描述符最小就是0。getdtablesize()返回当前进程打开最大文件数</span>
<span style="color:#999999">{</span>
	<span style="color:#dd4a68">close</span><span style="color:#999999">(</span>i<span style="color:#999999">)</span><span style="color:#999999">;</span>
<span style="color:#999999">}</span>
</code></span>
  • 1
  • 2
  • 3
  • 4
  • 5
  • 关闭所有从父进程继承的打开文件
  • 已脱离终端,stdin/stdout/stderr无法再使用

示例:
       创建守护进程,没隔1秒将系统时间写入文件time.log

<span style="color:#000000"><code class="language-c"><span style="color:#986801">#<span style="color:#0077aa">include</span> <span style="color:#50a14f"><stdio.h></span></span>
<span style="color:#986801">#<span style="color:#0077aa">include</span> <span style="color:#50a14f"><string.h></span></span>
<span style="color:#986801">#<span style="color:#0077aa">include</span> <span style="color:#50a14f"><stdlib.h></span></span>
<span style="color:#986801">#<span style="color:#0077aa">include</span> <span style="color:#50a14f"><strings.h></span></span>
<span style="color:#986801">#<span style="color:#0077aa">include</span> <span style="color:#50a14f"><unistd.h></span></span>
<span style="color:#986801">#<span style="color:#0077aa">include</span> <span style="color:#50a14f"><time.h></span></span>

<span style="color:#0077aa">int</span> <span style="color:#dd4a68">main</span><span style="color:#999999">(</span><span style="color:#999999">)</span>
<span style="color:#999999">{</span>
	pid_t pid<span style="color:#999999">;</span>
	FILE <span style="color:#a67f59">*</span>fp<span style="color:#999999">;</span>
	time_t t<span style="color:#999999">;</span>
	<span style="color:#0077aa">int</span> i<span style="color:#999999">;</span>

	<span style="color:#0077aa">if</span><span style="color:#999999">(</span><span style="color:#999999">(</span>pid <span style="color:#a67f59">=</span> <span style="color:#dd4a68">fork</span><span style="color:#999999">(</span><span style="color:#999999">)</span><span style="color:#999999">)</span><span style="color:#a67f59"><</span> <span style="color:#986801">0</span><span style="color:#999999">)</span>
	<span style="color:#999999">{</span>
		<span style="color:#dd4a68">perror</span><span style="color:#999999">(</span><span style="color:#50a14f">"fork"</span><span style="color:#999999">)</span><span style="color:#999999">;</span>
		<span style="color:#dd4a68">exit</span><span style="color:#999999">(</span><span style="color:#a67f59">-</span><span style="color:#986801">1</span><span style="color:#999999">)</span><span style="color:#999999">;</span>
	<span style="color:#999999">}</span>
	<span style="color:#0077aa">if</span><span style="color:#999999">(</span>pid <span style="color:#a67f59">></span> <span style="color:#986801">0</span><span style="color:#999999">)</span>
	<span style="color:#999999">{</span>
		<span style="color:#dd4a68">exit</span><span style="color:#999999">(</span><span style="color:#986801">0</span><span style="color:#999999">)</span><span style="color:#999999">;</span>
	<span style="color:#999999">}</span>
	<span style="color:#0077aa">else</span> <span style="color:#0077aa">if</span><span style="color:#999999">(</span>pid <span style="color:#a67f59">==</span> <span style="color:#986801">0</span><span style="color:#999999">)</span>
	<span style="color:#999999">{</span>
		<span style="color:#0077aa">if</span><span style="color:#999999">(</span><span style="color:#dd4a68">setsid</span><span style="color:#999999">(</span><span style="color:#999999">)</span><span style="color:#a67f59"><</span> <span style="color:#986801">0</span><span style="color:#999999">)</span><span style="color:#708090">//创建一个新的会话</span>
		<span style="color:#999999">{</span>
			<span style="color:#dd4a68">perror</span><span style="color:#999999">(</span><span style="color:#50a14f">"setsod"</span><span style="color:#999999">)</span><span style="color:#999999">;</span>
			<span style="color:#dd4a68">exit</span><span style="color:#999999">(</span><span style="color:#a67f59">-</span><span style="color:#986801">1</span><span style="color:#999999">)</span><span style="color:#999999">;</span>
		<span style="color:#999999">}</span>
		<span style="color:#0077aa">else</span>
		<span style="color:#999999">{</span>
			<span style="color:#dd4a68">chdir</span><span style="color:#999999">(</span><span style="color:#50a14f">"/tmp"</span><span style="color:#999999">)</span><span style="color:#999999">;</span><span style="color:#708090">//tmp目录可读可写可执行</span>
			<span style="color:#0077aa">if</span><span style="color:#999999">(</span><span style="color:#dd4a68">umask</span><span style="color:#999999">(</span><span style="color:#986801">0</span><span style="color:#999999">)</span> <span style="color:#a67f59"><</span> <span style="color:#986801">0</span><span style="color:#999999">)</span><span style="color:#708090">//重设文件权限掩码</span>
			<span style="color:#999999">{</span>
				<span style="color:#dd4a68">exit</span><span style="color:#999999">(</span><span style="color:#a67f59">-</span><span style="color:#986801">1</span><span style="color:#999999">)</span><span style="color:#999999">;</span>
			<span style="color:#999999">}</span>
			<span style="color:#0077aa">else</span>
			<span style="color:#999999">{</span>
				<span style="color:#0077aa">for</span><span style="color:#999999">(</span>i<span style="color:#a67f59">=</span><span style="color:#986801">0</span><span style="color:#999999">;</span>i<span style="color:#a67f59"><</span><span style="color:#dd4a68">getdtablesize</span><span style="color:#999999">(</span><span style="color:#999999">)</span><span style="color:#999999">;</span>i<span style="color:#a67f59">++</span><span style="color:#999999">)</span>
				<span style="color:#999999">{</span>
					<span style="color:#dd4a68">close</span><span style="color:#999999">(</span>i<span style="color:#999999">)</span><span style="color:#999999">;</span>
				<span style="color:#999999">}</span>
			<span style="color:#999999">}</span>
			<span style="color:#0077aa">while</span><span style="color:#999999">(</span><span style="color:#986801">1</span><span style="color:#999999">)</span>
			<span style="color:#999999">{</span>
				fp <span style="color:#a67f59">=</span> <span style="color:#dd4a68">fopen</span><span style="color:#999999">(</span><span style="color:#50a14f">"time.log"</span><span style="color:#999999">,</span><span style="color:#50a14f">"a+"</span><span style="color:#999999">)</span><span style="color:#999999">;</span>
				<span style="color:#dd4a68">time</span><span style="color:#999999">(</span><span style="color:#a67f59">&</span>t<span style="color:#999999">)</span><span style="color:#999999">;</span>
				<span style="color:#dd4a68">fprintf</span><span style="color:#999999">(</span>fp<span style="color:#999999">,</span><span style="color:#50a14f">"%s"</span><span style="color:#999999">,</span><span style="color:#dd4a68">ctime</span><span style="color:#999999">(</span><span style="color:#a67f59">&</span>t<span style="color:#999999">)</span><span style="color:#999999">)</span><span style="color:#999999">;</span>
				<span style="color:#dd4a68">fflush</span><span style="color:#999999">(</span>fp<span style="color:#999999">)</span><span style="color:#999999">;</span>
				<span style="color:#dd4a68">sleep</span><span style="color:#999999">(</span><span style="color:#986801">1</span><span style="color:#999999">)</span><span style="color:#999999">;</span>
			<span style="color:#999999">}</span>
		<span style="color:#999999">}</span>
	<span style="color:#999999">}</span>
<span style="color:#999999">}</span>
</code></span>
  •  
  • 0
    点赞
  • 2
    收藏
    觉得还不错? 一键收藏
  • 1
    评论
一个进程池的服务器程序 下面做了非常简单的http服务器,该服务器只能接收Get请求。 流程大概如下: 1,父进程listen,创建pipe(下面所有父子进程之间的通信都用该pipe) 2,父进程预fork n个子进程 3,各个子进程accept(listenfd),即所有子进程竞争accept请求。由于listenfd是在fork之前就有的,所以所有子进程都可以访问到,不需用到“进程间文件描述符传递”问题; 4,子进程每accept到一个请求都告诉父进程,父进程把请求数加1;子进程没完成一个请求,父进程把请求数减1;当父进程发现请求数 >= 子进程数时,父进程创建新的子进程,并把子进程数加1(当然子进程数有个预先上限);当父进程发现子进程数大于请求数加1时,父进程杀死多余的子进程。 总的来说,思想是让子进程accept并处理请求,父进程通过子进程发来的信息控制请求数与子进程数之间的关系。 代码如下: 代码如下: #include <time.h> #include <sys/types.h> #include <sys/socket.h> #include <arpa/inet.h> #include <string.h> #include <stdio.h> #include <stdlib.h> #include <dirent.h> #include <sys/stat.h> #include <signal.h> #include <sys/wait.h> #include <pthread.h> #include <errno.h> #include <unistd.h> #include <fcntl.h> #define PRECHILD 5 #define MAXCHILD 50 #define BUFSIZE 4096 #define PIDPATH "pid" #define head503 "HTTP/1.1 503 Service unavailable\r\n" #define head404 "HTTP/1.1 404 Not Found\r\n" #define head200 "HTTP/1.1 200 0K\n\rContent—Type: text/html\n\rContent—Length: " int len503, len404, len200; int fd1[2], fd2[2]; typedef struct { pid_t pid; char status; // 'n' means new request; 'f' means finish the request } REPORT; void answer(int listenfd) { int connfd; char buf[BUFSIZE]; int count; int pid = getpid(); struct sockaddr_in cliaddr; int size = sizeof(cliaddr); char comm; REPORT rep; rep.pid = pid; while (1) { connfd = accept(listenfd, (struct sockaddr *)&cliaddr,(socklen_t *)&size ); //子进程accept请求 rep.status = 'n'; if (write(fd1[1], &rep, sizeof(rep)) < 0) { //通知父进程已经accept了请求 perror("write pipe new failed"); exit(-1); } count = read(connfd, buf, BUFSIZE); char req[10]; char filepath[256]; sscanf(buf, "%s%s", req, filepath + 1); filepath[0] = '.'; if (strcmp("GET", req) != 0) {//503 write(connfd, head503, len503); //goto err_out; close(connfd); exit(-1); } char content[BUFSIZE]; struct stat stbuf; if (lstat(filepath, &stbuf) != 0) { int err = errno; if (err == ENOENT) {//404 write(connfd, head404, len404); } close(connfd); exit(-1); } count = write(connfd, head200, len200); u_int filesize = stbuf.st_size; sprintf(content, "%u\n\r\n\r", filesize); count = write(connfd, content, strlen(content)); FILE *fp = fopen(filepath, "r"); if (fp == NULL) { printf("open file %s failed\n", filepath); close(connfd); exit(-1); } while((count = fread(content, 1, sizeof(content), fp)) > 0) { //printf("%s", content); if (write(connfd, content, count) != count) { printf("write failed\n"); } } fclose(fp); close(connfd); rep.status = 'f'; if (write(fd1[1], &rep, sizeof(rep)) < 0) {//告诉父进程自己处理完了请求 perror("write pipe finish failed"); exit(-1); } if (read(fd2[0], &comm, 1) < 1) {//等待来自父进程的命令 perror("read pipe failed"); exit(-1); } //printf("[%d] reve %c from pa\n", pid, comm); if (comm == 'e') { //收到exit命令 printf("[%d] exit\n", pid); exit(-1); } else if (comm == 'c') { //收到继续accept的命令 printf("[%d] continue\n", pid); } else { printf("[%d] comm : %c illeagle\n", pid, comm); } } } void usage() { printf("Usage: http-serv port\n"); } int write_pid() { int fd; if ((fd = open(PIDPATH, O_WRONLY | O_TRUNC | O_CREAT, S_IWUSR)) < 0){ perror("open pidfile faild"); return -1; } struct flock lock; lock.l_type = F_WRLCK; lock.l_start = 0; lock.l_whence = SEEK_SET; lock.l_len = 0; if (fcntl(fd, F_SETLK, &lock) == -1) { int err = errno; perror("fcntl faild"); if (err == EAGAIN) { printf("Another http-serv process is running now!\n"); } return -1; } return 0; } void daemon_init() { //clear file creation mask; umask(0); //become a session leader if (fork() != 0) exit(-1); if (setsid() < 0) exit(-1); //make sure can be never get the TTY control if (fork() != 0) exit(-1); //may chdir here int i; for (i = 0; i < 1024; i++) close(i); /* * Attach file descriptors 0, 1, and 2 to /dev/null. */ int fd0, fd1, fd2; fd0 = open("/dev/null", O_RDWR); fd1 = dup(0); fd2 = dup(0); if (fd0 != 0 || fd1 != 1 || fd2 != 2) { printf("init failed\n"); exit(-1); } } int main(int argc, char **argv) { int listenfd; struct sockaddr_in servaddr; pid_t pid; if (argc != 2) { usage(); return -1; } signal(SIGCHLD, SIG_IGN); len200 = strlen(head200); len404 = strlen(head404); len503 = strlen(head503); daemon_init(); //转为后台程序,如需打印调试,把这行注释掉 if (write_pid() < 0) //避免同时有多个该程序在运行 return -1; if (pipe(fd1) < 0) { perror("pipe failed"); exit(-1); } if (s_pipe(fd2) < 0) { perror("pipe failed"); exit(-1); } int port = atoi(argv[1]); //initialize servaddr and listenfd... bzero(&servaddr, sizeof(servaddr)); servaddr.sin_family = AF_INET; servaddr.sin_addr.s_addr = htonl(INADDR_ANY); servaddr.sin_port = htons(port); listenfd = socket(AF_INET, SOCK_STREAM, 0); bind(listenfd, (struct sockaddr *) &servaddr, sizeof(servaddr)); listen(listenfd, 1000); int i; for (i = 0; i < PRECHILD ; i++) { //父进程预fork 子进程 if ((pid = fork()) < 0) { perror("fork faild"); exit(3); } else if (pid == 0) { answer(listenfd); } else { printf("have create child %d\n", pid); } } char e = 'e'; char c = 'c'; int req_num = 0; int child_num = PRECHILD; REPORT rep; while (1) { //printf("req_num = %d, child_num = %d\n", req_num, child_num); if (read(fd1[0], &rep, sizeof(rep)) < sizeof(rep)) {//等待子进程发来消息 perror("parent read pipe failed"); exit(-1); } //printf("parent: receive from %d\n", pid); if (rep.status == 'n') {//子进程刚accept了新的请求 req_num ++; printf("parent: %d have receive new request\n", rep.pid); if (req_num >= child_num && child_num <= MAXCHILD) { //请求数过多,创建更多子进程 if ((pid = fork()) < 0) { perror("fork faild"); exit(3); } else if (pid == 0) { answer(listenfd); } else { printf("have create child %d\n", pid); child_num ++; } } } else if (rep.status == 'f') {//子进程刚处理完了一个请求 req_num --; //printf("parent: %d have finish a request\n", rep.pid); if (child_num > (req_num + 1) && child_num > PRECHILD) {//子进程数过多,删除多余的子进程 if (write(fd2[1], &e, sizeof(e)) < sizeof(e)) { perror("pa write pipe failed"); exit(-2); } //printf("tell child exit\n"); child_num --; } else { if (write(fd2[1], &c, sizeof(c)) < sizeof(c)) {//让子进程继续等待accept perror("pa write pipe failed"); exit(-2); } //printf("tell child continue\n"); } } } return 0; } 利用fork()创建多个子进程 11:09 pm on Oct 23rd 2010 greenMay 之间我学习了创建一个子进程,也大致理解了子进程与父进程的关系。今天无意间遇到一个创建多个子进程的问题,结果还发现了点小bug,现在写下来和大家分享。 我需要实现的目标如下:编写一段源程序,使系统调用fork()创建两个子进程,当此程序运行时,在系统有一个父进程和两个子进程活动。让每一个进程在屏幕上显示一个字符:父进程显示字符“a”;子进程分别显示字符“b”和字符“c”。 一开始我的主要代码如下: view source print? 01 int main() 02 { 03 pid_t child1; 04 pid_t child2; 05 child1 = fork(); 06 child2 = fork(); 07 if(child1 == 0) 08 { 09 printf("Child1:a\n"); 10 return 0; 11 } 12 if(child2 == 0) 13 { 14 printf("Child2:b\n"); 15 return 0; 16 } 17 else 18 { 19 waitpid(child1,NULL,0); 20 waitpid(child2,NULL,0); 21 printf("Parent:c\n"); 22 } 23 return 0; 24 } 奇怪的是,我得到的是这样一个结果: Child1:a Child1:a Child2:b Parent:c 竟然有两个Child1。可是我的代码里明明只是让Chidl1打印一次啊。搜索到一篇好的博文。文章仔细分析了和我几乎相同的情况。事实上,是我的粗心和对fork()的理解不深刻导致了上述的奇怪问题。 我们知道,fork()之后,我们还是首先执行的是父进程,也就是如下代码段: view source print? 1 waitpid(child1,NULL,0); 2 waitpid(child2,NULL,0); 3 printf("Parent:c\n"); 然后waitpid(child1,NULL,0),进入child1的执行。child1将要执行的是如下的的代码段: view source print? 1 child2 = fork(); 2 if(child1 == 0) 3 { 4 printf("Child1:a\n"); 5 return 0; 6 } 注意,第一行的那个child2 = fork()!这就意味着对于child1来说,它自己又要创建一个子进程,这时候他成为了父亲。这时候,它有一个儿子child2,但是这个child2不同与我们刚才定义的那个child2,这个child2其实是parent的孙子。之所以又打印了一边Child1。如果加上如下代码就明白了: view source print? 01 child2 = fork(); 02 if(child1 == 0) 03 { 04 if(child2 == 0) 05 { 06 printf("GrandChild!\n"); 07 } 08 printf("Child1:a\n"); 09 return 0; 10 } 这时候将出现: Child1:a GrandChild! Child1:a Child2:b Parent:c 恩,这就很明白了!我无意间多调用了一次child2=fork(); 所以,如果要达到我最初的目的,需要改变child2的fork()的位置: view source print? 01 #include <stdio.h> 02 #include <unistd.h> 03 #include <sys/types.h> 04 #include <sys/wait.h> 05 int main() 06 { 07 pid_t child1; 08 pid_t child2; 09 child1 = fork(); 10 child2 = fork(); 11 if(child1 == 0) 12 { 13 printf("Child1:a\n"); 14 return 0; 15 } 16 if(child2 == 0) 17 { 18 printf("Child2:b\n"); 19 return 0; 20 } 21 else 22 { 23 waitpid(child1,NULL,0); 24 waitpid(child2,NULL,0); 25 printf("Parent:c\n"); 26 } 27 return 0; 28 } 我参照的那个博文最后给出了一个更为普遍的fork()创建多进程的程序框架: view source print? 01 pid_t create_child() 02 { 03 pid_t p = fork(); 04 if( p == 0 ) 05 { 06 printf("in child %d\n", getpid()); 07 //do something 08 return 0; 09 } 10 return p; 11 } 12 int main(void) 13 { 14 pid_t p1 = create_child(); 15 pid_t p2 = create_child(); 16 17 int st1, st2; 18 waitpid( p1, &st1, 0); 19 waitpid( p2, &st2, 0); 20 printf("in parent, pid = %d\n", getpid()); 21 printf("in parent, child 1 exited with %d\n", st1); 22 printf("in parent, child 2 exited with %d\n", st2); 23 return 0; 24 } 注意到,期的create_child()函数最后有一个return p。这个return p将pid返回给了父进程,其实也是将子进程对于CPU的控制权交还给了父进程,这样就避免了多个子进程在创建之时互相影响了。 可以说,今天的这个问题真是一个有趣的事情。代码有的时候就是这么奇怪~ 最后,向我引用的那篇文章致敬! Linux内核对多进程和多线程的支持方式: 线程机制支持并发程序设计技术,在多处理器上能真正保证并行处理。而在linux实现线程很特别,linux把所有的线程都当作进程实现。linux下线程看起来就像普通进程(只是该进程和其他进程共享资源,如地址空间)。上述机制与Microsoft windows或是Sun Solaris实现差异很大。 Linux的线程实现是在核外进行的,核内提供的是创建进程的接口do_fork()。内核提供了两个系统调用__clone()和fork(),最终都用不同的参数调用do_fork()核内API。 do_fork() 提供了很多参数,包括CLONE_VM(共享内存空间)、CLONE_FS(共享文件系统信息)、CLONE_FILES(共享文件描述符表)、CLONE_SIGHAND(共享信号句柄表)和CLONE_PID(共享进程ID,仅对核内进程,即0号进程有效)。当使用fork系统调用产生多进程时,内核调用do_fork()不使用任何共享属性,进程拥有独立的运行环境。当使用pthread_create()来创建线程时,则最终设置了所有这些属性来调用__clone(),而这些参数又全部传给核内的do_fork(),从而创建的”进程”拥有共享的运行环境,只有栈是独立的,由 __clone()传入。 即:Linux下不管是多线程编程还是多进程编程,最终都是用do_fork实现的多进程编程,只是进程创建时的参数不同,从而导致有不同的共享环境。Linux线程在核内是以轻量级进程的形式存在的,拥有独立的进程表项,而所有的创建、同步、删除等操作都在核外pthread库进行。pthread 库使用一个管理线程(__pthread_manager() ,每个进程独立且唯一)来管理线程的创建和终止,为线程分配线程ID,发送线程相关的信号,而主线程pthread_create()) 的调用者则通过管道将请求信息传给管理线程。 很多朋友都说使用多线程的好处是资源占用少,其隐含之意就是说进程占用资源比线程多,对吧?但实际上Linux下多进程是否就真的点用很多资源呢?暂且不说进程是否比线程占用资源多,就进程占用资源的多少情况而言,Linux确实是做得相当节省的。产生一个多进程时肯定是要产生的一点内存是要复制进程表项,即一个task_struct结构,但这个结构本身做得相当小巧。其它对于一个进程来说必须有的数据段、代码段、堆栈段是不是全盘复制呢?对于多进程来说,代码段是肯定不用复制的,因为父进程和各子进程的代码段是相同的,数据段和堆栈段呢?也不一定,因为在Linux里广泛使用的一个技术叫copy-on-write,即写时拷贝。copy-on-write意味着什么呢?意味着资源节省,假设有一个变量x在父进程里存在,当这个父进程创建一个子进程或多个子进程时这个变量x是否复制到了子进程的内存空间呢?不会的,子进程和父进程使用同一个内存空间的变量,但当子进程或父进程要改变变量x的值时就会复制该变量,从而导致父子进程里的变量值不同。父子进程变量是互不影响的,由于父子进程地址空间是完全隔开的,变量的地址可以是完全相同的。 Linux的”线程”和”进程”实际上处于一个调度层次,共享一个进程标识符空间,这种限制使得不可能在Linux上实现完全意义上的POSIX线程机制,因此众多的Linux线程库实现尝试都只能尽可能实现POSIX的绝大部分语义,并在功能上尽可能逼近。Linux进程的创建是非常迅速的。内核设计与实现一书甚至指出Linux创建进程的速度和其他针对线程优化的操作系统(Windows,Solaris)创建线程的速度相比,测试结果非常的好,也就是说创建速度很快。由于异步信号是内核以进程为单位分发的,而LinuxThreads的每个线程对内核来说都是一个进程,且没有实现”线程组”,因此,某些语义不符合POSIX标准,比如没有实现向进程所有线程发送信号,README对此作了说明。LinuxThreads的线程同步很大程度上是建立在信号基础上的,这种通过内核复杂的信号处理机制的同步方式,效率一直是个问题。LinuxThreads 的问题,特别是兼容性上的问题,严重阻碍了Linux上的跨平台应用(如Apache)采用多线程设计,从而使得Linux上的线程应用一直保持在比较低的水平。在Linux社区,已经有很多人在为改进线程性能而努力,其既包括用户级线程库,也包括核心级和用户级配合改进的线程库。目前最为人看好的有两个项目,一个是RedHat公司牵头研发的NPTL(Native Posix Thread Library),另一个则是IBM投资开发的NGPT(Next Generation Posix Threading),二者都是围绕完全兼容POSIX 1003.1c,同时在核内和核外做工作以而实现多对多线程模型。这两种模型都在一定程度上弥补了LinuxThreads的缺点,且都是重起炉灶全新设计的。 综上所述的结论是在Linux下编程多用多进程编程少用多线程编程。 IBM有个家伙做了个测试,发现切换线程context的时候,windows比linux快一倍多。进出最快的锁(windows2k的 critical section和linux的pthread_mutex),windows比linux的要快五倍左右。当然这并不是说linux不好,而且在经过实际编程之后,综合来看我觉得linux更适合做high performance server,不过在多线程这个具体的领域内,linux还是稍逊windows一点。这应该是情有可原的,毕竟unix家族都是从多进程过来的,而 windows从头就是多线程的。 如果是UNIX/linux环境,采用多线程没必要。 多线程比多进程性能高?误导! 应该说,多线程比多进程成本低,但性能更低。 在UNIX环境,多进程调度开销比多线程调度开销,没有显著区别,就是说,UNIX进程调度效率是很高的。内存消耗方面,二者只差全局数据区,现在内存都很便宜,服务器内存动辄若干G,根本不是问题。 多进程是立体交通系统,虽然造价高,上坡下坡多耗点油,但是不堵车。 多线程是平面交通系统,造价低,但红绿灯太多,老堵车。 我们现在都开跑车,油(主频)有的是,不怕上坡下坡,就怕堵车。 高性能交易服务器间件,如TUXEDO,都是主张多进程的。实际测试表明,TUXEDO性能和并发效率是非常高的。TUXEDO是贝尔实验室的,与UNIX同宗,应该是对UNIX理解最为深刻的,他们的意见应该具有很大的参考意义 1. 散沙 2010年7月10日08:43 回复 | 引用 | #1 文章很有深度,我们把握一个尺度就可以了,在windows下使用线程,unix下则使用进程就可以了 2. rjoo 2010年9月9日13:49 回复 | 引用 | #2 错的太多了,博主,应该看看新资料了。 现在都2010年了,NPTL早就取代了老的Linux thread。而且通常多线程有性能优势,但是多进程更稳定,并且通常性能瓶颈不在于是进程模型还是线程模型而在于IO。 3. rjoo 2010年9月9日13:56 回复 | 引用 | #3 关于那个critical section和pthread_mutex_t,critical section本质上是一个自旋锁,短期锁当然快,不知道你说的那个IBM的哥们怎么比的,要比也该是和pthread_spinlock_t比。 4. admin 2010年9月9日17:28 回复 | 引用 | #4 rjoo挺热心的,呵呵,这篇文章不是我写的,但有几个地方我可以解答一下: 1. Linux下没有线程的概念,pthread线程实质是通过轻量级进程实现的。你说瓶颈在IO,这一点我很赞同你的意见,作者如果能再写个IO操作的文章来的话就会更好了。 2. mutex和critical section的确是不能比的。一个涉及到内核,一个没有涉及到内核。呵呵,很佩服你对这些东西的掌握程度,有机会多交流。 ^_^ 5. 定时 2010年9月9日17:40 回复 | 引用 | #5 我们组的最近项目的经验告诉我们能用多进程不用多线程,多线程安全编程难,而且锁会早成效率很低,甚至不如单线程,你说的NPTL我知道,他只是多线程优化了并不能改变多线程安全编程的问题,锁的问题。谢谢指教,实践出真知。 @rjoo 6. 定时 2010年9月9日17:44 回复 | 引用 | #6 你说的锁,我确实不太了解,但是我们leader对它很了解,就是最近的一个项目,锁搞得他很郁闷,他也终于同意我的关键,尽可能不用多线程。 @rjoo 7. rjoo 2010年9月29日13:41 回复 | 引用 | #7 @admin Linux下没有线程的概念,pthread线程实质是通过轻量级进程实现的—这是2.4内核以前的情况(实际上是2.0时引入的,那可实在是太久了),2.4内核引入NGPL,2.6内核线程支持改为NPTL。NPTL实现的是1:1的线程模型(有资料说Win也是这种实现,虽然不太确定,但我觉得可能性很大),而NGPT虽然是理论上最先进的m:n线程模型,但最后实现出来的性能差NPTL一大截,最后被抛弃。看看文说法就知道要么文章写的很早,要么作者看了一堆十年前的资料。 给个链接: http://www.kegel.com/c10k.html#threads.linuxthreads 8. finalday 2010年10月15日17:26 回复 | 引用 | #8 忍不住跳出来说,作者对并发编程的理解还不行。 比如说锁的问题,说得好像是多线程才需要的东西一样。如果一个应用多进程时完全不用锁,多线程也就多一个轻量级锁——锁一下,各回各家,每个线程用自己的专有存储,之后不就和多进程一样了?这样会被搞得很郁闷?当然不会。所以说明那个应用对于数据共享的需求不是这么简单,既然不是这么简单,多进程程序一样要加锁。多进程的加解锁代价可比多线程大得多了,共享数据和协作也麻烦多了。 多线程编程难不难?难,但这是由于并发本身的难度引起的。“锁”,“安全编程”不管是多线程还是多进程都一样会遇到。 多线程的最大优点是数据共享和协作方便。 多进程的最大优点是挂了一个进程不会影响其他进程,资源也不会泄露,故比较能容忍程序员犯错。 至于两者裸奔比性能,真的没啥意义。

“相关推荐”对你有帮助么?

  • 非常没帮助
  • 没帮助
  • 一般
  • 有帮助
  • 非常有帮助
提交
评论 1
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值