l-iberty

测试中要求GetLocalDepth(x)的值必须是给出的那样，但我认为根据对key做hash的算法的不同，local depth可以有不同的值，只要满足任意一个bucket的local depth小于等于global depth，并且每个元素都可以Find成功即可，所以我觉得他给的这个测试有问题。

操作系统实验在国内大学算硬核的了，以前上学的时候就感觉自己学校的实验水的一批，对比贵校才知道自己本科的教学水平比我感觉到的还要垃圾

3B linearizability测试依然有失败

3

尽管作者做了一些处理，但还是有概率不通过线性化测试

lab4b: snapshot, join and leave卡死

1

lab3b里正常的snapshot到这里就不行了，连续出现 wrong group，没法向前推进，不知到你有没有出现类似问题

2018的代码不是没有下载权限吗