linux设备模型之kset/kobj/ktype分析

一口Linux 2021-03-14 00:00

背 景

  • Read the fucking source code!  --By 鲁迅
  • A picture is worth a thousand words. --By 高尔基

说明:

  1. Kernel版本:4.14
  2. ARM64处理器,Contex-A53,双核
  3. 使用工具:Source Insight 3.5, Visio

1. 概述

今天来聊一下Linux设备模型的基石:kset/kobject/ktype


  • sysfs文件系统提供了一种用户与内核数据结构进行交互的方式,可以通过 mount -t sysfs sysfs /sys来进行挂载;
  • Linux设备模型中,设备、驱动、总线组织成拓扑结构,通过 sysfs文件系统以目录结构进行展示与管理;
  • Linux设备模型中,总线负责设备和驱动的匹配,设备与驱动都挂在某一个总线上,当它们进行注册时由总线负责去完成匹配,进而回调驱动的 probe函数;
  • SoC系统中有 spi, i2c, pci等实体总线用于外设的连接,而针对集成在SoC中的外设控制器,Linux内核提供一种虚拟总线 platform用于这些外设控制器的连接,此外 platform总线也可用于没有实体总线的外设;
  • /sys目录下, bus用于存放各类总线,其中总线中会存放挂载在该总线上的驱动和设备,比如 serial8250devices存放了系统中的设备信息, class是针对不同的设备进行分类;

上边这些功能的实现,离不开kobject/kset/ktype机制的支撑,开始旅程吧。

2. 数据结构


2.1 kobject

  • kobject代表内核对象,结构体本身不单独使用,而是嵌套在其他高层结构中,用于组织成拓扑关系;
  • sysfs文件系统中一个目录对应一个 kobject

看看结构体吧:

struct kobject { const char *name; /* 名字,对应sysfs下的一个目录 */ struct list_head entry; /* kobject中插入的 list_head结构,用于构造双向链表 */ struct kobject *parent; /* 指向当前kobject父对象的指针,体现在sys中就是包含当前kobject对象的目录对象 */ struct kset *kset; /* 当前kobject对象所属的集合 */ struct kobj_type *ktype; /* 当前kobject对象的类型 */ struct kernfs_node *sd; /* VFS文件系统的目录项,是设备和文件之间的桥梁,sysfs中的符号链接是通过kernfs_node内的联合体实现的 */ struct kref kref; /* kobject的引用计数,当计数为0时,回调之前注册的release方法释放该对象 */#ifdef CONFIG_DEBUG_KOBJECT_RELEASE struct delayed_work release;#endif unsigned int state_initialized:1; /* 初始化标志位,初始化时被置位 */ unsigned int state_in_sysfs:1; /* kobject在sysfs中的状态,在目录中创建则为1,否则为0 */ unsigned int state_add_uevent_sent:1; /* 添加设备的uevent事件是否发送标志,添加设备时向用户空间发送uevent事件,请求新增设备 */ unsigned int state_remove_uevent_sent:1; /* 删除设备的uevent事件是否发送标志,删除设备时向用户空间发送uevent事件,请求卸载设备 */ unsigned int uevent_suppress:1; /* 是否忽略上报(不上报uevent) */};

2.2 kset

  • kset是包含多个 kobject的集合;
  • 如果需要在 sysfs的目录中包含多个子目录,那需要将它定义成一个 kset
  • kset结构体中包含 struct kobject字段,可以使用该字段链接到更上一层的结构,用于构建更复杂的拓扑结构;
  • sysfs中的设备组织结构很大程度上根据 kset组织的, /sys/bus目录就是一个 kset对象,在Linux设备模型中,注册设备或驱动时就将 kobject添加到对应的 kset中;
struct kset { struct list_head list; /* 包含在kset内的所有kobject构成一个双向链表 */ spinlock_t list_lock; struct kobject kobj; /* 归属于该kset的所有的kobject的共有parent */ const struct kset_uevent_ops *uevent_ops; /* kset的uevent操作函数集,当kset中的kobject有状态变化时,会回调这个函数集,以便kset添加新的环境变量或过滤某些uevent,如果一个kobject不属于任何kset时,是不允许发送uevent的 */} __randomize_layout;

2.3 ktype

  • kobj_type用于表征 kobject的类型,指定了删除 kobject时要调用的函数, kobject结构体中有 struct kref字段用于对 kobject进行引用计数,当计数值为0时,就会调用 kobj_type中的 release函数对 kobject进行释放,这个就有点类似于C++中的智能指针了;
  • kobj_type指定了通过 sysfs显示或修改有关 kobject的信息时要处理的操作,实际是调用 show/store函数;
struct kobj_type { void (*release)(struct kobject *kobj); /* 释放kobject对象的接口,有点类似面向对象中的析构 */ const struct sysfs_ops *sysfs_ops; /* 操作kobject的方法集 */ struct attribute **default_attrs; const struct kobj_ns_type_operations *(*child_ns_type)(struct kobject *kobj); const void *(*namespace)(struct kobject *kobj);};
struct sysfs_ops { /* kobject操作函数集 */ ssize_t (*show)(struct kobject *, struct attribute *, char *); ssize_t (*store)(struct kobject *, struct attribute *, const char *, size_t);};
/* 所谓的attribute就是内核空间和用户空间进行信息交互的一种方法,例如某个driver定义了一个变量,却希望用户空间程序可以修改该变量,以控制driver的行为,那么可以将该变量以sysfs attribute的形式开放出来 */struct attribute { const char *name; umode_t mode;#ifdef CONFIG_DEBUG_LOCK_ALLOC bool ignore_lockdep:1; struct lock_class_key *key; struct lock_class_key skey;#endif};

可以看一下kobject创建的时候,与ktype的关系,这样理解起来更顺:


  • kobject在创建的时候,默认设置 kobj_type的值为 dynamic_kobj_ktype,通常 kobject会嵌入在其他结构中来使用,因此它的初始化跟特定的结构相关,典型的比如 struct devicestruct device_driver
  • /sys文件系统中,通过 echo/cat的操作,最终会调用到 show/store函数,而这两个函数的具体实现可以放置到驱动程序中;

2.4 结构关系

为了更形象的说明这几个结构体的关系,再来一张图:


  • kset既是 kobject的集合,本身又是一个 kobject,进而可以添加到其他的集合中,从而就可以构建成复杂的拓扑结构,满足 /sys文件夹下的文件组织需求;

如果只看kset/kobject的数据结构组织,可能还是会迷惑,它怎么跟Linux的设备模型相关?这时就不得不提到Linux内核中一个很精妙的存在container_of,它可以通过成员变量的地址来获取所在结构的地址信息。前文提到过kobject/kset结构本身不会单独使用,通常都是会嵌套在其他结构中,既然kobjcet/kset能组织成拓扑结构,那么包含它们的结构同样可以构建这个关系,因为可以通过container_of就可以找到结构体的首地址。


  • 结构体A、B、C、D、E同样可以构建拓扑结构关系;
  • struct devicestruct device_driver结构体中都包含了 struct kobject,而 struct bus_type结构体中包含了 struct kset结构,这个也就对应到前文提到的设备和驱动都添加到总线上,由总线来负责匹配;

3. 流程分析

kobject/kset的相关代码比较简单,毕竟它只是作为一个结构体嵌入其他high-level的结构中,充当纽带的作用。不过,我还是简单的上一张图吧:


  • 完成的工作基本就是分配结构体,初始化各个结构体字段,构建拓扑关系(主要是添加到kset的list中,parent的指向等)等,看懂了结构体的组织,这部分的代码理解起来就很轻松了;

4. 示例

先上一个原理图:


4.1 代码

#include <linux/kernel.h>#include <linux/module.h>#include <linux/slab.h>#include <linux/kobject.h>
//自定义一个结构,包含了struct kobject子结构struct test_kobj { int value; struct kobject kobj;};
//自定义个属性结构体,包含了struct attribute结构struct test_kobj_attribute { struct attribute attr; ssize_t (*show)(struct test_kobj *obj, struct test_kobj_attribute *attr, char *buf); ssize_t (*store)(struct test_kobj *obj, struct test_kobj_attribute *attr, const char *buf, size_t count);};
//声明一个全局结构用于测试struct test_kobj *obj;
//用于初始化sysfs_ops中的函数指针static ssize_t test_kobj_attr_show(struct kobject *kobj, struct attribute *attr, char *buf){ struct test_kobj_attribute *test_kobj_attr; ssize_t ret = -EIO;
test_kobj_attr = container_of(attr, struct test_kobj_attribute, attr); //回调到具体的实现函数 if (test_kobj_attr->show) ret = test_kobj_attr->show(container_of(kobj, struct test_kobj, kobj), test_kobj_attr, buf); return ret;}
//用于初始化sysfs_ops中的函数指针static ssize_t test_kobj_attr_store(struct kobject *kobj, struct attribute *attr, const char *buf, size_t count){ struct test_kobj_attribute *test_kobj_attr; ssize_t ret = -EIO;
test_kobj_attr = container_of(attr, struct test_kobj_attribute, attr); //回调到具体的实现函数 if (test_kobj_attr->store) ret = test_kobj_attr->store(container_of(kobj, struct test_kobj, kobj), test_kobj_attr, buf, count); return ret;}
//用于初始化kobj_ktypeconst struct sysfs_ops test_kobj_sysfs_ops = { .show = test_kobj_attr_show, .store = test_kobj_attr_store,};
//用于初始化kobj_ktype,最终用于释放kobjectvoid obj_release(struct kobject *kobj){ struct test_kobj *obj = container_of(kobj, struct test_kobj, kobj);
printk(KERN_INFO "test kobject release %s\n", kobject_name(&obj->kobj)); kfree(obj);}
//定义kobj_ktype,用于指定kobject的类型,初始化的时候使用static struct kobj_type test_kobj_ktype = { .release = obj_release, .sysfs_ops = &test_kobj_sysfs_ops,};
//show函数的具体实现ssize_t name_show(struct test_kobj *obj, struct test_kobj_attribute *attr, char *buffer){ return sprintf(buffer, "%s\n", kobject_name(&obj->kobj));}
//show函数的具体实现ssize_t value_show(struct test_kobj *obj, struct test_kobj_attribute *attr, char *buffer){ return sprintf(buffer, "%d\n", obj->value);}
//store函数的具体实现ssize_t value_store(struct test_kobj *obj, struct test_kobj_attribute *attr, const char *buffer, size_t size){ sscanf(buffer, "%d", &obj->value);
return size;}
//定义属性,最终注册进sysfs系统struct test_kobj_attribute name_attribute = __ATTR(name, 0664, name_show, NULL);struct test_kobj_attribute value_attribute = __ATTR(value, 0664, value_show, value_store);struct attribute *test_kobj_attrs[] = { &name_attribute.attr, &value_attribute.attr, NULL,};
//定义组struct attribute_group test_kobj_group = { .name = "test_kobj_group", .attrs = test_kobj_attrs,};
//模块初始化函数static int __init test_kobj_init(void){ int retval; printk(KERN_INFO "test_kobj_init\n"); obj = kmalloc(sizeof(struct test_kobj), GFP_KERNEL); if (!obj) { return -ENOMEM; } obj->value = 1; memset(&obj->kobj, 0, sizeof(struct kobject)); //添加进sysfs系统 kobject_init_and_add(&obj->kobj, &test_kobj_ktype, NULL, "test_kobj");
//在sys文件夹下创建文件 retval = sysfs_create_files(&obj->kobj, (const struct attribute **)test_kobj_attrs); if (retval) { kobject_put(&obj->kobj); return retval; } //在sys文件夹下创建group retval = sysfs_create_group(&obj->kobj, &test_kobj_group); if (retval) { kobject_put(&obj->kobj); return retval; } return 0;}
//模块清理函数static void __exit test_kobj_exit(void){ printk(KERN_INFO "test_kobj_exit\n");
kobject_del(&obj->kobj); kobject_put(&obj->kobj); return;}
module_init(test_kobj_init);module_exit(test_kobj_exit);
MODULE_AUTHOR("LoyenWang");MODULE_LICENSE("GPL");

4.2 Makefile

ifneq ($(KERNELRELEASE),)obj-m:=test_kobject.oelseKERDIR := /lib/modules/$(shell uname -r)/buildPWD:=$(shell pwd)all: make -C $(KERDIR) M=$(PWD) modulesclean: rm -f *.ko *.o *.symvers *.cmd *.cmd.o modules.* *.mod.cendif
  • Makefile没有太多好说的,注意 Tab的使用,否则容易出错;

4.3 测试结果


  • 在/sys目录下创建了test_kobj文件夹,在该文件夹下除了 namevalue外,还有一个 test_kobj_group的子文件夹;
  • 可以通过 cat/echo的操作,来操作 namevalue,分别会调用到底层的 xxx_showxxx_store函数;
  • 对着代码看这个图,一目了然;


参考

https://lwn.net/Articles/263200/

·················· END ··················

点击关注公众号,免费领学习资料

推荐阅读
所有原创
Linux驱动
粉丝问答
C语言
从0学ARM
计算机网络
一口Linux 写点代码,写点人生!
评论
  • 应用趋势与客户需求,AI PC的未来展望随着人工智能(AI)技术的日益成熟,AI PC(人工智能个人电脑)逐渐成为消费者和企业工作中的重要工具。这类产品集成了最新的AI处理器,如NPU、CPU和GPU,并具备许多智能化功能,为用户带来更高效且直观的操作体验。AI PC的目标是提升工作和日常生活的效率,通过深度学习与自然语言处理等技术,实现更流畅的多任务处理、实时翻译、语音助手、图像生成等功能,满足现代用户对生产力和娱乐的双重需求。随着各行各业对数字转型需求的增长,AI PC也开始在各个领域中显示
    百佳泰测试实验室 2025-02-27 14:08 250浏览
  • 在物联网领域中,无线射频技术作为设备间通信的核心手段,已深度渗透工业自动化、智慧城市及智能家居等多元场景。然而,随着物联网设备接入规模的不断扩大,如何降低运维成本,提升通信数据的传输速度和响应时间,实现更广泛、更稳定的覆盖已成为当前亟待解决的系统性难题。SoC无线收发模块-RFM25A12在此背景下,华普微创新推出了一款高性能、远距离与高性价比的Sub-GHz无线SoC收发模块RFM25A12,旨在提升射频性能以满足行业中日益增长与复杂的设备互联需求。值得一提的是,RFM25A12还支持Wi-S
    华普微HOPERF 2025-02-28 09:06 133浏览
  • RGB灯光无法同步?细致的动态光效设定反而成为产品客诉来源!随着科技的进步和消费者需求变化,电脑接口设备单一功能性已无法满足市场需求,因此在产品上增加「动态光效」的形式便应运而生,藉此吸引消费者目光。这种RGB灯光效果,不仅能增强电脑周边产品的视觉吸引力,还能为用户提供个性化的体验,展现独特自我风格。如今,笔记本电脑、键盘、鼠标、鼠标垫、耳机、显示器等多种电脑接口设备多数已配备动态光效。这些设备的灯光效果会随着音乐节奏、游戏情节或使用者的设置而变化。想象一个画面,当一名游戏玩家,按下电源开关,整
    百佳泰测试实验室 2025-02-27 14:15 136浏览
  • 在2024年的科技征程中,具身智能的发展已成为全球关注的焦点。从实验室到现实应用,这一领域正以前所未有的速度推进,改写着人类与机器的互动边界。这一年,我们见证了具身智能技术的突破与变革,它不仅落地各行各业,带来新的机遇,更在深刻影响着我们的生活方式和思维方式。随着相关技术的飞速发展,具身智能不再仅仅是一个技术概念,更像是一把神奇的钥匙。身后的众多行业,无论愿意与否,都像是被卷入一场伟大变革浪潮中的船只,注定要被这股汹涌的力量重塑航向。01为什么是具身智能?为什么在中国?最近,中国具身智能行业的进
    艾迈斯欧司朗 2025-02-28 15:45 209浏览
  • 构建巨量的驾驶场景时,测试ADAS和AD系统面临着巨大挑战,如传统的实验设计(Design of Experiments, DoE)方法难以有效覆盖识别驾驶边缘场景案例,但这些边缘案例恰恰是进一步提升自动驾驶系统性能的关键。一、传统解决方案:静态DoE标准的DoE方案旨在系统性地探索场景的参数空间,从而确保能够实现完全的测试覆盖范围。但在边缘案例,比如暴露在潜在安全风险的场景或是ADAS系统性能极限场景时,DoE方案通常会失效,让我们看一些常见的DoE方案:1、网格搜索法(Grid)实现原理:将
    康谋 2025-02-27 10:00 250浏览
  •           近日受某专业机构邀请,参加了官方举办的《广东省科技创新条例》宣讲会。在与会之前,作为一名技术工作者一直认为技术的法例都是保密和侵权方面的,而潜意识中感觉法律有束缚创新工作的进行可能。通过一个上午学习新法,对广东省的科技创新有了新的认识。广东是改革的前沿阵地,是科技创新的沃土,企业是创新的主要个体。《广东省科技创新条例》是广东省为促进科技创新、推动高质量发展而制定的地方性法规,主要内容包括: 总则:明确立法目
    广州铁金刚 2025-02-28 10:14 100浏览
  • 振动样品磁强计是一种用于测量材料磁性的精密仪器,广泛应用于科研、工业检测等领域。然而,其测量准确度会受到多种因素的影响,下面我们将逐一分析这些因素。一、温度因素温度是影响振动样品磁强计测量准确度的重要因素之一。随着温度的变化,材料的磁性也会发生变化,从而影响测量结果的准确性。因此,在进行磁性测量时,应确保恒温环境,以减少温度波动对测量结果的影响。二、样品制备样品的制备过程同样会影响振动样品磁强计的测量准确度。样品的形状、尺寸和表面处理等因素都会对测量结果产生影响。为了确保测量准确度,应严格按照规
    锦正茂科技 2025-02-28 14:05 128浏览
  •         近日,广电计量在聚焦离子束(FIB)领域编写的专业著作《聚焦离子束:失效分析》正式出版,填补了国内聚焦离子束领域实践性专业书籍的空白,为该领域的技术发展与知识传播提供了重要助力。         随着芯片技术不断发展,芯片的集成度越来越高,结构也日益复杂。这使得传统的失效分析方法面临巨大挑战。FIB技术的出现,为芯片失效分析带来了新的解决方案。它能够在纳米尺度上对芯片进行精确加工和分析。当芯
    广电计量 2025-02-28 09:15 111浏览
  • Matter 协议,原名 CHIP(Connected Home over IP),是由苹果、谷歌、亚马逊和三星等科技巨头联合ZigBee联盟(现连接标准联盟CSA)共同推出的一套基于IP协议的智能家居连接标准,旨在打破智能家居设备之间的 “语言障碍”,实现真正的互联互通。然而,目标与现实之间总有落差,前期阶段的Matter 协议由于设备支持类型有限、设备生态协同滞后以及设备通信协议割裂等原因,并未能彻底消除智能家居中的“设备孤岛”现象,但随着2025年的到来,这些现象都将得到完美的解决。近期,
    华普微HOPERF 2025-02-27 10:32 209浏览
  • 一、VSM的基本原理震动样品磁强计(Vibrating Sample Magnetometer,简称VSM)是一种灵敏且高效的磁性测量仪器。其基本工作原理是利用震动样品在探测线圈中引起的变化磁场来产生感应电压,这个感应电压与样品的磁矩成正比。因此,通过测量这个感应电压,我们就能够精确地确定样品的磁矩。在VSM中,被测量的样品通常被固定在一个震动头上,并以一定的频率和振幅震动。这种震动在探测线圈中引起了变化的磁通量,从而产生了一个交流电信号。这个信号的幅度和样品的磁矩有着直接的关系。因此,通过仔细
    锦正茂科技 2025-02-28 13:30 99浏览
  • 1,微软下载免费Visual Studio Code2,安装C/C++插件,如果无法直接点击下载, 可以选择手动install from VSIX:ms-vscode.cpptools-1.23.6@win32-x64.vsix3,安装C/C++编译器MniGW (MinGW在 Windows 环境下提供类似于 Unix/Linux 环境下的开发工具,使开发者能够轻松地在 Windows 上编写和编译 C、C++ 等程序.)4,C/C++插件扩展设置中添加Include Path 5,
    黎查 2025-02-28 14:39 130浏览
  • 更多生命体征指标风靡的背后都只有一个原因:更多人将健康排在人生第一顺位!“AGEs,也就是晚期糖基化终末产物,英文名Advanced Glycation End-products,是存在于我们体内的一种代谢产物” 艾迈斯欧司朗亚太区健康监测高级市场经理王亚琴说道,“相信业内的朋友都会有关注,最近该指标的热度很高,它可以用来评估人的生活方式是否健康。”据悉,AGEs是可穿戴健康监测领域的一个“萌新”指标,近来备受关注。如果站在学术角度来理解它,那么AGEs是在非酶促条件下,蛋白质、氨基酸
    艾迈斯欧司朗 2025-02-27 14:50 396浏览
  • 美国加州CEC能效跟DOE能效有什么区别?CEC/DOE是什么关系?美国加州CEC能效跟DOE能效有什么区别?CEC/DOE是什么关系?‌美国加州CEC能效认证与美国DOE能效认证在多个方面存在显著差异‌。认证范围和适用地区‌CEC能效认证‌:仅适用于在加利福尼亚州销售的电器产品。CEC认证的范围包括制冷设备、房间空调、中央空调、便携式空调、加热器、热水器、游泳池加热器、卫浴配件、光源、应急灯具、交通信号模块、灯具、洗碗机、洗衣机、干衣机、烹饪器具、电机和压缩机、变压器、外置电源、消费类电子设备
    张工nx808593 2025-02-27 18:04 119浏览
我要评论
0
点击右上角,分享到朋友圈 我知道啦
请使用浏览器分享功能 我知道啦