corpus.blog
41,554 blogs · 5,316,985 posts Claim your blog
Record · corpus.blog/posts/01a0b877-6fba-72d2-8cca-9ab2cf6448f7

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

tarides.com · published 10 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
External links
30
Words captured
6,150

Cited by

No blog we hold has cited this post yet.

Links from this post

Link
Host
https://en.wikipedia.org/wiki/ACID
en.wikipedia.org
https://www.microsoft.com/en-us/research/wp-content/uploads/2005/01/2005-ppopp-composable.pdf?from=https://research.microsoft.com/~simonpj/papers/stm/stm.pdf
microsoft.com
https://ocaml-multicore.github.io/kcas/doc/kcas/Kcas/Retry/index.html
ocaml-multicore.github.io
https://ocaml-multicore.github.io/kcas/doc/kcas_data/Kcas_data/Queue/index.html
ocaml-multicore.github.io
https://github.com/ocaml-multicore/eio
github.com
https://github.com/ocaml-multicore/domainslib
github.com
https://github.com/ocaml-multicore/domain-local-await/
github.com
https://github.com/ocaml-multicore/saturn/pull/68
github.com
https://discuss.ocaml.org/t/interaction-between-eio-and-domainslib-unhandled-exceptions/11971/10
discuss.ocaml.org
https://ocaml-multicore.github.io/kcas/doc/kcas/Kcas/Xt/index.html
ocaml-multicore.github.io
https://github.com/ocaml-multicore/domain-local-timeout
github.com
http://rgrinberg.com/posts/abandoning-async/
rgrinberg.com
https://en.wikipedia.org/wiki/Rendezvous_(Plan_9
en.wikipedia.org
https://people.cs.uchicago.edu/~jhr/papers/cml.html
people.cs.uchicago.edu
https://go.dev/
go.dev
https://ocaml-multicore.github.io/eio/eio/Eio/Stream/index.html
ocaml-multicore.github.io
https://twistedsquare.com/CHP.pdf
twistedsquare.com
https://www.cs.cornell.edu/people/fluet/research/tx-events/ICFP06/icfp06.pdf
cs.cornell.edu
https://aturon.github.io/academic/reagents.pdf
aturon.github.io
https://en.wikipedia.org/wiki/Linearizability
en.wikipedia.org
https://en.wikipedia.org/wiki/Serializability
en.wikipedia.org
https://en.wikipedia.org/wiki/Tree_rotation
en.wikipedia.org
https://dl.acm.org/doi/10.1145/1345206.1345233
dl.acm.org
https://en.wikipedia.org/wiki/Amdahl%27s_law
en.wikipedia.org
https://www.microsoft.com/en-us/research/wp-content/uploads/2005/01/2005-ppopp-composable.pdf
microsoft.com
https://dl.acm.org/doi/abs/10.1145/3241625.2976020
dl.acm.org
https://github.com/zio/zio/issues/6324
github.com
https://www.youtube.com/watch?v=k20nWb9fHj0
youtube.com
https://en.wikipedia.org/wiki/WAVL_tree
en.wikipedia.org
https://joeduffyblog.com/2010/01/03/a-brief-retrospective-on-transactional-memory/
joeduffyblog.com