没有合适的资源?快使用搜索试试~ 我知道了~
synchronous-tla-benchmarks:用TLA +编码的同步容错分布式算法
共24个文件
tla:22个
license:1个
md:1个
需积分: 9 1 下载量 82 浏览量
2021-05-27
11:49:08
上传
评论
收藏 57KB ZIP 举报
温馨提示
同步tla基准 编码的几种同步容错分布式算法。 在以下中,使用模型检查器检查了这些基准: Benjamin Aminof, Sasha Rubin, Ilina Stoilkovska, Josef Widder, Florian Zuleger. Parameterized Model Checking of Synchronous Distributed Algorithms by Abstraction. VMCAI 2018 该存储库包含以下基准: 名称 问题 参考 早期决定共识 共识 ,第17页 k集协议,对于k = 1 ,第136页 k-set协议,对于k = 2 ,第136页 共识 ,第103页 非阻塞原子提交 ,第82页 pdif 尽早停止共识 Raynal ,第38页 所有基准均假定为崩溃故障模型,系统中最多N个进程中的T个最多可能因崩溃而失败,且T
资源推荐
资源详情
资源评论
收起资源包目录
synchronous-tla-benchmarks-master.zip (24个子文件)
synchronous-tla-benchmarks-master
pdif
pdif_abstract.tla 12KB
pdif.tla 4KB
pdif_abstract_m1.tla 12KB
floodmin_k2
floodmin_k2_abstract_m2.tla 9KB
floodmin_k2.tla 3KB
floodmin_k2_abstract.tla 10KB
floodmin_k2_abstract_m1.tla 9KB
edac
edac_abstract.tla 13KB
edac.tla 4KB
edac_abstract_m1.tla 12KB
floodset
floodset_abstract_m1.tla 9KB
floodset.tla 3KB
floodset_abstract.tla 10KB
LICENSE 588B
nbac
nbac_abstract_m1.tla 10KB
nbac.tla 4KB
nbac_abstract.tla 11KB
README.md 3KB
floodmin_k1
floodmin_k1.tla 3KB
floodmin_k1_abstract_m1.tla 8KB
floodmin_k1_abstract.tla 9KB
fair_cons
fair_cons_abstract_m1.tla 9KB
fair_cons.tla 3KB
fair_cons_abstract.tla 9KB
共 24 条
- 1
资源评论
sleepsoft
- 粉丝: 36
- 资源: 4634
上传资源 快速赚钱
- 我的内容管理 展开
- 我的资源 快来上传第一个资源
- 我的收益 登录查看自己的收益
- 我的积分 登录查看自己的积分
- 我的C币 登录后查看C币余额
- 我的收藏
- 我的下载
- 下载帮助
安全验证
文档复制为VIP权益,开通VIP直接复制
信息提交成功