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