这个有证明啊

敢问楼主学历…

无心工作

换另一种旋转的

只许用户喷，不许作者抱怨？这合理吗

先上简历？

所以就是把<算法第四版>的代码搬运了一下？

slash 就是劈砍，大多数人都是右撇子。你假装手里有把长刀，下意识地砍人是右上左下还是左上右下？

8G 的 14 mid 还在写 go 呢，没啥感觉

6 楼应该两个操作都是“t:=a，a:=b，b:=t”🤣

举个例子，假设有一个不变量，a+b=10 。有个操作是 a:=b，b:=a 。

在单线程的时候，这个操作前、后都满足不变量，在操作中有短暂的不满足。

在多线程的时候，如果操作中发生了调度，就不能保证“操作后还满足不变量了”。在这个意义上，锁是在保护不变量，将其变成一个单线程场景。也就是锁的保护范围下，就是那个“短暂的不满足”，离开这个范围，维护好了不变量。

重入锁是不能保护不变量的。举个复杂一点的例子，操作是 t:=a，a:=b，b:=t 。如果在 a:=b，b:=t 之间发生调度重入的话，原始 a 的值就丢失了，也就不能满足不变量了。

为啥没有数据迁移🤔

@mxT52CRuqR6o5 30 楼这个不能识别 2 轻 5 重吧

另外天平能减少的信息量确实不是一半，是多少有空我再想想

概率空间{1 轻、1 重、2 轻、2 重…}共 16 种，理想情况下每次操作砍一半，所以最少要操作 4 次

具体咋操作，就慢慢想吧

@darkcode 北京办公室大约一半都回老家 remote 了🤣怕回去晚了政策有变

@rahuahua
@niubee1
@lxml
rust 是 tikv 在用

不是很理解 PM 有没有脑子。我看文档眼睛一扫就行了，现在让我换成带个耳机看 5 分钟视频？