Arthas原理系列(五)：watch命令的实现原理

历史文章：

1. OGNL语法规范
2. 消失的堆栈
3. Arthas原理系列(一)：利用JVM的attach机制实现一个极简的watch命令
4. Arthas原理系列(二)：总体架构和项目入口
5. Arthas原理系列(三)：服务端启动流程
6. Arthas原理系列(四)：字节码插装让一切变得有可能

前言

通过前面几篇文章的介绍，我们可以看到Arthas是如何通过插装来获取运行时信息的，从这篇文章开始，我们开始看Arthas里面的命令具体是如何实现的，涉及到的命令有watch, trace, monitor, stack， time tunnel, 这几条命令相应的Command类都继承了EnhancerCommand, 因此他们的实现离不开代码插装。

本文首先会介绍命令实现的通用流程，以便后续文章的开展，然后会着重看一下上面5条命令中最简单的一条watch是如何实现的。

AdviceListener是如何工作的

从上篇文章的分析中我们可以看到，Arthas会在所有的待插装的代码的特定位置插装一个函数，相关的代码片段如下：

// TODO 要检查 binding 和 回调的函数的参数类型是否一致。回调函数的类型可以是 Object，或者super。但是不允许一些明显的类型问题，比如array转到int

toInsert.add(new MethodInsnNode(Opcodes.INVOKESTATIC, interceptorMethodConfig.getOwner(), interceptorMethodConfig.getMethodName(),
        interceptorMethodConfig.getMethodDesc(), false));

这里的interceptorMethodConfig会在拦截器中设置插装函数(拦截器的工作原理见上一篇文章，Arthas原理系列(四)：字节码插装让一切变得有可能，以AtEnter方法为例：

@AtEnter(inline = true)
public static void atEnter(@Binding.This Object target, @Binding.Class Class<?> clazz,
        @Binding.MethodInfo String methodInfo, @Binding.Args Object[] args) {
   
    SpyAPI.atEnter(clazz, methodInfo, target, args);
}

将会在目标方法的第一行前面插入atEnter这个方法，实际的执行将会转发到SpyAPI.atEnter中，我们接下来看下SpyAPI.atEnter中会具体做些什么工作。

SpyAPI是一个接口，这个接口的实例化在Enhancer初始化的时候就已经完成了

private static SpyImpl spyImpl = new SpyImpl();

static {
   
    SpyAPI.setSpy(spyImpl);
}

所以，我们直接看SpyImpl的实现就可以了：

@Override
public void atEnter(Class<?> clazz, String methodInfo, Object target, Object[] args) {
   
    ClassLoader classLoader = clazz.getClassLoader();

    String[] info = splitMethodInfo(methodInfo);
    String methodName = info[0];
    String methodDesc = info[1];
    // TODO listener 只用查一次，放到 thread local里保存起来就可以了！
    List<AdviceListener> listeners = AdviceListenerManager.queryAdviceListeners(classLoader, clazz.getName(),
            methodName, methodDesc)