关于lwip中数组定义时内存对齐的一丝丝见解（MEM_ALIGNMENT）

来俩不甜的

朱胜林大大写的《嵌入式网络那些事-STM32物联实战》看了好几遍，每次都是看不明白关于数组memp_memory的定义(见源码Memp.c第170行）[mw_shl_code=applescript,true]/** This is the actual memory used by the pools (all pools in one big block). */
static u8_t memp_memory[MEM_ALIGNMENT - 1
#define LWIP_MEMPOOL(name,num,size,desc) + ( (num) * (MEMP_SIZE + MEMP_ALIGN_SIZE(size) ) )
#include "lwip/memp_std.h"
];[/mw_shl_code]
终于在今天恍然大悟，特在此发帖帮助后来者。正文：
上边的宏定义、头文件解释起来太费劲，故在此做个假定：需要定义的数组长度为n。则上述定义可描述为[mw_shl_code=applescript,true]static u8_t memp_memory[MEM_ALIGNMENT-1+n];[/mw_shl_code]那么问题来了，为什么数组长度要比需要的多 MEM_ALIGNMENT-1 ？此处是为了内存对齐而设定的。在程序中对此数组的调用并非通过数组名，而是通过定义一个指针（假定此指针名为p）指向此数组，通过此指针间接引用。若数组首元素地址是内存对齐的，那么毫无疑问p=memp_memory，则此数组中n个元素后的（MEM_ALIGNMENT - 1 ）个元素永远不会用到；若数组首元素地址不是内存对齐，则p后移直到p指向的地址内存对齐，此时此数组中的有效数据为*p~*(p+n),p后移跳过的元素及（p+n）以后的数组元素在程序中永远不会用到。

来俩不甜的

关于上述指针p的验证：
此处贴上memp_init的部分代码[mw_shl_code=applescript,true]/**
* Initialize this module.
*
* Carves out memp_memory into linked lists for each pool-type.
*/
void
memp_init(void)
{
  struct memp *memp;
  u16_t i, j;
  memp = (struct memp *)LWIP_MEM_ALIGN(memp_memory);[/mw_shl_code]
memp即为指向memp_memory的指针，LWIP_MEM_ALIGN()是对memp进行偏移以确保内存对齐

hhlh2l

给数组增加MEM_ALIGNMENT - 1个字节的空间是为了避免因自己或其他程序有非对齐数据时发生误操作;
是内存安全的一种;

FreeRTOS

FreeRTOS的内存管理方案的数组定义跟这个类似，内存初始化时会检查内存堆首地址是否8字节对齐，
如果没对齐就需要修正内存堆的首地址，丢弃数组前面没有对齐的几个字节

zuozhongkai

很多的系统和协议栈之类的都会有字节对齐处理的。