Làm thế nào để x86 eflags bit 18 (kiểm tra căn chỉnh) hoạt động? (Liên quan đến kiểm tra 386 so với 486 và sau đó.)

Question

Tôi đã đọc rằng nếu bit eflags 18 (kiểm tra liên kết AC) có thể được sửa đổi, bạn biết CPU là 486 hoặc mới hơn. Trên 386, bit chống sửa đổi.

tôi đã dỡ bỏ các mã lắp ráp sau từ this site và bổ sung ý kiến ​​đầy đủ (để lại cú pháp lẻ còn nguyên vẹn):

asm 
    mov bx,sx   ; Save the stack pointer to bx (is sx a typo or a real register?). 
    and sp,$fffc   ; Truncate the stack pointer to a 4-byte boundary. 
    pushfl    ; Push the eflags register to the stack. 
    pop eax    ; Pop it into eax. 
    mov ecx,eax   ; Save the original eflags value into ecx. 
    xor eax,$40000  ; Flip bit 18 in eax. 
    push eax    ; Push eax to the stack. 
    popfl     ; Pop modified value into eflags. 
    pushfl    ; Push eflags back onto the stack. 
    pop eax    ; Pop it into eax. 
    xor eax,ecx   ; Get changed bits from the original value. 
    setz al    ; Set al register to 1 if no bits changed (0 otherwise). 
    and sp,$fffc   ; Truncate the stack pointer to a 4-byte boundary. 
    push ecx    ; Push ecx (original eflags) to stack. 
    popfl     ; Pop it into eflags to restore the original value. 
    mov sp,bx   ; Restore the original stack pointer. 
end ['eax','ebx','ecx']; 

CPU là 386 nếu đăng ký al được thiết lập để 1 lúc kết thúc (giả định từ đầu rằng nó không phải là cũ hơn), và nó là một 486 hoặc mới hơn nếu không. Tôi hiểu phần này.

Điều tôi không hiểu là tại sao con trỏ ngăn xếp phải được cắt ngắn thành ranh giới 4 byte trước khi thực hiện kiểm tra sửa đổi cờ? Tôi giả định rằng nó có nghĩa là để thiết lập bit 18, vì nó là bit liên kết sau khi tất cả ... nhưng xor với 0x40000 sẽ lật bit bất kể giá trị của nó. Nói cách khác, kiểm tra sửa đổi phải có kết quả tương tự bất kể giá trị ban đầu, phải không?

Nếu câu trả lời là không, tốt nhất của tôi [không được giáo dục] đoán là "tại sao" là "Có thể các hướng dẫn đẩy/bật sau đây có thể buộc căn chỉnh? Điều này sẽ căn chỉnh con trỏ ngăn xếp trước đó và khiến bit căn chỉnh lật từ 0 đến 1 của chính nó. Trong trường hợp đó, một sửa đổi thành công sẽ xuất hiện không thành công và ngược lại. " (EDIT: Điều này là chắc chắn không chính xác, bởi vì bit liên kết là về thực thi hơn là theo dõi liên kết. Plus, tôi nghi ngờ rằng pop/đẩy sẽ buộc liên kết trên một stack chưa xếp trước đó anyway.)

Ngay cả khi đó là trường hợp mặc dù, mục đích của việc sắp xếp các con trỏ ngăn xếp một lần nữa sau khi thử nghiệm (ngay trước khi khôi phục lại các eflags gốc và con trỏ ngăn xếp) là gì? Không phải là nó đã được trên một ranh giới 4-byte từ trước? Nếu không, làm thế nào có thể đã thay đổi từ đẩy/popping giá trị 4 byte?

Tóm lại, một số hướng dẫn có vẻ dư thừa đối với tôi và tôi cảm thấy rằng tôi phải thiếu điều gì đó quan trọng. Bất cứ ai ở đây có thể giải thích nó?

(Câu hỏi phụ: Dòng đầu tiên sao chép giá trị từ "sx" vào bx. Tôi chưa bao giờ thấy tham chiếu đến sổ đăng ký sx ở bất kỳ đâu. Nó thực sự tồn tại hay đó là lỗi đánh máy? 'X' key là khá xa phím 'p', ít nhất là trên bàn phím của Mỹ.)

EDIT: Bây giờ câu hỏi này đã được trả lời, tôi quyết định xóa nhận xét không đúng từ hai dòng căn chỉnh trong mã. Ban đầu tôi đã giả định rằng việc sắp xếp ngăn xếp sẽ thiết lập bit liên kết, và tôi đã viết nó vào nhận xét của tôi (phần còn lại của câu hỏi tiếp tục với logic không chính xác này). Thay vào đó, bit kiểm tra căn chỉnh thực sự là về việc thực thi căn chỉnh (thay vì theo dõi nó), như câu trả lời của flolo liên quan đến sigbus. Tôi đã quyết định sửa các nhận xét để tránh nhầm lẫn những người có câu hỏi tương tự.

Answer 1

Đoán của tôi rất dễ: Mã không muốn sigbus. Trong trường hợp liên kết kiểm tra chưa được đặt và bạn đã đặt nó, bạn thực sự bật kiểm tra căn chỉnh (khi cài đặt nó hoạt động). Và khi con trỏ ngăn xếp không liên kết với ranh giới 4 byte, hãy đoán xem điều gì sẽ xảy ra? Bạn có một truy cập bộ nhớ không được ký hiệu, kết quả là một sigbus. Và nếu bạn không muốn cho phép truy cập bộ nhớ không hợp lệ xảy ra (vì bạn chỉ muốn thay đổi bit cho mục đích thử nghiệm), bạn phải cẩn thận khi tất cả các truy cập trong khi bạn thử nghiệm giả định trường hợp xấu nhất (đó là: bạn đã kích hoạt nó) , và ngăn xếp của bạn là trước khi nó không liên kết, bởi vì nó không cần, đến nay các kiểm tra đã bị vô hiệu hóa).

Answer 2

Không có đăng ký SX. Hoặc là lỗi đánh máy hoặc đề cập đến một vị trí bộ nhớ.