solution

Máy ảo của các ngôn ngữ như Java (JVM) hiện thực cơ chế try/catch bằng một bảng ngoại lệ (exception table) gắn với mỗi hàm, thay vì kiểm tra điều kiện tường minh trong bytecode: mỗi mục của bảng mô tả một khoảng địa chỉ lệnh được bảo vệ, cùng với kiểu ngoại lệ mà nó bắt và địa chỉ của trình xử lý (handler).

Cho bảng ngoại lệ gồm $m$ mục, mục thứ $i$ là bộ bốn $(start_i, end_i, handler_i, type_i)$ nghĩa là: nếu tại lệnh có địa chỉ $pc$ thoả $start_i \le pc < end_i$, một ngoại lệ kiểu $type_i$ được ném ra, thì điều khiển sẽ chuyển tới địa chỉ $handler_i$. Ký hiệu kiểu đặc biệt * khớp với bất kỳ kiểu ngoại lệ nào (dùng cho khối bắt mọi lỗi / finally).

Khi nhiều mục cùng khớp với một truy vấn $(pc, type)$ (nghĩa là $pc$ nằm trong khoảng của mục đó và kiểu khớp — hoặc mục có $type_i =$ *, hoặc $type_i$ trùng đúng $type$), quy tắc của JVM là chọn mục xuất hiện đầu tiên theo thứ tự khai báo trong bảng (không phải mục có khoảng hẹp nhất).

Với mỗi truy vấn $(pc, type)$ độc lập (không mô phỏng cả một luồng thực thi, chỉ tra cứu bảng ứng với một sự kiện ném ngoại lệ tại địa chỉ đó), hãy in ra địa chỉ handler được chọn, hoặc UNCAUGHT nếu không mục nào khớp.

Ví dụ: bảng gồm mục $(5, 15, 60, \text{ValueError})$ rồi mục $(0, 20, 50, \texttt{*})$; truy vấn $(6, \text{ValueError})$ khớp cả hai mục nhưng chọn mục khai báo trước, cho kết quả handler $60$.