4 ms·

Porcupine, a fast linearizability checker for distributed systems in Go

• jinqueeny 8y ago
  It implements the algorithm in "Faster linearizability checking via P-compositionality": https://arxiv.org/pdf/1504.00204.pdf https://arxiv.org/pdf/1504.00204.pdf