coyote
Stateless
coyote | Stateless | |
---|---|---|
13 | 9 | |
1,423 | 5,307 | |
0.3% | 0.7% | |
6.3 | 6.9 | |
about 1 month ago | 10 days ago | |
C# | C# | |
GNU General Public License v3.0 or later | GNU General Public License v3.0 or later |
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
coyote
-
Does Your Test Suite Account for Weak Transaction Isolation?
ex: https://github.com/microsoft/coyote/blob/main/Samples/Accoun...
-
Implementing a distributed key-value store on top of implementing Raft in Go
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.
* https://github.com/microsoft/coyote
-
What's the best way to test parallel jobs?
Something like coyote by MS?
-
Using Java's Project Loom to build more reliable distributed systems
If you're looking for similar concurrency testing in the dotnet world, checkout Coyote:
https://microsoft.github.io/coyote/
https://innovation.microsoft.com/en-us/exploring-project-coy...
-
Best thread sanitizer for dotnet
MS provides a framework for testing for concurrency issues: https://microsoft.github.io/coyote/.
- Coyote: .NET library tool help ensure that your code is free of concurrency bugs
-
Concurrency Testing Frameworks for dotnet.
I suggest you try Microsoft Coyote
-
TLA+ Graph Explorer
Visualizations do help a lot when model checkers and concurrency schedule exploration tools like Coyote find bugs. Coyote include the ability to visualize the traces if you express your concurrency using actors (see https://microsoft.github.io/coyote/#concepts/actors/state-ma...)
It also allows you to implement your own "logger" through which you can emit enough information to construct some cool visualizations. I had a lot of fun working on visualizing an implementation of Paxos using Coyote (then P#) (screenshot at https://ibb.co/TTk2hYb)
-
Find those pesky concurrency bugs
If curious, you can learn more in the Coyote website https://microsoft.github.io/coyote
-
Finding concurrency bugs in .NET services using Coyote
Hi HN,
The tweet links to a couple of tutorials showing how to test an extremely simple CRUD service using Coyote to find concurrency bugs. Developers write simple unit tests whose concurrency is explored by Coyote to find bugs. You might be surprised to learn how we can write a number of interesting concurrency tests for even the simplest of CRUD services.
https://microsoft.github.io/coyote/#tutorials/first-concurre...
Stateless
- Validating model based on Rules
-
Best practices for managing menu items that need to be enabled/disabled?
I like this method and state machines in general. Makes it more easier to reason about complex software. Also, ithe f the state machine gets bigger (more states) in the past I have used the Stateless library which is very good. But what you described above is perfect for managing the state of a menu system.
-
Architecture pattern for Console Apps?
After using stateless for three years, my conclusion is that I cannot imagine a scenario, where it makes sense to use it.
-
Modelling workflows with Finite State Machines in .NET
This is a great article. Here is the Stateless library he is writing about. The link to the library is kind of buried in the middle of a sentence.
- How to create event tree c#
-
Which service should store which data in a microservice architecture?
Yes! And we're using one. https://github.com/dotnet-state-machine/stateless We're creating the configuration dynamically based on how the user wants his workflow to work.
-
Need Finite-State Machine framework for TCP socket clients
Stateless is my go-to state machine library for .NET. It's reasonably advanced but can also be very simple if you don't need the more advanced features.
-
Has UML died without anyone noticing?
I'm playing around with this library for a medium sized state machine I'm setting up, and it has this functionality. I think explicit state machines are a good use-case for having an actual diagram, since they can take up enough space that it becomes hard to build a mental map from reading the code due to locality issues.
What are some alternatives?
Appccelerate - State Machine - A .net library that lets you build state machines (hierarchical, async with fluent definition syntax and reporting capabilities).
Automatonymous - A state machine library for .Net - 100% code - No doodleware
P - The P programming language.
MassTransit - Distributed Application Framework for .NET
lucene-grep - Grep-like utility based on Lucene Monitor compiled with GraalVM native-image
LiquidState - Efficient asynchronous and synchronous state machines for .NET
loom - https://openjdk.org/projects/loom
Sourcetrail - Sourcetrail - free and open-source interactive source explorer
tlaplus-graph-explorer - A static web application to explore and animate a TLA+ state graph.
Sprache - A tiny, friendly, C# parser construction library