【Linux】进程理解与学习Ⅰ-进程概念

简介: 【Linux】进程理解与学习Ⅰ-进程概念

进程概念



什么是进程?


进程是什么?我们打开任务管理器可以看到有很多的程序正在运行状态,并且上面写着进程二字。难道进程就是指这些被运行起来的程序吗?课本上对于进程是这么说的:程序的一个执行实例,正在执行的程序等。


1.png


windows下的进程


但是实际上这种说法并不完全准确?(举个例子,一个仅仅进入学校的人,并不能算是这个学校的学生,只有这个人的信息被加载到学校的教务系统,并且被这个学校所管理的人,才称得上学生。这里的学校就是指内存,数据只有加载到内存,并被OS所管理,这才算是一个完整的进程)。


2.png


os管理进程


在前文我们知道了cpu一般不会与外设进行直接沟通,而是与内存打交道。所以我们在磁盘上的程序被运行时,要将数据与代码加载到内存中。由操作系统来进行管理。具体怎么来管理呢?先描述,再组织。


所谓的 先描述实际上是指 OS会用一个 特定的结构体( PCB/task_struct)来 提取该进程的各种属性(这里的属性与加载到内存中的数据与代码无关,或者说仅仅只有一点点的关系,即可以通过对应的 task_struct找到该进程的代码和数据)。 组织是指 OS会以链表或者其它的数据结构将各个task_struct组织起来,方便管理。( 对进程的修改--->对链表或者其它数据结构的增删查改, 比如我们结束一个进程,实际上就是删掉数据结构中对应的pcb)

★上面啰嗦一大堆,无非就是说两个事:


结论一:进程=os内核关于该进程的相关数据结构(PCB/task_struct)+当前程序加载到内存的代码与数据。


结论二:OS如何管理进程?先描述(pcb/task_struct),再组织(链表等数据结构)。


PCB — 进程控制块


进程需要被OS管理,管理的本质就是先描述,再组织。而PCB就是用来描述进程的一种特定结构体。在Linux系统下的PCB就是task_struct。


task_struct内容分类


task_struct结构体中主要包含了以下信息,了解一下即可:


标示符: 描述本进程的唯一标示符,用来区别其他进程。

状态: 任务状态,退出代码,退出信号等。

优先级: 相对于其他进程的优先级。

程序计数器: 程序中即将被执行的下一条指令的地址。

内存指针: 包括程序代码和进程相关数据的指针,还有和其他进程共享的内存块的指针

上下文数据: 进程执行时处理器的寄存器中的数据[休学例子,要加图CPU,寄存器]。

I/O状态信息: 包括显示的I/O请求,分配给进程的I/O设备和被进程使用的文件列表。

记账信息: 可能包括处理器时间总和,使用的时钟数总和,时间限制,记账号等。

其他信息


如何查看进程


第一种方法:通过ps指令

我们输入ps axj就可以查看当前所有进程信息,同时,由于进程信息较多,我们可以利用之前学过的管道,以及grep用来筛选过滤,从而拿到我们想要的进程信息。(ps -l可以查看当前bash下的进程信息)如下:


3.png


第二种方法:通过函数getpid()

在上面task_struct内容中,有一个是标识符,用来区分其他进程。这里的标识符,实际就是指PID。每一个进程都有自己的pid,并且每一次运行,pid的值都会发生变化(一般都是逐渐递增,当下一次重新登陆时,又是随机值)。


4.png


而我们可以通过系统调用函数getpid()来获取当前进程的pid。我们可以用man手册来查询getpid()的使用。我们可以通过如下的简单代码来验证。


#include<stdio.h>
//头文件包含
#include<unistd.h>
#include<sys/types.h>
int main()
{
   while(1)
   {
     //获取当前进程pid
     printf("hello world,我的pid:%d\n",getpid());                                             
     sleep(1);                                                                     
   }                                                                               
   return 0;                                                                       
 }


5.png


第三种方法:在路径/proc下查看

事实上,我们在执行一个程序时,会在/proc目录下生成一个以当前程序的pid命名的目录文件,该目录文件内包含了当前进程的所有信息。并且还有一个特点:当该程序停止运行时,以pid命名的文件会自动销毁。


6.png


如何中止进程


★三种方法:


我们可以通过指令kill -9进程pid来中止进程


通过热键ctrl c来中止当前进程


通过指令killall 进程名称 来中止进程


7.png


三种方式终止进程


父子进程



PPID


进程之间存在父子关系,我们知道,bash是命令行解释器,当我们在命令行输入指令执行一个进程时,我们执行的进程就是bash的子进程。究竟是否如我们所说?我们可以验证一下,当然,在此之前我们要先谈一下PPID,PPID就是当前进程的父进程的pid。


8.png


fork创建子进程


我们也可以通过系统调用函数fork用来给当前进程创建子进程。我们用man手册查询fork的用法。


9.png


我们可以通过如下代码来进行简单测试:


#include<stdio.h>
#include<assert.h>
#include<unistd.h> 
int main()
{
   //我们用ret来接受fork的返回值
   pid_t ret=fork();
   assert(ret!=-1);//断言一下
   //我们通常使用if语句,用来进行执行流分流
   if(ret == 0)                            
   {           
     while(1)
     {       
       //此时是子进程,fork给子进程返回0
       printf("我是子进程,pid:%d,ppid:%d,ret:%d,&ret:%p\n",getpid(),getppid(),ret,&ret);        
       sleep(1);                                                                         
     }          
   }  
   else if(ret >0)
   {              
     while(1)
     {       
       //此时是父进程,fork给父进程返回子进程的pid
       printf("我是父进程,pid:%d,ppid:%d,ret:%d,&ret:%p\n",getpid(),getppid(),ret,&ret);
       sleep(1);                                                                         
     }          
   }
   return 0;
 }


运行结果


10.png


我们发现,确实如此,不过这里有一个疑问,为什么ret的地址相同,但是ret的值却不相同呢?我们从未见过这种现象:同一个变量竟然有两个返回值。这是为什么呢?实际上,我们在函数的最后有一个return 0,而fork之后的代码是父子进程共享的,也就是说,return这个语句被执行了两次,并且当return执行时,函数体内部是已经执行完了的。所以会有两个返回值。


为了验证fork之后的代码,被父子进程共享,我们可以写一个简简单单的代码用来测试一下:


#include<stdio.h>
#include<unistd.h>
 int main()
 {
  int ret = fork();
  //这里只有一个printf
  printf("hello proc,pid:%d,ppid:%d,ret:%d\n", getpid(),getppid(),ret);                          
  sleep(1);
  return 0;
 }


11.png


运行结果


我们发现,确实如此。不仅如此,进程还具有独立性,我们可以定义一个全局变量,父进程对


全局变量进行修改,我们发现不会影响到子进程中的那个全局变量。我们也可以进行验证:


#include<stdio.h>
#include<unistd.h>
//定义全局变量
int a=100;
int main()
 {
   pid_t ret=fork();
   if(ret == 0)
   {
     while(1)
     {
       //子进程,不对a做修改
       printf("我是子进程,a=%d,&a=:%p\n",a,&a);
       sleep(1);
     }
   }
   else 
   {
     while(1)
     {
       //父进程,对全局变量a进行修改                                                            
       a+=100;
       //假如进程不具有独立性,那么父进程的修改也会影响子进程,究竟会不会呢?
       printf("我是父进程,a=%d,&a=:%p\n",a,&a);
       sleep(1);
     }
   }
   return 0;
 }


12.png


结果


我们发现确实如此,不过为什么同一个地址,对内容进行修改却不会互相影响呢?实际上这里的地址并不是真正的物理地址,并且当进程尝试对数据进行修改时,还会触发写时拷贝。(具体放在后面进程地址空间章节详细讲解)。


总结


★上面写了这么多,总结如下:


命令行启动的程序,都会变成bash的子进程


我们可以通过fork为当前进程创建子进程,fork的返回值给子进程返回0,给父进程返回子进程的pid,创建进程失败时返回-1


fork之后的代码被父子进程共享(但是谁先运行不确定)


进程具有独立性,父子进程也是如此,对其中一个进程的修改不会影响另一个进程


独立性体现在两方面:1、代码方面是可读的


2、数据方面,当一个执行流尝试修改数据时,OS会给我们的进程触发写时拷贝(后面章节详细讲解)。


相关文章
|
1天前
|
存储 Linux 程序员
【Linux-14】进程地址空间&虚拟空间&页表——原理&知识点详解
【Linux-14】进程地址空间&虚拟空间&页表——原理&知识点详解
|
1天前
|
Unix Linux
【Linux】一文了解【进程优先级相关知识点】&【PRI / NI值】背后的修正原理(13)
【Linux】一文了解【进程优先级相关知识点】&【PRI / NI值】背后的修正原理(13)
|
1天前
|
Linux 调度
【Linux】盘点广义层面上【三种最基本的进程状态】
【Linux】盘点广义层面上【三种最基本的进程状态】
|
1天前
|
Linux Shell
【Linux】深度解析Linux中的几种进程状态
【Linux】深度解析Linux中的几种进程状态
|
1天前
|
Linux Shell 调度
【Linux】用三种广义进程状态 来理解Linux的进程状态(12)
【Linux】用三种广义进程状态 来理解Linux的进程状态(12)
|
1天前
|
Linux Shell 调度
【Linux系列】fork( )函数原理与应用详解——了解【父子进程及其特性】(代码演示,画图帮助理解,思维导图,精简)(11)
【Linux系列】fork( )函数原理与应用详解——了解【父子进程及其特性】(代码演示,画图帮助理解,思维导图,精简)(11)
|
1天前
|
Linux Shell
【Linux】解决:为什么重复创建同一个【进程pid会变化,而ppid父进程id不变?】
【Linux】解决:为什么重复创建同一个【进程pid会变化,而ppid父进程id不变?】
|
2天前
|
Ubuntu 算法 Linux
嵌入式Linux的学习误区
该文指出了学习嵌入式Linux开发的两个常见误区。一是过分专注于学习桌面或服务器版Linux,而非关注嵌入式开发本身,实际上只需熟悉基本操作即可。二是试图在没有基础的情况下直接阅读Linux内核源代码,这是不切实际的,应先建立基础知识再进行源码学习。文章还提到了在嵌入式系统中获取和处理屏幕数据的示例,包括使用gsnap工具将framebuffer数据转为图像,以及涉及的交叉编译过程。
8 0
|
2天前
|
算法 大数据 Linux
深入理解Linux内核的进程调度机制
【4月更文挑战第30天】操作系统的核心职能之一是有效地管理和调度进程,确保系统资源的合理分配和高效利用。在众多操作系统中,Linux因其开源和高度可定制的特点,在进程调度机制上展现出独特优势。本文将深入探讨Linux内核中的进程调度器——完全公平调度器(CFS),分析其设计理念、实现原理及面临的挑战,并探索未来可能的改进方向。
|
2天前
|
存储 Web App开发 运维