Lincheck Alternatives
Similar projects and alternatives to lincheck
-
-
InfluxDB
InfluxDB – Built for High-Performance Time Series Workloads. InfluxDB 3 OSS is now GA. Transform, enrich, and act on time series data directly in the database. Automate critical tasks and eliminate the need to move data externally. Download now.
-
-
temper
Deterministic simulation of concurrency and failure in distributed systems (by reitzensteinm)
-
-
-
-
Stream
Stream - Scalable APIs for Chat, Feeds, Moderation, & Video. Stream helps developers build engaging apps that scale to millions with performant and flexible Chat, Feeds, Moderation, and Video APIs and SDKs powered by a global edge network and enterprise-grade infrastructure.
-
lincheck discussion
lincheck reviews and mentions
-
Fray: A Controlled Concurrency Testing Framework for the JVM
See also: "lincheck" by Jetbrains
https://github.com/JetBrains/lincheck
Toolkit for automatically deriving linearizability proofs for Concurrent Data Structures/Primtives.
https://blog.jetbrains.com/kotlin/2021/02/how-we-test-concur...
-
Properly Testing Concurrent Data Structures
JetBrains’ Lincheck[0] is a good library in the Kotlin/Java world for this stuff. I especially like that it’s declarative, and also the way it outputs the linearizability results.
[0]: https://github.com/JetBrains/lincheck
Stats
JetBrains/lincheck is an open source project licensed under Mozilla Public License 2.0 which is an OSI approved license.
The primary programming language of lincheck is Kotlin.