Linux驱动里的内核框架和驱动工程师的工作的关系
最近在回看之前学韦东山驱动大全的pinctrl子系统时写的笔记,感觉第二遍看笔记理解了更多更整体的关系,记录一下由此和chatgpt讨论的关于Linux驱动和内核的关系,作为驱动工程师到底是要干什么的问题,内容是和chatgpt讨论以后让chatgpt总结讨论(不要骂我很蠢啊啊之前第一遍学的时候在看每个子系统的数据结构和设备树解析流程包括在编写子系统控制器的驱动代码时都更倾向于只是跟着韦东山老师讲的过了一遍,像死记硬背完全不知道自己在干什么,后来找了实习,然后现在又重新开始看之前学过的内容,感觉有了更多理解
Linux 驱动里“内核框架”和“驱动工程师”关系总结笔记
一、我一开始真正困惑的是什么
我以前学驱动时,经常会看到这样的现象:
驱动和设备树匹配后进入 probe,
probe 里面又调很多函数,
函数里面又继续调更深的函数,
里面有各种结构体、注册、解析、回调、设置、状态切换……
看多了以后就会产生一个根本疑问:
到底哪些东西是我作为驱动工程师要写的,哪些是内核框架已经提供好的?
也就是:
-
我学这些数据结构是在学什么
-
我学这些设备树解析流程是在学什么
-
我以后自己写驱动,到底要写到哪一层
-
我是不是得把所有调用链都背下来
-
还是说其实只需要抓住“框架和驱动”的分工边界
这才是整个讨论真正的核心。
二、最根本的结论:Linux 驱动不是“从零写完整系统”,而是“在框架里补硬件那一部分”
这是整段讨论里最重要的一句话。
Linux 驱动开发通常不是:
我从头把整个流程都自己写出来。
而更像是:
内核框架先把大流程、通用对象、通用组织方式、调用时机都定好;
驱动工程师再把和具体硬件、具体平台、具体 SoC 差异有关的那部分补进去。
所以可以把 Linux 驱动理解成:
框架搭台,驱动填空。
框架负责:
-
定义统一流程
-
定义通用数据结构
-
定义统一抽象
-
提供注册函数
-
提供状态组织和生命周期管理
-
在合适的时候调用驱动提供的回调
驱动负责:
-
解释具体硬件
-
解析平台私有数据
-
实现具体控制逻辑
-
最终落到寄存器读写
这就是“内核”和“驱动”的基本关系。
三、怎么通用地判断:什么是框架提供的,什么是驱动要写的
这不是纯靠死记硬背,而是可以先用一套通用逻辑去判断。
1. 如果某部分是在管理“统一流程”,通常属于框架
比如:
-
设备和驱动匹配后的总体调用路径
-
通用对象怎么创建
-
通用状态怎么组织
-
链表怎么挂
-
生命周期怎么走
-
在什么时机调哪些回调
这些东西如果不同平台都差不多,那就很适合由框架统一提供。
所以,凡是“通用流程控制”的东西,通常属于内核框架。
2. 如果某部分在解释“具体硬件”,通常属于驱动
比如:
-
这个 SoC 有哪些寄存器
-
某个 pinctrl 控制器的 group/function/pin 怎么组织
-
某个设备树节点里的私有属性到底是什么意思
-
某个功能对应的 mux 值是什么
-
某个 config 应该写哪个寄存器位
这些都是硬件私有差异,框架不可能提前知道。
所以,凡是“和具体硬件强相关”的东西,通常都要驱动工程师自己写。
3. 如果某个函数是挂进 ops / callback 里的,那通常就是框架留给驱动去实现的“填空题”
这是一个特别实用的判断办法。
比如:
-
.probe -
.remove -
.dt_node_to_map -
.set_mux -
.pin_config_set -
各种
ops里的成员
这类东西的本质是:
-
框架先定义一个结构体
-
里面有固定成员
-
驱动把自己实现的函数填进去
-
框架以后通过这个成员来调用你
所以只要你看到“这个函数是填到某个 ops 里的”,就可以基本判断:
这是框架规定的接口,具体实现通常归驱动来写。
四、所以是不是“每个子系统都要记它的框架提供了什么”
答案是:要记,但不是死背一切。
这里应该分成两层。
第一层:先记“通用分层规律”
几乎所有 Linux 子系统你都可以先默认有三层:
-
框架层
-
驱动适配层
-
硬件访问层
框架层负责统一流程。
驱动适配层负责平台差异。
硬件访问层最终落到寄存器或硬件操作。
这个规律是跨子系统成立的,不是 pinctrl 特有的。
第二层:再记“这个子系统具体暴露了哪些接口”
这个就必须记了,因为每个子系统留给驱动去实现的接口不一样。
比如 pinctrl 里是:
-
pinctrl_desc -
pinctrl_ops -
pinmux_ops -
pinconf_ops
别的子系统就会是别的结构和回调集合。
所以不能只靠抽象判断,你还得知道:
这个子系统具体把哪些接口留给驱动实现,这些接口分别在哪个结构体里,职责是什么。
所以最终的正确理解是:
先靠分层逻辑判断大方向,再去记这个子系统具体开放了哪些接口。
五、关于“命名”:是不是分成两种
这个问题后来我们也想明白了,而且很关键。
答案是:对,命名确实分两种。
第一种:框架规定的名字 / 位置 / 类型
这部分不能乱。
包括:
-
固定的结构体类型名
-
结构体里的固定成员名
-
固定的回调原型
-
固定的接口位置
这里真正“固定”的,很多时候不是你的函数名本身,而是:
-
成员指针
-
这个成员要求的函数签名是什么
-
这个结构体长什么样
也就是说,框架通常不是靠“函数名字符串”来找你,而是靠:
固定结构体 + 固定成员 + 固定函数原型
来调你。
所以这部分是驱动工程师必须记住的。
第二种:你自己的私有实现名字
这部分通常可以自由命名。
比如你内部的:
-
私有结构体名
-
私有辅助函数名
-
自己的解析函数名
-
自己的初始化函数名
这些大多数情况下内核框架不直接关心。
只要你最后把它们正确填到框架规定的位置上,逻辑就能跑通。
所以后来我们得出的更精确的说法是:
固定的通常不是“我的函数名”,而是“框架给我的接口位置和函数原型”;
我自己的实现函数叫什么,大多数时候可以自己定。
六、为什么 pinctrl 里控制器端和 client 端的“设备树解析”分工不一样
这部分对理解“框架和驱动的边界”特别有启发。
一开始最容易产生的误解是:
-
控制器端解析是不是驱动写
-
client 端解析是不是框架写
-
为什么会这样
后来想通以后,最关键的根本原因不是“哪边高级”,而是:
根本上是设备树语义是否统一的问题。
此处补充一下韦东山老师的笔记,笔记中提到:
理解了这些再看这个内容,控制器的设备树节点格式不一样→设备树解析需要驱动工程师写,客户的设备树节点格式固定→设备树解析的过程内核就有了

1. client 端之所以能由框架统一很多流程,是因为它的设备树语义已经被统一规定了
比如 pinctrl client 节点里,框架已经统一规定了:
-
pinctrl-names -
pinctrl-0 -
pinctrl-1 -
...
这些表示什么,框架已经知道:
-
有哪些 state
-
每个 state 对应哪些 pinctrl 配置节点
既然这套语义是统一的,框架就能统一做很多事情:
-
遍历各个 state
-
读取每个
pinctrl-x -
为 state 建对象
-
组织 map
-
转 setting
-
挂到 state 上
-
切换 state 时遍历 settings 执行
也就是说:
因为 client 侧的输入语义已经统一了,所以框架可以统一写出大流程。
2. 控制器端之所以很多解析必须由驱动来写,是因为它描述的是硬件私有组织方式
控制器端设备树描述的不是“状态”,而是:
-
控制器有哪些 pin
-
pin 如何组成 group
-
group 如何对应 function
-
某个私有属性代表什么底层配置
-
一个节点应该怎么翻译成内部数据结构
这些内容高度依赖具体 SoC、具体控制器设计。
IMX6ULL 这组材料里,控制器端解析就是驱动里自己做的:
在 probe 里先把 pins/npins/pctlops/pmxops/confops 填进 pinctrl_desc,再调用控制器私有的设备树解析函数去构造 info -> functions -> groups -> pins 这些内部结构,然后再注册到 pinctrl 框架。
所以根本原因不是“框架懒得做”,而是:
控制器端面对的输入本身就不是统一格式,不是统一语义。
既然输入不统一,框架就没法把它做成像 client 端那样统一的大流程,只能把这部分留给具体控制器驱动自己实现。
3. 更进一步的抽象结论
后来我们把这个问题想通成了一句更底层的话:
框架能统一的前提,是输入语义先统一。
client 端的设备树语义已经统一,
所以框架可以统一很多解析流程。
控制器端的设备树语义不统一,
所以只能由驱动自己解析。
这是整个问题最根上的解释。
七、那是不是可以假设:如果控制器端设备树也被强行统一,框架也能替我做更多
这个假设在逻辑上是成立的。
也就是说:
如果控制器端设备树的写法、层次、语义也被强行规定成固定格式,
那么理论上框架也确实可以把控制器端很多解析工作统一做掉。
因为本质上,这还是“输入语义是否固定”的问题。
只是现实里之所以不这么做,不是因为逻辑不行,而是因为:
-
控制器硬件差异太大
-
私有语义太多
-
强行统一可能反而限制平台表达能力
-
或者会把抽象做得过于复杂、难用
所以实际内核设计更倾向于:
-
统一 client 端这种容易抽象的部分
-
把控制器端这种强平台差异的部分交给驱动实现
这个分工是有深层设计原因的。
八、用 pinctrl 这个例子,我现在真正应该怎么理解“我作为驱动工程师在干什么”
这一段其实是整个讨论最让我有启发的地方。
以前我看 pinctrl 的数据结构和解析流程,容易觉得是在背流程。
但现在我更明白了:
我学这些,并不是为了背“调用链长什么样”,
而是为了理解:
框架在什么地方停下来,留给我补什么;
我以后自己写驱动时,到底要实现哪些东西。
对 pinctrl 来说,我真正要理解的是:
1. 控制器驱动侧
我要知道:
-
pinctrl_desc是什么 -
我需要给它提供哪些能力描述
-
我的私有数据结构如何组织 pin / group / function / config
-
控制器设备树该怎么被解析成这些内部结构
-
我需要实现哪些 ops / callback 给框架调用
这部分是我以后自己写控制器驱动时要负责的核心内容。
2. client 侧
我要知道:
-
client 节点的 pinctrl 状态是怎么表达的
-
框架怎么从
pinctrl-names/pinctrl-x组织出 state -
一个节点怎么变成 map
-
map 怎么变成 setting
-
setting 最后怎么被 state 切换执行
这部分很多大流程是框架做的,但我需要理解它,才能知道:
-
我的控制器驱动要怎么配合
-
dt_node_to_map应该产出什么 -
最终
set_mux/pin_config_set为什么会在那个时机被调用
所以我现在对自己的定位会更准确:
我不是在机械学习“内核做了什么”,
而是在学习“内核框架和我未来要写的驱动之间,边界在哪里”。
九、关于 pinctrl 这个例子里,哪些是框架,哪些是驱动,现在可以这样理解
框架侧提供的主要是通用流程
比如 client 侧这条调用链:
-
really_probe -
pinctrl_bind_pins -
devm_pinctrl_get -
create_pinctrl -
pinctrl_dt_to_map -
add_setting -
pinctrl_select_state
这些体现的是 pinctrl 框架对 state / map / setting 的通用管理方式。
驱动侧实现的主要是平台细节
比如:
-
控制器端设备树怎么解析
-
具体有哪些 group/function/pin
-
具体节点怎么转换成 map(
dt_node_to_map) -
最终怎样 set_mux
-
最终怎样配置 pin / group
这些体现的是控制器驱动需要补上的平台私有部分。
更多推荐
所有评论(0)