¿Cómo pueden incluirse los métodos que arrojan excepciones?

Question

Tengo curiosidad acerca de cómo es posible que Java JVM a veces incorpore métodos que tienen el potencial de generar excepciones. Supongo que es posible alinear al menos algunos de esos métodos (como los que tienen acceso a la matriz y, por lo tanto, la posibilidad de lanzar ArrayIndexOutOfBoundsException s). El problema que veo es que si la excepción realmente ocurre, ¿cómo se muestra el seguimiento de pila correcto si se ha introducido el método? Dado que diferentes métodos se pueden insertar en máquinas diferentes, ¿cómo la línea no rompe el mecanismo de seguimiento de la pila?

Answer 1

¿Cuál es el problema que prevé? Dado que es la propia JVM la que realiza la línea de entrada, no hay nada que le impida recordar dónde está en línea y corregirla cuando construye una traza de pila para instalarla en un objeto Throwable.

Cuando una excepción es tirado construido, la JVM caminará la pila de la CPU y averiguar si cada trama de pila de la máquina corresponde a bytecode interpretado, código compilados JIT, código nativo a partir de bibliotecas, etcétera. Para esto se refiere a las tablas que indican qué direcciones del código de máquina corresponden a qué instrucciones del bytecode (y más atrás a las líneas fuente, si esa información está presente en el archivo de la clase). Esta tabla puede especificar perfectamente que un cierto lugar en el código JITted puede corresponder a más de un marco de pila de nivel Java.

Sin embargo, una JVM no es requiere para hacer esto. También puede elegir simplemente construir rastros de pila con rupturas misteriosas en ellos. Vea el javadoc for Throwable.getStackTrace(). (Ni siquiera existe el requisito de que una JVM pueda generar trazas de pila en total).

Answer 2

Es posible que desee echa un vistazo a this document que explica cómo funciona el manejo de excepciones en la JVM:

Cada método que capturas excepciones se asocia con una tabla de excepción que es entregado en el archivo de clase junto con el secuencia bytecode del método . La tabla de excepciones tiene una entrada para cada excepción que es atrapada por cada bloque try. Cada entrada tiene cuatro elementos de información: los puntos de inicio y finalización, la compensación de PC dentro de la secuencia de códigos de bytes para ir a, y un índice de grupo constante de la clase de excepción que es capturado.