有关数组设置字节对齐的问题

憨厚诚实大叔 · 发表于 2016-9-21 11:07:17

本帖最后由憨厚诚实大叔于 2016-9-21 11:30 编辑

__align(32) u8 mem1base[MEM1_MAX_SIZE];
__align(32) u8 mem2base[MEM2_MAX_SIZE] __attribute__((at(0X68000000)));
类似这个，定义了2个u8的内存池，我硬件调试了下，发现他们每一个数组里面u8数据和u8数据都是挨着的，并不是一个u8占了32个字节，剩下的填充不用。也就是他们占了MEM1_MAX_SIZE和MEM2_MAX_SIZE个空间，而不是MEM1_MAX_SIZE*32和MEM2_MAX_SIZE*32个。也就是这个32字节对齐对于他们数组内部的数据存储是没有什么作用的。

这个字节对齐，首尾都要对齐，我的看法是对于第一个 __align(32) u8 mem1base[MEM1_MAX_SIZE]是内部内存池，加上32字节对齐后，内存为他分配的首地址就是32倍数的地址，然后内存块是32个一块。
加上这个__align(32)使得他分配出来的地址全部都是32字节对齐的，也就是地址是32的倍数。然后分配到的空间，4,8,16,32字节对齐都可以使用。

对于第二个__align(32) u8 mem2base[MEM2_MAX_SIZE] __attribute__((at(0X68000000)))，我们已经为他分配了首地址了，而且分配的首地址已经是32字节对齐的了，所以我们把这一个__align(32)去掉也是没问题的。
不知道我说的对不对，求来个大神解答一下。
至于那些字节对齐的好处什么的就不要多说了，我只想知道我上面说的这些对么。不对的话，为什么这里要加__align(32)呢？

如果是这样的话，是不是在项目中，我们给结构体分配空间，要分配合适的首地址给他，就是4字节对齐的结构体，首地址要分配4的倍数的，8字节对齐的结构体，首地址要分配8的倍数的给他，是这样的么。

陌上_花开 · 发表于 2016-9-21 11:07:18

C语言的字节对齐分配32字节的话先要和u8比较下谁小按谁对齐如果你是分配的4字节就和u8比较发现比u8小就按照4字节对齐应该是这样的吧我以前好像看过

憨厚诚实大叔 · 发表于 2016-9-21 11:11:41

@正点原子，@八度空间

憨厚诚实大叔 · 发表于 2016-9-21 14:08:07

本帖最后由憨厚诚实大叔于 2016-9-21 14:14 编辑

陌上_花开发表于 2016-9-21 13:24
C语言的字节对齐分配32字节的话先要和u8比较下谁小按谁对齐如果你是分配的4字节就和u8比较发现比u8小 ...

..............你多看看吧，按谁对齐是结构体里面总占内存的吧，那个需要内存大向那个对齐。
u8占一个字节，已经是最小的了。另外，你根本都没看我问什么。

憨厚诚实大叔 · 发表于 2016-9-21 15:43:26

八嘎，没人解答的，不过根据我百度到的，以及看以前论坛大神的一些帖子，发现应该就是这样的了。
看完fatfs文件系统，叔就看实时系统去了。

憨厚诚实大叔 · 发表于 2016-9-22 09:40:44

置顶，为什么这种问题没人帮忙的

mygod · 发表于 2016-9-22 15:06:30

根据我的经验，一般不需要强制写关键字对齐，编绎器会帮你对齐的，你这只是申请内存池。无所谓对齐格式。

mygod · 发表于 2016-9-22 15:10:31

mygod 发表于 2016-9-22 15:06
根据我的经验，一般不需要强制写关键字对齐，编绎器会帮你对齐的，你这只是申请内存池。无所谓对齐格式。
...

在程序中有时候会字节对齐出错，那是RAM相当吃紧时候才会出现的。
举个例子。当前的结构体大小过大，全局变量过多。
平时使用时候定义结构体就要注意让结构体大小为8的倍数.

憨厚诚实大叔 · 发表于 2016-9-22 17:22:54

mygod 发表于 2016-9-22 15:10
在程序中有时候会字节对齐出错，那是RAM相当吃紧时候才会出现的。
举个例子。当前的结构体大小过大，全 ...

申请内存池，你给一个4字节对齐的结构体申请了一个不是4的倍数的首地址，不会出问题么

mygod · 发表于 2016-9-23 08:35:40

憨厚诚实大叔发表于 2016-9-22 17:22
申请内存池，你给一个4字节对齐的结构体申请了一个不是4的倍数的首地址，不会出问题么

stm32 中结构体是4字节对齐的，如果你强制1字节对齐就有可能会出问题（概率也是很小的）
一般写MALLOC动态分配，都分考虑到申请块是小单位 8字节，

憨厚诚实大叔 · 发表于 2016-9-23 09:44:46

mygod 发表于 2016-9-23 08:35
stm32 中结构体是4字节对齐的，如果你强制1字节对齐就有可能会出问题（概率也是很小的）
一般写MALLOC ...

考虑到最小单位是8字节的意思是，分配出来的首地址是8的倍数么

mygod · 发表于 2016-9-23 10:19:34

憨厚诚实大叔发表于 2016-9-23 09:44
考虑到最小单位是8字节的意思是，分配出来的首地址是8的倍数么

能不要纠结这个问题行不

Pony279 · 发表于 2016-9-23 10:20:22

我认为首地址对齐的说法是对的

"如果是这样的话，是不是在项目中，我们给结构体分配空间，要分配合适的首地址给他，就是4字节对齐的结构体，首地址要分配4的倍数的，8字节对齐的结构体，首地址要分配8的倍数的给他，是这样的么。"

我记得浮点数有 8 字节对齐的要求。具体要参考 STM32 的汇编相关的文档里面对对齐的说明，自己找找看.