当前位置：首页 > news >正文

【Linux】进程控制（一）：进程的创建和终止

news 2026/3/27 3:32:09

一、进程创建

1.1 fork函数初识

在进程概念（一）中已经讲解大部分fork知识

在Linux中fork是一个非常重要的函数，它从已存在的进程中创建一个新的进程。新的进程为子进程，而原来的进程为父进程。

代码语言：javascript

AI代码解释

#include <unistd.h>//包含的头文件 pid_t fork(void); 返回值：子进程中返回0，⽗进程返回⼦进程id，出错返回-1

在这里插入图片描述

总而言之：进程调用fork，当控制转移到内核中的fork代码后，内核做： • 分配新的内存块和内核数据节后给子进程 • 将父进程部分数据结构内容拷贝到子进程中 • 添加子进程到系统进程列表当中 • fork返回，开始调度器调度

我们来看一段代码：

代码语言：javascript

AI代码解释

#include <stdlib.h> #include <stdio.h> #include <unistd.h> int main( void ) { pid_t pid; printf("Before: pid is %d\n", getpid()); if ((pid=fork()) == -1 ) { perror("fork()"); exit(1); } printf("After:pid is %d, fork return %d\n", getpid(), pid); sleep(1); return 0;

运行结果：

这⾥看到了三行输出，⼀行before，两行after。进程5431先打印before消息，然后它又打印after。
另⼀个after由5432打印的。注意到进程5432没有打印before，为什么呢？如下图所⽰

结论：所以，fork之前父进程独立执行，fork之后，父子两个执行流分别执行。注意，fork之后，谁先执行完全由调度器决定。

1.2 fork函数返回值

我们先说结论：子进程返回0，父进程返回子进程的pid所以我们可以利用这个结论来让父进程和子进程执行不同的执行流（代码块）

观察如下代码：

代码语言：javascript

AI代码解释

#include <stdio.h> #include <unistd.h> #include <stdlib.h> int main() { printf("i am parent,pid: %d, ppid %d\n\n", getpid(), getppid()); pid_t id = fork(); if(id == 0) { while(1) { printf("i am child,pid: %d, ppid %d\n", getpid(), getppid()); sleep(1); } } else if(id > 0) { while(1) { printf("i am parent,pid: %d, ppid %d\n", getpid(), getppid()); sleep(1); } } else { peeor("fork()"); exit(1); } return 0; }

运行结果如下：

在这里插入图片描述

1.3 写时拷贝

关于写实拷贝，我们有在进程概念（六）中简单提到过：【点击进入】

我们通过下面这张图更加深入的了解写时拷贝

在这里插入图片描述

写时拷贝是操作系统为优化进程创建而设计的内存管理策略。当父进程创建子进程时，操作系统并不立即复制父进程的数据段，而是让父子进程共享同一物理内存页，仅将相关页表项标记为只读权限。

数据结构继承：子进程的内核数据结构完全以父进程为模板，包括：
- 进程控制块（task_struct）
- 内存描述符（mm_struct）
- 页表结构
权限设置：
- 代码段：保持只读权限（代码本身不应修改）
- 数据段：原本可读写的页被强制设置为只读权限，为写时拷贝做准备
当任一进程尝试修改共享数据时：
- 访问异常：CPU检测到对只读页的写操作，触发页保护异常
- 异常转换：操作系统识别此为写时拷贝场景，将异常转换为缺页中断
- 内存分配：内核分配新的物理内存页
- 数据拷贝：将原页内容复制到新页
- 权限更新：更新页表项，指向新物理页并恢复可读写权限