Code

Lock free skiplist with size#99

Code

Merged

polytypic merged 11 commits intomainocaml-multicore/saturn:mainfrom lock-free-skiplist-with-sizeocaml-multicore/saturn:lock-free-skiplist-with-sizeCopy head branch name to clipboardJan 11, 2024

+873

Commits

Commits on Jan 4, 2024

• Lockfree skiplist.

  

  lyrm

  authored and

  polytypic

  committed
  394c383

  Copy full SHA for 394c383

• Add stm and more dscheck tests.

  

  lyrm

  authored and

  polytypic

  committed
  f7aee5b

  Copy full SHA for f7aee5b

• Renaming atomicskiplist to skiplist

  

  lyrm

  authored and

  polytypic

  committed
  a0003a0

  Copy full SHA for a0003a0

• Merge with main.

  

  lyrm

  authored and

  polytypic

  committed
  ac2f4ad

  Copy full SHA for ac2f4ad

• Make skiplist polymorphic.

  

  lyrm

  authored and

  polytypic

  committed
  23a0e08

  Copy full SHA for 23a0e08

• Debug level issues.

  

  lyrm

  authored and

  polytypic

  committed
  6bb4ede

  Copy full SHA for 6bb4ede

• Cleanup and documentation.

  

  lyrm

  authored and

  polytypic

  committed
  007cc29

  Copy full SHA for 007cc29

• Remove unnecessary Atomic.get

  

  lyrm

  authored and

  polytypic

  committed
  60a485b

  Copy full SHA for 60a485b

• Fixed "add" test and avoid sorting when removing dups

  polytypic

  committed
  1d8b34e

  Copy full SHA for 1d8b34e

• Add skiplist with generalized size computation

  polytypic

  committed
  f642273

  Copy full SHA for f642273

Commits on Jan 11, 2024

• Formatting

  polytypic

  committed
  808ddd1

  Copy full SHA for 808ddd1