文档教程后端【免费下载链接】CodeGuide:books: 本代码库是作者小傅哥多年从事一线互联网 Java 开发的学习历程技术汇总旨在为大家提供一个清晰详细的学习教程侧重点更倾向编写Java核心内容。如果本仓库能为您提供帮助请给予支持(关注、点赞、分享)项目地址https://gitcode.com/gh_mirrors/code/CodeGuide点击查看免费下载JSRJump to SubRoutine与 RETRETurn from subroutine是 JVM 指令集中一对特殊的历史遗留指令曾用于 Java 5 及更低版本编译finally块在 Java 6 引入新验证器体系后被官方移除。本文以 CodeGuide 仓库中 A.2 子例程 一文为核心结合仓库内的 JVM 指令表 与 ASM 数据流分析文档带你彻底搞懂这对指令的语义、执行轨迹以及 ASM 提供的JSRInlinerAdapter是如何自动完成子例程内联化这一关键转换的。读完本文你将掌握JSR/RET 的精确字节码语义与操作数栈行为、子例程为何可以被安全移除、org.objectweb.asm.commons.JSRInlinerAdapter的使用方式及其底层原理并能在处理 1.5 及以下版本类文件时正确选用工具完成代码分析与类版本升级。一、子例程指令是什么JSR 与 RET 的语义在 JVM 的字节码指令集中绝大多数指令在 A.1 字节代码指令 中都有对应的栈行为描述而JSR与RET是其中相当特殊的一对JSRJump to SubRoutine跳转至子例程以标记label为参数无条件跳转到该标记。但在跳转之前它会在操作数栈中压入一个返回地址——该地址是紧跟在 JSR 之后的指令的索引。RETRETurn from subroutine从子例程返回以一个局部变量索引为参数加载保存在该槽中的返回地址并无条件跳转至相应指令。关键在于 JSR 压入的返回地址是一种非常受限的值它只能由以下三类指令处理栈指令POP、DUP、SWAP等存储指令ASTORE跳转指令RET。换句话说这个返回地址既不能参与算术运算也不能被当作普通对象引用使用。ASM 的数据流分析框架为此在BasicValue中专门定义了一个取值——RETURNADDRESS_VALUE用于子例程见 8.2 接口与组件与INT_VALUE、REFERENCE_VALUE等并列作为七个基本值集之一参与模拟分析。而由于 RET 读取的返回地址是存放在局部变量中的该变量在不同执行路径上可能被赋予不同的返回地址因此RET 指令可以返回到几个不同的指令——这正是子例程与普通方法调用最本质的区别。二、版本限制Java 6 的一刀切原文档明确指出一个硬性规则版本号低于或等于 V1_5的类可以包含JSR和RET指令版本号高于或等于 V1_6的类不能包含这些指令。移除它们的原因是为了Java 6 中引入的新验证器体系结构。新的类型检查型验证器type-checking verifier基于数据流分析而子例程会让分析变得复杂返回地址的多值问题直接催生了上一节提到的RETURNADDRESS_VALUE又因为这些指令不是严格必需的所以 JVM 规范干脆将其从 1.6 及以上版本的合法指令集中剔除。这就带来一个现实的工程问题当你使用 ASM 处理一个老版本类文件时如果方法中残留了 JSR/RET 指令直接将其升级到 1.6 或更高版本是非法的即便不升级很多基于现代验证器的分析工具也会拒绝或无法正确处理它们。解决方案就是我们后面要讲的内联化。三、逐条拆解一个完整的 JSR/RET 执行示例原文档给出了一个非常精炼的示例这里是它的完整形式JSR sub // 指令 1 JSR sub // 指令 2 RETURN // 指令 3 sub: ASTORE 1 // 指令 4 IINC 0 1 // 指令 5 RET 1 // 指令 6下面按执行轨迹逐步推演第一次 JSR指令 1将第二条指令的索引即指令 2作为返回地址压入操作数栈然后无条件跳转到sub:标记处的ASTORE 1指令 4。进入子例程ASTORE 1将栈顶的返回地址弹出存入局部变量 1。接着IINC 0 1将局部变量 0 自增 1。然后执行RET 1加载局部变量 1 中保存的返回地址跳转回指令 2。第二次 JSR指令 2这一次压入的返回地址是第三条指令的索引即指令 3再次跳转到ASTORE 1。注意此时局部变量 1 被重新写入了新的返回地址。再次进入子例程IINC 0 1再次自增RET 1加载局部变量 1——现在其中保存的是指向指令 3RETURN的地址——于是执行跳转到RETURN并终止方法。可以看到同一个子例程主体被调用了两次两次返回到了不同的指令。这正是 RET 指令可以返回到几个可能指令的含义也解释了为什么数据流分析中返回地址必须单独建模。四、子例程的来历finally 块的编译产物sub:标记之后的指令序列定义了一个所谓的子例程subroutine。它有点像方法可以从一个正常方法的不同地方被调用但它又不是方法没有独立的栈帧没有参数传递协议靠的是返回地址在局部变量间的搬运。在 Java 6 之前子例程主要用于编译 Java 源码中的finally块。例如void m() { try { // ... } finally { i; // 对应 IINC 0 1 } }编译器需要保证无论try块是正常结束还是因异常提前退出finally中的代码都必须执行。在旧版编译器中这一多处汇入、公共出口的控制流正是通过 JSR 跳入子例程、RET 携返回地址跳出实现的——每次进入子例程前压入不同的返回地址使同一段 finally 代码能从多条路径返回。注意现代 javac针对 1.6 目标已不再生成 JSR/RET而是采用复制 finally 代码块的方式。因此本文讨论的是历史字节码的处理场景适用于解析旧版本类文件、兼容性工具与教学研究。五、子例程并非必需内联转换原理虽然子例程在历史上承担了重要职责但正如原文档强调的子例程并非必不可少。事实上完全可以用相应子例程的主体来代替每个 JSR 指令。对上面的示例做内联将两个JSR sub分别替换为子例程主体ASTORE 1、IINC 0 1、RET 1的等价展开由于调用方上下文不需要保存/恢复返回地址ASTORE 1与RET 1随之消失最终得到IINC 0 1 IINC 0 1 RETURN这种内联生成的代码有重复但彻底删除了JSR和RET指令换来的是简化代码分析——分析器不再需要处理多值返回地址RETURNADDRESS_VALUE数据流框架可以统一按普通指令处理支持类版本升级——将类从 1.5 或更低版本转换为 1.6 或更高版本时合法化其指令集。代价是方法体变大子例程出现几次就被复制几份但换来验证器与工具链的简单与可靠。六、JSRInlinerAdapterASM 的自动化内联方案手工做上述内联显然繁琐且易错ASM 在org.objectweb.asm.commons包中提供了JSRInlinerAdapter类来自动执行这一转换。它的使用方式与 ASM 树 API 的典型模式一致JSRInlinerAdapter本质上是一个特殊的MethodNode在visitEnd()阶段完成内联改写后再通过accept()把结果交付给下游的MethodVisitor。这与仓库文档 7.2 组件合成 中描述的基于继承的方法适配器模式完全同构public class MyMethodAdapter extends MethodNode { public MyMethodAdapter(int access, String name, String desc, String signature, String[] exceptions, MethodVisitor mv) { super(ASM4, access, name, desc, signature, exceptions); this.mv mv; } Override public void visitEnd() { // 将你的转换代码放在这儿例如 JSRInlinerAdapter 的内联处理 accept(mv); } }而在实际使用中你可以在类访问器ClassVisitor的visitMethod回调中将JSRInlinerAdapter插入方法访问链Override public MethodVisitor visitMethod(int access, String name, String desc, String signature, String[] exceptions) { MethodVisitor mv super.visitMethod(access, name, desc, signature, exceptions); // 通过 JSRInlinerAdapter 包装自动消除 JSR/RET 指令 return new JSRInlinerAdapter(mv, access, name, desc, signature, exceptions); }JSRInlinerAdapter的底层实现要点结合 ASM 源码结构与文档可推断它解析方法内所有JsrInsnNode为每个子例程建立入口标签 → 子例程指令序列的映射遍历子例程的指令将RetInsnNode到各返回点的路径逐一内联展开到每个JSR调用位置内联过程会重新分配局部变量索引、修正跳转目标与LabelNode引用确保展开后的控制流语义与原字节码等价完成后再通过accept把改写后的指令列表交给下游如ClassWriter产出不含 JSR/RET 的合法方法体。因此在需要读取老版本类 → 分析/修改 → 输出 1.6 类文件的链路中JSRInlinerAdapter是官方推荐的标准预处理组件。七、指令速查JSR/RET 在字节码中的编码结合仓库的 JVM 指令表可以查到这对指令的操作码编码操作码助记符说明0xa8jsr跳转到子例程序短偏移0xc9jsr_w跳转到子例程序宽索引用于偏移超过 16 位范围时0xa9(wide)ret返回子例程序可配合 wide 前缀扩展局部变量索引与普通跳转指令的对照关系见 A.1 字节代码指令jsr/jsr_w的无条件跳转特性类似于GOTO区别在于 jsr 额外压入返回地址方法返回指令IRETURN/LRETURN/FRETURN/DRETURN/ARETURN/RETURN与ATHROW才是方法真正的出口RET只负责跳回调用点并不终止方法执行。这也再次印证了原文档的结论RET 不是返回指令而是一种带目标地址的跳转指令其目标来自局部变量因此具备多态性。八、实战建议何时需要处理 JSR/RET综合上述原理在以下场景中你会与 JSR/RET 打交道并需要用到JSRInlinerAdapter旧类兼容升级将 class 文件版本从 1.5 或更低升级到 1.6 或更高时必须先消除 JSR/RET否则输出产物违反版本约束字节码分析与插桩进行方法级数据流分析如仓库 8.2 接口与组件 介绍的Analyzer/BasicInterpreter框架时若方法含子例程返回地址的多值特性会显著增加分析复杂度先内联可让所有指令以普通数据流方式处理死代码清理结合BasicInterpreter构建的RemoveDeadCodeAdapter等工具内联后Analyzer.getFrames()才能对不可达指令给出null帧从而安全地完成指令移除工具链兼容部分第三方分析/增强库基于新验证器实现遇到 JSR/RET 会直接拒绝处理内联化是通用的前置修复手段。九、小结JSR/RET 是 JVM 字节码发展史上的一个过渡产物它们曾以共享子例程 多值返回地址的方式高效编译finally块却因与新验证器体系不兼容而在 Java 6 中被移除。理解这对指令不仅能帮你读懂旧版本类文件更能让你在面对升级 分析 改写的复合需求时自信地使用 ASM 的JSRInlinerAdapter完成子例程内联化——用可控的代码体积增长换取分析器的简化与类版本的合法性。进一步学习可继续阅读 CodeGuide 仓库中的 A.1 字节代码指令、JVM 指令表、8.2 接口与组件 以及 7.2 组件合成从指令全集到树 API 组合模式完整构建 ASM 字节码编程的知识体系。赞分享文档教程后端【免费下载链接】CodeGuide:books: 本代码库是作者小傅哥多年从事一线互联网 Java 开发的学习历程技术汇总旨在为大家提供一个清晰详细的学习教程侧重点更倾向编写Java核心内容。如果本仓库能为您提供帮助请给予支持(关注、点赞、分享)项目地址https://gitcode.com/gh_mirrors/code/CodeGuide点击查看免费下载相关推荐终极指南揭秘Java字节码编程ASM与Javassist实战技巧终极指南揭秘Java字节码编程ASM与Javassist实战技巧 Java字节码编程是高级Java开发者必须掌握的核心技能之一而ASM和Javassist正文档教程后端字节码编程与性能监控ASM、Javassist、ByteBuddy字节码编程与性能监控ASM、Javassist、ByteBuddy 本文深入探讨了Java字节码编程领域的三大主流框架ASM、Javassist和ByteB文档教程后端CodeGuide 中间件实战非入侵监控设计之 ASM 字节码插桩CodeGuide 中间件实战非入侵监控设计之 ASM 字节码插桩 本文源自小傅哥《SpringBoot 中间件设计和开发》专栏第 16 章。在大型互联网架构文档教程后端创作声明：本文部分内容由AI辅助生成（AIGC），仅供参考
` 溢出修复)
