文件名称:ocaml-raft:Raft 共识算法的实现
文件大小:406KB
文件格式:ZIP
更新时间:2024-07-31 15:50:38
OCaml
ocaml-raft 模拟器 这是基本 Raft 共识算法的完整实现(不包括成员更改和日志比较)。 本中详细描述了该项目 在各种网络条件下,模拟器作为离散事件模拟器或实时模拟器运行。 要构建运行build.sh并学习如何使用命令行运行./cmdstart.byte --help 。 如果您熟悉 OCaml,那么使用 OCaml 配置文件进行模拟是您最好的选择。 JS 跟踪查看器 以下是如何从命令行生成跟踪并在 javascript 中运行输出的示例 $ cd ocaml-raft $ make $ /cmdstart.byte discrete -nodes 3 -follower Uniform-150-155 -candidate Uniform-11-22 -leader Fixed-75 -delay Fixed-7 -termOnTimeout 50000 -termOnE
【文件预览】:
ocaml-raft-master
----spl()
--------raftMonitor_statecalls.ml(511B)
--------raftMonitor-all.dot(2KB)
--------raft-general-ocaml.ml(511B)
--------raft_fix.dot(2KB)
--------raftslp.ps(16KB)
--------ping-1.spl(80B)
--------raftMonitor.ml(5KB)
--------raftslp.eps(16KB)
--------META(451B)
--------raft_spl.mllib(115B)
--------raftMonitorWrapper.mli(114B)
--------raft2.spl(1KB)
--------raftMonitor.spl(1KB)
--------raft.spl(835B)
--------raftMonitorWrapper.ml(748B)
--------raft-general.ps(16KB)
--------raft_spl.mldylib(115B)
--------slptest.ml(240B)
--------raftMonitor.mli(382B)
----_oasis(1011B)
----travis.sh(1KB)
----lib()
--------raft.mldylib(191B)
--------rpcs.ml(2KB)
--------common.ml(4KB)
--------cast.ml(1KB)
--------statemach.mli(505B)
--------eventList.ml(354B)
--------env.ml(4KB)
--------log.mli(662B)
--------state.mli(2KB)
--------monoTime.ml(316B)
--------state.ml(10KB)
--------log.ml(2KB)
--------cast.mli(562B)
--------client.ml(3KB)
--------summary.mli(259B)
--------monoTime.mli(407B)
--------eventList.mli(366B)
--------jparser.ml(3KB)
--------META(440B)
--------parser.ml(1KB)
--------env.mli(1KB)
--------simulator.ml(31KB)
--------raft.mllib(191B)
--------config.json(848B)
--------common.mli(3KB)
--------statemach.ml(3KB)
--------output.ml(436B)
--------summary.ml(639B)
--------config.ml(3KB)
--------rpcs.mli(1KB)
--------jparser.mli(0B)
--------cmdstart.ml(3KB)
----setup.ml(179KB)
----js()
--------ocamlraft.js(1.36MB)
--------get_core_kernel_js.sh(117B)
--------build.sh(236B)
--------sim.html(374B)
--------ocamlraft.ml(130B)
----myocamlbuild.ml(17KB)
----.travis.yml(301B)
----_tags(2KB)
----vis()
--------index.html(2KB)
--------d3.js(320KB)
--------parseJSON.py(679B)
--------test-data1.json(135KB)
--------data.json(7KB)
--------graph.js(12KB)
----test()
--------testing_withtype.ml(840B)
--------cmdline-test1.sh(172B)
--------cmdline-simple.sh(147B)
--------testNumberGen.ml(401B)
--------testdeter.ml(1024B)
--------test-graph1.sh(917B)
--------test_spl_wrapper.ml(650B)
--------test1.ml(520B)
--------test_splaytree.ml(2KB)
--------test_spl.ml(642B)
----LICENSE.md(1KB)
----README.md(1KB)
----Makefile(525B)
----.gitignore(178B)