基于ASM框架的多线程程序执行轨迹追踪优化方案咨询

核心优化：削减不必要的插装点 #

当前性能损耗的根源是每条指令都插装字节码，但你的需求是记录代码行级的执行顺序，完全可以只在行号边界插入记录逻辑：

• 重写ASM的LineNumMethodVisitor#visitLineNumber方法，仅当JVM标记行号变更时，才插入记录字节码。同一行内的多条指令只会触发一次记录，插装量直接从指令级降到行级，性能开销大幅降低。
• 示例代码片段：

@Override
public void visitLineNumber(int line, Label start) {
    super.visitLineNumber(line, start);
    // 插入记录逻辑：获取线程ID、类名、行号并写入队列
    mv.visitFieldInsn(Opcodes.GETSTATIC, "java/lang/Thread", "currentThread", "Ljava/lang/Thread;");
    mv.visitMethodInsn(Opcodes.INVOKEVIRTUAL, "java/lang/Thread", "getId", "()J", false);
    mv.visitLdcInsn(className); // 类名通过ClassVisitor提前传递
    mv.visitLdcInsn(line);
    mv.visitMethodInsn(Opcodes.INVOKESTATIC, "com/yourpackage/ExecutionRecorder", "record", "(JLjava/lang/String;I)V", false);
}

异步解耦记录逻辑，避免阻塞业务线程 #

即使行级插装，频繁写入共享队列仍会有锁竞争，可通过以下方式彻底隔离记录开销：

• 用ThreadLocal<Queue<ExecutionRecord>>缓存当前线程的执行记录，每条记录先写入本地队列，攒到固定数量（如10条）再批量提交到全局队列。
• 启动独立后台线程，定期遍历活跃线程的本地队列，异步合并到全局结果队列。这种方式下原线程的记录操作几乎无锁，对业务逻辑的侵入性极低。
• 注意：用WeakHashMap跟踪线程与本地队列的关联，避免线程销毁后内存泄漏。

轻量级记录对象与队列选型 #

• 定义不可变的ExecutionRecord类，复用字符串常量池中的类名字符串，减少内存分配开销：

public record ExecutionRecord(long threadId, String className, int lineNumber) {}

• 全局队列选用JUC的ConcurrentLinkedQueue，它是无锁实现，比同步队列的性能损耗更低。

替代方案：用ByteBuddy简化插装 #

如果ASM手动编写字节码成本高，可换用ByteBuddy框架，它提供更简洁的API实现行级插装，且内置性能优化：

• 通过@Advice注解在目标行插入记录逻辑，自动处理字节码生成细节：

@Advice.OnMethodEnter
public static void recordExecution(
    @Advice.Origin Class<?> clazz,
    @Advice.LineNumber int line
) {
    long threadId = Thread.currentThread().getId();
    ExecutionRecorder.record(threadId, clazz.getName(), line);
}

• 配置ByteBuddy仅在指定类/方法的行号变更时触发插装，进一步控制插装范围。

关键注意事项 #

• 记录逻辑必须包裹在try-catch中，避免因记录失败导致原业务程序抛出异常。
• 循环体中的行每次执行都会触发记录（符合需求），无需额外优化——这是业务需求的必要开销。

内容的提问来源于stack exchange，提问作者WobbleMeister