本节将会介绍一些常用的系统内核库函数,这些库函数都是作者参考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类型的结构体指针