[Chia sẻ] Data structure alignment & padding

Cảm ơn Huy, bài viết rất hay. Anh đã đọc qua bài này và hiểu được thêm nhiều điều về padding. Ngày trước đi học chỉ có khái niệm về nó nhưng không hiểu sâu như bài em viết được.

Như em viết ở trên thì padding sẽ khiến cho các biến có kích thước nhỏ, phình to ra cho tương xứng với các biến có giá trị lớn hơn. Điều này giúp cho việc truy xuất (đọc ghi) các biến này với tốc độ nhanh hơn.

Dựa vào kiến thức mà em cung cấp, anh phát hiện ra một điều thú vị như sau.

• Struct padding này sẽ có sizeof = 12. Tuy nhiên nếu anh thay đổi một chút

struct padding {
    char c1;
    int i1;
    char c2;
    short s1;
};

• Di chuyển char c1; xuống dưới để tránh nó bị padding. Thì ta sẽ có struct no_padding với sizeof = 8.

struct no_padding {
    int i1;
    char c1;
    char c2;
    short s1;
};

Như vậy ta có thể vừa tiết kiệm vùng nhớ, vừa đảm bảo tốc độ truy vấn của chương trình đối với struct này. Bài hay lắm Huy.

Chào a Huy anh có thể nói rõ hơn cho em biết nguyên tắc sắp xếp các biến trong 1 khối được không ạ, ví dụ như trường hợp của struct4 trong trường hợp 32bit -8alignment tại sao lại không sắp xếp " sort " cùng khối với " char " và" int " ạ. Em cảm ơn anh

Do thứ tự trong mstruct4 là char, int rồi tới short. Nên khi đó compile phải cấp phát theo thứ tự này. Đầu tiên compiler cấp phát vùng nhớ cho biến char, rồi sau đó tới biến int. Khi đó sau biến char cần phải được padding để alignment với biến int. Sau 2 bước này xong thì tới biến short. Nên vì thế biến short không thể nằm chung block với 2 biến kia được.

1. Ở vd mstruct:
   Với system 16bit thì size(int) = 2byte?

2. Ở vd mstruct 3, mstruct 4:
   Với system 64bit (1 WORD là 8byte ) thì tại sao vùng nhớ của int lại bắt đầu từ số 4, nếu vậy thì địa chỉ của biến int đó đâu có chẵn.

3. Hình như sáng nay do mất tập trng hay sao mà đọc 1 hồi em cứ bị luẩn quẩn miết: - N-byte alignment phụ thuộc vào compiler như thế nào vậy a? Có phải như là phần mềm bản 64bit thì n-byte alignment là 8-byte , bản 32 bit thì n-byte alignment là 4-byte? Nếu vậy thì khi nào n-byte alignment là 2-byte?

1. Ở system 16bit thì sizeof(int) = 2 bytes.

2. À, em đọc địa chỉ từ phải sang đó. Ở đây mình ko ghi rõ địa chỉ ra, chỉ ghi chung chung để mọi người dễ hình dung

3. Thông thường sẽ là như vậy em. Chỉ có ở 1 số hệ thống hoặc compiler cũ thì alignment có 2 bytes hoặc thậm chí là 1 byte. Nhưng cái này giờ không thông dụng nữa rồi
   

Chính vì vậy e muốn hỏi nguyên tắc chèn padding ạ tại sao int không bắt đầu nằm ở vị trí thứ 6 (đảm bảo khối địa chỉ chẵn ) và short nằm ở vị trí thứ 2 trong cùng block với 2 biến trên. em chưa rõ chỗ này mong a giải thích giúp e ạ

Bài viết hay lắm bạn

-byte alignment

• Theo mình nghĩ thì byte alignment nó tùy thuộc vào cái kiểu dữ liệu có số byte cao nhất mà mình khai báo thôi sao ? . Thí dụ thì double là 8 byte thì sẽ quyết định những kiểu kia sẽ padding vào.
• Tiếp với lý do câu hỏi trên là int là 4 byte thì với system 32 bit & 8 byte alignment thì int sẽ chiếm 8 byte trong 1 ô nhớ ???

Há há! Anh Huy cho em xin phép ăn cắp bài viết này về blog nhá… =)) Mà em ăn cắp lun roài xin phép sau…

Em mới update lại thư viện sách vừa đọc xong quyển này nó giải thích vô cùng kĩ càng:
https://drive.google.com/file/d/0B9jVt0SX-XdeQUxTRll5aHpWWFE/view?usp=sharing
Cuốn này là cuốn nghệ thuật tận dụng lỗi phần mềm của anh Nguyễn Thành Nam. Giờ tìm trên mạng hình như không có nữa mà cũng không có còn sách giấy. Phí thật. Quyển hay thế này mà ít người đọc.

Hôm trước đọc xong cuốn trên em ngồi vọc tiếp cái link này:
http://www.ibm.com/developerworks/vn/library/java/201301/j-codetoheap/

bạn có thể sửa lại bài viết k, có 1 số ảnh k xem được, mình vẫn chưa hiểu lắm về chỗ hệ thống 16,32,64 bít sẽ padding số byte bao nhiêu, và như thế nào

Data padding: để làm được việc alignment như ở trên chúng ta cần phải “padding” thêm một số byte vào sau biến “char c” để khi đó biến “int i” có thể ở địa chỉ chẵn

E có đọc 1 bài viết bên web CongDongCViet thì họ nói là: Trong 1 struct sẽ lấy kích thước của biến thành viên có kích thước lớn nhất làm size chung cho block, sau đó sẽ lần lượt lưu trữ từng biến thành viên vô block, nếu còn đủ chỗ thì “nhét” vô, ko đủ thì create 1 segment mới => Có đúng & liên quan đến ý trên ko nhỉ ?

sizeof(mstruct2): 12 bytes

Em chưa hiểu chỗ này lắm Theo như ý kiến của em ở phía trên thì phải là 16 bytes chứ nhỉ ?

Như hình trên ta sẽ thấy rõ sự khác biệt giữa các n-byte alignment. N-byte alignment phụ thuộc vào compiler, chúng ta có thể điều chỉnh được.

Có cách nào điều chỉnh trên CB ko ạ ? Chứ e ko dùng VS

Các bạn thử tính toán xem size của mstruct5 là bao nhiêu trên các hệ thống 32bit/64bit với các n-byte alignment khác nhau.

Trên system 32bit thì size của mstruct5 là 8 bytes đúng ko nhỉ ?

Nói chung e cũng còn khá mơ hồ, một phần cũng do những images của bài viết bị mất, bác nào tốt bụng zô update giúp đi ạ

P/S: Mà cũng chưa thấy nói gì về #pragma pack(n) hết nhỉ

Các bạn thử tính toán xem size của mstruct5 là bao nhiêu trên các hệ thống 32bit/64bit với các n-byte alignment khác nhau.

Em trả lời thử, các pro đánh giá xem đúng hay sai nhé

Đối với system 16bit (2-byte alignment) thì sizeof(mstruct5) sẽ cho kết quả là 4 bytes, lý do: Vì system 16bit là 1 WORD chỉ có 2 bytes nên block đầu tiên sẽ chứa biến c (tức là padding thêm 1 byte để cho đủ 2 bytes / block). Còn biến s có kích thước 2 bytes nên sẽ vừa vặn với block thứ 2 luôn => size = 4 bytes.

Đối với system 32 bit (4-byte alignment) thì sizeof(mstruct5) sẽ cho kết quả là 4 bytes, lý do: Vì system 32bit là 1 WORD có 4 bytes nên block đầu tiên sẽ chứa cả biến c và biến s (tức sau biến c sẽ padding thêm 1 byte để đảm bảo biến s có 2 bytes sẽ nằm ở địa chỉ chẵn), vậy là sẽ vừa block đầu tiên luôn => size = 4 bytes.

Đối với system 32 bit (8-byte alignment) thì sizeof(mstruct5) sẽ cho kết quả là … 8 bytes ??? Lý do: Cũng như system 32bit (4-byte alignment) nhưng do 1 WORD là 8 bytes nên block đầu tiên (chứa biến c và s) sẽ là 8 bytes => size = 8 ???

Còn với system 64 bit thì y chang như system 32 bit (8-byte alignment) vì 1 WORD của nó là 8 bytes.

Em cũng còn hơi hoang mang với do dự, các pro xem coi đúng ko ạ

Nếu trình biên dịch không dựa vào max size của primitive để pad thì sẽ dẫn đến một số thành phần primitive trong struct bị misalign (vị trí không chẵn byte). Với 1 struct gồm char, int32_t, double, int32_t và pack(4) thì size sẽ là 4+4+8+4 = 20. Khi dùng mảng struct này (tạm gọi là arr) thì arr[1].double sẽ nằm ở byte thứ 28 (!) mà 28 chia 8 dư 4.

Còn tại sao lại có 64 với 32 là do sizeof(int) đó.

Tất nhiên đó là khi chưa chỉnh #pragma.

primitive để pad

“primitive” và “pad” là gì ạ ?

Tất nhiên đó là khi chưa chỉnh #pragma.

#pragma pack (n) có thể hiểu đơn giải là set WORD (size của 1 block) thành n bytes đúng ko anh ?
Đó cũng là lý do vì sao khi để #pragma pack (1) thì size của mỗi block (WORD) là 1 byte nên ko thể có chuyện “dư” byte ?

“primitive” và “pad” là gì ạ ?

Primitive trong C là (signed/unsigned) char, int, short, long, long long, double, float và những typedef dựa trên chúng. Struct không phải primitive nữa nên ko có alignment.

#pragma pack (n) có thể hiểu đơn giải là set WORD (size của 1 block) thành n bytes đúng ko anh ?Đó cũng là lý do vì sao khi để #pragma pack (1) thì size của mỗi block (WORD) là 1 byte nên ko thể có chuyện “dư” byte ?

Hiểu như vậy cũng được.

những typedef dựa trên chúng

là sao ạ ? Em chưa hiểu chỗ này lắm

Struct không phải primitive nữa nên ko có alignment.

Ý anh là nội dung của cái topic đó ạ ?

typedef int int32_t; đại loại vậy.

Ý anh là nội dung của cái topic đó ạ ?

Tức là bản thân struct không có alignment mà do chính những thành phần primitive trong nó đòi hỏi alignment.

Hiểu như vậy cũng được.

Vậy cho em hỏi nếu hiểu theo cách khoa học thì như thế nào ạ ?