2023年1月2日
folly调试
摘要： 【修改代码】 代码：ProducerConsumerQueueTest.cpp 编译二进制：producer_consumer_queue_test 文件路径：/tmp/fbcode_builder_getdeps-ZrootZfollyZbuildZfbcode_builder-root/buil 阅读全文
posted @ 2023-01-02 23:37 stupidstan2019 阅读(40) 评论(3) 推荐(0) 编辑
raft的tla+
摘要： 【toolbox】 https://github.com/jinlmsft/raft.tla toolbox openspec Raft_Term_Not_Persisted.tla models界面运行unique_leader https://www.youtube.com/watch?v=6K 阅读全文
posted @ 2023-01-02 22:34 stupidstan2019 阅读(67) 评论(0) 推荐(0) 编辑
folly编译
摘要： 【命令】1）下载依赖./build/fbcode_builder/getdeps.py install-system-deps --recursive2）编译python3 ./build/fbcode_builder/getdeps.py --allow-system-packages build 阅读全文
posted @ 2023-01-02 21:57 stupidstan2019 阅读(191) 评论(1) 推荐(0) 编辑