corpus.blog
41554 blogs · 4,417,066 posts Claim your blog
Record · corpus.blog/posts/01a0b877-6fba-72d2-8cca-9ab2cfe3fd40

Kcas: Building a Lock-Free STM for OCaml (1/2)

tarides.com · published 7 August 2023

A record is what was published and who pointed at it. The text of the post is not held here: read it at the source, or at its Wayback capture.

Read the post at tarides.com Wayback capture
0blogs citing
First cited
—
Most recent
—
Rank this month
not ranked
Links from this post
26
Words captured
9,917

Cited by

No blog we hold has cited this post yet.

Links from this post

Link
Host
https://github.com/ocaml-multicore/kcas/
github.com
https://www.youtube.com/watch?v=hou0lU8WMgo
youtube.com
https://github.com/realworldocaml/mdx
github.com
https://aturon.github.io/academic/reagents.pdf
aturon.github.io
https://v2.ocaml.org/api/Atomic.html
v2.ocaml.org
https://ocaml-multicore.github.io/kcas/0.6.0/kcas/Kcas/Loc/index.html
ocaml-multicore.github.io
https://en.wikipedia.org/wiki/Idempotence
en.wikipedia.org
https://ocaml-multicore.github.io/kcas/0.6.0/kcas/Kcas/Op/index.html
ocaml-multicore.github.io
https://www.cl.cam.ac.uk/research/srg/netos/papers/2002-casn.pdf
cl.cam.ac.uk
https://dl.acm.org/doi/10.1007/11864219_14
dl.acm.org
https://arxiv.org/pdf/2008.02527.pdf
arxiv.org
https://en.wikipedia.org/wiki/Time_complexity
en.wikipedia.org
https://en.wikipedia.org/wiki/Splay_tree
en.wikipedia.org
https://ocaml-multicore.github.io/kcas/0.6.0/kcas/Kcas/Xt/index.html
ocaml-multicore.github.io
https://en.wikipedia.org/wiki/Bloom_filter
en.wikipedia.org
https://en.wikipedia.org/wiki/MSI_protocol
en.wikipedia.org
https://people.csail.mit.edu/shanir/publications/Lock_Free.pdf
people.csail.mit.edu
https://en.wikipedia.org/wiki/Exponential_backoff
en.wikipedia.org
https://people.csail.mit.edu/shanir/publications/Nonblocking%20k-compare.pdf
people.csail.mit.edu
https://en.wikipedia.org/wiki/Non-blocking_algorithm
en.wikipedia.org
https://github.com/ocaml-multicore/kcas/blob/main/doc/gkmz-with-read-only-cmp-ops.md
github.com
https://www.microsoft.com/en-us/research/wp-content/uploads/1994/06/lazy-functional-state-threads.pdf
microsoft.com
https://ocaml-multicore.github.io/kcas/doc/kcas_data/Kcas_data/index.html
ocaml-multicore.github.io
https://youtu.be/ZkUrl8BZHjk?t=1503
youtu.be
https://en.wikipedia.org/wiki/Lock_(computer_science
en.wikipedia.org
https://www.cs.rochester.edu/~scott/papers/1996_PODC_queues.pdf
cs.rochester.edu