search

anishathalye / porcupine

A fast linearizability checker written in Go 🔎
https://anishathalye.com/testing-distributed-systems-for-linearizability/
MIT License
935 stars 52 forks source link

Add support for annotations in visualization #18

Closed anishathalye closed 3 days ago

anishathalye commented 7 months ago

See documentation for LinearizationInfo.AddAnnotations and the new Annotation type.

Example:

Visualization demo

[view interactive version]

serathius commented 6 months ago

Awesome! This does exactly what I had in mind.

Can't wait to test it.

anishathalye commented 6 months ago

Please let me know when you get a chance to test this — I would like to confirm that the API works for you before merging/releasing this addition to the public API of Porcupine.

serathius commented 6 months ago

Sorry, I didn't know you wanted for etcd testing the feature, I'm pretty busy this week, but maybe someone else from etcd community can help.

Filled https://github.com/etcd-io/etcd/issues/17988

anishathalye commented 6 months ago

There's no rush on my end, happy to hear your feedback whenever you have time

anishathalye commented 3 days ago

Squashed and merged in 12c3848.