GitHub 中文社区
回车: Github搜索    Shift+回车: Google搜索
论坛
排行榜
趋势
登录

©2025 GitHub中文社区论坛GitHub官网网站地图GitHub官方翻译

  • X iconGitHub on X
  • Facebook iconGitHub on Facebook
  • Linkedin iconGitHub on LinkedIn
  • YouTube iconGitHub on YouTube
  • Twitch iconGitHub on Twitch
  • TikTok iconGitHub on TikTok
  • GitHub markGitHub’s organization on GitHub
集合主题趋势排行榜
#

linearizability

Website
Wikipedia
https://static.github-zh.com/github_avatars/pingcap?size=40
pingcap / chaos

A test framework for linearizability check with Go

linearizability
Go 211
6 年前
https://static.github-zh.com/github_avatars/stevana?size=40
stevana / property-based-testing-stateful-systems-tutorial

A tutorial about how to apply property-based testing to stateful systems.

fault-injectionHaskelllinearizabilityproperty-based-testingstate-machines教程
Haskell 78
2 年前
https://static.github-zh.com/github_avatars/lorin?size=40
lorin / tla-linearizability

Reading the linearizability paper with TLA+

linearizabilitytlaplus
TLA 49
3 年前
https://static.github-zh.com/github_avatars/rystsov?size=40
rystsov / fast-jepsen

Using "Testing Shared Memories" paper to make Jepsen check linearizability in linear time

jepsenlinearizabilitykey-value
Clojure 20
7 年前
https://static.github-zh.com/github_avatars/SmnTin?size=40
SmnTin / lincheck

A linearizability checker for concurrent data structures

linearizabilitylock-freemodel-checkingTestingverification
Rust 12
2 年前
https://static.github-zh.com/github_avatars/ligurio?size=40
ligurio / molly

Framework for distributed system's verification, with fault injection.

jepsenfault-injectionlinearizabilityLuaconsistency
Lua 10
8 个月前
https://static.github-zh.com/github_avatars/advancedtelematic?size=40
advancedtelematic / quickcheck-state-machine-distributed

Test monadic programs using state machine based models

quickcheckTestingHaskellrace-conditionslinearizabilityFinite-state machine
Haskell 6
7 年前
https://static.github-zh.com/github_avatars/stevana?size=40
stevana / stateful-pbt-with-fakes

linearizabilityproperty-based-testing
Haskell 6
6 个月前
https://static.github-zh.com/github_avatars/tarantool?size=40
tarantool / jepsen.tarantool

Jepsen tests for Tarantool

jepsenjepsen-testslinearizabilityconsistencyfault-injection
Clojure 6
2 年前
https://static.github-zh.com/github_avatars/kaymanb?size=40
kaymanb / todc

A collection of Rust crates for distributed computing.

distributed-computinglinearizabilitymessage-passingRustshared-memory
Rust 5
10 个月前
https://static.github-zh.com/github_avatars/ITMO-PTDC-Team?size=40
ITMO-PTDC-Team / LTest

LTest is a framework for verifying the linearizability of C++ data structures.

C++datastructureslinearizabilityverification
C++ 4
9 天前
https://static.github-zh.com/github_avatars/resonatehq?size=40
resonatehq / durable-promise-test-harness

This test harness is a verification system that checks implementations for conformance to the Durable Promise Specification.

concurrencylinearizabilitypseudo-randomload-testingperformance-analysisdistributed-systemsGo
Go 4
2 年前
https://static.github-zh.com/github_avatars/Wolff09?size=40
Wolff09 / seal

Verification tool for lock-free data structures with safe memory reclamation.

lock-free数据结构verificationlinearizabilitymemory-managementhazard-pointerepoch-based-reclamationtype-system
C++ 4
4 年前
https://static.github-zh.com/github_avatars/arnobpl?size=40
arnobpl / Dynamo-Style-Distributed-Key-Value-Storage

Amazon Dynamo-style distributed key-value storage with partitioning, replication, and failure handling

distributed-systemshashtabledhtreplicationconcurrencyconsistencylinearizabilityfailure-handlingrecoveryavailabilityRouting (disambiguation)deleteQuery (disambiguation)socket-programming
Java 4
5 年前
https://static.github-zh.com/github_avatars/coldcolacos?size=40
coldcolacos / mit-6.824-2018

Pass 4 labs more than 1, 000 times without failure.

mapreduceraftconsensusload-balancelinearizabilitygoroutine
Go 3
6 年前
https://static.github-zh.com/github_avatars/Wolff09?size=40
Wolff09 / TMRexp

An experimental linearizability checker for lock-free data structures using safe memory reclamation.

static-analysisverificationlock-freelinearizabilitymemory-management
HTML 3
4 年前
https://static.github-zh.com/github_avatars/platonic-io?size=40
platonic-io / property-based-testing-stateful-systems

A tutorial about how to apply property-based testing to stateful systems.

property-based-testingHaskell教程state-machinesfault-injectionlinearizability
Haskell 2
3 年前
https://static.github-zh.com/github_avatars/jhmfreitas?size=40
jhmfreitas / DIDA-Gstore

Design and Implementation of Distributed Applications (DAD) Course Project (Grade: 18.5/20) - IST - 2020/2021

eventual-consistencydistributed-systemslinearizability
C# 1
5 年前
https://static.github-zh.com/github_avatars/pcholakov?size=40
pcholakov / jepsen-restate

Jepsen tests for Restate

distributed-systemslinearizabilityTesting
Clojure 1
6 个月前
https://static.github-zh.com/github_avatars/stevana?size=40
stevana / deterministic-scheduler

Parallel property-based testing with a deterministic thread scheduler

linearizabilityTesting
Haskell 1
1 年前
loading...