关于registerThreadLocal方法加锁和copy on write疑问

[xxd137494375]

在看2.14.2版本的源码中，发现registerThreadLocal函数在处理threadLocalHolder并发修改问题时，即加了锁，又使用了copy on write。

对于这里有个疑问，加了锁，已经保证了线程安全，为何还要使用copy on write？

是在考虑什么隐藏问题吗？

https://github.com/alibaba/transmittable-thread-local/blob/d91853ea3d3501e913f7ac9b35053cc514a86aee/src/main/java/com/alibaba/ttl/TransmittableThreadLocal.java#L1013-L1027

[oldratlee]

对于这里有个疑问，加了锁，已经保证了线程安全，为何还要使用copy on write？

@xxd137494375 好问题 👍 其实在小伙伴写的文章或其评论中，我也多次看到提这个问题～

• 123

🤖 个人的回答

简单说明

• threadLocalHolder 有 读写2类操作：
  • 读操作的方法：threadLocalTransmittee#replay、threadLocalTransmittee#clear（调用会多）
  • 写操作的方法：registerThreadLocal、unregisterThreadLocal（注册的调用极少）
• 加锁是为了「并发」更新的线程安全（如加锁可以避免更新数据的丢失）
  • threadLocalHolder是WeakHashMap，不是线程安全的集合/并发集合
  • 注意，实现上只对写操作加锁了，而对读操作并没有加锁
  • 锁变量名threadLocalHolderUpdateLock也体现表达了这一点
• COW（Copy On Write）是因为
  • 读操作通过threadLocalHolder的volatile来安全发布 引用
  • 但volatile并不保证引用内容后续修改的同步（如可见性、原子性）
  • 通过COW内容、再更新volatile引用，来保证安全发布引用的新对象内容 （这里是WeakHashMap集合对象）
  • https://github.com/alibaba/transmittable-thread-local/blob/d91853ea3d3501e913f7ac9b35053cc514a86aee/src/main/java/com/alibaba/ttl/TransmittableThreadLocal.java#L939-L941

PS:

为什么用「更新锁 + COW + volatile」这样的实现方式？

为了读操作时的无锁高性能，读threadLocalHolder是个高频操作。

📔 上面是个人的一些简单说明；并发问题要解释清楚，可能要带出很多内容。

更多相关的可以看看

单例模式的Double Check实现方式（与这个Issue的问题涉及基本相同的关注点/注意点）， 已经有很多资料文章讨论，可以找找看看。💕

系统理解则力荐研读《Java并发编程实战》；上面的问题及其要关注的方面 是这本书的基本部分。PS：更多并发的系统书籍可以看看个人整理的并发书单。

💗 欢迎大家继续交流讨论

对于并发问题，不同解释方式对于不同的人会有用或更容易理解。 💕