sao chép chức năng hiện có vào bộ nhớ đệm

Question

Tôi đang cố gắng để tải một hàm thành một bộ nhớ đệm ánh xạ và gọi nó sau này vì vậy tôi đã thực hiện một trường hợp thử nghiệm để thử:

auto func() -> void{ 
    asm(
     "nop;" 
     "nop;" 
     "nop;" 
     "nop;" 
    ); 
} 

auto main(int argc, char *argv[]) -> int{ 
    void *exec_mem = mmap(nullptr, getpagesize(), PROT_READ | PROT_WRITE | PROT_EXEC, MAP_PRIVATE | MAP_ANONYMOUS, -1, 0); 
    // check errors here 

    memcpy(exec_mem, reinterpret_cast<const void*>(func), 5); // size is known 
    (reinterpret_cast<void(*)()>(exec_mem))(); // function call 

    munmap(exec_mem, getpagesize()); 
} 

nào hoạt động tốt, nhưng ngay sau khi tôi cố gắng làm điều gì đó thậm chí tầm thường, tôi nhận được một segfault.

tôi đã cố gắng để làm một nhiệm vụ đơn giản biến như thế này:

int x; 
auto func() -> void{ 
    x = 5; 
} 

và bây giờ segfaults chức năng kêu gọi của Mẹ. Tôi đã thay đổi kích thước bộ đệm một cách thích hợp và chắc chắn rằng bộ nhớ chính xác đang được ghi vào bộ đệm.

Tôi thiếu thông tin quan trọng nào ở đây? Tại sao tôi không thể làm điều này?

P.S. Xin đừng dạy tôi về mã không an toàn, đây là một bài tập học tập cá nhân đơn giản.

Answer 1

Bỏ qua thực tế rằng đây là hành vi không xác định rõ ràng, nếu bạn gán một biến toàn cục, mã được tạo có khả năng sử dụng relative addressing để tham chiếu biến trên một số kiến ​​trúc.

Tức là, hàm mong đợi chính nó và x ở một địa chỉ cụ thể và nếu bạn di chuyển nó, mọi thứ sẽ bị hỏng.

Đây là những gì GCC của tôi tạo ra cho chức năng kiểm tra của bạn:

x: 
     .zero 4 
     .text 
     .globl _Z4funcv 
     .type _Z4funcv, @function 
_Z4funcv: 
.LFB2: 
     .cfi_startproc 
     pushq %rbp 
     .cfi_def_cfa_offset 16 
     .cfi_offset 6, -16 
     movq %rsp, %rbp 
     .cfi_def_cfa_register 6 
     movl $5, x(%rip) 
     nop 
     popq %rbp 
     .cfi_def_cfa 7, 8 
     ret 
     .cfi_endproc 

Lưu ý movl $5, x(%rip), có nghĩa là các mã sử dụng địa chỉ riêng của mình (được lưu trữ trong% rip) để tính toán vị trí của x và lưu trữ 5 trong đó.

Vì vậy, trong ngắn hạn, không có cách nào đơn giản để làm những gì bạn đang cố gắng làm, trừ khi bạn đảm bảo rằng chức năng của bạn chỉ có position-independent code. Và thậm chí sau đó, nó chỉ yêu cầu rắc rối.