文件名称：jraft:筏共识的另一个实现
文件大小：111KB
文件格式：ZIP
更新时间：2024-05-29 12:09:33
Java
该项目将被主动监控和更新 杰弗特 Java中的筏式共识实现 核心算法是基于TLA +规范实现的，该规范的安全性已得到证明，并且生命力高度依赖于伪随机数序列，如果同一集群中的不同服务器生成具有不同种子的随机数，则可能会很好。 支持的功能 核心算法，安全性已被证明 配置更改支持，无限制地一一添加或删除服务器 客户要求支持 紧急提交，请参阅下文 日志压缩 紧急提交 紧急提交是此实现引入的一项新功能，如果提交索引已提前，则领导者可以使领导者要求所有其他服务器提交一个或多个日志。 使用紧急提交，系统的性能将得到极大提高，并且心跳间隔可以增加到几秒钟，具体取决于领导者倒下时您的应用程序可以保留多长时间，通常一到两秒钟就可以了。 关于此实施 除了自然语言描述之外，基于数学描述实现这种算法总是更安全的。 从TLA +到编程语言的转换应该是自动的，即使它们以不同的方式处理事情，但它们是相同的。
【文件预览】：
jraft-master
----setup()
--------setup.bat(1006B)
--------cleanup.bat(119B)
--------startsrv.bat(788B)
--------addsrv.bat(530B)
--------init-cluster.json(272B)
----dmprinter()
--------src()
--------pom.xml(3KB)
----exts()
--------src()
--------pom.xml(5KB)
----core()
--------src()
--------pom.xml(4KB)
----LICENSE(576B)
----README.md(4KB)
----pom.xml(2KB)
----.gitignore(109B)