缘起
最近在看大佬视频,在用rust实现一个concurrenthashmap的时候,用到了crossbeam中epoch,顿时一阵懵逼,囊碟括咧(这啥玩意啊)?于是便开始启动搜索引擎大发,再整合诸多信息后,有了此偏小记。
什么是Epoch Based Reclamation
大概意思上来说,这是无锁编程模式下的一种内存管理回收方案,官方定义可参考论文。而crossbeam-epoch是其rust下的一种实现。
为什么要Epoch Based Reclamation
设想我们要在无gc的语言中实现一种无锁但支持并发的数据结构。线程A想替换该数据结构中的某个数据节点,线程A使用newNode原子替换了oldNode,本着负责到底的态度,线程A释放了oldNode,防止了内存泄露,这一切看起来没什么问题。
恰好此时,线程B读取了该node,而且要命的是,线程B在线程A替换前便进行了读取,因此线程B中拥有访问oldNode的指针,于是,bang!由于oldNode已被线程A释放,那么线程B此时持有的便是一个悬空指针。
在拥有gc的语言中,如java, gola