Bối rối về căn chỉnh dữ liệu cho các biến kép

Question

Tôi đã đọc rằng biến số double (8 byte) phải được căn chỉnh 8 byte.

Bây giờ nếu tôi đang viết toàn bộ mã cho chương trình của mình, thì tôi có thể biến các biến số double thành 8 byte được căn chỉnh mà không gặp bất kỳ sự cố nào.

Nhưng nói rằng tôi có kịch bản sau: Tôi tạo một hàm tạo biến số double trên ngăn xếp và tôi cung cấp chức năng này cho người khác để sử dụng nó trong chương trình của anh ấy. Bây giờ khi chức năng của tôi được gọi, chức năng của tôi sẽ không có ý tưởng nếu biến số double sẽ được tạo trên một địa chỉ có thể chia cho 8!

Sự cố này có thể giải quyết được không (tôi lưu ý rằng nếu không có sự giải quyết cho vấn đề này), tôi không quan tâm đến sự mất mát hiệu năng không đáng kể từ việc không căn chỉnh các biến số double của tôi.

Answer 1

Bên trong một hàm, bạn có thể buộc ngăn xếp được căn chỉnh 8 byte bằng cách đặt thành không ba bit ít quan trọng nhất của esp. Điều này có thể đạt được bằng phương tiện của hướng dẫn and:

andl $0xfffffff8, %esp 

Các kết quả esp sẽ bằng (nghĩa là .: esp đã được liên kết) hoặc thấp hơn so với trước đó. Vì ngăn xếp trên kiến ​​trúc x86 tăng xuống dưới, kết quả này trong một đệm có kích thước từ 0-7 byte được phân bổ trên ngăn xếp.

Lưu ý rằng nếu esp là liên kết đã 8-byte trước khi thực hiện các hướng dẫn and (ví dụ: ba bit trọng số thấp nhất của nó đã là không), không có đệm ở tất cả (ví dụ: một đệm của 0 byte) được tạo ra trên ngăn xếp.

---

Khi rời khỏi chức năng, giá trị lưu trước của esp sẽ được khôi phục nếu bạn đang sử dụng các chức năng phổ biến mở đầu và lời bạt:

myFunction: 
    //prologue: save the current stack frame 
    pushl %ebp 
    movl %esp, %ebp 

    andl $0xfffffff8, %esp 
    //stack now 8-byte aligned 
    //... 

    leave //restore the previous stack frame 
    ret 

Bằng cách này, đệm giao trước đây sẽ bây giờ được deallocated từ stack.