Linux socket.h 中 CMSG_ALIGN 宏定义的作用（字节对齐）

理解Linux中的CMSG_ALIGN宏：内存对齐原理与应用

最新推荐文章于 2025-07-27 15:46:16 发布

原创最新推荐文章于 2025-07-27 15:46:16 发布 · 2.8k 阅读

4 ·

CC 4.0 BY-SA版权

[Linux_kernel] 专栏收录该内容

59 篇文章

订阅专栏

本文深入解析了Linux kernel中CMSG_ALIGN宏的作用，介绍了内存对齐的基本原理，通过实例展示了如何计算以特定大小进行对齐的下界和上界。同时，文章列举了内存对齐在Linux系统中的实际应用，如分配地址、页面对齐和skb数据对齐等场景。

受下面这篇文章的启发，可以知道"kernel/include/linux/socket.h" 中 CMSG_ALIGN 这个宏的作用。

#define CMSG_ALIGN(len) ( ((len)+sizeof(long)-1) & ~(sizeof(long)-1) )

其实，就是找 len 的上界数（ sizeof(long) 必须为 2的N次方）。上界数，就是大于 len ，并且以 sizeof(long) 对齐的最小的数。

sizeof(long) = 4 的话，那么，sizeof(long)-1 的二进制形式为： 0000,0000,0000,0000,0000,0000,0000,0011

那么 ~(sizeof(long)-1) 为 3的取反，

即!(sizeof(long)-1) 的二进制形式为： 1111,1111,1111,1111,1111,1111,1111,1100

那么 CMSG_ALIGN(len) 其实就是:

(len + 0b0000,0000,0000,0000,0000,0000,0000,0011) & 0b1111,1111,1111,1111,1111,1111,1111,1100

如果 len为低2位本就为0的数，那么，结果就是 len, 也就是 len等同于上界数。

如果len 不为低2位为0的数，那么，低2位最大也是0b11 ， 0b11+0b11 =0b110，是不会大于 0b111的。就如十进制的 99 + 99 = 198 ,肯定不大于200 一样。

接着与操作之后，就能确保低2位对齐，并且这个数是大于len的并且低2位为0 的最小的数了。

也就是说经过 CMSG_ALIGN(len) 宏处理之后，返回的 len（长度值）是四个字节对齐的长度。

============================================================

　Linux中_ALIGN宏背后的原理——内存对齐

转自：http://englishman2008.blog.163.com/blog/static/2801290720114210254690/

1. 原理
    int a;
    int size = 8;        <----> 1000(bin)

    计算a以size为倍数的下界数:
    就让这个数(要计算的这个数)表示成二进制时，最后三位为0就可以达到这个目标。只要下面这个数与a进行"与运算"就可以了:
    11111111 11111111 11111111 11111000
    而上面这个数实际下就是 ~(size - 1)，可以将该数称为size的对齐掩码size_mask.

    计算a以size为倍数的上下界数:
    #define alignment_down(a, size) (a & (~(size-1)) )
    #define alignment_up(a, size)   ((a+size-1) & (~ (size-1)))
    注: 上界数的计算方法，如果要求出比a大的是不是需要加上8就可以了?可是如果a本身就是8的倍数,这样加8不就错了吗,所以在a基础上加上(size - 1), 然后与size的对齐掩码进行与运算.

    例如:
    a=0, size=8, 则alignment_down(a,size)=0, alignment_up(a,size)=0.
    a=6, size=8, 则alignment_down(a,size)=0, alignment_up(a,size)=8.
    a=8, size=8, 则alignment_down(a,size)=8, alignment_up(a,size)=8.
    a=14, size=8,则alignment_down(a,size)=8, alignment_up(a,size)=16.
    注:size应当为2的n次方, 即2, 4, 8, 16, 32, 64, 128, 256, 1024, 2048, 4096 ...

2. 在linux中的应用
    上面的计算方法在linux等代码中也常常可以看到,下面给出几个例子:
    (1) 当分配地址addr时, 要将该地址以size为倍数对齐, 而且要得到是比addr大的值, 则使用_ALIGN宏：
    #define _ALIGN(addr,size) (((addr)+(size)-1)&(~((size)-1)))

    (2) 与页面对齐相关的宏
    #define PAGE_SIZE         4096
    #define PAGE_MASK         (~(PAGE_SIZE-1))
    #define PAGE_ALIGN(addr) -(((addr)+PAGE_SIZE-1) & PAGE_MASK)

    (3) 与skb分配时对齐相关的宏
    #define SKB_DATA_ALIGN(X) (((X) + (SMP_CACHE_BYTES - 1)) & ~(SMP_CACHE_BYTES - 1))