一周又过去了,真的,完全没有感觉就过去了。
几乎连续一周凌晨四点睡觉,就是睡不着,一躺下闭上眼好多事涌上心头,马上周末也过去了,而且今晚又是一个特殊的日子,第一次住在了e3机房,此时此刻,听着SCREEN mode的这首《アンビバレンス 》, 我就是突然控制不住自己了,想要写点什么。就写一点点
疯狂周一到周五:
每天凌晨这个时候我还在重温黑子篮球,虽然担心第二天会虚,但我还是每天兴奋到四点!让我坚持到四点的大概就是黑子精神吧。因为每一次想起黑子篮球时我都是热血澎湃的,因为我每次想要放弃都会想起他,想起黑子的一句话。
黑子说过:只有在放弃的时候,可能性才会变为零,无论别人觉得多么没有意义,我不想让自己认为可能性为零,所以……我绝对不要放弃!
简单说一下黑篮。。
黑篮中的奇迹的世代五人组,以为自己就是一切,胜利就是一切。黑子退出帝光就是要让他们明白篮球不是一个人的运动,让他们明白一颗热爱篮球的心是怎样的。让他们明白就算一直失败,也不会放弃的精神。成功是需要失败积累的,成功是需要坚持的,成功是不能说放弃的,所以每场大战,黑子和大我都做到了。五场比赛黑子多次受挫,自己的招式被一一破解,但是他也一次又一次的回击证明他不是被失败打败的人。同样。对秀德,大我一次次起跳失败凭意志再度跳起时,他已经赢了。对桐皇,大我能面对青峰一次次被过掉一次次回追时,他已经赢了。对阳泉,大我能面对紫原一次次封盖灌篮成功时,他已经赢了。对海常,大我面对黄濑所有的得分方式成功防守时,他已经赢了。对洛山,大我面对赤司没有放弃和队友的配合时,他已经赢了。五场比赛的最后时刻他们都没有一次放弃,一次次失败让他们更加渴望胜利,所以他们成功了。黑子与火神这对影与光的组合,解开了五大天才的疑惑,让他们找回原来的自己,享受篮球,而不是比赛结果。
黑子教给我的,是那一份热爱,是那一份执念,是那一份不放弃,是那一份相信,是那一份渴望。享受比赛的过程,结果怎样就不是那么重要了。
五人运动的篮球,这不禁让我回忆起以前的我们dota五人黑,每一次都是五个人互相的无情嘲讽和互吹互捧贯穿全局,队友的百分百的相信和“王座不倒不认输”,让我们也像黑子他们一样多次逆转翻盘。我乐在其中,想到这,这个暑假真的很想再来一次五人齐聚。
可是我不在。。我在干嘛?
每周的做题,都是在不停的刷题,感觉效果不大,每次刷题只是水过,就是把简单的题做过去了,难的题就放在一边。这样其实学到的真的很少。所以做题还是要按顺序来一步步的,无论多难都要坚持,这样才能真正学到你想学的东西。
一直被acm折磨,每次写程序都艰难无比,但是也明白了很多,其实就是计算机按你的程序运行出你想要的结果,编写程序时就是过程,运行完的那一刻就是结果,如果AC了,就是成功了,如果没有AC,相信每个人都会继续调试直到成功AC为止吧,因为只要你放弃了就没有机会AC了,而真正学到东西的时候是在你没有AC时不断失败的过程,等到你成功AC的时候你对别人说的一定是你失败了多少次才成功,会说因为什么原因错误没有成功,而不是只是说一句你AC了。无形中似乎验证了你最终在乎过程多一点,只是在现实中成败掩盖了过程,因为不是任何cin>>努力,就能cout<<成功的。有收获就是好的,只要自己为之努力了,坚持那么两三下,把能做的都做到,结局总会带给你惊喜。
悲剧周末
完美的休息时间,周六晚上,此处略去一万字。。
周日,悲剧的开始,温度升高,酸奶疯掉,汗流浃背,缘是寝室停电,机房待着一天,电工师傅欺骗,好在春哥收留,让我度过今夜。。
一周最后送上一点点总结:
晚睡早起
年轻任性
早睡晚起
没有可能
天天编程
惨虐成狗
全部AC
简直做梦
常德天气
忽热忽冷
只是希望
白白胖胖
纯粹胡扯
大家晚安
本文链接:大白话,转载请注明。
1、背景
仅针对JVM的模板解释器:
如何根据opcode和寻址模式,将bytecode生成汇编码。
本文的示例中所使用的字节码和汇编码,请参见上篇博文:按值传递还是按引用?
2、寻址模式
本文不打算深入展开寻址模式的阐述,我们聚焦Intel的IA32-64架构的指令格式:
简要说明下,更多的请参考intel的手册:
-- Prefixes : 用于修饰操作码Opcode,赋予其lock、repeat等的语义.
-- REX Prefix:
---- Specify GPRs and SSE registers.
---- Specify 64-bit operand size.
---- Specify extended control registers.
--Opcode:操作码,如mov、push.
--Mod R/M:寻址相关,具体见手册。
--SIB:和Mod R/M结合起来指定寻址。
--Displacement:配合Mod R/M和SIB指定寻址。
--Immediate:立即数。
对上面的Opcode、Mod R/W、SIB、disp、imm如果不明白,看句汇编有个概念:
%mov %eax , %rax,-0x18(%rcx,%rbx,4)
如果这句汇编也不太明白,那么配合下面的:
-- Base + (Index Scale) + Displacement -- Using all the addressing components together allows efficient
indexing of a two-dimensional array when the elements of the array are 2, 4, or 8 bytes in size.
3、合法的值(64位)
关注下这4个参数的合法取值:
Displacement ― An 8-bit, 16-bit, or 32-bit value.
Base ― The value in a 64-bit general-purpose register.
Index ― The value in a 64-bit general-purpose register.
Scale factor ― A value of 2, 4, or 8 that is multiplied by the index value.
4、Mod R/M(32位寻址)
我们在后文将会用到Mod R/M字节,所以将32位寻址的格式贴在这里:
上表的备注,其中第1条将在我们的示例中用到,所以这里留意下:
- The [--][--] nomenclature means a SIB follows the ModR/M byte.
- The disp32 nomenclature denotes a 32-bit displacement that follows the ModR/M byte (or the SIB byte if one is present) and that is
added to the index. - The disp8 nomenclature denotes an 8-bit
5、SIB(32位寻址)
同样,因为用到了Mod R/M字节,那么SIB字节也可能要用到:
6、示例
6.1、准备工作
有了上面的基础,来看个实际的例子。
下面的代码是生成mov汇编码:
void Assembler::movl(Address dst, Register src) {
InstructionMark im(this);
prefix(dst, src);
emit_int8((unsigned char)0x89);
emit_operand(src, dst);
}
prefix(dst,src)
就是处理prefix和REX prefix,这里我们不关注。
emit_int8((unsigned char) 0x89)
故名思意就是生成了一个字节,那字节的内容0x89代码什么呢?
先不急,还有一句emit_operand(src,dst)
,这是一段很长的代码,我们大概看下:
void Assembler::emit_operand(Register reg, Register base, Register index,
Address::ScaleFactor scale, int disp,
RelocationHolder const& rspec,
int rip_relative_correction) {
relocInfo::relocType rtype = (relocInfo::relocType) rspec.type();
// Encode the registers as needed in the fields they are used in
int regenc = encode(reg) << 3;
int indexenc = index->is_valid() ? encode(index) << 3 : 0;
int baseenc = base->is_valid() ? encode(base) : 0;
if (base->is_valid()) {
if (index->is_valid()) {
assert(scale != Address::no_scale, "inconsistent address");
//
if (disp == 0 && rtype == relocInfo::none &&
base != rbp LP64_ONLY(&& base != r13)) {
//
// [00 reg 100][ss index base]
/**************************
* 关键点:关注这里
**************************/
assert(index != rsp, "illegal addressing mode");
emit_int8(0x04 | regenc);
emit_int8(scale << 6 | indexenc | baseenc);
} else if (is8bit(disp) && rtype == relocInfo::none) {
// ...
} else {
//
// [10 reg 100][ss index base] disp32
assert(index != rsp, "illegal addressing mode");
emit_int8(0x84 | regenc);
emit_int8(scale << 6 | indexenc | baseenc);
emit_data(disp, rspec, disp32_operand);
}
} else if (base == rsp LP64_ONLY(|| base == r12)) {
// ...
} else {
// ...
}
} else {
// ...
}
}
上面的代码的关注点已经标出,这里我们将其抽出,并将前文中的emit_int8((unsigned char) 0x89)
结合起来:
emit_int8((unsigned char) 0x89)
emit_int8(0x04 | regenc);
emit_int8(scale << 6 | indexenc | baseenc);
最终其生成了如下的汇编代码(64位机器):
mov %eax,(%rcx,%rbx,1)
好了,问题来了:
上面这句汇编怎么得出的?
6.2、计算过程
我们给个下面的值:
regenc = 0x0,scale << 6 | indexenc | baseenc = 25
进行简单的运算就可以得到:
emit_int8((unsigned char) 0x89) //得到0x89
emit_int8(0x04 | regenc); //得到0x04
emit_int8(scale << 6 | indexenc | baseenc); //得到0x19
合起来就是三个字节:
0x89 0x04 0x19
1、0x89对应什么?
从上表可以看出因为JVM工作在64位下,所以需要配合REX.W来"起头",不过在我们这个例子中,其恰好是0。
主要看那个89/r,其后面跟的指令是什么呢?
MOV r/m64,r64 //64位,将寄存器中的值给到寄存器或者内存地址中
2、0x04代表什么?
现在我们要用到上面的Mod R/M表和SIB表了。
用第二个字节0x04查Mod R/M表,可知源操作数是寄存器EAX,同时可知寻址类型是[--][--]类型,含义为:
The [--][--] nomenclature means a SIB follows the ModR/M byte.
3、0x19代表什么?
继续查SIB表,对应字节0x19的是:
base = ECX
scaled index = EBX
4、汇编代码:
//32位
mov %eax,%(ecx,ebx,1)
//64位
mov %rax,%(rcx,rbx,1)
7、结语
本文简要探讨了:
如何根据opcode和寻址模式,将bytecode生成汇编码。
终。
本文链接:【JVM】模板解释器如何根据字节码生成汇编码?,转载请注明。
没有评论:
发表评论