Add bare Chain Replication implementation & a bunch of fixes

scripts/workflow_test.py → .github/workflow_test.py

@@ -12,7 +12,7 @@ def do_cargo_build():
 
 
 def run_process(cmd):
-    # print("Run:", " ".join(cmd))
+    print("Run:", " ".join(cmd))
     proc = subprocess.Popen(cmd, stdout=subprocess.PIPE, stderr=subprocess.PIPE)
     return proc
 
@@ -54,8 +54,11 @@ def wait_cluster_setup(proc, num_replicas):
     for line in iter(proc.stderr.readline, b""):
         l = line.decode()
         print(l, end="", file=sys.stderr)
-        if "manager" not in l and "accepting clients" in l:
-            replica = int(l[l.find("(") + 1 : l.find(")")])
+        if "accepting clients" in l:
+            replica = l[l.find("(") + 1 : l.find(")")]
+            if replica == "m":
+                continue
+            replica = int(replica)
             assert not accepting_clients[replica]
             accepting_clients[replica] = True
 
@@ -66,7 +69,7 @@ def wait_cluster_setup(proc, num_replicas):
 def run_tester_client(protocol, test_name):
     cmd = [
         "python3",
-        "./scripts/local_client.py",
+        "./scripts/local_clients.py",
         "-p",
         protocol,
         "tester",
@@ -85,7 +88,7 @@ def run_tester_client(protocol, test_name):
 
     do_cargo_build()
 
-    kill_all_matching("local_client.py", force=True)
+    kill_all_matching("local_clients.py", force=True)
     kill_all_matching("local_cluster.py", force=True)
     kill_all_matching("summerset_client", force=True)
     kill_all_matching("summerset_server", force=True)

.github/workflows/tests_proc.yml

@@ -16,7 +16,9 @@ jobs:
 
     steps:
     - uses: actions/checkout@v3
+    - name: Install 'toml' package
+      run: pip3 install toml
     - name: Run proc tests (MultiPaxos)
-      run: python3 scripts/workflow_test.py -p MultiPaxos
+      run: python3 .github/workflow_test.py -p MultiPaxos
     - name: Run proc tests (Raft)
-      run: python3 scripts/workflow_test.py -p Raft
+      run: python3 .github/workflow_test.py -p Raft

.gitignore

@@ -4,10 +4,13 @@
 **/*.rs.bk
 *.pdb
 
+**/__pycache__/
+
 /.vscode/
 
 /tla+/**/states/
 /tla+/**/*.out
 /tla+/**/*.old
 
 /results/
+/backups/