loom
coyote
Our great sponsors
loom | coyote | |
---|---|---|
10 | 13 | |
1,824 | 1,415 | |
1.0% | 0.7% | |
10.0 | 6.0 | |
3 days ago | 21 days ago | |
Java | C# | |
GNU General Public License v3.0 only | 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.
loom
-
Using Java's Project Loom to build more reliable distributed systems
It's more accurate to say Loom is [a particular type of] continuations in the JVM, which can be used to implement green threads / fibers.
You can see the implementation of VirtualThread here: https://github.com/openjdk/loom/blob/fibers/src/java.base/sh...
This uses the internal 'one-shot delimited continuation': https://github.com/openjdk/loom/blob/fibers/src/java.base/sh...
So, at least in principle, there is scope for other styles of concurrency to be implemented over this.
- Virtual thread (along with Structured concurrency and Scope Local) is previewing in JDK19?
-
6 .NET Myths Dispelled — Celebrating (Almost) 21 Years of .NET
Loom is actively developed https://github.com/openjdk/loom
- Project Valhalla status summary
-
Brian Goetz: "I think Project Loom is going to kill Reactive Programming"
Currently the Thread public constructor defaults to platform threads to be fully backwards compatible. So all libraries must be updated to support the new model.
-
Java’s Project Loom, Virtual Threads and Structured Concurrency with Ron Pressler
I've been casually following the repo ( https://github.com/openjdk/loom ) and the mailing list ( https://mail.openjdk.java.net/mailman/listinfo/loom-dev ) over the last 18 months or so, and it definitely appears that things are ramping up as of late. The implication (as I see it) is that they are relatively happy with the general design are and are at the point where they want help from experts in the various areas of the JDK (GC, Debugging, etc) to make sure that their pieces play well with Loom.
-
[Project Loom] New ea build based on jdk-17+13 is available for download.
https://github.com/openjdk/loom/blob/fibers/src/java.base/share/classes/sun/nio/ch/NioSocketImpl.java#L177
- [project loom] New thread builder API.
-
Have created a short and practical intro into what project loom is all about.
[1] https://github.com/openjdk/loom/blob/fibers/src/java.base/share/classes/java/lang/VirtualThread.java#L933
- Loom adds a feature to generate thread dump in JSON format.
coyote
- Does Your Test Suite Account for Weak Transaction Isolation?
-
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.
-
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...
What are some alternatives?
MQTTnet - MQTTnet is a high performance .NET library for MQTT based communication. It provides a MQTT client and a MQTT server (broker). The implementation is based on the documentation from http://mqtt.org/.
Appccelerate - State Machine - A .net library that lets you build state machines (hierarchical, async with fluent definition syntax and reporting capabilities).
cats - Lightweight, modular, and extensible library for functional programming.
Automatonymous - A state machine library for .Net - 100% code - No doodleware
rpi-projects - Drivers and home automation projects for Raspberry PI.
P - The P programming language.
csharplang - The official repo for the design of the C# programming language
lucene-grep - Grep-like utility based on Lucene Monitor compiled with GraalVM native-image
JDK - JDK main-line development https://openjdk.org/projects/jdk
tlaplus-graph-explorer - A static web application to explore and animate a TLA+ state graph.
NSubstitute - A friendly substitute for .NET mocking libraries.