linearizability checker for distributed systems
-
Updated
Jul 8, 2024 - Python
#
linearizability
Here are 2 public repositories matching this topic...
Create atomic loop iterations (let the current iteration finish even when interrupted)
python machine-learning reinforcement-learning atomic iteration sigterm sigint graceful-shutdown atomicity delayed linearizability atomic-loop
-
Updated
Jul 7, 2018 - Python
Improve this page
Add a description, image, and links to the linearizability topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the linearizability topic, visit your repo's landing page and select "manage topics."