Created docker images for using antithesis on sim-cli (#554)

* Created docker images for using antithesis on sim-cli
* Updated logbook

Author: bwbush

Logbook.md

@@ -1,5 +1,11 @@
 # Leios logbook
 
+## 2025-09-19
+
+### Antithesis configuration for Rust simulator
+
+The folder [antithesis/](antithesis/) contains scripts for building docker images for testing the threading behavior of the Rust simulation under the [Antithesis](https://antithesis.com/) test framework.
+
 ## 2025-09-16
 
 ### Updated DeltaQSD notebook

antithesis/.gitignore

@@ -0,0 +1,4 @@
+sim-rs/
+config.yaml
+network.yaml
+libvoidstar.so

antithesis/Dockerfile

@@ -0,0 +1,33 @@
+# Build with a pinned version of "rust:latest"
+FROM 764b84273d2b AS builder
+
+WORKDIR /usr/src/app
+
+COPY sim-rs/ .
+COPY libvoidstar.so /usr/lib/
+
+RUN LD_LIBRARY_PATH=/usr/lib RUSTFLAGS=" -Ccodegen-units=1 -Cpasses=sancov-module -Cllvm-args=-sanitizer-coverage-level=3 -Cllvm-args=-sanitizer-coverage-trace-pc-guard -Clink-args=-Wl,--build-id -L/usr/lib -lvoidstar" cargo build --release
+
+RUN LD_LIBRARY_PATH=/usr/lib RUSTFLAGS=" -Ccodegen-units=1 -Cpasses=sancov-module -Cllvm-args=-sanitizer-coverage-level=3 -Cllvm-args=-sanitizer-coverage-trace-pc-guard -Clink-args=-Wl,--build-id -L/usr/lib -lvoidstar" cargo build
+
+FROM debian:bookworm-slim
+
+WORKDIR /root
+
+COPY --from=builder /usr/src/app/target/debug/sim-cli /usr/local/bin/sim-cli-debug
+COPY --from=builder /usr/src/app/target/release/sim-cli /usr/local/bin/sim-cli-release
+COPY --from=builder /usr/lib/libvoidstar.so /usr/lib/libvoidstar.so
+
+COPY network.yaml .
+COPY config.yaml .
+COPY singleton_release.sh /opt/antithesis/test/v1/simple_release/singleton_driver_simulate.sh
+COPY singleton_debug.sh /opt/antithesis/test/v1/simple_debug/singleton_driver_simulate.sh
+
+RUN apt-get update
+RUN apt-get install -y python3 pip
+
+RUN pip install antithesis cffi --break-system-packages
+
+COPY entrypoint.py /entrypoint.py
+
+CMD ["/entrypoint.py"]

antithesis/Makefile

@@ -0,0 +1,32 @@
+
+play:
+	podman play kube --replace=true compose.yaml
+
+run-release:
+	podman exec sim-rs-app /opt/antithesis/test/v1/simple_release/singleton_driver_simulate.sh
+
+run-debug:
+	podman exec sim-rs-app /opt/antithesis/test/v1/simple_release/singleton_driver_simulate.sh
+
+push:
+	podman push docker.io/bwbush/sim-rs-antithesis:latest
+
+docker: Dockerfile sim-rs entrypoint.py libvoidstar.so config.yaml network.yaml singleton_release.sh singleton_debug.sh
+	podman build -f $< -t docker.io/bwbush/sim-rs-antithesis
+
+clean:
+	rm -r sim-rs config.yaml network.yaml
+
+sim-rs: ../sim-rs
+	cp -Lr $< .
+
+libvoidstar.so:
+	wget https://antithesis.com/assets/instrumentation/libvoidstar.so
+
+config.yaml: ../analysis/sims/cip/experiments/config.yaml
+	cp $< $@
+
+network.yaml: ../data/simulation/pseudo-mainnet/topology-v2.yaml
+	cp $< $@
+
+.phony: docker push play run-release run-debug clean

antithesis/compose.yaml

@@ -0,0 +1,9 @@
+apiVersion: v1
+kind: Pod
+metadata:
+  name: sim-rs
+spec:
+  containers:
+  - name: app
+    image: docker.io/bwbush/sim-rs-antithesis:latest
+

antithesis/entrypoint.py

@@ -0,0 +1,21 @@
+#!/usr/bin/env -S python3 -u
+
+# This file serves as the client's entrypoint. It: 
+# 1. Confirms that all nodes in the cluster are available
+# 2. Signals "setupComplete" using the Antithesis SDK
+
+import time
+
+from antithesis.lifecycle import (
+    setup_complete,
+)
+
+SLEEP = 10
+
+print("Client [entrypoint]: running...")
+
+# Here is the python format for setup_complete. At this point, our system is fully initialized and ready to test.
+setup_complete({"Message":"sim-rs cluster is healthy"})
+
+# sleep infinity
+time.sleep(31536000)

antithesis/singleton_debug.sh

@@ -0,0 +1,8 @@
+#!/usr/bin/env bash
+
+/usr/local/bin/sim-cli-debug \
+  --slots 120 \
+  --conformance-events \
+  --parameters config.yaml \
+  network.yaml \
+  /dev/null

antithesis/singleton_release.sh

@@ -0,0 +1,8 @@
+#!/usr/bin/env bash
+
+/usr/local/bin/sim-cli-release \
+  --slots 120 \
+  --conformance-events \
+  --parameters config.yaml \
+  network.yaml \
+  /dev/null