g1 gc 写屏障：异或和移位

问题描述

我正在阅读论文 Garbage-First Garbage Collection (http://cs.williams.edu/~dbarowy/cs334s18/assets/p37-detlefs.pdf)，在第 2.2 节中提到了写屏障。为了过滤出来自同一区域的对象，它有以下代码，当rTmp为0时表示rX和rY包含来自同一区域的指针

rTmp := rX XOR rY
rTmp := rTmp >> logofheapRegionSize

但是如果假设logofheapRegionSize为4（bin=100），rX开始地址（bin 0），rY开始地址（bin 111），显然它们不在同一个区域，但应用上面的代码，我们有

111 XOR 000 = 111
111 >> 4 = 0

给出他们在同一个地区，为什么？我是否以正确的方式理解代码？

解决方法

暂无找到可以解决该程序问题的有效方法，小编努力寻找整理中！

如果你已经找到好的解决方法，欢迎将解决方案带上本链接一起发送给小编。

小编邮箱:dio#foxmail.com (将#修改为@）