CANoe Someip序列化之结构体内存对齐

1.内存对齐定义

内存对齐是指将数据存储在内存中时，按照一定的规则让数据排列在规定的地址上，以提高数据访问的效率和速度。在C++中，结构体内部的每一个成员变量都需要存储到内存中，因此需要进行内存对齐以保证内存的访问效率。

内存对齐的原因主要有两方面：

硬件平台的要求：不是所有的硬件平台都能访问任意地址上的任意数据。某些硬件平台只能在某些地址处取某些特定类型的数据，否则可能会抛出硬件异常。

性能考虑：内存对齐的最底层原因是内存的IO是以固定单位（如64bit）进行的。为了访问未对齐的内存，处理器可能需要作两次内存访问，而对齐的内存访问仅需要一次。因此，内存对齐可以优化内存IO，提高访问效率。

内存对齐的规则通常如下：

变量存放的起始地址相对于数据结构的起始地址的偏移量（offset），必须是当前数据类型长度的整数倍。

例如，在C语言中，结构体的大小和成员的偏移量通常是按照最大对齐要求的成员来确定的，以确保结构体在内存中的布局合理，并可以正确地访问结构体的成员。

总的来说，内存对齐是一个重要的编程概念，它有助于确保数据在内存中的正确布局，提高访问效率，并满足硬件平台的要求。

首先明确一个观点，在汽车软件中， SomeIP序列化时，结构体通常采用不对齐，即一字节对齐，下边展开介绍下CANoe中的结构体对齐和不对齐的区别，以及CAPL脚本的实现过程。

2.结构体对齐

在CAPL里，定义结构体时，如果没有明确对齐字节数，默认以四字节对齐，也可以在关键次struct前添加“_align(4)”，例如，如下定义

3.结构体不对齐

在定义结构体时，在关键次struct前添加“_align(1)”，即为不对齐，这样定义的结构体占用的总字节数，刚好与结构体内各元素类型占用字节数之和相等。例如，如下定义

4.CAPL验证

on key'a'
{
  long i,length1,length2;
  byte data_Byte_temp1[200];
  byte data_Byte_temp2[200];
  char data_temp1[200];
  char data_temp2[200];
  
  _align(1) struct test_str1
  {
    byte t1;
    word t2;
    dword t3;
    qword t4;
  }test1;
  
  struct test_str2
  {
    byte t1;
    word t2;
    dword t3;
    qword t4;
  }test2;
  
  test1.t1=0x01;
  test1.t2=swapword(0x1234);
  test1.t3=swapDword(0x12345678);
  test1.t4=swapQword(0x1234567812345678LL);
  
  test2.t1=0x01;
  test2.t2=swapword(0x1234);
  test2.t3=swapDword(0x12345678);
  test2.t4=swapQword(0x1234567812345678LL);
  
  length1=__size_of(struct test_str1);
  length2=__size_of(struct test_str2);
  
  memcpy(data_Byte_temp1,test1);
  memcpy(data_Byte_temp2,test2);
  
  for(i=0;i<length1;i++)
  {
    snprintf(data_temp1,elcount(data_temp1),"%s,%02x",data_temp1,data_Byte_temp1[i]);
  }
  
  for(i=0;i<length2;i++)
  {
    snprintf(data_temp2,elcount(data_temp2),"%s,%02x",data_temp2,data_Byte_temp2[i]);
  }
  
  write("test1 struct data Length=%d",length1);
  write("test1 struct data=%s",data_temp1);
  
  
  write("test2 struct data Length=%d",length2);
  write("test2 struct data=%s",data_temp2);
}

运行结果如下：

欢迎转载分享留言，该文章同步分享于以下公众号，欢迎关注！