What is FDB simulation testing?

It is a methodology where FoundationDB simulates an entire cluster, including network and disk failures, in a single-threaded, deterministic environment to find rare race conditions and bugs.

Why does this skill mandate BTreeMap over HashMap?

Determinism requires identical iteration orders across runs. Since HashMap's order is non-deterministic, using it would break the simulation's ability to reproduce a failure from a specific seed.

Can I use standard async runtimes like Tokio with these workloads?

No. FoundationDB simulation uses its own custom deterministic executor. This skill provides patterns to avoid incompatible runtimes like Tokio to maintain simulation integrity.

What are 'Nemesis' operations in this context?

Nemesis operations are deliberate actions designed to stress or break the system, such as crashing nodes mid-batch, creating conflict storms, or hitting data size limits to test edge-case handling.

FoundationDB Simulation Testing

Name: FoundationDB Simulation Testing
Author: PierreZ

byPierreZ

安全与测试

Facilitates the creation of deterministic, chaos-driven simulation workloads for FoundationDB using Rust.

关于

This skill provides specialized guidance for designing robust FoundationDB simulation workloads in Rust, focusing on identifying subtle bugs through autonomous chaos testing. It enforces critical determinism rules—such as substituting standard collections with ordered ones and utilizing seeded randomness—while providing structural patterns for invariant checking and operation design. Whether you are building FDB layers or designing complex distributed systems, this skill helps ensure your database logic remains correct under extreme edge cases and high-concurrency failure scenarios by leveraging the power of FDB's unique simulation environment.

主要功能

Implements invariant patterns like Reference Models and Conservation Laws
0 GitHub stars
Provides templates for Normal, Adversarial, and Nemesis operation categories
Identifies common pitfalls in transaction retry logic and idempotency
Guides three-crate architectural separation for production and simulation code
Enforces strict determinism rules for reproducible simulation seeds

使用场景

Verifying data integrity and invariants under simulated hardware failures
Designing chaos testing suites for new FoundationDB storage layers
Ensuring deterministic behavior in distributed state machine implementations

关于

主要功能

Implements invariant patterns like Reference Models and Conservation Laws
0 GitHub stars
Provides templates for Normal, Adversarial, and Nemesis operation categories
Identifies common pitfalls in transaction retry logic and idempotency
Guides three-crate architectural separation for production and simulation code
Enforces strict determinism rules for reproducible simulation seeds

使用场景

Verifying data integrity and invariants under simulated hardware failures
Designing chaos testing suites for new FoundationDB storage layers
Ensuring deterministic behavior in distributed state machine implementations