corpus.blog
41554 blogs · 4,417,066 posts Claim your blog
Record · corpus.blog/posts/01a08725-d28a-72c5-b2fc-aee9ed72707d

Shared Memory Consistency From Scratch Part 1: Causality

allthoughts.me · published 4 September 2026

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 allthoughts.me Wayback capture
0blogs citing
First cited
—
Most recent
—
Rank this month
not ranked
Links from this post
87
Words captured
20,323

Cited by

No blog we hold has cited this post yet.

Links from this post

Link
Host
http://rdrop.com/users/paulmck/scalability/paper/whymb.2010.06.14a.pdf
rdrop.com
https://link.springer.com/book/10.1007/978-3-031-01764-3
link.springer.com
https://www.amazon.com/Principles-Practices-Interconnection-Networks-Architecture/dp/0122007514
amazon.com
https://support.arm.com/documentation/102336/0101/Who-is-an-Observer-
support.arm.com
https://dl.acm.org/doi/10.1145/3297858.3304043
dl.acm.org
https://oar.princeton.edu/bitstream/88435/pr19c37/1/FoundationsMemoryTesting.pdf
oar.princeton.edu
https://www.intel.com/content/www/us/en/docs/oneapi/optimization-guide-gpu/2024-0/gpu-memory-system.html
intel.com
https://www.cl.cam.ac.uk/~pes20/cpp/cpp0xmappings.html
cl.cam.ac.uk
https://www.decadent.org.uk/pipermail/cpp-threads/2008-December/001932.html
decadent.org.uk
https://github.com/herd/herdtools7
github.com
https://www.open-std.org/jtc1/sc22/wg14/www/docs/n1349.htm
open-std.org
https://doc.rust-lang.org/std/sync/atomic/
doc.rust-lang.org
https://github.com/odin-lang/Odin/blob/master/src/common.cpp
github.com
https://llvm.org/docs/Atomics.html
llvm.org
https://github.com/ziglang/zig/issues/6396
github.com
https://go.dev/ref/mem
go.dev
https://rsim.cs.uiuc.edu/Pubs/popl05.pdf
rsim.cs.uiuc.edu
https://plv.mpi-sws.org/scfix/paper.pdf
plv.mpi-sws.org
https://www.open-std.org/jtc1/sc22/wg21/docs/papers/2018/p0668r5.html
open-std.org
https://cplusplus.github.io/LWG/lwg-active.html
cplusplus.github.io
https://en.wikipedia.org/wiki/Simultaneous_multithreading
en.wikipedia.org
https://en.wikipedia.org/wiki/Single_instruction,_multiple_threads
en.wikipedia.org
https://en.wikipedia.org/wiki/Load-Hit-Store
en.wikipedia.org
https://en.wikipedia.org/wiki/Out-of-order_execution
en.wikipedia.org
http://www.ai.mit.edu/projects/aries/papers/consistency/computer_29_12_dec1996_p66.pdf
ai.mit.edu
https://en.wikipedia.org/wiki/X86_assembly_language
en.wikipedia.org
https://en.wikipedia.org/wiki/Seqlock
en.wikipedia.org
https://en.wikipedia.org/wiki/Actor_model
en.wikipedia.org
https://en.wikipedia.org/wiki/Mutual_exclusion
en.wikipedia.org
https://www.cl.cam.ac.uk/~pes20/ppc-supplemental/pldi105-sarkar.pdf
cl.cam.ac.uk
https://www.youtube.com/watch?v=jKhGHxO-woc
youtube.com
https://www.kernel.org/doc/html/v6.1/x86/buslock.html
kernel.org
http://refspecs.linux-foundation.org/IA64-softdevman-vol2.pdf
refspecs.linux-foundation.org
https://dl.acm.org/doi/10.1145/1375581.1375591
dl.acm.org
https://en.wikipedia.org/wiki/Causal_consistency
en.wikipedia.org
https://www.cs.kent.ac.uk/people/staff/mjb211/docs/toc.pdf
cs.kent.ac.uk
https://wiki.raptorcs.com/w/images/1/1a/PowerISA_V2.06_PUBLIC.pdf
wiki.raptorcs.com
https://en.wikipedia.org/wiki/Directed_acyclic_graph
en.wikipedia.org
https://www.cl.cam.ac.uk/~sf502/popl16/index.html
cl.cam.ac.uk
https://www.cl.cam.ac.uk/~pes20/armv8-mca/
cl.cam.ac.uk
https://www.ponylang.io/media/papers/a_string_of_ponies.pdf
ponylang.io
https://en.wikipedia.org/wiki/Pony_(programming_language
en.wikipedia.org
https://webperso.info.ucl.ac.be/~pvr/p111-Bravo.pdf
webperso.info.ucl.ac.be
https://fpaxos.github.io/
fpaxos.github.io
https://www.youtube.com/watch?v=P0cAG-RM1_c
youtube.com
https://dl.acm.org/doi/pdf/10.1145/115952.115964
dl.acm.org
https://ieeexplore.ieee.org/document/653032
ieeexplore.ieee.org
https://en.wikipedia.org/wiki/Double-ended_queue
en.wikipedia.org
https://inria.hal.science/hal-00802885/document
inria.hal.science
https://ieeexplore.ieee.org/document/765947
ieeexplore.ieee.org
https://en.wikipedia.org/wiki/Reference_counting
en.wikipedia.org
https://en.wikipedia.org/wiki/Hazard_pointer
en.wikipedia.org
https://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-579.html
cl.cam.ac.uk
https://en.wikipedia.org/wiki/Read-copy-update
en.wikipedia.org
https://www.cs.toronto.edu/~tomhart/masters_thesis.html
cs.toronto.edu
https://en.wikipedia.org/wiki/Dekker%27s_algorithm
en.wikipedia.org
https://www.cl.cam.ac.uk/~pes20/ppc-supplemental/ppc451.html
cl.cam.ac.uk
https://www.cl.cam.ac.uk/~pes20/ppc-supplemental/ppc541.html
cl.cam.ac.uk
https://www.cl.cam.ac.uk/~pes20/ppc-supplemental/ppc415.html
cl.cam.ac.uk
https://www.cl.cam.ac.uk/~pes20/ppc-supplemental/ppc051.html
cl.cam.ac.uk
https://www.cl.cam.ac.uk/~pes20/ppc-supplemental/ppc418.html
cl.cam.ac.uk
https://diy.inria.fr/linux/specific.html
diy.inria.fr
https://www.cl.cam.ac.uk/~pes20/ppc-supplemental/ppc713.html
cl.cam.ac.uk
https://www.cl.cam.ac.uk/~pes20/ppc-supplemental/ppc711.html
cl.cam.ac.uk
https://en.cppreference.com/cpp/atomic/memory_order
en.cppreference.com
https://en.wikipedia.org/wiki/Order_theory
en.wikipedia.org
https://en.wikipedia.org/wiki/Topological_sorting
en.wikipedia.org
https://en.wikipedia.org/wiki/Linear_extension
en.wikipedia.org
https://arxiv.org/abs/1611.01507
arxiv.org
https://plv.mpi-sws.org/scfix/full.pdf
plv.mpi-sws.org
https://en.wikipedia.org/wiki/Geocentrism
en.wikipedia.org
https://arxiv.org/abs/1503.07073
arxiv.org
https://www.open-std.org/jtc1/sc22/wg21/docs/papers/2018/p0124r6.html
open-std.org
https://en.wikipedia.org/wiki/Interrupt_request
en.wikipedia.org
https://en.wikipedia.org/wiki/Context_switch
en.wikipedia.org
https://en.wikipedia.org/wiki/Aliasing_(computing
en.wikipedia.org
https://en.wikipedia.org/wiki/Very_long_instruction_word
en.wikipedia.org
https://ieeexplore.ieee.org/document/877948
ieeexplore.ieee.org
https://arxiv.org/abs/1308.6810
arxiv.org
https://support.arm.com/documentation/uan0004/a/
support.arm.com
https://docs.altera.com/r/docs/683618/current/cyclone-v-sx-st-and-se-soc-device-errata/arm-cortex-a9-mpcore-and-l2-cache-errata
docs.altera.com
https://support.arm.com/documentation/SDEN-1873361/0000/Errata-descriptions/Category-B/2218950-Aliased-loads-and-stores-might-cause-an-ordering-violation
support.arm.com
https://support.arm.com/documentation/SDEN-1873361/0000/Errata-descriptions/Category-B--rare-/1976290-A-Tag-Checked-load-might-forward-incorrect-data
support.arm.com
https://support.arm.com/documentation/SDEN-1873351/0000/Errata-descriptions/Category-C/2230537-Load-following-SVE-predicated-load-store-might-cause-ordering-violation
support.arm.com
https://github.com/gcc-mirror/gcc/blob/master/gcc/config/ia64/sync.md
github.com
https://github.com/postgres/postgres/blob/aef5fe7efee5bde4abd618adbaf4c13f44ee59ab/src/include/storage/s_lock.h
github.com
https://www.physics.udel.edu/%7Ebnikolic/QTTG/shared/docs/intel_c_user_and_reference_guide.pdf
physics.udel.edu