Linux进程实践(1) --Linux进程编程概述

简介: 进程 VS. 程序什么是程序?   程序是完成特定任务的一系列指令集合。什么是进程?  [1]从用户的角度来看:进程是程序的一次执行过程  [2]从操作系统的核心来看:进程是操作系统分配的内存、CPU时间片等资源的基本单位。

进程 VS. 程序

什么是程序? 

  程序是完成特定任务的一系列指令集合。

什么是进程?

  [1]从用户的角度来看:进程是程序的一次执行过程

  [2]从操作系统的核心来看:进程是操作系统分配的内存、CPU时间片等资源的基本单位。 

  [3]进程是资源分配的最小单位

  [4]每一个进程都有自己独立的地址空间与执行状态。

  [5]像UNIX这样的多任务操作系统能够让许多程序同时运行,每一个运行着的程序就构成了一个进程

 

进程数据结构

  进程由三部分组成:PCB、程序段和数据段

   进程控制块PCB:用于描述进程情况及控制进程运行所需的全部信息。

   代码段:是进程中能被进程调度程序在CPU上执行的程序代码段。

   数据段:一个进程的数据段,可以是进程对应的程序加工处理的原始数据,也可以是程序执行后产生的中间或最终数据

 

进程和程序的区别

进程是动态的(进程存在的唯一标志:PCB, CPU通过PCB来控制进程),程序是静态的

进程的生命周期是相对短暂的,而程序是永久的。

一个进程只能对应一个程序,一个程序可以对应多个进程。

 

进程三态


  进程因创建而就绪,因调度而执行;因时间片用完而重新就绪;

  执行中因I/O请求而阻塞;

  I/O完成而就绪

注意:阻塞以后不能直接执行,必须进入就绪状态。

 

Linux内核中的进程状态


  运行状态(TASK_RUNNING)

  可中断睡眠状态(TASK_INTERRUPTIBLE)

  不可中断睡眠状态(TASK_UNINTERRUPTIBLE)

  暂停状态(TASK_STOPPED)

  僵死状态(TASK_ZOMBIE)

进程调度

进程调度的任务

   保存处理机的现场信息

   按某种算法选取进程

   把处理器分配给进程

进程调度算法

  1.先来先服务算法

  2.短进程优先算法

  3.时间片轮转算法

  4.优先级调度算法

  5.多级反馈队列调度算法

 

进程编程相关术语

进程标志:

  每个进程都会分配到一个独一无二的数字编号,我们称之为“进程标识”(process identifier),或者就直接叫它PID.

  是一个正整数,取值范围从2到32768

  当一个进程被启动时,它会顺序挑选下一个未使用的编号数字做为自己的PID

  1号进程是特殊进程init

  0号进程空闲进程

关于0,1的解释:

  进程0:Linux引导中创建的第一个进程,完成加载系统后,演变为进程调度、交换及存储管理进程;

  进程1:init 进程,由0进程创建,完成系统的初始化. 是系统中所有其它用户进程的祖先进程;

 

进程创建

不同的操作系统所提供的进程创建原语的名称和格式不尽相同,但执行创建进程原语后,操作系统所做的工作却大致相同,都包括以下几点:

  (1)给新创建的进程分配一个内部标识,在内核中建立进程结构。

  (2)复制父进程的环境

  (3)为进程分配资源, 包括进程映像所需要的所有元素(程序、数据、用户栈等),

  (4)复制父进程地址空间的内容到该进程地址空间中。

  (5)置该进程的状态为就绪,插入就绪队列。

 

进程撤销

进程终止时操作系统做以下工作:

  (1)关闭软中断:因为进程即将终止而不再处理任何软中断信号;

  (2)回收资源:释放进程分配的所有资源,如关闭所有已打开文件,释放进程相应的数据结构等;

  (3)写记帐信息:将进程在运行过程中所产生的记帐数据(其中包括进程运行时的各种统计信息)记录到一个全局记帐文件中;

  (4)置该进程为僵死状态:向父进程发送子进程死的软中断信号,将终止信息status送到指定的存储单元中;

  (5)转进程调度:因为此时CPU已经被释放,需要由进程调度进行CPU再分配。

 

fork系统调用

复制一个进程映象

  使用fork函数得到的子进程从父进程的继承了整个进程的地址空间,包括:进程上下文、进程堆栈、内存信息、打开的文件描述符、信号控制设置、进程优先级、进程组号、当前工作目录、根目录、资源限制、控制终端等。

子进程与父进程的区别:

  1、父进程设置的锁,子进程不继承

  2、各自的进程ID: 父子进程ID不同

  3、子进程的未决警告被清除;

  4、子进程的未决信号集设置为空集;

 

fork系统调用

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

创建一个子进程

返回值:

  如果成功创建一个子进程,对于父进程来说返回子进程ID

  如果成功创建一个子进程,对于子进程来说返回值为0

  如果为-1表示创建失败

 

怎样理解fork函数一次调用,二次返回?

   问题的本质是:两次返回,是在各自的进程空间中返回的。

   子进程和父进程各有自己的内存空间 (fork:代码段、数据段、堆栈段、PCB进程控制块的copy)。

//示例: 父子进程中数据的关系(其实基本没关系)
int main(int argc, char *argv[])
{
    signal(SIGCHLD, SIG_IGN);
    int count = 10;
    pid_t pid = fork();
    if (pid == -1)
        err_exit("fork error");
    else if (pid == 0)  //子进程
    {
        ++ count;
        cout << "In child: pid = " << getpid() << ", ppid = " << getppid() << endl;
        cout << "count = " << count << endl;
    }
    else if (pid > 0)   //父进程
    {
        ++ count;
        cout << "In parent: pid = " << getpid() << ", child pid = " << pid << endl;
        cout << "count = " << count << endl;
    }

    exit(0);
}
//深入理解: Hello World 为什么会打印8次
int main(int argc, char *argv[])
{
    signal(SIGCHLD, SIG_IGN);
    fork();
    fork();
    fork();
    cout << "Hello World" << endl;

    exit(0);
}
//示例: 产生N个子进程
int main(int argc, char *argv[])
{
    signal(SIGCHLD, SIG_IGN);

    int processCount;
    cin >> processCount;
    for (int i = 0; i < processCount; ++i)
    {
        pid_t pid = fork();
        if (pid < 0)
            err_exit("fork error");
        else if (pid == 0)
        {
            cout << "Child ..." << endl;
            exit(0);
        }
    }

    exit(0);
}

写时复制(copy on write)

COW初窥:

   在Linux程序中,fork()会产生一个和父进程完全相同的子进程,但子进程在此后多会exec系统调用,出于效率考虑,Linux中引入了“写时复制“技术,也就是只有进程空间的各段的内容要发生变化时,才会将父进程的内容复制一份给子进程

   那么子进程的物理空间没有代码,怎么去取指令执行exec系统调用呢?

    在fork之后exec之前两个进程用的是相同的物理空间(内存区),子进程的代码段、数据段、堆栈都是指向父进程的物理空间,也就是说,两者的虚拟空间不同,但其对应的物理空间是同一个当父子进程中有更改相应段的行为发生时,再为子进程相应的段分配物理空间,如果不是因为exec,内核会给子进程的数据段、堆栈段分配相应的物理空间(至此两者有各自的进程空间,互不影响),而代码段继续共享父进程的物理空间(两者的代码完全相同)。而如果是因为exec,由于两者执行的代码不同,子进程的代码段也会分配单独的物理空间。      

   在网上看到还有个细节问题就是,fork之后内核会通过将子进程放在队列的前面,以让子进程先执行,以免父进程执行导致写时复制,而后子进程执行exec系统调用,因无意义的复制而造成效率的下降。

 

COW详述:

   现在有一个父进程P1,这是一个主体,那么它是有灵魂也就身体的。现在在其虚拟地址空间(有相应的数据结构表示)上有:正文段,数据段,堆,栈这四个部分,相应的,内核要为这四个部分分配各自的物理块。即:正文段块,数据段块,堆块,栈块。

1. 现在P1用fork()函数为进程创建一个子进程P2,

内核:

 (1)复制P1的正文段,数据段,堆,栈这四个部分,注意是其内容相同。

 (2)为这四个部分分配物理块,P2的:正文段->P1的正文段的物理块,其实就是不为P2分配正文段块,让P2的正文段指向P1的正文段块,数据段->P2自己的数据段块(为其分配对应的块),堆->P2自己的堆块,栈->P2自己的栈块。

如下图所示:从左到右大的方向箭头表示复制内容。

 

2.写时复制技术:内核只为新生成的子进程创建虚拟空间结构,它们复制于来自父进程的虚拟空间结构,但是不为这些段分配物理内存,它们共享父进程的物理空间,当父子进程中有更改相应段的行为发生时,再为子进程相应的段分配物理空间。

3. vfork():这个做法更加火爆,内核连子进程的虚拟地址空间结构也不创建了,直接共享了父进程的虚拟空间,当然了,这种做法就顺水推舟的共享了父进程的物理空间

 

 

 

小结: 进程是一个主体,那么它就有灵魂与身体,系统必须为实现它创建相应的实体, 灵魂实体与物理实体。这两者在系统中都有相应的数据结构表示,物理实体更是体现了它的物理意义。

     传统的fork()系统调用直接把所有的资源复制给新创建的进程。这种实现过于简单并且效率低下,因为它拷贝的数据也许并不共享,更糟的情况是,如果新进程打算立即执行一个新的映像,那么所有的拷贝都将前功尽弃。Linux的fork()使用写时拷贝(copy-on-write)页实现。写时拷贝是一种可以推迟甚至免除拷贝数据的技术。内核此时并不复制整个进程地址空间,而是让父进程和子进程共享同一个拷贝。只有在需要写入的时候,数据才会被复制,从而使各个进程拥有各自的拷贝。也就是说,资源的复制只有在需要写入的时候才进行,在此之前,只是以只读方式共享。这种技术使地址空间上的页的拷贝被推迟到实际发生写入的时候。在页根本不会被写入的情况下{举例来说:fork()后立即调用exec()}它们就无需复制了。fork()的实际开销就是复制父进程的页表以及给子进程创建惟一的进程描述符。在一般情况下,进程创建后都会马上运行一个可执行的文件,这种优化可以避免拷贝大量根本就不会被使用的数据(地址空间里常常包含数十兆的数据)。由于Unix强调进程快速执行的能力,所以这个优化是很重要的。这里补充一点:Linux COW与exec没有必然联系

PS:实际上COW技术不仅仅在Linux进程上有应用,其他例如C++的String在有的IDE环境下也支持COW技术,即例如:

string str1 = "hello world";
string str2 = str1;

之后执行代码:

str1[1]='q';
str2[1]='w';

在开始的两个语句后,str1和str2存放数据的地址是一样的,而在修改内容后,str1的地址发生了变化,而str2的地址还是原来的,这就是C++中的COW技术的应用;


[附]-查看系统能够支持的最大进程数

cat /proc/sys/kernel/pid_max

目录
相关文章
|
6天前
|
Linux Shell
Linux系统编程:掌握popen函数的使用
记得在使用完 `popen`打开的流后,总是使用 `pclose`来正确关闭它,并回收资源。这种做法符合良好的编程习惯,有助于保持程序的健壮性和稳定性。
17 6
|
7天前
|
Linux Shell
Linux系统编程:掌握popen函数的使用
记得在使用完 `popen`打开的流后,总是使用 `pclose`来正确关闭它,并回收资源。这种做法符合良好的编程习惯,有助于保持程序的健壮性和稳定性。
33 3
|
20天前
|
项目管理 敏捷开发 开发框架
敏捷与瀑布的对决:解析Xamarin项目管理中如何运用敏捷方法提升开发效率并应对市场变化
【8月更文挑战第31天】在数字化时代,项目管理对软件开发至关重要,尤其是在跨平台框架 Xamarin 中。本文《Xamarin 项目管理:敏捷方法的应用》通过对比传统瀑布方法与敏捷方法,揭示敏捷在 Xamarin 项目中的优势。瀑布方法按线性顺序推进,适用于需求固定的小型项目;而敏捷方法如 Scrum 则强调迭代和增量开发,更适合需求多变、竞争激烈的环境。通过详细分析两种方法在 Xamarin 项目中的实际应用,本文展示了敏捷方法如何提高灵活性、适应性和开发效率,使其成为 Xamarin 项目成功的利器。
34 1
|
7天前
|
存储 监控 安全
探究Linux操作系统的进程管理机制及其优化策略
本文旨在深入探讨Linux操作系统中的进程管理机制,包括进程调度、内存管理以及I/O管理等核心内容。通过对这些关键组件的分析,我们将揭示它们如何共同工作以提供稳定、高效的计算环境,并讨论可能的优化策略。
17 0
|
18天前
|
Linux 测试技术 API
Linux PWM接口概述 【ChatGPT】
Linux PWM接口概述 【ChatGPT】
|
19天前
|
Unix Linux
linux中在进程之间传递文件描述符的实现方式
linux中在进程之间传递文件描述符的实现方式
|
20天前
|
开发者 API Windows
从怀旧到革新:看WinForms如何在保持向后兼容性的前提下,借助.NET新平台的力量实现自我进化与应用现代化,让经典桌面应用焕发第二春——我们的WinForms应用转型之路深度剖析
【8月更文挑战第31天】在Windows桌面应用开发中,Windows Forms(WinForms)依然是许多开发者的首选。尽管.NET Framework已演进至.NET 5 及更高版本,WinForms 仍作为核心组件保留,支持现有代码库的同时引入新特性。开发者可将项目迁移至.NET Core,享受性能提升和跨平台能力。迁移时需注意API变更,确保应用平稳过渡。通过自定义样式或第三方控件库,还可增强视觉效果。结合.NET新功能,WinForms 应用不仅能延续既有投资,还能焕发新生。 示例代码展示了如何在.NET Core中创建包含按钮和标签的基本窗口,实现简单的用户交互。
43 0
|
21天前
|
网络协议 Linux Shell
探索Linux操作系统:从基础到高级编程
【8月更文挑战第31天】本文旨在为读者提供一条清晰的路径,从Linux操作系统的基础知识出发,逐步深入到高级编程技巧。我们将一起揭开Linux神秘的面纱,了解其内部工作原理,并通过实际代码示例加深理解。无论你是初学者还是有一定经验的开发者,这篇文章都将为你带来新的视角和技能提升。
|
21天前
|
Linux
探索Linux操作系统:命令行与脚本编程基础
【8月更文挑战第31天】在这篇文章中,我们将一起踏上一段旅程,深入探索Linux操作系统的奥秘。通过学习命令行的使用和编写简单的脚本,你将能够更高效地与你的计算机进行交流。无论你是新手还是有经验的用户,本文都将为你打开一扇通往Linux世界的大门。准备好了吗?让我们开始吧!
|
2月前
|
运维 关系型数据库 MySQL
掌握taskset:优化你的Linux进程,提升系统性能
在多核处理器成为现代计算标准的今天,运维人员和性能调优人员面临着如何有效利用这些处理能力的挑战。优化进程运行的位置不仅可以提高性能,还能更好地管理和分配系统资源。 其中,taskset命令是一个强大的工具,它允许管理员将进程绑定到特定的CPU核心,减少上下文切换的开销,从而提升整体效率。
掌握taskset:优化你的Linux进程,提升系统性能