首页 > 其他分享 >raft的tla+

raft的tla+

时间:2023-01-02 22:45:47浏览次数:50  
标签:www tla https raft toolbox com

【toolbox】

https://github.com/jinlmsft/raft.tla

toolbox openspec

Raft_Term_Not_Persisted.tla

models界面运行unique_leader

https://www.youtube.com/watch?v=6Kwx8zfGW0Y

最后15分钟讲tla

【截图】

 

标签:www,tla,https,raft,toolbox,com
From: https://www.cnblogs.com/jiangshifu/p/17020751.html

相关文章