Làm cách nào để các phương pháp ném ngoại lệ được gạch chân?

Question

Tôi chỉ tò mò là làm thế nào nó có thể cho Java JVM để đôi khi nội tuyến phương pháp có khả năng ném ngoại lệ. Tôi giả sử rằng có thể nội tuyến ít nhất một số phương pháp như vậy (chẳng hạn như những phương thức có truy cập mảng và do đó có khả năng ném ArrayIndexOutOfBoundsException s). Vấn đề tôi thấy là nếu ngoại lệ thực sự xảy ra, làm thế nào để bạn hiển thị theo dõi stack đúng nếu bạn đã phác thảo phương pháp? Vì các phương thức khác nhau có thể được gạch chân trên các máy khác nhau, làm cách nào để nội tuyến không phá vỡ cơ chế theo dõi ngăn xếp?

Answer 1

Vấn đề bạn dự tính là gì? Vì chính bản thân JVM thực hiện nội tuyến, không có gì ngăn cản nó ghi nhớ những gì nó đã phác thảo ở đâu và chính xác cho điều này khi nó xây dựng một dấu vết ngăn xếp để cài đặt trong một đối tượng Throwable.

Khi ngoại lệ là ném được xây dựng, JVM sẽ đi bộ ngăn xếp CPU và tìm hiểu xem mỗi khung ngăn xếp máy có tương ứng với mã bytecode, mã JITted, mã gốc từ thư viện hay không. Đối với điều này, nó đề cập đến các bảng cho biết địa chỉ nào trong mã máy tương ứng với các lệnh từ bytecode (và tiếp tục quay trở lại các dòng nguồn, nếu thông tin đó là nhấn trong tệp lớp). Bảng này hoàn toàn có thể chỉ rõ rằng một nơi nhất định trong mã JITted có thể tương ứng với nhiều hơn một khung ngăn xếp cấp Java.

Tuy nhiên, JVM không phải là yêu cầu để thực hiện việc này. Nó cũng có thể chỉ đơn giản là để xây dựng dấu vết ngăn xếp với phá vỡ bí ẩn trong đó. Xem javadoc for Throwable.getStackTrace(). (Thậm chí không có yêu cầu rằng một JVM có thể tạo ra các dấu vết ngăn xếp ở tất cả).

Answer 2

Bạn có thể muốn kiểm tra this document sẽ giải thích cách xử lý ngoại lệ hoạt động trong JVM:

Mỗi phương pháp mà bắt ngoại lệ được kết hợp với một bảng ngoại lệ đó là giao trong tập tin lớp cùng với các chuỗi bytecode của phương thức . Bảng ngoại lệ có một mục nhập cho mỗi ngoại lệ là bị chặn bởi mỗi khối thử. Mỗi mục có bốn mẩu thông tin: điểm bắt đầu và điểm kết thúc, bù trừ máy tính trong chuỗi bytecode để chuyển đến và chỉ mục hồ bơi không đổi của lớp ngoại lệ là bị bắt.