mirrors/Nim - Nim - Kyren's Code

mirrors/Nim

Fork 0

mirror of https://github.com/nim-lang/Nim.git synced 2026-08-01 04:59:05 +00:00

Commit Graph

Author	SHA1	Message	Date
Andreas Rumpf	b3e21240a6	YRC: cleanups and tests (#26026 )	2026-07-22 20:19:32 +02:00
Andreas Rumpf	c4716ed461	YRC: use a side-table for topology (#26022 ) - Much better locking scheme - Run concurrently with the mutators - Thread local collections - Tarjan's algorithm for cycle collection	2026-07-20 08:38:54 +02:00
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

Author

SHA1

Message

Date

Andreas Rumpf

b3e21240a6

YRC: cleanups and tests (#26026 )

2026-07-22 20:19:32 +02:00

Andreas Rumpf

c4716ed461

YRC: use a side-table for topology (#26022 )

- Much better locking scheme
- Run concurrently with the mutators
- Thread local collections
- Tarjan's algorithm for cycle collection

2026-07-20 08:38:54 +02:00

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

3 Commits