bthread源码分析（八）进阶数据结构bthread_id：以id关联data的同步机制

bthread_id是一种同步机制，其思想是为需要同步的数据关联一个带版本管理的id，在这个id上做加锁、解锁等同步操作。bthread_id的同步操作在锁内进行，其效率比mutex低，也就是说bthread_id不能用做通用的同步机制，其适用于对一个对象进行一系列低冲突操作的场景，用于同步这些操作。

源码位置 bthread_id.h bthread_id.cpp

id版本号管理

first_ver | * | * | ... | locked_ver - 1 | locked_ver | contented_ver | unlockable_ver | next_first_ver ... 1                    | 2  | 3  | ... | 9                             | 10                    | 11                          | 12                           | 13

每个epoch内有几个固定版本号：

first_ver：本epoch的初始版本号，从first_ver到locked_ver - 1的所有version均表示无锁

locked_ver：表示有锁

contented_ver：表示有人在等锁

unlockable_ver：表示此id即将被销毁，此时不可加锁，所有获取锁的操作会失败

有一个mutex：

mutex：操作一个bthread_id必须在该bthread_id的mutex下进行

有两个butex：

butex：用于同步锁，其值为一个epoch内的4个固定版本号。例如*butex == locked_ver表示此时该bthread_id处于被锁住状态

join_butex：用于同步epoch，进入下一个epoch时唤醒join_butex。注意unlockable_ver阶段不会唤醒join_butex，只有版本号达到next_first_ver以后，join才可以成功