練習一下翻譯能力!不當之處請指出!!
原文出自
MSDN
,鏈接為
http://msdn2.microsoft.com/en-us/library/ms253949.aspx
??????
很多
CPU
,如基于
Alpha, IA-64, MIPS,
和
SuperH
體系的,拒絕讀取未對齊數據。當一個程序要求其中之一的
CPU
讀取未對齊數據時,這時
CPU
會進入異常處理狀態并且通知程序不能繼續執行。舉個例子,在
ARM, MIPS,
和
SH
硬件平臺上,當操作系統被要求存取一個未對齊數據時默認通知應用程序一個異常。
對齊性
?????
?
對齊性是一種內存地址的特性,表現為內存地址模上
2
的冪。例如,內存地址
0x0001103F
模
4
結果為
3
;這個地址就叫做與
4n
+
3
對齊,
4
指出了所選用的
2
的冪的值。內存地址的對齊性取決于所選擇的關于
2
的冪值。同樣的地址模
8
結果為
7
。
??????
一個內存地址符合表達式
Xn
+
0
,那么就說該地址對齊于
X
。
?????? CPU
執行指令就是對存儲于內存上的數據進行操作,這些數據在內存上是以地址為標記的。對于地址來說,單獨的數據會有其占用內存的字節數。如果它的地址對齊于它的字節數,那么就稱作該數據自然對齊,否則稱為未對齊。例如,一個標記
8
字節的浮點數據的地址對齊于
8
,那么這個數據就自然對齊。
數據對齊性的編譯處理
??????
設備編譯器以一種防止造成數據未對齊的方式來對數據進行地址分配。
??????
對于單個的數據類型,編譯器為其分配的地址是數據類型字節數的倍數。因此,編譯器分配給
long
型變量的地址為
4
的倍數,就是說以
2
進制表示地址的話,最后兩位為
0
。
??????
另外,編譯器以一種自然對齊每個結構成員的方式來填充結構體。參看下面的代碼里面的結構體
struct x_
。
???? struct x_
????? {
??????????? char a;???? // 1 byte
??????????? int b;????? // 4 bytes
??????????? short c;??? // 2 bytes
??????????? char d;???? // 1 byte
????? } MyStruct;
????? 編譯器填充這個結構以使其自然對齊。
例如
????? 下面的代碼說明了編譯器是如何在內存中填充的。
????? // Shows the actual memory layout
????? struct x_
?????{
?????????? char a;??????????? // 1 byte
?????????? char _pad0[3];???? // padding to put 'b' on 4-byte boundary
?????????? int b;??????????? // 4 bytes
?????????? short c;????????? // 2 bytes
?????????? char d;?????????? // 1 byte
?????????? char _pad1[1];??? // padding to make sizeof(x_) multiple of 4
?????}
???? 兩種定義在作sizeof(struct x_)運算都會返回12字節。
??????第二種定義含有兩種填充成分:
???????????? *char _pad0[3]使得int b?在4字節邊界上對齊
???????????? *char _pad1[1]使得結構數組struct _x? bar[3]對齊。
?????????????填充使得bar[3]各個變量能夠自然對齊。
???????????? 下面的代碼顯示了bar[3]的內存結構:
????????????? adr
????????????? offset?? element
------?? -------
0x0000?? char a;???????? // bar[0]
0x0001?? char pad0[3];
0x0004?? int b;
0x0008?? short c;
0x000a?? char d;
0x000b?? char _pad1[1];
0x000c?? char a;???????? // bar[1]
0x000d?? char _pad0[3];
0x0010?? int b;
0x0014?? short c;
0x0016?? char d;
0x0017?? char _pad1[1];
0x0018?? char a;???????? // bar[2]
0x0019?? char _pad0[3];
0x001c??? int b;
0x0020?? short c;
0x0022?? char d;
0x0023?? char _pad1[1];