Skip to content
@stra-ta

stra-ta

Personal systems experiments about concurrency, Linux I/O, distributed systems, and low latency. Most repositories are frozen; orda-book is the active project.

stra-ta

Personal systems experiments about concurrency, Linux I/O, distributed systems, and low-latency software.

Most repositories here are frozen snapshots kept as learning records: their READMEs, measurements, and failure notes are still worth reading, but they are not maintained products. Much of the code was written with heavy AI assistance, and each repository states its own scope and evidence limits.

Active

  • orda-book C++ - a single-threaded limit-order matching engine and replay lab. Current work stays on the baseline matcher: price-time priority, partial fills, cancellation, and tests.

Frozen experiments

  • norn C++ - bounded queues, memory ordering, and hazard-pointer reclamation.
  • weir C++ - Linux event gateway over epoll and io_uring with a write-ahead log. Its prominent transport numbers describe a retired architecture and are labelled as such.
  • raft-kv Rust - Raft with a deterministic simulator, crash recovery, and an LSM state machine.
  • loki C++ - deterministic TCP and UDP fault-injection proxy.
  • charlatan C and C++ - Linux character device with a userspace harness; kernel runs are VM-gated.
  • vanta CUDA - kernel validation with failure replay; GPU-gated.
  • ygg Rust and Python - execution-trace analysis; it records a negative result instead of hiding it.
  • kiln Rust - experiment runner used by the repositories above.
  • fenrir Rust - a workload-search prototype.

How claims are kept

Functional checks and performance evidence stay separate. Measured numbers name the machine, commit, and command that produced them, and are kept as dated artifacts rather than current claims. The conventions are in LAB_RULES and EVIDENCE; NEGATIVE_RESULTS keeps the results that argued against the original hypotheses.

Maintained by @wheevu.

Pinned Loading

  1. kiln kiln Public

    Reproducible local experiment runner for systems software: TOML specs, deterministic run matrices, content-hashed evidence, campaign comparison. Frozen experiment.

    Rust

  2. raft-kv raft-kv Public

    Raft-backed KV store over raw TCP with deterministic fault injection, crash recovery, linearizability checking, and LSM storage. Frozen experiment.

    Rust

  3. norn norn Public

    C++20 concurrency structures exploring atomics, memory ordering, hazard pointers, correctness, and measurable performance. Frozen experiment.

    C++

  4. vanta vanta Public

    CUDA kernel validation with fault injection, failure replay, Compute Sanitizer, and mutation testing. Frozen experiment.

    Cuda

  5. loki loki Public

    Deterministic TCP fault-injection proxy for hostile-network testing. Frozen experiment.

    C++

Repositories

Showing 10 of 11 repositories

People

This organization has no public members. You must be a member to see who’s a part of this organization.

Top languages

Loading…

Most used topics

Loading…