Linux系统之Uboot、Kernel、Busybox思考之一

news/2024/4/19 12:19:10/文章来源:https://blog.csdn.net/wwwyue1985/article/details/129148879

目录

一 基础环境

1 硬件基础环境

2 软件基础环境

2.1 Uboot

2.2 内核

2.3 文件系统

二 启动过程

1

2

3

4

5

6

7


一 基础环境

1 硬件基础环境

  CPU、内存和FLASH为基础环境,有了这三样,程序就可以跑起来。在此基础上补充各种外设,扩展功能,丰富应用场景。

2 软件基础环境

  软件基础环境主要由UBOOT、内核和文件系统构成。

2.1 Uboot

  UBOOT为引导程序,完成基本的一些初始化工作,可提供系统刷机升级、引导内核的功能。

  UBOOT中一般使用物理地址,不进行虚拟地址到物理地址的转换。当然也可以做这项工作,但是作为boot程序,简单考虑,没有这样做的必要。

  嵌入式Linux的引导程序也不止uboot一种,只是目前uboot较为流行。

  我们测试中,uboot配置的变量保存在flash中uboot结尾的部分。实际产品中,有不同的方案可以选择。比如对flash进行定制分区,提供专门存放数据的分区,并提供备份。

  在海思系列中,uboot中提供了片上芯片的专用配置,比如管脚复用情况,上拉下拉配置,输出驱动能力配置等。

  uboot会影响系统整体启动的时间,可以通过缩减部分检测功能,修改hit key时间等,加快整机启动速度。

  uboot对应的kernel格式为压缩后加头部信息的uImage格式镜像。可以传递参数给kernel。

  uboot自身支持组合命令,可以将多个操作放在一起,重命名为一个组合命令,有点类似函数调用子函数的意味。

  总的原则来讲,uboot就是用最简单的方式,提供一些便捷的基础功能。本身主要用于引导,执行完成后,就退出内存。

2.2 内核

  内核提供操作系统基础环境。诸如驱动、进程、内存管理、文件系统、网络、体系结构支持等。

  了解内核,需要了解

  1 内核有自己的编码风格

  2 内核使用GNU C,对标准C有扩展。这些扩展会要求汇编时做一些处理,这些处理会方便内核处理底层逻辑。比如放到特定的段,结构体的初始化,对齐,0长度数组等。但是内核也受C的一些约束,比如变量要在函数开头定义好。

  3 内核提供一些标准数据结构和宏,方便功能实现。比如链表、通过域获取结构体的地址等。另外提供树、加密等标准功能模块。

  4 内核提供一些数据结构和宏用于处理体系结构差异,比如机器相关数据结构,大小端、字节对齐、IO访问宏等

  5 内核工作基础基于时钟、中断

  6 上述基础上提供进程、进程管理、进程调度

  7 上述基础上提供内存、内存管理、内存映射、DMA内存

  8 上述基础上提供锁和同步原语接口,自旋锁、信号量、互斥锁、读写锁、读写更新锁

  9 内核提供SMP的支持,提供抢占,包括单CPU的抢占、CPU之间的抢占

  10 内核提供针对每个CPU独立的数据,减少锁和缓存失效可能

  11 内核提供文件系统接口,支持虚拟文件系统

  12 内核提供驱动框架,封装硬件,包括CPU、CPU片上控制器、各种硬件接口及总线、字符设备、块设备、网络设备,并进行全局的文件化抽象。

  13 内核提供驱动框架的抽象化,从总线、设备、驱动引申出平台总线、设备及驱动,再到对象、集合、类型框架,最终导出sysfs

  14 内核提供延迟、休眠接口,提供信号唤醒机制,提供异步IO机制,提供事件上报机制,基于sysfs。

  15 内核提供用户空间和内核空间信息的交换,包括内存映射、驱动ioctl、sysfs、netlink等

  16 内核提供模块机制,提供依赖解决方案,模块可支持参数读取,简化内核的扩展

  17 内核提供对错误信息的日志输出,方便调试

  18 内核提供系统调用,实现用户空间和内核空间的切换

  19 内核提供丰富全面的配置接口(大部分运行时可配),可对各种策略、算法、功能、模块进行粗调细调,从而发挥机制的统领作用,实现一定程度的通用性。

  20 内核提供大量的编译配置,从而具备很强的可伸缩性,适用于从单核、低速、低内存的嵌入式设备到集群、高性能、高可靠的服务器领域。

2.3 文件系统

  文件系统(典型的Busybox)提供应用基础环境。包括C库,基础命令工具,文件系统使用环境等。

  同uboot,busybox也只是一种比较流行的基础文件系统环境,还有其他的方案可供选择。比如buildroot?构建工具?

  Busybox主要是提供根文件系统。根文件系统首先提供一个init程序,该程序是内核完成工作后,调用用户空间的第一个程序。

  通过init程序,不断的准备用户空间环境并fork出新的程序,最终完成系统的整体启动,进入shell怠速状态。

  init作为所有用户空间进程的祖父进程,根据Linux的进程管理关系,可以最终获知任何僵尸进程的退出信息,并进行服务程序的重启管理等。

  在上述三者基础上,提供专有应用的软件基础环境。

二 启动过程

1

  内核可以接受多种参数,以便定制化自己的启动约束条件,诸如分区信息、初始程序等。

  内核参数一般可以由UBOOT提供。setenv可以设置保存UBOOT的环境参数。UBOOT将环境参数保存到UBOOT分区的特定位置,一般是开始或者结尾部分。

  UBOOT运行完成后,根据配置的分区信息、内核地址、启动地址及内核初始参数,将内核代码加载到内存固定地址中,然后跳转到内核起始代码处执行,并最终进入start_kernel执行。

  UBOOT在将CPU控制权限交给内核时,需要传递一些参数。参数传递方式无外乎两种,一种是通过压栈的方式,这跟函数调用一致;一种是传递参数存储地址的方式,比如将参数区域地址放入某个通用寄存器,然后kernel启动后,从该寄存器指示的地址区域获取启动参数。无论哪一种方式,都需要对参数格式有统一约定。

  对于栈方式,需要构建栈环境。开始的汇编代码,并不天然的具备栈调用基础。

  具体如何跳转的?从汇编角度来看,涉及修改pc寄存器值得指令,都可能实现跳转功能。但跳转到内核有一个特点,就是永远不会再回来了。这是跟普通代码中的跳转最大的不同。

  关于地址,内核各个模块编译后的地址都是相对地址。最后生成类似vmlinux文件后,各个符合的地址就是最终确定的(虚拟地址)。我们也可以使用vmlinux生成的符合来debug内核,协助解决内核中出现的问题。

2

  Start后,内核进行初始化工作。这过程中,包括对CPU子系统的初始化,进程管理的构建,内存管理的构建,公共子系统的构建,比如中断框架,锁框架,延时、定时器、模块、对象等等。

  这里,我们没有提到设备驱动,显然,驱动加载是初始化过程中的重要一环,总不能操作系统运行起来了,各种外设硬件资源不能使用。但是这里我们没有把驱动放在前面,这是为什么?

  这可以转化为一个新的问题,即设备驱动在内核初始化过程中,是什么时候加载执行的?答案是,驱动没有想象中加载的那么早。

  驱动是在内核线程1启动后,在内核线程1中加载的。该线程后续孵化了各种应用层程序,所以该内核线程是具有应用进程内存映射区的。关于这一点,后面会单独说明。

  根据内核注释,设备驱动加载时,CPU子系统已经构建起来,并运行了。内存和进程管理也开始工作了。

  据此,我们可以反推,在驱动中,可能用到内核的不少特性,比如内存分配,各种锁,中断子系统,软中断线程,工作队列,等待队列,睡眠等等。

  另外,驱动还可能与用户空间打交道,比如ioctl有可能要用吧,内核空间和用户空间内存拷贝可能要用吧,这也是为啥要用内核线程1,因为内核线程2孵化的线程都是纯内核线程,没有用户空间内存映射的。

  对了,驱动模型也需要提前构建好。比如sys子系统,其目录下的各个子目录,驱动加载过程中可能会用到。

  所以,总结一句话,驱动模块的加载没有想象的那么早,因为准备工作的确不少。驱动加载后,就要执行初始化程序。

  驱动的初始化是串行的吗?

3

  内核完成初始化后,需要挂载根文件系统,执行用户空间程序,将控制权交给应用层用户。这其中,用户空间的初始程序可以是通过bootargs参数传递给内核的,也可以是根文件系统中默认的。

  默认方式的程序,在内核的main文件中预定义了四个,分别处于不同的路径下。

  如何从内核空间切换到第一个用户空间?

  init进程调用run_init_process --> do_execve加载新的可执行文件执行。需要准备环境变量,需要加载elf可执行文件代码,需要加载相关动态库

  上述资源的加载更需要建立新的页表映射。

  最后是否需要通过模拟软中断返回,将控制权限交给应用层代码?这是需要的,切换到用户空间之后,特权指令就是关闭的。

  内核态切换到用户态,应该是需要通过模拟中断返回,退出内核态。init进程应该没有返回。否则,返回到哪里?在内核kernel_execve执行用户空间代码时,有b  ret_to_user的汇编。

  因此,这个调用就实现从内核态切换到用户态。仔细思考一下,不单单是init,后续创建新的进程时,都会通过系统调用进入到内核空间,在内核空间完成任务相关结构体的创建。

  虽然构建工作在内核空间,但运行时,最终都无一例外的要回退到用户空间,执行入口代码。所以,切换到用户空间,是一个通用需求。

  四个地方是不存在跳过亦或只执行第一个存在的init程序?比如找到了两个,是只执行第一个?

  内核1号进程先检查命令行是否提供了初始程序,如果有(分ramdisk和非ramdisk),并且执行成功,则返回,否则检查四个地方,这四个地方是或条件连接,所以任何一个执行成功则返回,并且有先后优先级顺序。

4

  内核启动过程中会创建创世进程idle进程,pid为0。idle进程是手工创建的,也就是进程结构体所需的各个资源都是手动配置的,之后的进程可以通过调用do_fork,从0进程孵化出来。

  idle进程创建过程中会逐步准备一个真正的内核进程所需要的资源,包括虚拟内存空间,等等。

  idle进程的主要工作是准备资源和环境,完成后,进入idle状态,什么也不做。内核会为每个核心配备一个idle进程,调度器在发现运行队列为空时,调度idle进程,放空CPU。

  我们看到idle进程一般执行死循环。对于CPU来讲,执行循环指令和执行普通的加减指令,并无特别大的区别(当然,指令涉及到的耗电是有一些差别的),所以idle循环时并不能真的让CPU处于idle状态。

  其实,现代CPU都有特殊指令提供,让idle的核心比较真的处于idle状态,类似睡眠中,并通过事件唤醒,这样可以真正的降低功耗。

  idle进程准备资源的过程。

5

  内核启动过程中,会创建两类线程,由idle进程通过调用do_fork孵化。第一类的父进程是1号进程,init进程。上述驱动初始化就在该进程中。

  1号进程所孵化的进程都有一个特点,就是这些进程都是用户空间进程。因为内核init线程挂载跟文件系统,执行用户空间init程序,由该init程序完成所有其他应用的创建,包括所有shell方式创立的进程。

  第二类是2号进程。2号进程所孵化的进程都有一个特点,这些进程,严格来讲,应该是内核线程,都没有用户空间映射。也就是说,2号的孩子都运行在内核空间中。

  比如,内核的软中断线程,工作队列线程,RCU,交换后台,设备驱动相关的一些工作线程。这些线程一般不需要跟用户空间打交道,是为整个内核服务的。

  内核的进程树关系?

  idle 即0进程创建了 1号init 进程和 2号kthreadd 进程。

  1号进程执行文件系统中的可执行程序或者命令程序,创建用户空间进程。用户空间进程进一步创建新的用户空间进程。

  2号进程创建内核工作所需的各类进程。这些进程是通过kernel_thread接口调用创建的。该调用将进程结构放到进程创建列表上,通知2号进程。2号进程检查内核进程创建列表,如果发现有需要创建的进程,则创建对应的内核进程。

  如果不采用这种方式,而是像用户进程那样,在需要的地方就直接调用do_fork创建进程,显然是不行的。因为在用户空间,任何一行代码都是在明确的用户进程上下文中的。

  直接调用do_fork,肯定是在当前用户进程基础上创建新的进程,不会有任何异议。而对内核来讲,如果当前的上下文是中断处理程序,则上下文是不明确的,

  有可能是从某个内核线程切换过来的,也有可能是从某个用户进程切换过来的。所以,通过上述指定父进程,遍历链表创建子进程的方式,明确了内核进程的上下文空间。

6

  对于内核初始化的时间要求

  内核提供了initcall_debug参数,用于辅助调试启动时间

  另外,内核需要打开CONFIG_PRINTK_TIME

  scripts脚本目录下有一个python文件bootgraph.pl,可以处理启动输出的日志信息,然后绘制svg图,这样可以直观的看到内核启动过程的时间是如何消耗的。

  命令使用方式为 dmesg | perl scripts/bootgraph.pl > output.svg

7

  补充关闭过程

  restart软复位,调用到了machine绑定的restart函数,这是一个平台相关接口,在海思上,实现为写特定控制寄存器

  应用层执行reboot程序时,最终会通过系统调用执行到kernel_restart函数,但是该函数的使用似乎有一些条件。

  根据内核的注释来看,在中断上下文中调用该接口并不安全,实际测试,似乎也是。

  在rcu检测到stall后dump调用栈的接口中,执行该重启函数,并不能保证每次都会重启,应该来讲,大部分情况不会重启。

  另外,在上述接口中,单独进行海思平台的软复位,实际也没有重启。包括组合使用smp_send_stop、关闭中断、延时等

  最终都似乎是cpu关闭了,但是无法重新启动。

  对于kernel_restart,rcu检测到stall是在时钟中断上下文中,因此不符合内核对该接口调用的要求,无法完成重启似乎也能说过去,也许一些操作会出现问题。

  但是,直接暴力写复位寄存器,不能实现重启,原因就不得而知。

  解决方案是将kernel_restart放到工作队列中,参考ctrl_alt_del快捷键的处理。实际测试可以正常重启。

  另外,将上述写寄存器的方法放到工作队列中,让其在线程上下文中执行,测试发现,也不能重启。说明当前的CPU运行环境不满足复位条件。

  但是海思文档中没有说明复位需要什么条件,其中的原因是否跟多核有关?

  在应用环境中,单独使用devmem写寄存器命令测试,发现效果跟内核中使用命令是一样的,该问题暂放!

  halt,各个CPU核心处理后,关闭中断,然后while 1循环。

  poweroff关机,待分析。

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

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

相关文章

Android - 代码生成远程依赖库(阿里云)

一、注册 没有注册过阿里云且没有实名认证的点这里:阿里云官网 二、查看库 阿里云制品仓库Packages (注:如果没有创建企业或个人使用,按照提示,选个人使用) 三、选择类型 选择其中一个(两…

传统巨头生“变”,中国毫米波雷达市场战火再升级

进入2023年,中国车载毫米波雷达市场战火明显升级。 一方面,愈演愈烈的份额抢夺战不仅仅存在于几大传统巨头之间,也快速转移到与国产供应商之间;随着部分外资巨头的本土化战略深入落地,同时对国产供应商造成了压力。 …

ur3+robotiq ft sensor+robotiq 2f 140配置gazebo仿真环境

ur3robotiq ft sensorrobotiq 2f 140配置gazebo仿真环境 搭建环境: ubuntu: 20.04 ros: Nonetic sensor: robotiq_ft300 gripper: robotiq_2f_140_gripper UR: UR3 通过上一篇博客配置好ur3、力传感器和robotiq夹爪的rviz仿真环境后,现在来配置一下对…

MySQL数据库————MVCC

MySQL的脏读、幻读、不可重复读 脏读 现在有两个事务在操作table表,事务B修改了id2的name字段为李老四,但是没有提交,事务A查询id2的数据,得到name为李老四;事务B发生回滚,id2的数据的name又变回李四&…

性能测试知多少?怎样开展性能测试

看到好多新手,在性能需求模糊的情况下,随便找一个性能测试工具,然后就开始进行性能测试了,在这种情况下得到的性能测试结果很难体现系统真实的能力,或者可能与系统真实的性能相距甚远。 与功能测试相比,性能…

【Spring Boot 原理分析】- 自动配置

【Spring Boot 原理分析】- 自动配置 Condition 注解 Condition 是 Spring 4.0 增加的条件判断功能,通过这个功能可以实现选择的创建 Bean 操作 👑 我们在使用 Spring 的时候,只需导入某个依赖的坐标,就可以直接通过 Autwired 注…

堆,堆构建,堆排序,PriorityQueue和TopN问题

零. 前言 堆作为一种重要的数据结构,在面笔试中经常出现,排序问题中,堆排序作为一种重要的排序算法经常被问道,大顶堆小顶堆的应用经常出现,经典的问题TopN问题也是堆的重要应用,因此,了解并掌握…

Mac - Spotlight(聚焦)

文章目录一、Mac 中 Spotlight 的使用1、调用/打开 Spotlight2、执行搜索3、Spotlight 设置二、Mac 上的 Spotlight 开发1、关于 Spotlight2、使用 NSMetadataQuery 搜索示例三、mds 和 fsevents四、命令行访问 Spotlight五、Core Spotlight Framework六、Spotlight 插件相关资…

CSS预处理器sass和less

文章目录CSS预处理器什么是CSS预处理器Sass和LESS背景介绍Sass背景介绍LESS的背景介绍Sass安装Sass下载Ruby安装文件安装Ruby安装Sass编译Sass命令行编译命令行编译配置选项四种编译排版演示nested 编译排版格式expanded 编译排版格式compact 编译排版格式compressed 编译排版格…

登录逻辑漏洞整理集合

目录一、任意用户注册1.未验证邮箱/手机号2、不安全验证邮箱/手机号3.批量注册4.个人信息伪造5.前端验证审核绕过6.用户名覆盖二、任意用户登录1、万能密码2、验证码、密码回显3、登录检测不安全三、任意账号重置1、重置账号名2、验证码3、MVC数据对象自动绑定4、Unicode字符处…

独立产品灵感周刊 DecoHack #048 - 优秀独立开发产品推荐

如果有关注我的 Twitter 的朋友应该看到了,我上周末研究了两天 AI 画图,现在用 Ai 做图太强了,上周又升级 Stable Diffusion 玩了一下,和我去年试的时候相比强大了好多,而且插件LoRA模型玩法都还在快速迭代&#xff0c…

强化学习DQN之俄罗斯方块

强化学习DQN之俄罗斯方块强化学习DQN之俄罗斯方块算法流程文件目录结构模型结构游戏环境训练代码测试代码结果展示强化学习DQN之俄罗斯方块 算法流程 本项目目的是训练一个基于深度强化学习的俄罗斯方块。具体来说,这个代码通过以下步骤实现训练: 首先…

车机开发【Android SystemUI 架构音量控制详解】

SystemUI介绍 SystemUI摘要 在Android系统中SystemUI是以应用的形式运行在Android系统当中,即编译SystemUI模块会生产APK文件,源代码路径在frameworks/base/packages/SystemUI/,安装路径system/priv-app/-SystemUI。 什么是SystemUI 在前…

使用带有 Moveit 的深度相机来避免碰撞

文章目录 什么是深度相机?如何将 Kinect 深度相机添加到您的环境中在 Rviz 中可视化深度相机数据在取放场景中使用深度相机将深度相机与您的 Moveit 设置一起使用有很多优势。机器人可以避免未知环境中的碰撞,甚至可以对周围的变化做出反应。然而,将深度相机连接到您的设置并…

FlinkSQL行级权限解决方案及源码

FlinkSQL的行级权限解决方案及源码,支持面向用户级别的行级数据访问控制,即特定用户只能访问授权过的行,隐藏未授权的行数据。此方案是实时领域Flink的解决方案,类似离线数仓Hive中Ranger Row-level Filter方案。 源码地址: https…

数据分片(mycat)

1. 数据分片概念: 1.1. 分库分表 什么是分库分表: 将存放在一台数据库服务器中的数据,按照特定方式(指的是程序开发的算法)进行拆分,分散存放到多台数据库服务器中,以达到分散单台服务器负载的…

第51篇-某彩网登录参数分析-webpack【2023-02-21】

声明:该专栏涉及的所有案例均为学习使用,严禁用于商业用途和非法用途,否则由此产生的一切后果均与作者无关!如有侵权,请私信联系本人删帖! 文章目录 一、前言二、网站分析一、前言 今天我们看一个webpack的网站 aHR0cHM6Ly8xMGNhaTUwMC5jYy9sb2dpbg==二、网站分析 首先…

网络协议(一)应用层(自定制协议、HTTP协议)

目录 应用层:负责应用程序之间的数据沟通 一、自定制协议(私有协议) 二、HTTP协议 1)、请求行解析:GET /index.html HTTP/1.1 第一部分:请求方法:多种多样,描述不同的请求目的 …

大数据知识图谱项目——基于知识图谱的医疗知识问答系统(详细讲解及源码)

基于知识图谱的医疗知识问答系统 一、项目概述 本项目基于医疗方面知识的问答,通过搭建一个医疗领域知识图谱,并以该知识图谱完成自动问答与分析服务。本项目以neo4j作为存储,基于传统规则的方式完成了知识问答,并最终以关键词执…

Verilog 学习第五节(串口发送部分)

小梅哥串口部分学习part1 串口通信发送原理串口通信发送的Verilog设计与调试串口发送应用之发送数据串口发送应用之采用状态机实现多字节数据发送串口通信发送原理 1:串口通信模块设计的目的是用来发送数据的,因此需要有一个数据输入端口 2:…