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

 

 

评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

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

抵扣说明:

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

余额充值