ConcurrentHashMap中tabAtsetTabAt方法的意义所在

12次阅读

共计 1632 个字符，预计需要花费 5 分钟才能阅读完成。

在学习 ConcurrentHashMap 时发现，源码中对 table 数组的元素进行操作时，使用了三个封装好的原子操作方法，如下：

/* ---------------- Table element access -------------- */

/*
 * Atomic access methods are used for table elements as well as
 * elements of in-progress next table while resizing.  All uses of
 * the tab arguments must be null checked by callers.  All callers
 * also paranoically precheck that tab's length is not zero (or an
 * equivalent check), thus ensuring that any index argument taking
 * the form of a hash value anded with (length - 1) is a valid
 * index.  Note that, to be correct wrt arbitrary concurrency
 * errors by users, these checks must operate on local variables,
 * which accounts for some odd-looking inline assignments below.
 * Note that calls to setTabAt always occur within locked regions,
 * and so require only release ordering.
 */

@SuppressWarnings("unchecked")
static final <K,V> Node<K,V> tabAt(Node<K,V>[] tab, int i) {return (Node<K,V>)U.getObjectAcquire(tab, ((long)i << ASHIFT) + ABASE);
}

static final <K,V> boolean casTabAt(Node<K,V>[] tab, int i,
                                    Node<K,V> c, Node<K,V> v) {return U.compareAndSetObject(tab, ((long)i << ASHIFT) + ABASE, c, v);
}

static final <K,V> void setTabAt(Node<K,V>[] tab, int i, Node<K,V> v) {U.putObjectRelease(tab, ((long)i << ASHIFT) + ABASE, v);
}

casTabAt这个方法我们可以很清晰地明白它封装了对于数组元素的 cas 操作，但是另外两个方法的意义如何理解呢？

源码的作者使用 Unsafe 直接通过数组内存地址以及索引偏移量去访问和修改数组元素的值，和我们直接使用 java 代码访问（arr[i]）、赋值（arr[i] = x ）有什么区别呢？

请教了成哥（同事）后得到了一个重要的点：数组越界异常ArrayIndexOutOfBoundsException

如果 java 中的数组和 c 一样，仅仅是一个指针的话，那么也许通过 arr[i] 访问和通过内存地址访问不会有什么区别，但是由于 ArrayIndexOutOfBoundsException 这个众所周知的异常，我们可以推断：java 中的数组是经过了包装的
另一个可以从侧面印证的点是arr.length

大概搜索了一下了解到以下的知识（不保证正确）：