C# software-reliability Projects
Coyote is a library and tool for testing concurrent C# code and deterministically reproducing bugs.Project mention: Implementing a distributed key-value store on top of implementing Raft in Go | news.ycombinator.com | 2023-05-25
Microsoft has a library/tool called Coyote* that helps with testing distributed systems; you can write tests/specifications, Coyote will systematically explore nondeterminism in your system and check if your tests still pass. If there's a failure, it'll show the sequence of events that led to the failing test.
I started a project to implement Raft with a KV-store on top, similar to the article, meaning to use Coyote to test it; I didn't get that far before losing interest, though. It's reassuring to read that it took Phil several months to write the code in the post, it's good to know that this is a decidedly nontrivial problem.
Collect and Analyze Billions of Data Points in Real Time. Manage all types of time series data in a single, purpose-built database. Run at any scale in any environment in the cloud, on-premises, or at the edge.
C# software-reliability related posts
Best thread sanitizer for dotnet
1 project | /r/dotnet | 26 Feb 2022
Coyote: .NET library tool help ensure that your code is free of concurrency bugs
2 projects | news.ycombinator.com | 1 Feb 2022