Linux编程基础 3.1：进程控制

1 进程相关概念

1.1 进程和程序

• 程序：一个静态的概念，一般对应于操作系统中的一个可执行文件，在磁盘上，不占用系统资源（cpu、内存、打开的文件、设备、锁…）；
• 进程：一个动态的概念。进程是活跃的程序，占用系统资源，在内存中执行。现代的操作系统都可以同时启动多个进程。比如：我们在用酷狗听音乐，也可以使用eclipse写代码，也可以同时用浏览器查看网页。
• 程序运行起来，产生一个进程；同一个程序也可以加载为不同的进程(彼此之间互不影响)。

1.2 并发

在操作系统中，一个时间段有多个进程都处于已启动运行到运行完毕之间的状态。
并发是多个任务交替执行的，多个任务之间可能还是串行的。所有的并发处理都有排队等候，唤醒和执行这三个步骤。所以并发是宏观的观念，在微观上他们都是序列被处理的，任一个时刻点上仍只有一个进程在运行。

图 分时复用cpu

1.3 虚拟内存和虚拟地址空间

虚拟内存：虚拟内存是一种逻辑上扩充物理内存的技术。基本思想是用软、硬件技术把内存与外存这两级存储器当做一级存储器来用。虚拟内存技术的实现利用了自动覆盖和交换技术。简单的说就是将硬盘的一部分作为内存来使用。
虚拟地址空间：在32位的i386 CPU的地址总线的是32位的，也就是说可以寻找到4G的地址空间。我们的程序被CPU执行，就是0x00000000 ~ 0xFFFFFFFF这一段地址中。高1G的空间为内核空间，由操作系统调用，低3G的空间为用户空间，由用户使用。

CPU在寻址的时候，是按照虚拟地址来寻址，然后通过MMU(内存管理单元)将虚拟地址转换为物理地址。因为只有程序的一部分加入到内存中，所以会出现所寻找的地址不在内存中的情况（CPU产生缺页异常），如果在内存不足的情况下，就会通过页面调度算法来将内存中的页面置换出来，然后将在外存中的页面加入到内存中，使程序继续正常运行。

每个进程都有自己的虚拟空间，而物理内存只有一个，所以当启用了大量的进程，物理内存必然会很紧张，于是操作系统会通过内存交换技术，把不常使用的内存暂时存放到硬盘（换出）(这个就是虚拟内存)，在需要的时候再装载回物理内存（换入）。

1.4 进程控制块PCB

每个进程在内核中都有一个进程控制块（PCB）来维护进程相关的信息，Linux内核的进程控制块是 task_struct 结构体。
/usr/src/linux-headers-3.16.0-30/include/linux/sched.h 文件中可以查看 struct task_struct 结构体定义。
其内部成员有很多，我们重点掌握以下部分即可：

• 进程id。系统中每个进程有唯一的id，在C语言中用pid_t类型表示，其实就是一个非负整数。
• 进程的状态，有运行、挂起、停止、僵尸等状态。
• 描述虚拟地址空间的信息。
• 文件描述符表，包含很多指向file结构体的指针。

1.5 多道程序设计

时钟中断为多道程序设计模型的理论基础。 并发时，任意进程在执行期间都不希望放弃cpu。因此系统需要一种强制让进程让出cpu资源的手段。
时钟中断有硬件基础作为保障，对进程而言不可抗拒。
操作系统的中断处理函数负责调度程序执行。
在多道程序设计模型中，多个进程轮流使用CPU (分时复用CPU资源)。
当下常见CPU为纳秒级，1秒可以执行大约10亿条指令。
由于人眼的反应速度是毫秒级，所以看似同时在运行。
1s = 1000ms, 1ms = 1000us, 1us = 1000ns 1000000000
实质上，并发是宏观并行，微观串行！

1.6 进程状态

进程基本的状态有5种。分别为初始态，就绪态，运行态，挂起态与终止态。其中初始态为进程准备阶段，常与就绪态结合来看。

引起进程状态转换的具体原因如下：

• NULL$\to$新建态：执行一个程序，创建一个子进程。
• 新建态$\to$就绪态：当操作系统完成了进程创建的必要操作，并且当前系统的性能和虚拟内存的容量均允许。
• 运行态$\to$终止态：当一个进程到达了自然结束点，或是出现了无法克服的错误，或是被操作系统所终结，或是被其他有终止权的进程所终结。
• 运行态$\to$就绪态：运行时间片到；出现有更高优先权进程。
• 运行态$\to$等待态：等待使用资源；如等待外设传输；等待人工干预。
• 就绪态$\to$终止态：未在状态转换图中显示，但某些操作系统允许父进程终结子进程。
• 等待态$\to$终止态：未在状态转换图中显示，但某些操作系统允许父进程终结子进程。
• 终止态$\to$NULL：完成善后操作。

2 进程控制

fork()
exec函数族
wait()
exit()

2.1 创建进程

#include <unistd.h>
pid_t fork(void);

功能：创建进程；函数执行后，系统会创建一个与原进程几乎相同的进程，之后父子进程都继续执行，如图所示：

图 fork函数创建子进程

参数说明：无

返回值说明：

• 成功：返回两个值，子进程创建成功后，原程序会被复制，就有了两个fork函数。父进程的fork函数会返回子进程的pid，子进程的fork函数会返回0.
• 不成功：若子进程创建失败，原程序不会复制，父进程的fork函数返回-1。

【案例 1】使用fork函数创建一个进程，创建成功后父子进程分别执行不同的功能。

test_fork.c
#include <stdio.h>
#include <stdlib.h>
#include <unistd.h>
int main(){
	pid_t tempPid;
	tempPid = fork();
	if(tempPid == -1){
		perror("fork error");
	}else if(tempPid > 0){//parent
		printf("parent process, pid = %d, ppid = %d\n", getpid(), getppid());
	}else{//child
		printf("child process, pid = %d, ppid = %d\n", getpid(), getppid());
	}//of if
	printf("......finish......");
	return 0;
}//of main

【思考 1】多次执行test_fork会发现，child process后输出的ppid不等于parent process的pid，而等于1。请说明原因。
【提示】出现这种情况，是因为父进程先于子进程终止，子进程变成“孤儿进程”，后面由init进程来接收。

调用fork函数的内核实现原理：

写时复制，读时共享：

• 如果父子进程仅仅是对变量做“读”操作，这时候该变量在物理内存中是共享的（节省空间）。
• 如果说父子进程中的某进程对变量进行修改，则会复制一份该数据的副本，在副本上对该数据进行修改，并映射回虚拟地址。如图所示：
  
  所以父子进程不能通过全局变量进程通信！如果父子进程想要通信，必须借助其他工具。

2.2 创建多个进程

上面的案例是创建一个子进程，如果要创建多个子进程呢？
可否对上面的案例进行修改，进行简单的循环即可：

int i;
for(i = 0; i < 2; i ++){
	tempPid = fork();
}//of for i

分析如下：

• 每次调用fork函数，系统会复制原程序
• i=0，第一次循环，会有两份test_fork文件
• i=1，第二次循环，第一份test_fork文件又会有两份test_fork文件，第二份test_fork文件也会有两份
• 每一次循环，进程的总数是当前进程数量的两倍，2次循环则为$2^2=4$个进程。

【解决方法】：如果只希望父进程可以创建新进程，则在for循环中添加一个判断：若当前进程不是父进程，则跳出循环。

【案例 2】

test_fork2.c
#include <stdio.h>
#include <stdlib.h>
#include <unistd.h>
int main(){
	pid_t tempPid;
	int i;
	for(i = 0; i < 2; i ++){
		if((tempPid = fork()) == 0){
			break;
		}//of if
	}//of for i
	if(tempPid == -1){
		perror("fork error");
	}else if(tempPid > 0){//parent
		printf("parent process, pid = %d, ppid = %d\n", getpid(), getppid());
	}else{//child
		printf("I am child process = %d, pid = %d, ppid = %d\n", i + 1, getpid(), getppid());
	}//of if
	printf("......finish......");
	return 0;
}//of main

【思考 2】：案例2的输出结果有如下问题：
（1）子进程的编号不是递增的；
（2）终端提示符后面仍然有子进程信息打印，而命令提示符在最后一行的开头闪烁。
这是为什么？

提示：
在Linux系统中，子进程应由父进程回收，但是当子进程被创建后，它与它的父进程及其它进程共同竞争系统资源，所以父子进程执行的顺序是不确定的，终止的先后顺序也是不确定的。
Shell命令提示符也是1个进程，它需要和新建进程一起竞争CPU。

2.3 进程的执行顺序：利用sleep函数，暂缓进程执行

【案例 3】

test_fork3.c
#include <stdio.h>
#include <stdlib.h>
#include <unistd.h>
int main(){
	pid_t tempPid;
	int i;
	for(i = 0; i < 2; i ++){
		if((tempPid = fork()) == 0){
			break;
		}//of if
	}//of for i
	if(tempPid == -1){
		perror("fork error");
	}else if(tempPid > 0){//parent
		sleep(2);
		printf("parent process, pid = %d, ppid = %d\n", getpid(), getppid());
	}else{//child
	 	sleep(i);
		printf("I am child process = %d, pid = %d, ppid = %d\n", i + 1, getpid(), getppid());
	}//of if
	printf("......finish......");
	return 0;
}//of main