V2EX › crossoverJie 的所有回复 › 第 12 页 / 共 33 页

@zpxshl #42

如果 A 线程写入成功之后 B 线程就算是恰巧在 A 线程还未写入之前判断到是空进入了 CAS 的逻辑。

由于最终调用的还是 casTabAt()

https://ws2.sinaimg.cn/large/006tKfTcgy1ftnr3mdivaj30fp01sjrj.jpg

底层调用的是 unsafe.compareAndSwapObject 方法，他的期望是当前值为 null ,才会写入一个新的 Node。

由于该方法是线程安全的，此时当前值已经不为 null 了，所以必定会写入失败。

还有一个是，虽然是用 volatile 修饰的数组，但是用的是 getObjectVolatile 和 putObjectVolatile，依然可以保证可见性。

见：

https://stackoverflow.com/questions/31534706/about-unsafe-getobjectvolatile-usage

2018-07-25 13:09:23 +08:00

回复了 crossoverJie 创建的主题 › 程序员 › HashMap? ConcurrentHashMap? 相信看完这篇没人能难住你！

@zpxshl #40 兄弟，我觉得这没有啥问题呀。

https://ws1.sinaimg.cn/large/006tKfTcly1ftm0tehm4vj316w0ra44o.jpg

用 CAS 的前提是，遍历数组的时候在 key 所映射的那个位置是空的，也就是没有其他线程使用的时候才会在 2 处利用 CAS 尝试写入一个 Node。

也就是说写入成功的话是不会有线程竞争的，这样也就不会存在你说的可见性问题（如果这时有线程来做 get ,恰好也定位到这个位置，那在写入线程更新成功之前获取的肯定也是空）。

如果写入失败，CAS 返回 false，这样就会重新从 1 处再次循环。

这样如果当前位置有数据了那就会用 synchronized 来写，用 synchronized 的话也不会出现可见性问题。

如果当前位置依然为空的话就会重复上面的步骤。

2018-07-25 10:28:51 +08:00

回复了 crossoverJie 创建的主题 › 程序员 › HashMap? ConcurrentHashMap? 相信看完这篇没人能难住你！

@zpxshl #38 如何保证其他线程见到你的修改？

其他线程在 tabAt()

https://ws1.sinaimg.cn/large/006tNc79ly1ftlw9yuc6vj31ac0jytdg.jpg

这里不就获取了到最新值了嘛？也就是获取到了其他线程的修改。

get 的时候也是一样的：

https://ws3.sinaimg.cn/large/006tNc79ly1ftlwdb31v2j31620k2djy.jpg

2018-07-25 09:05:00 +08:00

回复了 crossoverJie 创建的主题 › 程序员 › HashMap? ConcurrentHashMap? 相信看完这篇没人能难住你！

@zpxshl #36 嗯你不是问的怎么保证可见性嘛，获取到的是最新值就不会有可见性的问题了。

1 ... 8 9 10 11 12 13 14 15 16 17 ... 33

❮

❯