python / python/cpython

JIT does not emit trampolines for jumps to addresses encoded as operands

Đang mở
#149,316 1 bình luận 0 reaction 0 người được giao Xem trên GitHub

Chưa có ai nhận issue này.

interpreter-core topic-JIT type-bug
Ngôn ngữ chính
Python
Star
77.2k
Fork
35.9k
Chỉ số merge pull request
Chỉ số pull request đang chờ

Mô tả

Bug report

Bug description:

We need to declare variables volatile here and in https://github.com/python/cpython/pull/148745 otherwise the code generator emits normal jumps without the necessary patching to add trampolines.

For more details see https://github.com/python/cpython/pull/148745#discussion_r3177522254

CPython versions tested on:

CPython main branch

Operating systems tested on:

No response

Hướng dẫn đóng góp

Mở hướng dẫn đóng góp

Bắt đầu từ đâu

  1. Đọc hết issue, rồi đọc hướng dẫn đóng góp của dự án.
  2. Bình luận trên issue rằng bạn sẽ nhận — tránh hai người làm cùng một việc.
  3. Fork repository và làm thay đổi trên một nhánh.
  4. Mở pull request có tham chiếu số hiệu của issue.

Hướng nghiên cứu

Bắt đầu tại Python/bytecodes.c, quanh dòng 5053, và đọc phần thảo luận trong pull request 148745. Theo dõi cách trình tạo mã JIT xử lý các lệnh nhảy có địa chỉ là toán hạng, sau đó xác minh rằng các biến bị ảnh hưởng vẫn giữ nguyên hành vi vá trampoline. Được xem là hoàn tất khi các lệnh nhảy như vậy phát sinh các trampoline cần thiết trên nhánh main của CPython.

Do mô hình lập chỉ mục viết ra từ nội dung của issue.

Đánh giá

Công nghệ
c, python
Lĩnh vực
compilers
Loại issue
Lỗi
Độ khó
4/5
Thời gian dự kiến
3-5 ngày
Mức độ hoạt động
Ít trao đổi
Độ rõ ràng
Khá rõ ràng
Mức phù hợp với người mới
52/100

Nhận issue mới trong hộp thư của bạn

Bản tóm tắt ngắn những issue GitHub phù hợp với người mới.