A Fuzzy Schedule (`nmz`)

Learn to use Namazu, a fuzzy scheduler.

Namazu is a fuzzy scheduler that mutates Ethernet packets, Filesystem events, and thread interleaving. As well as injected faults.

Scheduling problems are often subtle and rare. Namazu works best with repeated testing.

Typically you'll work with it like a Docker container:

nmz container run -it --rm ubuntu bash

Inside you can run, for example, async networking stack test suite:

apt update && apt install --yes build-essential git rustc cargo
git clone https://github.com/tokio-rs/tokio
cd tokio && cargo test --all

Exercises

• Run your favorite projects test suite in Namazu.

• Explore the bugs discovered by Namazu that has recorded: https://github.com/osrg/namazu/#found-and-reproduced-bugs, try reproducing one.