ARM Linux中的非对齐内存访问（Alignment trap警告的原因）

[转载] http://blog.csdn.net/jasonchen_gbd/article/details/51535018

ARMv5指令集的CPU(一般是arm9架构)默认不支持非对齐内存访问，ARMv6及以上的CPU默认支持处理大部分的非对齐内存地址访问。对齐指的是起始地址是一个word长度的整数倍，通常是4字节对齐。
通过设置/proc/cpu/alignment文件内容可修改内核中对非对齐地址访问的处理。

[plain] view plain copy

 

1. root@(none):~# cat /proc/cpu/alignment  
2. User:           3905290  
3. System:         0  
4. Skipped:        0  
5. Half:           0  
6. Word:           0  
7. DWord:          2672136  
8. Multi:          1233154  
9. User faults:    2 (fixup)  

这个文件中最后一行"User faults"即是内核中如何处理非对齐的内存地址访问，这个值是一个位图：

[cpp] view plain copy

 

1. #define UM_WARN  (1 << 0)  
2. #define UM_FIXUP (1 << 1)  
3. #define UM_SIGNAL (1 << 2)  

UM_WARN：只给出“Alignment trap”警告。
UM_FIXUP：尝试正确处理非对齐的内存地址。
UM_SIGNAL：发生非对齐地址访问时，发送SIGBUS信号通知相应进程。
几种处理方式可以进行组合，例如设置为(UM_WARN | UM_FIXUP)，就是在fixup的同时给出警告信息。如果设置为0则为ignore。

对于ARMv5的CPU，User faults的值默认是0，即忽略非对齐的地址访问，这时如果进程访问了非对齐的地址，就会导致程序执行异常。如果程序中不得不存在非对齐的地址访问，可以设置为fixup：

[python] view plain copy

 

1. echo 2 > /proc/cpu/alignment  

这样的话，内核就会做额外的工作以使访问非对齐内存地址可以得到正确的结果。

对于ARMv6及以上的CPU，CPU本身就要求支持对非对齐地址访问的处理，因此基本不用关心/proc/cpu/alignment里设置的值，不过对于像LDM, STM, LDRD和STRD这些复合指令进行的非对齐地址访问，仍需要软件协助处理，在这些CPU中，/proc/cpu/alignment默认设置为2(fixup)。

具体的处理方式详见内核代码arch/arm/mm/alignment.c：alignment_init(), hook_fault_code(), do_alignment()。

 

在不支持非对齐内存访问的芯片上，进行强制类型转换就要注意了，例如下面的例子：

[cpp] view plain copy

 

1. #include <stdio.h>  
2. #include <stdlib.h>  
3. #include <signal.h>  
4.   
5. void sigbus_handler(int sno)  
6. {  
7.  printf("signal %d captured\n", sno);  
8.  exit(1);  
9. }  
10.   
11. int main(int argc, char *argv[])  
12. {  
13.  char intarray[8] = {0x11, 0x22, 0x33, 0x44, 0x55, 0x66, 0x77, 0x88};  
14.    
15.  signal(SIGBUS, sigbus_handler);  
16.    
17.  printf("int1 = 0x%08x, int2 = 0x%08x, int3 = 0x%08x, int4 = 0x%08x\n",   
18.    *((int *)(intarray + 1)), *((int *)(intarray + 2)), *((int *)(intarray + 3)), *((int *)(intarray + 4)));  
19.   
20.  return 0;  
21. }  

在支持非对齐访问系统上的结果如下（小端系统）：

[plain] view plain copy

 

1. root@NVR:~# ./testalign  
2. int1 = 0x55443322, int2 = 0x66554433, int3 = 0x77665544, int4 = 0x88776655  

而在不支持非对齐访问系统上，对/proc/cpu/alignment设置不同的值表现也不相同：

[plain] view plain copy

 

1. ~ # echo 0 > /proc/cpu/alignment  
2. ~ # ./testalign  
3. int1 = 0x11443322, int2 = 0x22114433, int3 = 0x33221144, int4 = 0x88776655  
4. ~ #  
5. ~ # echo 2 > /proc/cpu/alignment  
6. ~ # ./testalign  
7. int1 = 0x55443322, int2 = 0x66554433, int3 = 0x77665544, int4 = 0x88776655  
8. ~ #  
9. ~ # echo 1 > /proc/cpu/alignment  
10. ~ # ./testalign  
11. Alignment trap: testalign (979) PC=0x0000860c Instr=0xe5931000 Address=0xbef6fc99 FSR 0x001  
12. Alignment trap: testalign (979) PC=0x0000860c Instr=0xe5931000 Address=0xbef6fc99 FSR 0x001  
13. int1 = 0x11443322, int2 = 0x22114433, int3 = 0x33221144, int4 = 0x88776655  
14. ~ #  
15. ~ # echo 4 > /proc/cpu/alignment  
16. ~ # ./testalign  
17. signal 7 captured  
18. ~ #  

当然也可以设置为3，在正确处理非对齐地址访问的同时给出警告。

 

我们可以使用char类型来对非对齐的内存进行读写来避免非对齐地址的处理，或使用memcpy这类函数来避免赋值或强制类型转换带来的问题。
看下面的例子：

[cpp] view plain copy

 

1. #include <stdio.h>  
2. #include <stdlib.h>  
3. #include <signal.h>  
4. #include <string.h> /* memcpy */  
5.   
6. struct pack_info {  
7.  unsigned char sno;  
8.  unsigned int len;  
9. } __attribute__((packed));  
10.   
11. void sigbus_handler(int sno)  
12. {  
13.  printf("signal %d captured\n", sno);  
14.  exit(1);  
15. }  
16.   
17. int main(int argc, char *argv[])  
18. {  
19.  signal(SIGBUS, sigbus_handler);  
20.   
21.  struct pack_info * mem_cos = (struct pack_info *)malloc(sizeof(struct pack_info));  
22.  if (!mem_cos)  
23.   return 1;  
24.    
25.  unsigned int * cy_len = &mem_cos->len;  
26.  mem_cos->sno = 0x12;  
27.  mem_cos->len = 0x55667788;  
28.    
29.  /* 1. 给成员变量赋值 */  
30.  mem_cos->len = 0xaabbccdd;  
31.    
32.  /* 2. 给指针cy_len的值赋值 */  
33.  *cy_len = 0xaabbccdd;  
34.    
35.  /* 3. 通过memcpy赋值 */  
36.  unsigned int cy_len_i = 0xaabbccdd;  
37.  memcpy(cy_len, &cy_len_i, 4);  
38.   
39.  printf("sno = %#x, len = %#x\n", mem_cos->sno, mem_cos->len);  
40.    
41.  free(mem_cos);  
42.   
43.  return 0;  
44. }  

由于给struct pack_info加上了__attribute__((packed))属性，所以它的len成员的地址不是4字节对齐的。
上面的代码用三种方式给len成员赋值，在不支持非对齐访问系统上，第二种方式就会有问题，不能得到预期的结果。