Linux 内核如何描述一个进程?

哈喽,我是吴同学,继续记录我的学习心得。

一、关于写文章

  1. 许多知识,书上或者网络上都有,就算这两个地方都没有,代码里也会有答案。但有时恰恰是 资料太多,反而让人难以检索出有用的信息

  2. 面对同样的资料,每个人的理解能力,思维方式,学习能力,学习时间是不同,所以学习的效果也是不一样的。有人愿意将自己认真思考的结果分享出来,是非常值得鼓励的。即便你是学霸,找到优秀的人和他们的文章,会大大节省自己在陌生领域的学习时间。

  3. 每个人的思维方式和写作能力是有高低之分的,同样的内容,不同的描述,读者会有不同的收获。我希望写一些有价值的文章,通过公开写作来不断地提高自己学习能力,并且寻找出更好的学习方法。

  4. 学得越多,记忆的难度越大。不及时输出的话,内化效果极差,学习价值会不断地进行贬值

  5. 写文章首先是给自己看,其次才是给别人看,不要害怕写错,写错了要虚心接受批评。

二、Linux 内核如何描述一个进程?

目的:

  • 初步了解进程描述符 task_struct。

目录:

  1. Linux 的进程

  2. Linux 的进程描述符

  • task_struct

  • 内核如何找到 task_struct

  • task_struct 的分配和初始化

  • 实验:打印 task_struct / thread_info / kernel mode stack

  • 环境:

    • Linux-4.14 + ARMv7

    1. Linux 的进程

    进程的术语是 process,是 Linux 最基础的抽象,另一个基础抽象是文件。

    最简单的理解,进程就是执行中 (executing, 不等于running) 的程序。

    更准确一点的理解,进程包括执行中的程序以及相关的资源 (包括cpu状态、打开的文件、挂起的信号、tty、内存地址空间等)。

    一种简洁的说法:进程 = n*执行流 + 资源,n>=1

    Linux 进程的特点:

    • 通过系统调用 fork() 创建进程,fork() 会复制现有进程来创建一个全新的进程。

    • 内核里,并不严格区分进程和线程

    • 从内核的角度看,调度单位是线程 (即执行流)。可以把线程看做是进程里的一条执行流,1个进程里可以有1个或者多个线程。

    • 内核里,常把进程称为 task 或者 thread,这样描述更准确,因为许多进程就只有1条执行流。

    • 内核通过轻量级进程 (lightweight process) 来支持多线程。1个轻量级进程就对应1个线程,轻量级进程之间可以共享打开的文件、地址空间等资源。

    2. Linux 的进程描述符

    2.1 task_struct

    内核里,通过 task_struct 结构体来描述一个进程,称为进程描述符 (process descriptor),它保存着支撑一个进程正常运行的所有信息。

    每一个进程,即便是轻量级进程(即线程),都有1个 task_struct。

    sched.h (include\linux)struct task_struct {struct thread_info thread_info;volatile long state;void *stack;[...]struct mm_struct *mm;[...]pid_t pid;[...]struct task_struct *parent;[...]char comm[TASK_COMM_LEN];[...]struct files_struct *files;[...]struct signal_struct *signal;
    }
    

    这是一个庞大的结构体,不仅有许多进程相关的基础字段,还有许多指向其他数据结构的指针。

    它包含的字段能完整地描述一个正在执行的程序,包括 cpu 状态、打开的文件、地址空间、挂起的信号、进程状态等。

    点击查看大图

    作为初学者,先简单地了解部分字段就好:

    • struct thread_info thread_info: 进程底层信息,平台相关,下面会详细描述。

    • long state: 进程当前的状态,下面是几个比较重要的进程状态以及它们之间的转换流程。

    点击查看大图
    • void *stack: 指向进程内核栈,下面会解释。

    • struct mm_struct *mm: 与进程地址空间相关的信息都保存在一个叫内存描述符 (memory descriptor) 的结构体 (mm_struct) 中。

    点击查看大图
    • pid_t pid: 进程标识符,本质就是一个数字,是用户空间引用进程的唯一标识。

    • struct task_struct *parent: 父进程的 task_struct。

    • char comm[TASK_COMM_LEN]: 进程的名称。

    • struct files_struct *files: 打开的文件表。

    • struct signal_struct *signal: 信号处理相关。

    其他字段,等到有需要的时候再回过头来学习。

    2.2 当发生系统调用或者进程切换时,内核如何找到 task_struct ?

    对于 ARM 架构,答案是:通过内核栈 (kernel mode stack)。

    为什么要有内核栈?

    • 因为内核是可重入的,在内核中会有多条与不同进程相关联的执行路径。因此不同的进程处于内核态时,都需要有自己私有的进程内核栈 (process kernel stack)。

    当进程从用户态切换到内核态时,所使用的栈会从用户栈切换到内核栈

    • 至于是如何切换的,关键词是系统调用,这不是本文关注的重点,先放一边,学习内核要懂得恰当的时候忽略细节。

    当发生进程切换时,也会切换到目标进程的内核栈

    • 同上,关键词是硬件上下文切换 (hardware context switch),忽略具体实现。

    无论何时,只要进程处于内核态,就会有内核栈可以使用,否则系统就离崩溃不远了。

    ARM 架构的内核栈和 task_struct 的关系如下:

    点击查看大图

    内核栈的长度是 THREAD_SIZE,对于 ARM 架构,一般是 2 个页框的大小,即 8KB。

    内核将一个较小的数据结构 thread_info 放在内核栈的底部,它负责将内核栈和 task_struct 串联起来。thread_info 是平台相关的,在 ARM 架构中的定义如下:

    // thread_info.h (arch\arm\include\asm)struct thread_info {unsigned long flags;  /* low level flags */int preempt_count; /* 0 => preemptable, <0 => bug */mm_segment_t addr_limit; /* address limit */struct task_struct *task;  /* main task structure */[...]struct cpu_context_save cpu_context; /* cpu context */[...]
    };
    

    thread_info 保存了一个进程能被调度执行的最底层信息(low level task data),例如struct cpu_context_save cpu_context 会在进程切换时用来保存/恢复寄存器上下文。

    内核通过内核栈的栈指针可以快速地拿到 thread_info:

    // thread_info.h (include\linux)static inline struct thread_info *current_thread_info(void)
    {// current_stack_pointer 是当前进程内核栈的栈指针return (struct thread_info *)(current_stack_pointer & ~(THREAD_SIZE - 1));
    }
    

    然后通过 thread_info 找到 task_struct:

    // current.h (include\asm-generic)#define current (current_thread_info()->task)
    

    内核里通过 current 宏可以获得当前进程的 task_struct。

    2.3 task_struct 的分配和初始化

    当上层应用使用 fork() 创建进程时,内核会新建一个 task_struct。

    进程的创建是个复杂的工作,可以延伸出无数的细节。这里我们只是简单地了解一下 task_struct 的分配和部分初始化的流程。

    fork() 在内核里的核心流程

    点击查看大图

    dup_task_struct() 做了什么?

    点击查看大图

    至于设置内核栈里做了什么,涉及到了进程的创建与切换,不在本文的关注范围内,以后再研究了。

    3. 实验:打印 task_struct / thread_info / kernel mode stack

    实验目的:

    • 梳理 task_struct / thread_info / kernel mode stack 的关系。

    实验代码:

    #include <linux/init.h>
    #include <linux/module.h>
    #include <linux/sched.h>static void print_task_info(struct task_struct *task)
    {printk(KERN_NOTICE "%10s %5d task_struct (%p) / stack(%p~%p) / thread_info->task (%p)",task->comm, task->pid,task,task->stack,((unsigned long *)task->stack) + THREAD_SIZE,task_thread_info(task)->task);
    }static int __init task_init(void)
    {struct task_struct *task = current;printk(KERN_INFO "task module init\n");print_task_info(task);do {task = task->parent;print_task_info(task);} while (task->pid != 0);return 0;
    }
    module_init(task_init);static void __exit task_exit(void)
    {printk(KERN_INFO "task module exit\n ");
    }
    module_exit(task_exit);
    

    运行效果:

    task module initinsmod  3123 task_struct (edb42580) / stack(ed46c000~ed474000) / thread_info->task (edb42580)bash  2393 task_struct (eda13e80) / stack(c9dda000~c9de2000) / thread_info->task (eda13e80)sshd  2255 task_struct (ee5c9f40) / stack(c9d2e000~c9d36000) / thread_info->task (ee5c9f40)sshd   543 task_struct (ef15f080) / stack(ee554000~ee55c000) / thread_info->task (ef15f080)systemd     1 task_struct (ef058000) / stack(ef04c000~ef054000) / thread_info->task (ef058000)
    

    在程序里,我们通过 task_struct 找到 stack,然后通过 stack 找到 thread_info,最后又通过 thread_info->task 找到 task_struct。

    4. 相关参考

    • Linux 内核设计与实现 / 第 3.1 章节

    • 深入理解 Linux 内核 / 3

    • Linux 内核深度解析 / 2.5.1

    • 深入Linux 内核架构 / 2.3

    推荐阅读:

        专辑|Linux文章汇总

        专辑|程序人生

        专辑|C语言

    嵌入式Linux

    微信扫描二维码,关注我的公众号 

本文来自互联网用户投稿,该文观点仅代表作者本人,不代表本站立场。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如若转载,请注明出处:http://www.mzph.cn/news/467005.shtml

如若内容造成侵权/违法违规/事实不符,请联系多彩编程网进行投诉反馈email:809451989@qq.com,一经查实,立即删除!

相关文章

供应商关系管理SRM为企业的节流增贡献

在供应链下游的需求链上&#xff0c;企业为了增加市场份额、提高销售收入&#xff0c;更为重视面向客户的管理和信息化管理方面的投入&#xff0c;纷纷引入客户关系管理CRM的管理理念和信息化系统&#xff0c;在“客户第一”的经营策略下借助IT技术的手段来提高对客户的服务水平…

C小项目——电子词典

C语言项目——查字典 宗旨&#xff1a;技术的学习是有限的&#xff0c;分享的精神是无限的。 【项目需求描述】 一、单词查询 给定文本文件“dict.txt”&#xff0c;该文件用于存储词库。词库为“英-汉”&#xff0c;“汉-英”双语词典&#xff0c;每个单词和其解释的格式固…

线性表的顺序存储的基本操作

插入&#xff1a; #include<stdio.h> #define N 100 typedef struct s {int elem[N];int last; }Seqlist; int Locate(Seqlist l,int e)//查找 {int i0;while(i<l.last&&l.elem[i]!e)i;if(i<l.last)return i1;elsereturn 0; } int DelList(Seqlist *l,int …

canvas生成二维码(2)

不同的插件实现相同的效果&#xff0c;用起来更简洁一些&#xff0c;引用插件qrcode.js 创建一个新的QRCode对象&#xff0c;利用动漫节点和data数据进行复制&#xff0c;实现生成图片img的二维码&#xff1a; 详细见下方代码&#xff1a; <!DOCTYPE html PUBLIC "-//W…

UART/I2C/SPI/1-wire四大通信接口的神解释

1、 裘千丈轻功水上漂之UART射雕英雄传中的裘千丈说&#xff0c;UART就是我的轻功水上漂过河。想从河上过&#xff08;通信&#xff09;&#xff0c;提前布暗桩&#xff0c;行走时步伐按桩距固定&#xff08;波特率提前确定&#xff09;&#xff0c;步幅太大或太小都会落水。为…

动漫迷看的一点动漫

个人看过的动漫 (注&#xff1a;排名不分先后) 宗旨&#xff1a;技术的学习是有限的&#xff0c;分享的精神是无限的。 1、魔法科高中的劣等生&#xff1a;国立魔法大学附属第一高校——通称“魔法科高校”&#xff0c;是由成绩优秀的“一科生”&#xff0c;和作为一科生替补的…

last_kmsg和ram console

相关文章Android 7.1使用脚本保存LOGCAT和KMSG日志到文件首先&#xff0c;在kernel里面通过printk吐log的时候会是下面的一个过程&#xff1a;printk会将信息格式化到kernel log buffer里面去。然后将这些格式化信息送到console去&#xff0c;在我们的系统里面有两个console&am…

字符串类

1.String类 常用方法&#xff1a; 参考&#xff1a;http://wenku.baidu.com/link?urltz-3Dpwj-JSJQdG6vSo0J1L1G9oJS4eQJjYgogieIzgjdNNLmj-U9EpWhOnVthz4egAKv0SNmLkqzNz2WsiZ2EmPGMu2UXhB6yy-E4yvMQ3 NB&#xff1a; 这里的”s1s2“是地址相等,而是s1.equals(s2)是内容相等…

github网页

GitHub主页创建仓库想必大家都有自己的Github账号吧&#xff0c;没有的可以到GitHub官网注册账号&#xff0c;注册完后&#xff0c;我们来下一步&#xff0c;在我们的GitHub上面右上角的New repository来创建一个仓库。 仓库名必须遵守相应格式&#xff1a;your_username.githu…

企业应该如何选型ERP?

企业应该如何选型ERP呢?!其实说起这个话题, 是源于我们公司所在的镇里,镇长带着两个企业的企业家,到我们公司指名让我给他们讲讲. 俗称:取经我是乐意的,因为做了这么久的顾问了,感觉不像是顾问了,倒成了传教士了. 总喜欢说上两句.然后把自已的观点或看法,希望传给别人,然后影…

有用的Copy-On-write,写时复制

写时复制和写时拷贝是一个意思写时复制是一种策略&#xff0c;并不是Linux独有的&#xff0c;如果你正在设计某个系统架构&#xff0c;也可以参考这种思想。写时复制的英文解释如下Copy-on-write (sometimes referred to as "COW") is an optimization strategy used…

lambda应用

def test(a, b, func):result func(a, b)print(result)test(10, 15, lambda x, y: x y) #codingutf-8 #python2需要加上codingutf-8def test(a, b, func):result func(a, b)return result #python2中的方式 #func_new input("请输入一个匿名函数:")#python3中的方…

51单片机学习

单片机学习 宗旨&#xff1a;技术的学习是有限的&#xff0c;分享的精神是无限的。 学习使用单片机就是理解单片机硬件结构&#xff0c;在汇编或C语言中学会各种功能的初始化设置&#xff0c;以及实现各种功能的程序编制。 第一步&#xff1a;数字I/O的使用 使用按钮输入信…

数据库操作,内外联查询,分组查询,嵌套查询,交叉查询,多表查询,语句小结...

为了大家更容易理解我举出的SQL语句&#xff0c;本文假定已经建立了一个学生成绩管理数据库&#xff0c;全文均以学生成绩的管理为例来描述。 1.在查询结果中显示列名&#xff1a; a.用as关键字&#xff1a;select name as 姓名 from students order by age b.直接表示&#x…

雷军:如果程序人生的话,这条路太漫长

这篇文章是在雷总个人博客看到的&#xff0c;里面聊到了他作为程序员的一些经历、初衷以及思考。写的不错&#xff0c;便转来给大家看看。-- 如果程序人生的话&#xff0c;这条路太漫长我并非天生喜欢写程序&#xff0c;上高中时也没有想过程序员的生活。我学电脑非常偶然&…

跨年操作--new Date()

//时间在2017/12/31 17&#xff1a;00 --- 2018/1/1 06:00区间&#xff0c;提示用户无法操作公告。 //time.js (function(){ var date new Date(); //当前年份 var year date.getFullYear(); //当前月份 var month date.getMonth()1; //当前日 var day date.getDate(); //当…

List接口

List接口是collection接口的子接口&#xff0c;对collection进行了简单的扩充&#xff0c;添加了利用索引&#xff08;“位置序”&#xff09;作为参数或者返回类型的方法。List中存放的对象都有一个整数型的型号&#xff0c;记录该对象在容器中的位置&#xff0c;可以根据序号…

51单片机——硬件基础

单片机——硬件基础知识 宗旨&#xff1a;技术的学习是有限的&#xff0c;分享的精神是无限的。 1、单片机内部资源 STC89C52&#xff1a;8KFLASH、512字节RAM、32个IO口、3个定时器、1个UART、8个中断源 &#xff08;1&#xff09;Flash&#xff08;硬盘&#xff09;——程…

线程静态的几个特点

很多编码规范上都指出不要使用线程静态&#xff08;ThreadStatic&#xff09;&#xff0c;这主要是为了防止在使用的时候出现意外。当有的时候这个线程静态确实会带来一些好处&#xff0c;如何取舍就要看具体情况了。首先&#xff0c;明确一点线程静态与标准静态之间的区别。线…

马上工作了,想问下要注意哪些问题?

这是一位读者在知识星球提问的&#xff0c;涉及的内容很多&#xff0c;但是这些问题&#xff0c;我觉得很多人都需要注意&#xff0c;分享出来让大家看&#xff0c;也希望留言说下自己的看法。1一、 offer情况 1. 已签三方 2. 公司是国内靠前的芯片原厂&#xff0c;深圳&#x…