摘要：
【使用】 TurnSequencer<std::atomic> seq(1); seq.waitForTurn(1）；#如果没等到，就hang住 seq.completeTurn(1); #唤醒等待turn=2的线程 【接口】 【等待】 内部函数 【唤醒】 内部函数 阅读全文
摘要：
【五种阻塞队列】 【先看LifoSem】 last in first out 信号量通知的queue 【调用栈】 ./fbcode_builder_getdeps-ZrootZfollyZbuildZfbcode_builder-root/build/folly/thread_pool_execut 阅读全文
摘要：
【参考】 https://zhuanlan.zhihu.com/p/55917869 【cache memory】 cpu和主存间存在三级缓存 L1, L2（单核独享） L3（多核共享） 【L1和L2如何保持一致】 mesi协议定义cacheline四个状态 modified，只缓存在该cpu的缓存 阅读全文
摘要：
【修改代码】 代码：ProducerConsumerQueueTest.cpp 编译二进制：producer_consumer_queue_test 文件路径：/tmp/fbcode_builder_getdeps-ZrootZfollyZbuildZfbcode_builder-root/buil 阅读全文
摘要：
【toolbox】 https://github.com/jinlmsft/raft.tla toolbox openspec Raft_Term_Not_Persisted.tla models界面运行unique_leader https://www.youtube.com/watch?v=6K 阅读全文
摘要：
【命令】1）下载依赖./build/fbcode_builder/getdeps.py install-system-deps --recursive2）编译python3 ./build/fbcode_builder/getdeps.py --allow-system-packages build 阅读全文
摘要：
【遇到的问题】 1）os/signpost.h找不到 删除makefile文件里这段逻辑 2）编译失败 调试之后，发现缺失安装bison 【编译结果】 bash build.sh debug --init --make 阅读全文
摘要：
【参考文档】 https://open.oceanbase.com/quickStart bash -c "$(curl -s https://obbusiness-private.oss-cn-shanghai.aliyuncs.com/download-center/opensource/oce 阅读全文
摘要：
【TestProgressLeader】 测试leader的progress.match 1）写5条消息 2）生成ready(模拟本地盘写) 3）advance（ready） leader的match变为6，next=7 【TestProgressResumeByHeartbeatResp】 测试心 阅读全文
摘要：
1）rawnode是raft模块的外层接口类 为什么需要rawNode这一层？ 阅读全文