Ecosyste.ms: Awesome

An open API service indexing awesome lists of open source software.

Awesome Lists | Featured Topics | Projects

Projects in Awesome Lists tagged with linearizability

A curated list of projects in awesome lists tagged with linearizability .

https://github.com/opencomputeproject/time-appliance-project

Develop an end-to-end hypothetical reference model, network architectures, precision time tools, performance objectives and the methods to distribute, operate, monitor time synchronization within data center and much more...

distributed-systems linearizability synchronization

Last synced: 01 Oct 2024

https://github.com/opencomputeproject/Time-Appliance-Project

Develop an end-to-end hypothetical reference model, network architectures, precision time tools, performance objectives and the methods to distribute, operate, monitor time synchronization within data center and much more...

distributed-systems linearizability synchronization

Last synced: 04 Aug 2024

https://github.com/lorin/tla-linearizability

Reading the linearizability paper with TLA+

linearizability tlaplus

Last synced: 31 Jul 2024

https://github.com/kysely/atomicloop

Create atomic loop iterations (let the current iteration finish even when interrupted)

atomic atomic-loop atomicity delayed graceful-shutdown iteration linearizability machine-learning python reinforcement-learning sigint sigterm

Last synced: 05 Oct 2024