我正在阅读论文 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
给出他们在同一个地区,为什么?我是否以正确的方式理解代码?