Andreas Rumpf a690a9ac90 YRC: threadsafe cycle collection for Nim (#25495) ...

First performance numbers:

time tests/arc/torcbench   -- YRC
true peak memory: true

real    0m0,163s
user    0m0,161s
sys     0m0,002s


time tests/arc/torcbench   -- ORC
true peak memory: true

real    0m0,107s
user    0m0,104s
sys     0m0,003s


So it's 1.6x slower. But it's threadsafe and provably correct. (Lean and
model checking via TLA+ used.)

Of course there is always the chance that the implementation is wrong
and doesn't match the model.

2026-02-10 00:04:11 +01:00

..

tyrc_cas_race.nim

YRC: threadsafe cycle collection for Nim (#25495)

2026-02-10 00:04:11 +01:00

tyrc_shared_cycle.nim

YRC: threadsafe cycle collection for Nim (#25495)

2026-02-10 00:04:11 +01:00