【JVM】模板解释器--字节码的resolve过程

最新推荐文章于 2023-01-04 08:30:00 发布

foreach_break

最新推荐文章于 2023-01-04 08:30:00 发布

阅读量1.9k

点赞数 1

分类专栏： java 文章标签： JVM bytecode 解释器解析 resolve

本文链接：https://blog.csdn.net/gsky1986/article/details/47209389

版权

1、背景

上文探讨了：【JVM】模板解释器–如何根据字节码生成汇编码？

本篇，我们来关注下字节码的resolve过程。

2、问题及准备工作

上文虽然探讨了字节码到汇编码的过程，但是：

mov %rax,%(rcx,rbx,1) // 0x89 0x04 0x19

其中为什么要指定0x04和0x19呢？

搬出我们的代码：

public int swap2(CallBy a,CallBy b) {
    int t = a.value;
    a.value = b.value;
    b.value  = t;
    return t;
}

换句话讲，我们的汇编代码是要将b.value赋给a.value：

//b.value怎么来的呢？
a.value = b.value

b.value是个整形的field，上述代码的关键字节码是putfield，而模板解释器在初始化的时候（非运行时，这也是模板的意义所在）会调用下面的函数来生成对应的汇编码：

void TemplateTable::putfield_or_static(int byte_no, bool is_static) {
  transition(vtos, vtos);

  const Register cache = rcx;
  const Register index = rdx;
  const Register obj   = rcx;
  const Register off   = rbx;
  const Register flags = rax;
  const Register bc    = c_rarg3;

  /********************************
  * 关键：这个函数在做什么？
  ********************************/
  resolve_cache_and_index(byte_no, cache, index, sizeof(u2));

  jvmti_post_field_mod(cache, index, is_static);

  // 上面resolve后，直接从cp cache中对应的entry中就可以获取到field
  load_field_cp_cache_entry(obj, cache, index, off, flags, is_static);

  // [jk] not needed currently
  // volatile_barrier(Assembler::Membar_mask_bits(Assembler::LoadStore |
  //                                              Assembler::StoreStore));

  Label notVolatile, Done;
  __ movl(rdx, flags);
  __ shrl(rdx, ConstantPoolCacheEntry::is_volatile_shift);
  __ andl(rdx, 0x1);

  // field address
  const Address field(obj, off, Address::times_1);

  Label notByte, notInt, notShort, notChar,
        notLong, notFloat, notObj, notDouble;

  __ shrl(flags, ConstantPoolCacheEntry::tos_state_shift);

  assert(btos == 0, "change code, btos != 0");
  __ andl(flags, ConstantPoolCacheEntry::tos_state_mask);
  __ jcc(Assembler::notZero, notByte);

  // btos
  // ...

  // atos
  // ...

  // itos
  {

    /***************************************
    *  itos类型，我们的b.value是个整形，
    *  所以对应的机器级别的类型是i，表示整形
    ****************************************/

    __ pop(itos);
    if (!is_static) pop_and_check_object(obj);

    // 这里就是生成汇编码，也就是上篇博文探讨的主要内容了
    __ movl(field, rax);

    if (!is_static) {
      patch_bytecode(Bytecodes::_fast_iputfield, bc, rbx, true, byte_no);
    }
    __ jmp(Done);
  }

  __ bind(notInt);
  __ cmpl(flags, ctos);
  __ jcc(Assembler::notEqual, notChar);

  // ctos
  // ...

  // stos
  // ...

  // ltos
  // ...

  // ftos
  // ...

  // dtos
  // ...

  // Check for volatile store
  // ...
}

3、field、class的符号解析及链接

3.1、resolve_cache_and_index

来看看上面代码中的关键点：

// 1. 根据不同的字节码，选择对应的resolve函数.
// 2. 调用resolve函数.
// 3. 根据resolve后的结果，更新寄存器信息，做好衔接.
void TemplateTable::resolve_cache_and_index(int byte_no,
                                            Register Rcache,
                                            Register index,
                                            size_t index_size) {
  const Register temp = rbx;
  assert_different_registers(Rcache, index, t