linux 内核 memset,(已作废)为我们的操作系统写一些常用的内核库函数

本文介绍了Linux内核中的两个重要库函数:container_of和memcpy的实现原理。container_of用于根据结构体成员地址反向查找结构体首地址,其原理是利用成员地址和结构体到成员的偏移量计算。memcpy函数则是通过汇编指令movs和rep进行内存拷贝,适应不同字节对齐的拷贝需求。文中详细解析了这两个函数的实现细节和工作流程。
摘要由CSDN通过智能技术生成

本节将会介绍一些常用的系统内核库函数,这些库函数都是作者参考linux系统内核的库函数实现的。根据多方面考虑,暂时就没把这些库函数写的那么复杂。有可能功能不完善、性能不够或者有考虑不周的地方,都将会在以后的内核开发过程中一步一步的完善。现在把他们拿来让读者们学习学习这些内核库函数的基本原理,还是非常适合的。不论是从难易程度、代码复杂度、还是实现原理,都相对比较简单。那还等什么!让我们开始吧~~

container_of

#define container_of(ptr,type,member) \

({ \

typeof(((type *)0)->member) * p = (ptr); \

(type *)((unsigned long)p - (unsigned long)&(((type *)0)->member)); \

})

相信看过linux内核的读者们对container_of的作用并不陌生,它可以根据某个结构体内的成员变量的地址,准确的找到该结构体的首地址。这就相当于一个反向寻找上层结构体的过程,使用成员变量的地址偏移,反推出上层结构的地址。

可能这个宏看起来非常的复杂,但是大家不用担心,我们从他的参数开始,一层一层的剥去他的外衣,原理自然就显现出来。

先从他的参数讲起:

ptr:这个变量是一个指针,它指向一实例化后的结构体成员的地址。我们正是要根据这个地址找到它所在的结构体的首地址。

type:这个变量代表的是一个结构体,这个结构体就是我们要找的结构体。

member:这个变量代表结构体中的成员。这个结构体中的成员,与ptr所指的成员是同一个。只不过member是结构体中的成员,而ptr则是经过实例化后的结构体中的成员。

根据这三个参数,我们就能直接分析出,container_of的计算原理。其实就是用type类型的结构体到其member成员的偏移值,再用ptr指向的内存地址减去这个偏移值,得到的地址就是我们要的结构体的首地址啦。

了解了其实现原理,我们再来结合代码,看看他是如何实现的。

typeof(((type *)0)->member) * p = (ptr);

这句话的作用是创建一个指针变量p,用来承载ptr变量的地址。p的类型是根据结构体成员member的类型决定的,通过typeof来获得member的类型。其中,(type *)0是将地址0强制转换为结构体type类型的指针,然后,使用((type *)0)->member来引用结构体成员member。最后,就是用typeof获得member变量的类型,并定义成该类型的指针变量p,将ptr的值赋值给p。

(type *)((unsigned long)p - (unsigned long)&(((type *)0)->member));

这句话的关键在 (unsigned long)&(((type *)0)->member)部分,它同上面的语句很相似,也是将地址0强制转换为type类型的结构体指针࿰

评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值