mwhittaker/linearizability

Linearizability Visualizer

Linearizability

Linearizability visualizer.

Queues

(a) H1 (acceptable)

(b) H2 (not acceptable)

(c) H3 (acceptable)

(d) H4 (not acceptable)

Registers

(a) H5 (acceptable)

(b) H6 (not acceptable)