Linux 之父出席、干货分享、圆桌讨论,精彩尽在 OpenCloudOS 社区开放日,报名戳 了解详情
写点什么

JVM SandBox 的技术原理与应用分析

  • 2019 年 5 月 30 日
  • 本文字数:10745 字

    阅读完需:约 35 分钟

JVM  SandBox的技术原理与应用分析

一、前言

在开始之前,我们先来模拟一下以下的场景:


小李:“小明,你的接口没有返回数据,麻烦帮忙看一下?”


小明:“我这边的数据也是从别人的服务器中拿到的,但是我不确定是因为逻辑处理有问题导致没有结果,还是因为我依赖的服务有问题而没有返回结果,我需要确认一下。”


小明:“哎呀,线上没有日志,我需要加个日志上个线。”


30 分钟之后……


小明:“不好意思,日志加错地方了……稍等……”


接来下隆重登场的就是本文的主角 JVM SandBox 了。基于 JVM SandBox,我们可以很容易地做到在不重新部署应用的情况下,给指定的某些类的某些方法加上日志功能。当然,动态加日志仅仅是 JVM SandBox 可以应用的一个小小的场景,JVM SandBox 的威力远不在于此。那么,JVM SandBox 是什么?JVM SandBox 从哪里来?JVM SandBox 怎么用?本文在第二章会回答这几个问题,如果你跟我一样对 JVM SandBox 的底层实现原理感兴趣,特别是 JVM 相关部分,那么第三章有相关的内容;如果你只想了解 JVM SandBox 自身具有哪些特性,以及 JVM SandBox 是如何设计实现的,那么可以跳过第三章,直接阅读第四章;最后,在第五章会简单地介绍其他两个可以应用 JVM SandBox 的场景。


二、JVM SandBox 简介

2.1 AOP

在介绍 JVM SandBox 之前,我们先来回顾一下 AOP 技术。


AOP(面向切面编程,Aspect Oriented Programming)技术已被业界广泛应用,其思想是面向业务处理过程的某个步骤或阶段进行编程,这个步骤或阶段被称为切面,其目的是降低业务逻辑的各部分之间的耦合,常见的 AOP 实现基本原理有两种:代理和行为注入。


1)代理模式


在代理模式下,我们会创建一个代理对象来代理原对象的行为,代理对象拥有原对象行为执行的控制权,在这种模式下,我们基于代理对象在原对象行为执行的前后插入代码来实现 AOP。



图 2-1 代理模式


2)行为注入模式


在行为注入模式下,我们不会创建一个新的对象,而是修改原对象,在原对象行为的执行前后注入代码来实现 AOP。



图 2-2 行为注入模式


2.2 JVM SandBox

JVM SandBox 是阿里开源的一款 JVM 平台非侵入式运行期 AOP 解决方案,本质上是一种 AOP 落地形式。那么可能有同学会问:已有成熟的 Spring AOP 解决方案,阿里巴巴为什么还要“重复造轮子”?这个问题要回到 JVM SandBox 诞生的背景中来回答。在 2016 年中,天猫双十一催动了阿里巴巴内部大量业务系统的改动,恰逢徐冬晨(阿里巴巴测试开发专家)所在的团队调整,测试资源保障严重不足,迫使他们必须考虑更精准、更便捷的老业务测试回归验证方案。开发团队面临的是新接手的老系统,老的业务代码架构难以满足可测性的要求,很多现有测试框架也无法应用到老的业务系统架构中,于是需要新的测试思路和测试框架。


为什么不采用 Spring AOP 方案呢?Spring AOP 方案的痛点在于不是所有业务代码都托管在 Spring 容器中,而且更底层的中间件代码、三方包代码无法纳入到回归测试范围,更糟糕的是测试框架会引入自身所依赖的类库,经常与业务代码的类库产生冲突,因此,JVM SandBox 应运而生。


JVM SandBox 本身是基于插件化的设计思想,允许用于以“模块”的方式基于 JVM SandBox 提供的 AOP 能力开发新的功能。基于 JVM SandBox,我们不需要关心如何在 JVM 层实现 AOP 的技术细节,只需要通过 JVM SandBox 提供的编程结构告诉“沙箱”,我们希望对哪些类哪些方法进行 AOP,在切面点做什么即可,JVM SandBox 模块功能编写起来非常简单。下面是一个示例模块代码:


@MetaInfServices(Module.class)  @Information(id = "my-sandbox-module")//模块名  public class MySandBoxModule implements Module {      private Logger LOG = Logger.getLogger(MySandBoxModule.class.getName());      @Resource      private ModuleEventWatcher moduleEventWatcher;        @Command("addLog")//模块命令名      public void addLog() {          new EventWatchBuilder(moduleEventWatcher)                  .onClass("com.float.lu.DealGroupService")//想要对DealGroupService这个类进行切面                  .onBehavior("loadDealGroup")//想要对上面类的loadDealGroup方法进行切面                  .onWatch(new AdviceListener() {                      @Override                      protected void before(Advice advice) throws Throwable {                          LOG.info("方法名: " + advice.getBehavior().getName());//在方法执行前打印方法的名字                      }                  });      }  }  
复制代码


如上面代码所示,通过简单常规的编码即可实现对某个类的某个方法进行切面,不需要对底层技术有了解即可上手。上面的模块被 JVM SandBox 加载和初始化之后便可以被使用了。比如,只需要告诉 JVM SandBox 我们要执行 my-sandbox-module 这个模块的 addLog 这个方法,我们编写的功能的调用就会被注入到目标地方。


JVM SandBox 使用起来非常很简单,但是 JVM SandBox 背后所涉及到的底层技术原理、实现细节却不简单,比如 Java Agent、Attach、JVMTI、Instrument、Class 字节码修改、ClassLoader、代码锁、事件驱动设计等等。如果要深究可能要究几本书,但这不是本文的目的。本文仅仅概括性地介绍 JVM SandBox 实现涉及到的一些核心技术点,力求通过本文可以回答如 JVMTI 是什么?Instrument 是什么?Java Agent 是什么?它们之间有什么关系?他们和 JVM SandBox 又是什么关系等问题。


三、JVM 核心技术

3.1 Java Agent

JVM SandBox 容器的启动依赖 Java Agent,Java Agent(Java 代理)是 JDK 1.5 之后引入的技术。开发一个 Java Agent 有两种方式,一种是实现一个 premain 方法,但是这种方式实现的 Java Agent 只能在 JVM 启动的时候被加载;另一种是实现一个 agentmain 方法,这种方式实现的 Java Agent 可以在 JVM 启动之后被加载。当然,两种实现方法各有利弊、各有适用场景,这里不再过多介绍,JVM SandBox Agent 对于这两种方式都有实现,用户可以自行选择使用,因为在 JVM 层这两种方式底层的实现原理大同小异,因此本文只选择 agentmain 方式进行介绍,下文的脉络也仅跟 agentmain 方式相关。下面先通过两行代码,来看看基于 agentmain 方式实现的 Java Agent 是如何被加载的:


VirtualMachine vmObj = VirtualMachine.attach(targetJvmPid);//targetJvmPid为目标JVM的进程ID  vmObj.loadAgent(agentJarPath, cfg);  // agentJarPath为agent jar包的路径,cfg为传递给agent的参数  
复制代码


在 Java Agent 被加载之后,JVM 会调用 Java Agent JAR 包中的 MANIFEST.MF 文件中的 Agent-Class 参数指定的类中的 agentmain 方法。下面两节会对这两行代码的背后 JVM 实现技术进行探究。


3.2 Attach

1)Attach 工作机制


上面一节中第一行代码的背后,有一个重要的 JVM 支撑机制——Attach,为什么说重要?比如大家最熟悉的 jstack 就是要依赖这个机制来工作,那么,Attach 机制是什么呢?我们先来看看 Attach 机制都做了什么事儿。首先,Attach 机制对外提供了一种进程间的通信能力,能让一个进程传递命令给 JVM;其次,Attach 机制内置一些重要功能,可供外部进程调用。比如刚刚提到的 jstack,再比如上一节中提到的第二行代码:vmObj.loadAgent(agentJarPath, cfg); 这行代码实际上就是告诉 JVM 我们希望执行 load 命令,下面的代码片段可以更直观地看到 load 命令对应的行为是:JvmtiExport::load_agent_library,这行代码的行为是对 agentJarPath 指定的 Java Agent 进行加载:


//来源:attachListener.cpp  static AttachOperationFunctionInfo funcs[] = {    { "agentProperties",  get_agent_properties },    { "datadump",         data_dump },    { "dumpheap",         dump_heap },    { "load",             JvmtiExport::load_agent_library },    { "properties",       get_system_properties },    { "threaddump",       thread_dump },    { "inspectheap",      heap_inspection },    { "setflag",          set_flag },    { "printflag",        print_flag },    { "jcmd",             jcmd },    { NULL,               NULL }  };  
复制代码


那么,JVM Attach 机制是如何工作的呢?Attach 机制的核心组件是 Attach Listener,顾名思义,Attach Listener 是 JVM 内部的一个线程,这个线程的主要工作是监听和接收客户端进程通过 Attach 提供的通信机制发起的命令,如下图所示:



图 3-1 Attach Listener 工作机制


Attach Listener 线程的主要工作是串流程,流程步骤包括:接收客户端命令、解析命令、查找命令执行器、执行命令等等,下面附上相关代码片段:


片段一:AttachListener::init(启动 AttachListener 线程):


//来源:attachListener.cpp  { MutexLocker mu(Threads_lock);      // 启动线程      JavaThread* listener_thread = new JavaThread(&attach_listener_thread_entry);      // Check that thread and osthread were created      if (listener_thread == NULL || listener_thread->osthread() == NULL) {        vm_exit_during_initialization("java.lang.OutOfMemoryError",                                      "unable to create new native thread");      }      java_lang_Thread::set_thread(thread_oop(), listener_thread);      java_lang_Thread::set_daemon(thread_oop());        listener_thread->set_threadObj(thread_oop());      Threads::add(listener_thread);      Thread::start(listener_thread);    }  
复制代码


片段二:attach_listener_thread_entry(轮询队列):


//来源:attachListener.cpp  static void attach_listener_thread_entry(JavaThread* thread, TRAPS) {    os::set_priority(thread, NearMaxPriority);      thread->record_stack_base_and_size();      if (AttachListener::pd_init() != 0) {      return;    }    AttachListener::set_initialized();    for (;;) {      AttachOperation* op = AttachListener::dequeue();// 展开      if (op == NULL) {        return;   // dequeue failed or shutdown      }  
复制代码


片段三:dequeue(读取客户端 socket 内容)


//来源:attachListener_bsd.cpp  BsdAttachOperation* BsdAttachListener::dequeue() {    for (;;) {      int s;      // wait for client to connect      struct sockaddr addr;      socklen_t len = sizeof(addr);      RESTARTABLE(::accept(listener(), &addr, &len), s);      if (s == -1) {        return NULL;      // log a warning?      }      // 省略……      // peer credential look okay so we read the request      BsdAttachOperation* op = read_request(s);    }  }  
复制代码


2)加载 Agent


回到上层,我们再看看 vmObj.loadAgent(agentJarPath, cfg);这行 Java 代码代码是如何工作的?其实,这行代码背后主要做了一件事情:告诉 Attach 加载 instrument 库,instrument 库又是什么?instrument 库是基于 JVMTI 编程接口编写的一个 JVMTI Agent,其表现形式是一个动态链接库,下面上两个代码片段:


//来源:HotSpotVirtualMachine.java  //片段1  loadAgentLibrary("instrument", args);  //片段2   InputStream in = execute("load",                                   agentLibrary,                                   isAbsolute ? "true" : "false",                                   options);  

复制代码


Attach 接收到命令之后执行 load_agent_library 方法,主要做两件事情:1)加载 instrument 动态库;2)找到 instrument 动态库中实现的 Agent_OnAttach 方法并调用。Attach 的工作到这里就结束了,至于 Agent_OnAttach 这个方法做了什么事情,我们会在 JVMTI 部分进行介绍。下面先解释 Attach 相关的另外一个问题,Attach Listener 并不是在 JVM 启动的时候被启动的,而是基于一种懒启动策略实现。


3)Attach Listener 懒启动


为方便理解下面引入代码片段,这是从 JVM 启动路径上截取的两片代码:


//来源:thread.cpp  // 片段1    os::signal_init();    if (!DisableAttachMechanism) {      AttachListener::vm_start();      if (StartAttachListener || AttachListener::init_at_startup()) {        AttachListener::init();      }    }  // 片段2  bool AttachListener::init_at_startup() {    if (ReduceSignalUsage) {      return true;    } else {      return false;    }  }  

复制代码


DisableAttachMechanism 这个参数默认是关闭的,也就是说 JVM 默认情况下启用 Attach 机制,但是 StartAttachListener 和 ReduceSignalUsage 这两个参数默认都是关闭的,因此 Attach Listener 线程默认并不会被初始化。那么 Attach Listener 线程是在什么时候被初始化的呢?这就有必要了解一下 Signal Dispatcher 组件了,Signal Dispatcher 本质上也是 JVM 提供的一种进程间通信机制,只是这种机制是基于信号量来实现的。


我们先从 Signal Dispatcher 的服务端角度,来看看 Signal Dispatcher 是如何工作的,不知道大家有没有注意到上面的 os::signal_init();这么一行代码,其作用是初始化和启动 Signal Dispatcher 线程,Signal Dispatcher 线程启动之后就会进入等待信号状态(os::signal_wait)。如下代码片段所示,SIGBREAK 信号是 SIGQUIT 信号的别名,Signal Dispatcher 接收到这个信号之后会调用 AttachListener 的 is_init_trigger 的方法初始化和启动 AttachListener 线程,同时会在 tmp 目录下面创建/tmp/.attach_pid${pid}这样的一个文件,代表进程号为 pid 的 JVM 已经初始化了 AttachListener 组件了。


片段一:os::signal_init();(启动 Signal Dispatcher 线程)


//来源:os.cpp  { MutexLocker mu(Threads_lock);        JavaThread* signal_thread = new JavaThread(&signal_thread_entry);//展开        if (signal_thread == NULL || signal_thread->osthread() == NULL) {          vm_exit_during_initialization("java.lang.OutOfMemoryError",                                        "unable to create new native thread");        }        java_lang_Thread::set_thread(thread_oop(), signal_thread);        java_lang_Thread::set_priority(thread_oop(), NearMaxPriority);        java_lang_Thread::set_daemon(thread_oop());          signal_thread->set_threadObj(thread_oop());        Threads::add(signal_thread);        Thread::start(signal_thread);      }  
复制代码


片段二:signal_thread_entry(监听信号)


//来源:os.cpp  static void signal_thread_entry(JavaThread* thread, TRAPS) {    os::set_priority(thread, NearMaxPriority);    while (true) {      int sig;      {        sig = os::signal_wait();      }      switch (sig) {        case SIGBREAK: {          // Check if the signal is a trigger to start the Attach Listener - in that          // case don't print stack traces.          if (!DisableAttachMechanism && AttachListener::is_init_trigger()) {//展开            continue;          }  
复制代码


片段三:is_init_trigger(启动 AttachListener)


//来源:attachListener_bsd.cpp  bool AttachListener::is_init_trigger() {    char path[PATH_MAX + 1];    int ret;    struct stat st;    snprintf(path, PATH_MAX + 1, "%s/.attach_pid%d",os::get_temp_directory(), os::current_process_id());    RESTARTABLE(::stat(path, &st), ret);    if (ret == 0) {      if (st.st_uid == geteuid()) {        init();//初始化Attach Listener        return true;      }    }    return false;  }  

复制代码


我们再从客户端角度,来看看客户端是如何通过 Signal Dispatcher 来启动 AttachListener 线程的,这要又要回到 VirtualMachine.attach(pid)这行代码,这行代码的背后会执行具体 VirtualMachine 的初始化工作,我们拿 Linux 平台下的 LinuxVirtualMachine 实现来看,下面是 LinuxVirtualMachine 初始化的核心代码:


//来源:LinuxVirtualMachine.java  //检查目标JVM对否存在标识文件  path = findSocketFile(pid);  if (path == null) {    File f = createAttachFile(pid);    try {      mpid = getLinuxThreadsManager(pid);      sendQuitToChildrenOf(mpid);  
复制代码


上面提到目标 JVM 一旦启动 attach 组件之后,会在/tmp 目录下创建名为.java_pid${pid}的文件。因此,客户端在每次初始化 LinuxVirtualMachine 对象的时候,会先查看目标 JVM 的这个文件是否存在,如果不存在则需要通过 SIGQUIT 信号来将 attach 组件拉起来。具体操作是进入 try 区域后,找到指定 pid 进程的父进程(Linux 平台下线程是通过进程实现的),给父进程的所有子进程都发送一个 SIGQUIT 信号,而 Signal Dispatcher 组件恰好在监听这个信号。


3.3 JVMTI

JVMTI(Java Virtual Machine Tool Interface)是一套由 Java 虚拟机提供的,为 JVM 相关的工具提供的本地编程接口集合。JVMTI 是从 Java SE 5 开始引入,整合和取代了以前使用的 Java Virtual Machine Profiler Interface (JVMPI) 和 the Java Virtual Machine Debug Interface (JVMDI),而在 Java SE 6 中,JVMPI 和 JVMDI 已经消失了。JVMTI 提供了一套“代理”程序机制,可以支持第三方工具程序以代理的方式连接和访问 JVM,并利用 JVMTI 提供的丰富的编程接口,完成很多跟 JVM 相关的功能。JVMTI 的功能非常丰富,包括虚拟机中线程、内存/堆/栈,类/方法/变量,事件/定时器处理等等。使用 JVMTI 一个基本的方式就是设置回调函数,在某些事件发生的时候触发并作出相应的动作,这些事件包括虚拟机初始化、开始运行、结束,类的加载,方法出入,线程始末等等。如果想对这些事件进行处理,需要首先为该事件写一个函数,然后在 jvmtiEventCallbacks 这个结构中指定相应的函数指针。


上面提到的 Instrument 就是一个基于 JVMTI 接口的,以代理方式连接和访问 JVM 的一个 Agent,Instrument 库被加载之后 JVM 会调用其 Agent_OnAttach 方法,如下代码片段:


//来源:InvocationAdapter.c  //片段1:创建Instrument对象  success = createInstrumentationImpl(jni_env, agent);  //片段2:监听ClassFileLoadHook事件并设置回调函数为eventHandlerClassFileLoadHook  callbacks.ClassFileLoadHook = &eventHandlerClassFileLoadHook;  jvmtierror = (*jvmtienv)->SetEventCallbacks(jvmtienv, &callbacks, sizeof(callbacks));  //片段3:调用java类的agentmain方法  success = startJavaAgent(agent, jni_env, agentClass, options, agent->mAgentmainCaller); 
复制代码


Agent_OnAttach 方法被调用的时候主要做了几件事情:1)创建 Instrument 对象,这个对象就是 Java Agent 中通过 agentmain 方法拿到的 Instrument 对象;2)通过 JVMTI 监听 JVM 的 ClassFileLoadHook 事件并设置回调函数 eventHandlerClassFileLoadHook;3)调用 Java Agent 的 agentmain 方法,并将第 1)步创建的 Instrument 对象传入。通过上面的内容可以知道,在 JVM 进行类加载的都会回调 eventHandlerClassFileLoadHook 方法,我们可以猜到 eventHandlerClassFileLoadHook 方法做的事情就是调用 Java Agent 内部传入的 Instrument 的 ClassFileTransformer 的实现:


//来源Instrumentation.java  void addTransformer(ClassFileTransformer transformer);  
复制代码


通过 JVMTI 的事件回调机制,Instrument 可以捕捉到每个类的加载事件,从而调用用户实现的 ClassFileTransformer 来对类进行转换,那么已经被加载的类怎么办呢?为解决这个问题,Instrument 提供了 retransformClasses 接口用于对已经加载的类进行转换:


//来源Instrumentation.java  void retransformClasses(Class<?>... classes) throws UnmodifiableClassException;
复制代码


Instrument 底层的实现实际上也是调用 JVMTI 提供的 RetransformClasses 接口,RetransformClasses 实现对已经加载的类进行重新定义(redefine),而重新定义类也会触发 ClassFileLoadHook 事件,Instrument 同样会监听到这个事件并对被加载的类进行处理。到这里,JVM SandBox 底层依赖 JVM 的核心机制已经介绍完了,下面通过一张时序图将一个 JavaAgent 的加载过程涉及到的相关组件及行为串起来:



图 3-2 Java Agent 加载流程


四、JVM SandBox 设计与实现

4.1 可插拔

本文理解的 JVM SandBox 可插拔至少有两层含义:一层是 JVM 沙箱本身是可以被插拔的,可被动态地挂载到指定 JVM 进程上和可以被动态地卸载;另一层是 JVM 沙箱内部的模块是可以被插拔的,在沙箱启动期间,被加载的模块可以被动态地启用和卸载。


一个典型的沙箱使用流程如下:


$./sandbox.sh -p 33342 #将沙箱挂载到进程号为33342的JVM进程上  $./sandbox.sh -p 33342 -d 'my-sandbox-module/addLog' #运行指定模块, 模块功能生效  $./sandbox.sh -p 33342 -S #卸载沙箱  
复制代码


JVM 沙箱可以被动态地挂载到某个正在运行的目标 JVM 进程之上(前提是目标 JVM 没有禁止 attach 功能),沙箱工作完之后还可以被动态地从目标 JVM 进程卸载掉,沙箱被卸载之后,沙箱对对目标 JVM 进程产生的影响会随即消失(这是沙箱的一个重要特性),沙箱工作示意图如下:



图 4-1 沙箱工作示意图


客户端通过 Attach 将沙箱挂载到目标 JVM 进程上,沙箱的启动实际上是依赖 Java Agent,上文已经介绍过,启动之后沙箱会一直维护着 Instrument 对象引用,在沙箱中 Instrument 对象是一个非常重要的角色,它是沙箱访问和操作 JVM 的唯一通道,后续修改字节码和重定义类都要经过 Instrument。另外,沙箱启动之后同时会启动一个内部的 Jetty 服务器,这个服务器用于外部进程和沙箱进行通信,上面看到的./sandbox.sh -p 33342 -d ‘my-sandbox-module/addLog’ 这行代码,实际上就是通过 HTTP 协议来告诉沙箱执行 my-sanbox-module 这个模块的 addLog 这个功能的。


4.2 无侵入

沙箱内部定义了一个 Spy 类,该类被称为“间谍类”,所有的沙箱模块功能都会通过这个间谍类驱动执行。下面给出一张示意图将业务代码、间谍类和模块代码串起来来帮助理解:



图 4-2 沙箱无侵入核心实现


上图是沙箱 AOP 核心实现的伪代码,实际实现会比上图更复杂一些,沙箱内部通过修改和重定义业务类来实现上述功能的。在接口设计方面,沙箱通过事件驱动的方式,让模块开发者可以监听到方法执行的某个事件并设置回调逻辑,这一切都可以通过实现 AdviceListener 接口来做到,通过 AdviceListener 接口定义的行为,我们可以了解沙箱支持的监听事件如下:



4.3 隔离

JVM 沙箱有自己的工作代码类,而这些代码类在沙箱被挂在到目标 JVM 之后,其涉及到的相关功能实现类都要被加载到目标 JVM 中,沙箱代码和业务代码共享 JVM 进程,这里有两个问题:1)如何避免沙箱代码和业务代码之间产生冲突;2)如何避免不同沙箱模块之间的代码产生冲突。为解决这两个问题,JVM SandBox 定义了自己的类加载器,严格控制类的加载,沙箱的核心类加载器有两个:SandBoxClassLoader 和 ModuleJarClassLoader。SandBoxClassLoader 用于加载沙箱自身的工作类,ModuleJarClassLoader 用于加载三方自己开发的模块功能类,如上面的 MySandBoxModule 类。在沙箱中类加载器继承关系如下图所示:



图 4-3 沙箱类加载器继承体系


通过类加载器,沙箱将沙箱代码和业务代码以及不同沙箱模块之间的代码隔离开来。


4.4 多租户

JVM 沙箱提供的隔离机制也有两层含义,一层是沙箱容器和业务代码之间隔离以及沙箱内部模块之间隔离;另一层是不同用户的沙箱之间的隔离,这一层隔离用来支持多租户特性,也就是支持多个用户对同一个 JVM 同时使用沙箱功能且他们之间互不影响。沙箱的这种机制是通过支持创建多个 SandBoxClassLoader 的方式来实现的,每个 SandBoxClassLoader 关联唯一一个命名空间(namespace)用于标识不同的用户,示意图如下所示:



图 4-4 多租户实现示意图


五、JVM Sandbox 应用场景分析

JVM SandBox 让动态无侵入地对业务代码进行 AOP 这个事情实现起来非常容易,但是这个事情做起来非常容易只是前提条件,更重要的是我们基于 JVM SandBox 能做什么?可以做的很多,比如:故障模拟、动态黑名单,动态日志、动态开关、系统流控、热修复,方法请求录制和结果回放、动态去依赖、依赖超时时间动态修改、甚至是修改 JDK 基础类的功能等等,当然不限于此,这里大家可以打开脑洞,天马行空地思考一下,下面再给出两个 JVM SandBox 应用场景的实现思路。


5.1 故障模拟

我们可以开发一个沙箱模块,通过和前台页面的交互,我们可以对任意业务类的任意方法注入故障来达到故障模拟的效果,用户交互示意图如下:



图 5-1 故障模拟交互示意图


用户通过简单的界面操作即可完成故障注入,应用代码不需要提前埋点。


5.2 动态黑名单

我们还可以开发一个沙箱模块实现 IP 黑名单功能,针对指定 IP 的客户端,服务直接返回空结果,用户交互示意图如下:



图 5-2 动态黑名单交互示意图


引用 JVM SandBox 官网的一句话:“JVM-SANDBOX 还能帮助你做很多很多,取决于你的脑洞有多大了。”


总结

JVM SandBox 是一种无侵入,可动态插拔,JVM 层的 AOP 解决方案,基于 JVM SandBox 我们可以很容易地开发出很多有意思的工具,这完全归功于 JVM SandBox 为我们屏蔽了底层技术细节和实现复杂性。JVM SandBox 很强大,这里需要感谢 JVM SandBox 的作者。除了无侵入,可动态插拔这两个优势之外,JVM SandBox 在 JVM 层支持 AOP 这件事情本身就是一个绝对优势,因为我们开发的 AOP 能力不再依赖应用层所使用的容器,比如不管你使用的是 Spring 容器还是 Plexus 容器,不管你的 Web 容器是 Tomcat 还是 Jetty、统统都没有关系。


回顾一下本文的内容:


  • 回顾 AOP 技术;

  • 介绍 JVM SandBox 是什么、来自哪里、怎么用;

  • 通过 Java Agent 的加载介绍涉及到的 JVM 相关核心技术如:Attach 机制、JVMTI、Instrument 等;

  • 介绍 JVM SandBox 的核心特性的设计与实现如:可插拔、无侵入、隔离、多租户;

  • 介绍 JVM SandBox 可被应用的场景以及两个小例子。


参考文档

【1】http://developer.51cto.com/art/201803/568224.htm


【2】https://github.com/alibaba/jvm-sandbox


【3】https://www.jianshu.com/p/b72f66da679f


作者简介

陆晨,就职于美团点评,从事到店事业群业务后端研发工作,平时关注后端服务架构、领域驱动设计、海量运营等方面技术,个人对计算机基础技术兴趣较为浓厚,喜欢探究底层技术原理和同时关注技术应用价值。


2019 年 5 月 30 日 09:4333683

评论 1 条评论

发布
用户头像
btrace不就够用了么?
2019 年 06 月 03 日 09:39
回复
没有更多了
发现更多内容

限12小时删!白嫖对标阿里P5—P8的Java学习路线+大厂刷题秘籍

Java架构追梦

Java 阿里巴巴 架构 面试

基于香港服务器的应用开发中测试数据管理的 3 个最佳实践

九河云安全

Python代码阅读(第4篇):过滤掉列表中的唯一值

Felix

Python 编程 Code Programing 阅读代码

632页!我熬夜读完这份“高分宝典”,竟4面拿下字节跳动offer

公众号_愿天堂没有BUG

Java 编程 程序员 架构 面试

三面阿里被挂,竟获内推名额,历经5面拿下口碑offer(Java后台)

公众号_愿天堂没有BUG

Java 编程 程序员 架构 面试

阿里云-云开发平台入门篇——静态网站的全生命周期实战

若尘

阿里云 8月日更

Kubernetes配置热更新的两种方式

普普通通程序员

防止数据丢失和减轻勒索软件攻击的 5 种方法

九河云安全

在阿里晋升3次,5年拿下P8岗位,这份pdf记录了我的整个成长过程

公众号_愿天堂没有BUG

Java 编程 程序员 架构 面试

去中心化市值管理机器人开发|去中心化做市机器人

Geek_23f0c3

量化交易机器人系统开发 市值管理机器人系统开发 去中心化市值管理机器人

推动数据中心行业的“水电煤”,可视化如何用数据改变传统产业?

一只数据鲸鱼

机房 数据可视化 数字孪生 智能IDC

2021第二届云原生编程挑战赛正式启动,抢先报名!

阿里巴巴云原生

阿里云 Serverless RocketMQ 云原生 dubbo

还不懂「JVM-类加载」么?面试官又在问了!

普普通通程序员

【Vue2.x 源码学习】第二十七篇 - Vue 生命周期的实现

Brave

源码 vue2 8月日更

如何保存数据并更快地从勒索软件攻击中恢复

九河云安全

九大核心专题,630页内容,熬夜23天吃透,我收割了3个大厂offer

公众号_愿天堂没有BUG

Java 编程 程序员 架构 面试

FIL分币平台|FIL算力系统软件开发技术

量化系统19942438797

#区块链# fil币

不愧为京东内部Spring Boot全解笔记,真的是把精髓全总结出来了

Java~~~

Java 面试 Spring Boot 架构师 京东

你的工作有弹性么?

escray

学习 极客时间 朱赟的技术管理课 8月日更

如何实时打通数据孤岛?Tapdata 创始人唐建法受邀于GOTC深度分享

tapdata

数据库 打通数据孤岛 数据同步 Real Time DaaS GOTC

iOS开发-为 iOS 编写 Kotlin Parcelize 编译器插件

iOSer

ios 编译器 编译器原理 iOS 知识体系 Kotlin Parcelize

Serverless 全能选手,再添一“金”

Serverless Devs

Serverless 互联网 云原生

TrafficStatsRunnable 实用封装

Changing Lin

8月日更

这本“算法宝典”讲得透彻,完全掌握后,我竟拿到字节跳动offer

公众号_愿天堂没有BUG

Java 编程 程序员 架构 面试

普通大专生:Java工作难找,想问问那些拿到大厂offer的大专生

互联网架构师小马

看完字节大佬的算法刷题宝典,我直接手撕了500道算法算法题

Java~~~

Java 面试 算法 二叉树 架构师

模块4

gevin

架构实战营

50 亿观众的 “云上奥运”,顶级媒体背后的数智化力量

阿里云视频云

阿里云 直播技术 视频制作 视频云 奥运

面试阿里P6,过关斩将直通2面,结果3面找了个架构师来吊打我?

公众号_愿天堂没有BUG

Java 编程 程序员 架构 面试

百度智能云遇到三一重机,工程机械维保有了新方案

百度大脑

人工智能 三一重工

GPU容器虚拟化:用户态和内核态的技术和实践详解

GPU容器虚拟化:用户态和内核态的技术和实践详解

JVM  SandBox的技术原理与应用分析_语言 & 开发_陆晨_InfoQ精选文章