В своем яп решил реализовать обработку исключений try/catch, как это работает на уровне java assembler'a, и как можно реализовать?

На уровне байткода у метода, в котором встречается try/catch, создаётся специальная таблица "Exception table".
В ней указываются с какого по какой оффсет инструкций идёт блок try, какой тип исключения ожидать и на какой оффсет в случае пришедшего исключения затем передавать управление.


Как видно, с 0 по 8 идёт тело блока try, с 11 начинается блок catch.

try/catch/catch/finally

try/catch/catch/finally

[копировать] [скачать]

1. $ cat Main.java
2. public class Main {
3.     public void method2() {
4.         try {
5.             System.out.println("try");
6.         } catch (IllegalArgumentException ex) {
7.             System.out.println("catch iae");
8.         } catch (NullPointerException ex) {
9.             System.out.println("catch npe");
10.         } finally {
11.            System.out.println("finally");
12.         }
13.     }
14. }
15.  
16. $ javap -c Main
17. Compiled from "Main.java"
18. public class Main {
19.   public Main();
20.     Code:
21.        0: aload_0
22.        1: invokespecial #1                  // Method java/lang/Object."<init>":()V
23.        4: return
24.  
25.   public void method2();
26.     Code:
27.        0: getstatic     #2                  // Field java/lang/System.out:Ljava/io/PrintStream;
28.        3: ldc           #3                  // String try
29.        5: invokevirtual #4                  // Method java/io/PrintStream.println:(Ljava/lang/String;)V
30.        8: getstatic     #2                  // Field java/lang/System.out:Ljava/io/PrintStream;
31.       11: ldc           #7                  // String finally
32.       13: invokevirtual #4                  // Method java/io/PrintStream.println:(Ljava/lang/String;)V
33.       16: goto          70
34.       19: astore_1
35.       20: getstatic     #2                  // Field java/lang/System.out:Ljava/io/PrintStream;
36.       23: ldc           #9                  // String catch iae
37.       25: invokevirtual #4                  // Method java/io/PrintStream.println:(Ljava/lang/String;)V
38.       28: getstatic     #2                  // Field java/lang/System.out:Ljava/io/PrintStream;
39.       31: ldc           #7                  // String finally
40.       33: invokevirtual #4                  // Method java/io/PrintStream.println:(Ljava/lang/String;)V
41.       36: goto          70
42.       39: astore_1
43.       40: getstatic     #2                  // Field java/lang/System.out:Ljava/io/PrintStream;
44.       43: ldc           #11                 // String catch npe
45.       45: invokevirtual #4                  // Method java/io/PrintStream.println:(Ljava/lang/String;)V
46.       48: getstatic     #2                  // Field java/lang/System.out:Ljava/io/PrintStream;
47.       51: ldc           #7                  // String finally
48.       53: invokevirtual #4                  // Method java/io/PrintStream.println:(Ljava/lang/String;)V
49.       56: goto          70
50.       59: astore_2
51.       60: getstatic     #2                  // Field java/lang/System.out:Ljava/io/PrintStream;
52.       63: ldc           #7                  // String finally
53.       65: invokevirtual #4                  // Method java/io/PrintStream.println:(Ljava/lang/String;)V
54.       68: aload_2
55.       69: athrow
56.       70: return
57.     Exception table:
58.        from    to  target type
59.            0     8    19   Class java/lang/IllegalArgumentException
60.            0     8    39   Class java/lang/NullPointerException
61.            0     8    59   any
62.           19    28    59   any
63.           39    48    59   any
64. }

Для одного и того же промежутка могут быть указаны несколько классов исключений.
Блок finally обязан срабатывать всегда, независимо от того, было исключение или нет. Поэтому в таблице исключений он помечается для всех блоков (0-8 — try, 19-28 — catch iae, 39-48 — catch npe).

Могу дать исходники - может что-то узнаешь(нет временни возиться)
даю прямую ссылку на файл с Java исходниками

Ссылка

Ссылка

https://www.dropbox.com/s/lh87kb7v02eamg9/src.zip?dl=1