文章详情

短信预约-IT技能 免费直播动态提醒

请输入下面的图形验证码

提交验证

短信预约提醒成功

聊聊Linux字节对齐的那些事

2024-12-03 00:13

关注

最近一口君在做一个项目,遇到一个问题,运行于ARM上的threadx在与DSP通信采用消息队列的方式传递消息(最终实现原理是中断+共享内存的方式),在实际操作过程中发现threadx总是crash,于是经过排查,是因为传递消息的结构体没有考虑字节对齐的问题。

随手整理一下C语言中字节对齐的问题与大家一起分享。

一、概念

对齐跟数据在内存中的位置有关。如果一个变量的内存地址正好位于它长度的整数倍,他就被称做自然对齐。比如在32位cpu下,假设一个整型变量的地址为0x00000004,那它就是自然对齐的。

首先了解什么位、字节、字

字长

一个字的位数,现代电脑的字长通常为16,32, 64位。(一般N位系统的字长是N/8字节。)

不同的CPU一次可以处理的数据位数是不同的,32位CPU可以一次处理32位数据,64位CPU可以一次处理64位数据,这里的位,指的就是字长。

而所谓的字长,我们有时会称为字(word)。在16位的CPU中,一个字刚好为两个字节,而32位CPU中,一个字是四个字节。若以字为单位,向上还有双字(两个字),四字(四个字)。

二、对齐规则

对于标准数据类型,它的地址只要是它的长度的整数倍就行了,而非标准数据类型按下面的原则对齐:   数组 :按照基本数据类型对齐,第一个对齐了后面的自然也就对齐了。联合 :按其包含的长度最大的数据类型对齐。结构体:结构体中每个数据类型都要对齐。

三、如何限制定字节对齐位数?

1. 缺省

在缺省情况下,C编译器为每一个变量或是数据单元按其自然对界条件分配空间。一般地,可以通过下面的方法来改变缺省的对界条件:

2. #pragma pack(n)

· 使用伪指令#pragma pack (n),C编译器将按照n个字节对齐。· 使用伪指令#pragma pack (),取消自定义字节对齐方式。

#pragma pack(n) 用来设定变量以n字节对齐方式。n字节对齐就是说变量存放的起始地址的偏移量有两种情况:

  1. 如果n大于等于该变量所占用的字节数,那么偏移量必须满足默认的对齐方式
  2. 如果n小于该变量的类型所占用的字节数,那么偏移量为n的倍数,不用满足默认的对齐方式。

结构的总大小也有一个约束条件,如果n大于等于所有成员变量类型所占用的字节数,那么结构的总大小必须为占用空间最大的变量占用的空间数的倍数;否则必须是n的倍数。

3. __attribute

另外,还有如下的一种方式:· __attribute((aligned (n))),让所作用的结构成员对齐在n字节自然边界上。如果结构中有成员的长度大于n,则按照最大成员的长度来对齐。· attribute ((packed)),取消结构在编译过程中的优化对齐,按照实际占用字节数进行对齐。

4. 汇编.align

汇编代码通常用.align来制定字节对齐的位数。

.align:用来指定数据的对齐方式,格式如下:

  1. .align [absexpr1, absexpr2] 

以某种对齐方式,在未使用的存储区域填充值. 第一个值表示对齐方式,4, 8,16或 32. 第二个表达式值表示填充的值。

四、为什么要对齐?

操作系统并非一个字节一个字节访问内存,而是按2,4,8这样的字长来访问。因此,当CPU从存储器读数据到寄存器,IO的数据长度通常是字长。如32位系统访问粒度是4字节(bytes), 64位系统的是8字节。当被访问的数据长度为n字节且该数据地址为n字节对齐时,那么操作系统就可以高效地一次定位到数据, 无需多次读取,处理对齐运算等额外操作。数据结构应该尽可能地在自然边界上对齐。如果访问未对齐的内存,CPU需要做两次内存访问。

字节对齐可能带来的隐患:

代码中关于对齐的隐患,很多是隐式的。比如在强制类型转换的时候。例如:

  1. unsigned int i = 0x12345678; 
  2. unsigned char *p=NULL
  3. unsigned short *p1=NULL
  4.  
  5. p=&i; 
  6. *p=0x00; 
  7. p1=(unsigned short *)(p+1); 
  8. *p1=0x0000; 

最后两句代码,从奇数边界去访问unsignedshort型变量,显然不符合对齐的规定。在x86上,类似的操作只会影响效率,但是在MIPS或者sparc上,可能就是一个error,因为它们要求必须字节对齐.

五、举例

例1:os基本数据类型占用的字节数

首先查看操作系统的位数

在64位操作系统下查看基本数据类型占用的字节数:

  1. #include  
  2.  
  3. int main() 
  4.     printf("sizeof(char) = %ld\n", sizeof(char)); 
  5.     printf("sizeof(int) = %ld\n", sizeof(int)); 
  6.     printf("sizeof(float) = %ld\n", sizeof(float)); 
  7.     printf("sizeof(long) = %ld\n", sizeof(long));                                       
  8.     printf("sizeof(long long) = %ld\n", sizeof(long long)); 
  9.     printf("sizeof(double) = %ld\n", sizeof(double)); 
  10.     return 0; 

例2:结构体占用的内存大小--默认规则

考虑下面的结构体占用的位数

  1. struct yikou_s 
  2.     double d; 
  3.     char c; 
  4.     int i; 
  5. } yikou_t; 

执行结果

  1. sizeof(yikou_t) = 16 

在内容中各变量位置关系如下:

其中成员C的位置还受字节序的影响,有的可能在位置8

编译器给我们进行了内存对齐,各成员变量存放的起始地址相对于结构的起始地址的偏移量必须为该变量类型所占用的字节数的倍数, 且结构的大小为该结构中占用最大空间的类型所占用的字节数的倍数。

对于偏移量:变量type n起始地址相对于结构体起始地址的偏移量必须为sizeof(type(n))的倍数结构体大小:必须为成员最大类型字节的倍数

  1. char: 偏移量必须为sizeof(char) 即1的倍数 
  2. int: 偏移量必须为sizeof(int) 即4的倍数 
  3. float: 偏移量必须为sizeof(float) 即4的倍数 
  4. double: 偏移量必须为sizeof(double) 即8的倍数 

例3:调整结构体大小

我们将结构体中变量的位置做以下调整:

  1. struct yikou_s 
  2.     char c; 
  3.     double d; 
  4.     int i; 
  5. } yikou_t; 

执行结果

  1. sizeof(yikou_t) = 24 

各变量在内存中布局如下:

例4:#pragma pack(4)

  1. #pragma pack(4) 
  2.  
  3. struct yikou_s 
  4.     char c; 
  5.     double d; 
  6.     int i; 
  7. } yikou_t; 
  1. sizeof(yikou_t) = 16 

例5:#pragma pack(8)

  1. #pragma pack(8) 
  2.  
  3. struct yikou_s 
  4.     char c; 
  5.     double d; 
  6.     int i; 
  7. } yikou_t; 
  1. sizeof(yikou_t) = 24 

例6:汇编代码

举例:以下是截取的uboot代码中异常向量irq、fiq的入口位置代码:

六、汇总实力

有手懒的同学,直接贴一个完整的例子给你们:

  1. #include  
  2. main() 
  3. struct A { 
  4.     int a; 
  5.     char b; 
  6.     short c; 
  7. }; 
  8.   
  9. struct B { 
  10.     char b; 
  11.     int a; 
  12.     short c; 
  13. }; 
  14. struct AA { 
  15.    // int a; 
  16.     char b; 
  17.     short c; 
  18. }; 
  19.  
  20. struct BB { 
  21.     char b; 
  22.    // int a; 
  23.     short c; 
  24. };  
  25. #pragma pack (2)  
  26. struct C { 
  27.     char b; 
  28.     int a; 
  29.     short c; 
  30. }; 
  31. #pragma pack ()  
  32.   
  33.   
  34.   
  35. #pragma pack (1)  
  36. struct D { 
  37.     char b; 
  38.     int a; 
  39.     short c; 
  40. }; 
  41. #pragma pack () 
  42.   
  43. int s1=sizeof(struct A); 
  44. int s2=sizeof(struct AA); 
  45. int s3=sizeof(struct B); 
  46. int s4=sizeof(struct BB); 
  47. int s5=sizeof(struct C); 
  48. int s6=sizeof(struct D); 
  49. printf("%d\n",s1); 
  50. printf("%d\n",s2); 
  51. printf("%d\n",s3); 
  52. printf("%d\n",s4); 
  53. printf("%d\n",s5); 
  54. printf("%d\n",s6); 

本文转载自微信公众号「一口Linux」,可以通过以下二维码关注。转载本文请联系一口Linux公众号。

 

来源:一口Linux内容投诉

免责声明:

① 本站未注明“稿件来源”的信息均来自网络整理。其文字、图片和音视频稿件的所属权归原作者所有。本站收集整理出于非商业性的教育和科研之目的,并不意味着本站赞同其观点或证实其内容的真实性。仅作为临时的测试数据,供内部测试之用。本站并未授权任何人以任何方式主动获取本站任何信息。

② 本站未注明“稿件来源”的临时测试数据将在测试完成后最终做删除处理。有问题或投稿请发送至: 邮箱/279061341@qq.com QQ/279061341

软考中级精品资料免费领

  • 历年真题答案解析
  • 备考技巧名师总结
  • 高频考点精准押题
  • 2024年上半年信息系统项目管理师第二批次真题及答案解析(完整版)

    难度     813人已做
    查看
  • 【考后总结】2024年5月26日信息系统项目管理师第2批次考情分析

    难度     354人已做
    查看
  • 【考后总结】2024年5月25日信息系统项目管理师第1批次考情分析

    难度     318人已做
    查看
  • 2024年上半年软考高项第一、二批次真题考点汇总(完整版)

    难度     435人已做
    查看
  • 2024年上半年系统架构设计师考试综合知识真题

    难度     224人已做
    查看

相关文章

发现更多好内容

猜你喜欢

AI推送时光机
位置:首页-资讯-后端开发
咦!没有更多了?去看看其它编程学习网 内容吧
首页课程
资料下载
问答资讯