如何实现译文jdk默认hashCode方法
这篇文章主要介绍“如何实现译文jdk默认hashCode方法”,在日常操作中,相信很多人在如何实现译文jdk默认hashCode方法问题上存在疑惑,小编查阅了各式资料,整理出简单好用的操作方法,希望对大家解答”如何实现译文jdk默认hashCode方法”的疑惑有所帮助!接下来,请跟着小编一起来学习吧!
创新互联专注于网站建设,为客户提供成都网站制作、网站设计、外贸网站建设、网页设计开发服务,多年建网站服务经验,各类网站都可以开发,品牌网站制作,公司官网,公司展示网站,网站设计,建网站费用,建网站多少钱,价格优惠,收费合理。
一个不起眼的小问题
上周的工作中我向一个类提交了一个微不足道的变化,实现toString()方法用来让日志更有用。令我惊讶的是,变化导致约5%的覆盖率下降。我知道所有新代码都被现有的单元测试覆盖,但是覆盖率下降了,所以哪里出了问题?
对比之前的覆盖范围报告,一个敏锐的同事发现,在代码之前单元测试覆盖了HashCode()的实现,但改动之后就没有覆盖。当然,这是对的:默认的ToString()调用hashcode(),修改后的没有。
public String toString() { return getClass().getName() + "@" + Integer.toHexString(hashCode()); }
重写了toString之后,我们自定义的hashCode不再被调用,所以覆盖率下降了。所有人都知道默认的toString的实现原理,但是...
默认的hashCode方法怎么实现的?
默认的hashCode()返回的是唯一hash码(identity hash code),注意这个和重写hashCode返回的hash码不是一个东西,如果某个类我们重写了hashCode方法,我们还可以使用System.identityHashCode(o)来获取它的唯一hash码(感觉这个就是对象的身份证号)。
大家普遍认为唯一hash码使用的是对象内存地址的对应的整数(内存整理对象移动了咋办?),不过java api文档是这么说的:
... is typically implemented by converting the internal address of the object into an integer, but this implementation technique is not required by the Java™ programming language. 典型的实现方式是把对象的内存地址转为一个整数,但是这种实现技术并不是java平台必需的
鉴于JVM将重新定位对象(例如在垃圾收集期间由于晋升或压缩),在我们计算对象的身份哈希码之后,我们必须保留它。
默认的hashCode实现
对于默认的hashCode方法,不同的JVM可能实现的方式不一样,本文只看openJDK的源码,hashCode是native方法,入口如下:src/share/vm/prims/jvm.h
和 src/share/vm/prims/jvm.cpp
508 JVM_ENTRY(jint, JVM_IHashCode(JNIEnv* env, jobject handle)) 509 JVMWrapper("JVM_IHashCode"); 510 // as implemented in the classic virtual machine; return 0 if object is NULL 511 return handle == NULL ? 0 : ObjectSynchronizer::FastHashCode (THREAD, JNIHandles::resolve_non_null(handle)) ; 512 JVM_END
然后是ObjectSynchronizer::FastHashCode()
文件是src/share/vm/runtime/synchronizer.cpp
人们可能天真的以为方法像下面这么简单:
if (obj.hash() == 0) { obj.set_hash(generate_new_hash()); } return obj.hash();
但实际上有几百行...看文件名也大概知道此处涉及到同步,也就是synchronized的实现,是的,就是对象内置锁。这个随后再讨论,先看看如何生成唯一hash码
static inline intptr_t get_next_hash(Thread* self, oop obj) { intptr_t value = 0; if (hashCode == 0) { // This form uses global Park-Miller RNG. // On MP system we'll have lots of RW access to a global, so the // mechanism induces lots of coherency traffic. value = os::random(); } else if (hashCode == 1) { // This variation has the property of being stable (idempotent) // between STW operations. This can be useful in some of the 1-0 // synchronization schemes. intptr_t addr_bits = cast_from_oop(obj) >> 3; value = addr_bits ^ (addr_bits >> 5) ^ GVars.stw_random; } else if (hashCode == 2) { value = 1; // for sensitivity testing } else if (hashCode == 3) { value = ++GVars.hc_sequence; } else if (hashCode == 4) { value = cast_from_oop (obj); } else { // Marsaglia's xor-shift scheme with thread-specific state // This is probably the best overall implementation -- we'll // likely make this the default in future releases. unsigned t = self->_hashStateX; t ^= (t << 11); self->_hashStateX = self->_hashStateY; self->_hashStateY = self->_hashStateZ; self->_hashStateZ = self->_hashStateW; unsigned v = self->_hashStateW; v = (v ^ (v >> 19)) ^ (t ^ (t >> 8)); self->_hashStateW = v; value = v; } value &= markWord::hash_mask; if (value == 0) value = 0xBAD; assert(value != markWord::no_hash, "invariant"); return value; }
0. A randomly generated number.随机数 1. A function of memory address of the object.内存地址函数 2. A hardcoded 1 (used for sensitivity testing.)硬编码为数字1 3. A sequence.自增序列 4. The memory address of the object, cast to int.内存地址强转为int 5. Thread state combined with xorshift (https://en.wikipedia.org/wiki/Xorshift)线程状态联合xorshift
根据src/share/vm/runtime/globals.hpp
中,生产环境是5,也就是xorshift,应该也是一个随机数方案
1127 product(intx, hashCode, 5, \ 1128 "(Unstable) select hashCode generation algorithm") \
openjdk8和9使用的是5,openjdk7和6使用的是第一种方案(也就是随机数方案)。
对象头与同步
在openjdk中,mark word的描述如下:细节看这里
30 // The markOop describes the header of an object. 31 // 32 // Note that the mark is not a real oop but just a word. 33 // It is placed in the oop hierarchy for historical reasons. 34 // 35 // Bit-format of an object header (most significant first, big endian layout below): 36 // 37 // 32 bits: 38 // -------- 39 // hash:25 ------------>| age:4 biased_lock:1 lock:2 (normal object) 40 // JavaThread*:23 epoch:2 age:4 biased_lock:1 lock:2 (biased object) 41 // size:32 ------------------------------------------>| (CMS free block) 42 // PromotedObject*:29 ---------->| promo_bits:3 ----->| (CMS promoted object) 43 // 44 // 64 bits: 45 // -------- 46 // unused:25 hash:31 -->| unused:1 age:4 biased_lock:1 lock:2 (normal object) 47 // JavaThread*:54 epoch:2 unused:1 age:4 biased_lock:1 lock:2 (biased object) 48 // PromotedObject*:61 --------------------->| promo_bits:3 ----->| (CMS promoted object) 49 // size:64 ----------------------------------------------------->| (CMS free block) 50 // 51 // unused:25 hash:31 -->| cms_free:1 age:4 biased_lock:1 lock:2 (COOPs && normal object) 52 // JavaThread*:54 epoch:2 cms_free:1 age:4 biased_lock:1 lock:2 (COOPs && biased object) 53 // narrowOop:32 unused:24 cms_free:1 unused:4 promo_bits:3 ----->| (COOPs && CMS promoted object) 54 // unused:21 size:35 -->| cms_free:1 unused:7 ------------------>| (COOPs && CMS free block)
mark word格式在32和64位略有不同。后者有两个变体,具体取决于是否启用了压缩对象指针。默认情况下,Oracle和OpenJDK 8都执行。 如果对象处于偏向锁定状态,那么有23bit存储的是偏向线程的指针,那么从哪里取唯一hash码呢?
偏向锁
对象的偏向状态是偏向锁导致的。从hotspot6开始尝试减少给一个对象加锁的成本。这些操作很昂贵,因为它们的实现通常依赖于原子CPU指令(CAS),以便在不同线程上安全地处理对象上的锁定/解锁请求。但是根据分析,在大多数应用中,大部分的对象只会被一个线程锁定,所以上述原子指令的执行是一种浪费(cas指令已经很快了,比上下文切换快多了,也是一种浪费。。。),为了避免这种浪费,有偏向锁定的JVM允许线程让对象偏向自己。如果一个对象是偏心的,那个幸运的线程加锁和解锁连cas指令都不需要执行,只有没有多个线程争取同一个对象,偏向锁的性能会很好。 继续看FastHashCode:
601 intptr_t ObjectSynchronizer::FastHashCode (Thread * Self, oop obj) { 602 if (UseBiasedLocking) { 610 if (obj->mark()->has_bias_pattern()) { ... 617 BiasedLocking::revoke_and_rebias(hobj, false, JavaThread::current()); ... 619 assert(!obj->mark()->has_bias_pattern(), "biases should be revoked by now"); 620 } 621 }
生成唯一hash码时,会撤销已存在的偏向,并且会禁用此对象的偏向能力(false意味着不要尝试重偏向),上述代码几行之后,这个确实是不变的:
637 // object should remain ineligible for biased locking 638 assert (!mark->has_bias_pattern(), "invariant") ;
这意味着请求一个对象的唯一hash码会禁用这个对象的偏向锁,尝试锁定此对象需要使用昂贵的原子指令,即使只有一个线程请求锁。
为什么偏向锁和唯一hash码有冲突?
要回答这个问题,我们必须了解哪些是标记字的可能位置,具体取决于对象的锁定状态。从HotSpot Wiki的示例图中有如下转换:
到此,关于“如何实现译文jdk默认hashCode方法”的学习就结束了,希望能够解决大家的疑惑。理论与实践的搭配能更好的帮助大家学习,快去试试吧!若想继续学习更多相关知识,请继续关注创新互联网站,小编会继续努力为大家带来更多实用的文章!
新闻名称:如何实现译文jdk默认hashCode方法
文章链接:http://myzitong.com/article/ghocsc.html