Làm thế nào để ngăn chặn gcc tối ưu hóa một số câu lệnh trong C?

Question

Để thực hiện một bẩn trang (chuyển đổi trên các bit bẩn ở mục bảng trang), tôi chạm vào byte đầu tiên của trang như thế này:

pageptr[0] = pageptr[0]; 

Nhưng trong thực tế gcc sẽ bỏ qua các tuyên bố của người chết loại bỏ cửa hàng. Để ngăn gcc tối ưu hóa, tôi viết lại tuyên bố như sau:

volatile int tmp; 
tmp = pageptr[0]; 
pageptr[0] = tmp; 

Dường như mẹo hoạt động, nhưng hơi xấu xí. Tôi muốn biết là có bất kỳ chỉ thị hoặc cú pháp có tác dụng tương tự? Và tôi không muốn sử dụng cờ -O0 vì nó cũng sẽ mang lại hiệu suất tuyệt vời.

Answer 1

Tắt tối ưu hóa khắc phục sự cố nhưng không cần thiết. Một giải pháp thay thế an toàn hơn là làm cho trình biên dịch trở nên bất hợp pháp để tối ưu hóa cửa hàng bằng cách sử dụng loại vòng loại loại volatile.

// Assuming pageptr is unsigned char * already... 
unsigned char *pageptr = ...; 
((unsigned char volatile *)pageptr)[0] = pageptr[0]; 

Bộ định loại loại volatile chỉ thị trình biên dịch phải nghiêm ngặt về lưu trữ và tải bộ nhớ. Một mục đích của volatile là để cho trình biên dịch biết rằng truy cập bộ nhớ có tác dụng phụ, và do đó phải được bảo toàn. Trong trường hợp này, cửa hàng có tác dụng phụ gây ra lỗi trang và bạn muốn trình biên dịch bảo toàn lỗi trang.

Bằng cách này, mã xung quanh vẫn có thể được tối ưu hóa và mã của bạn được chuyển sang các trình biên dịch khác không hiểu cú pháp #pragma hoặc __attribute__ của GCC.

Answer 2

Bạn có thể sử dụng

#pragma GCC push_options 
#pragma GCC optimize ("O0") 

your code 

#pragma GCC pop_options 

để vô hiệu hóa tối ưu hóa từ GCC 4.4.

Xem tài liệu GCC nếu bạn cần thêm chi tiết.

Answer 3

Thay vì sử dụng các pragmas mới, bạn cũng có thể sử dụng __attribute__((optimize("O0"))) cho các nhu cầu của mình. Điều này có lợi thế là chỉ áp dụng cho một hàm duy nhất và không phải tất cả các hàm được định nghĩa trong cùng một tệp.

dụ Cách sử dụng:

void __attribute__((optimize("O0"))) foo(unsigned char data) { 
    // unmodifiable compiler code 
}