linux kernel tips

Linux kernel 分配内存：

kmalloc

分配的内存要求物理地址上连续，

https://git.kernel.org/pub/scm/linux/kernel/git/torvalds/linux.git/tree/include/linux/slab.h#n538

vmalloc

分配的内存虚拟地址是连续的，物理地址不保证连续。

container_of  

通过结构体成员地址，获取到结构体成员所在的结构体的地址（结构体成员的地址 - 结构体成员在这个结构体中的偏移 = 成员所在结构体 的地址）。

/**
 * container_of - cast a member of a structure out to the containing structure
 * @ptr:	the pointer to the member.
 * @type:	the type of the container struct this is embedded in.
 * @member:	the name of the member within the struct.
 *
 */
#define container_of(ptr, type, member) ({				\
	void *__mptr = (void *)(ptr);					\
	BUILD_BUG_ON_MSG(!__same_type(*(ptr), ((type *)0)->member) &&	\
			 !__same_type(*(ptr), void),			\
			 "pointer type mismatch in container_of()");	\
	((type *)(__mptr - offsetof(type, member))); })

再看下 offsetof 的计算方式：

#define offsetof(TYPE, MEMBER) ((size_t) &((TYPE *)0)->MEMBER)

C 语言运算符优先级：

优先级	运算符	名称或含义	使用形式	结合方向	说明
1	[]	数组下标	数组名[整型表达式]	左到右
	()	圆括号	（表达式）/函数名(形参表)
	.	成员选择（对象）	对象.成员名
	->	成员选择（指针）	对象指针->成员名
2	-	负号运算符	-算术类型表达式	右到左	单目运算符
	(type)	强制类型转换	(纯量数据类型)纯量表达式
	++	自增运算符	++纯量类型可修改左值表达式		单目运算符
	--	自减运算符	--纯量类型可修改左值表达式		单目运算符
	*	取值运算符	*指针类型表达式		单目运算符
	&	取地址运算符	&表达式		单目运算符
	!	逻辑非运算符	!纯量类型表达式		单目运算符
	~	按位取反运算符	~整型表达式		单目运算符
	sizeof	长度运算符	sizeof 表达式 sizeof(类型)
3	/	除	表达式/表达式	左到右	双目运算符
	*	乘	表达式*表达式		双目运算符
	%	余数（取模）	整型表达式%整型表达式		双目运算符
4	+	加	表达式+表达式	左到右	双目运算符
	-	减	表达式-表达式		双目运算符
5	<<	左移	整型表达式<<整型表达式	左到右	双目运算符
	>>	右移	整型表达式>>整型表达式		双目运算符
6	>	大于	表达式>表达式	左到右	双目运算符
	>=	大于等于	表达式>=表达式		双目运算符
	<	小于	表达式<表达式		双目运算符
	<=	小于等于	表达式<=表达式		双目运算符
7	==	等于	表达式==表达式	左到右	双目运算符
	!=	不等于	表达式!= 表达式		双目运算符
8	&	按位与	整型表达式&整型表达式	左到右	双目运算符
9	^	按位异或	整型表达式^整型表达式	左到右	双目运算符
10	|	按位或	整型表达式|整型表达式	左到右	双目运算符
11	&&	逻辑与	表达式&&表达式	左到右	双目运算符
12	||	逻辑或	表达式||表达式	左到右	双目运算符
13	?:	条件运算符	表达式1? 表达式2: 表达式3	右到左	三目运算符
14	=	赋值运算符	可修改左值表达式=表达式	右到左
	/=	除后赋值	可修改左值表达式/=表达式
	*=	乘后赋值	可修改左值表达式*=表达式
	%=	取模后赋值	可修改左值表达式%=表达式
	+=	加后赋值	可修改左值表达式+=表达式
	-=	减后赋值	可修改左值表达式-=表达式
	<<=	左移后赋值	可修改左值表达式<<=表达式
	>>=	右移后赋值	可修改左值表达式>>=表达式
	&=	按位与后赋值	可修改左值表达式&=表达式
	^=	按位异或后赋值	可修改左值表达式^=表达式
	|=	按位或后赋值	可修改左值表达式|=表达式
15	,	逗号运算符	表达式,表达式,…	左到右	从左向右顺序结合

说明：

同一优先级的运算符，结合次序由结合方向所决定。

简单记就是：！ > 算术运算符 > 关系运算符 > && > || > 赋值运算符

测试 demo:

#define offsetof(TYPE, MEMBER) ((unsigned int) &((TYPE *)0)->MEMBER)
typedef struct node {
	int data;
	struct node *next;
} NODE, *linkList;

void testOffsetof() {
	printf("offsetof = %d \n", offsetof(NODE, data));
	printf("offsetof = %d \n", offsetof(NODE, next));
}

int main() {
	int rc = 0;
	testOffsetof();
	return rc;
}

运行输出：

offsetof = 0 
offsetof = 4 

 

wmb / rmb / mb

这几个宏最终都是下面这个宏， 告诉 gcc 编译器，不要去优化这段代码。

volatile 告诉编译器 x = 1; x =2; x = 3; 这样的连续对 x 赋值是有意义的（IO 操作的时候）。

memory 告诉编译器，每次取值都通过内存，而不是通过寄存器，cache。

#define barrier() __asm__ __volatile__("": : :"memory")
https://stackoverflow.com/questions/14950614/working-of-asm-volatile-memory