search

jepsen-io / knossos

Verifies the linearizability of experimentally accessible histories.
398 stars 31 forks source link

Should process ids be 64 bits long? #15

Open mstewartgallus opened 7 years ago

mstewartgallus commented 7 years ago

I use the pthread_self function for the :process id for events. However, these pointers are 64 bits long and so don't fit for some of the uses Clojure does.

I think this might actually be a common use case but maybe there is too much of a performance problem or something.

aphyr commented 7 years ago

I think arbitrary objects should be fine, you'll just pay some extra penalties for comparisons over bigints. Might be worth remapping those process ids to small numbers just for your own sanity; might make it easier to read the traces. :)