Dat3M New LFDS benchmarks

New LFDS benchmarks

Open hernanponcedeleon opened this issue 2 years ago • 1 comments

The benchmarks are already written in C so we probably only need to write some client code.

Stack: https://github.com/skeeto/lstack Queue: https://github.com/skeeto/scratch/blob/master/misc/queue.c

May 16 '22 07:05 hernanponcedeleon

The stack requires a double-width CAS, which we don't support (yet). The queue might be doable, but it has a lot of bit vector reasoning.

May 16 '22 09:05 ThomasHaas

Closing resource issues. They will remain available even if closed.

Oct 05 '23 09:10 hernanponcedeleon