anishathalye/porcupine
View on GitHub ↗ ★ 1,277 Go
A fast linearizability checker written in Go 🔎
8 mentions on Hacker News by 8 people: 5 stories, 3 comments · first 2017-06-04 · latest 2025-01-11
20082026
-
…they are not exhaustive. [0] https://assets.amazon.science/77/5e/4a7c238f4ce890efdc325df8... [1] https://github.com/anishathalye/porcupine
comment by charleshn · 2025-01-11 · in Formal Methods: Just Good Engineering Practice? (2024) -
▲ 3
Porcupine is a fast linearizability checker for distributed systemsstory by gjvc · 2023-10-08 · 0 comments
-
▲ 3
Porcupine: Fast linearizability checker to test distributed system correctnessstory by didip · 2022-01-30 · 0 comments
-
▲ 66
Porcupine: A fast linearizability checker written in Gostory by cube2222 · 2018-09-09 · 7 comments
-
▲ 2
Porcupine, a fast linearizability checker for distributed systems in Gostory by jinqueeny · 2018-09-07 · 1 comment
-
▲ 1
Porcupine, a fast linearizability checker written in Gostory by yandrypozo · 2017-10-22 · 0 comments
-
Hi @anishathalye, thanks for your https://github.com/anishathalye/porcupine . It’s a great project! Would you like to help me to check whether our model check is right or not with Porcupine? That would be highly appreciated!
comment by siddontang · 2017-10-20 · in TiDB – a global scale distributed DB -
…buries the lede: Anish implemented a really fast checker called Porcupine which is available here https://github.com/anishathalye/porcupine . Would love to hear more on how this helped you catch any bugs & how the diagnosis process goes…
comment by jlrubin · 2017-06-04 · in Testing Distributed Systems for Linearizability