Record · corpus.blog/posts/01a087ad-8037-73f5-8dd5-9d0db37c4448

Learner's Notes: Linux membarrier() System Call - Details of Asymmetric Fences

nekrozqliphort.github.io · published 5 July 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 nekrozqliphort.github.io Wayback capture

0blogs citing

First cited: —
Most recent: —
Rank this month: not ranked
External links: 24
Words captured: 7,740

Cited by

No blog we hold has cited this post yet.

Links from this post

Link

Host

https://github.com/facebook/folly/tree/main/folly/synchronization

github.com

https://www.open-std.org/jtc1/sc22/wg21/docs/papers/2018/p1202r0.pdf

open-std.org

https://eel.is/c++draft/thread.thread.constr

eel.is

https://timsong-cpp.github.io/cppwp/n4950/intro.races

timsong-cpp.github.io

https://timsong-cpp.github.io/cppwp/n4950/atomics.order

timsong-cpp.github.io

https://timsong-cpp.github.io/cppwp/n4950/dcl.asm

timsong-cpp.github.io

https://gcc.gnu.org/onlinedocs/gcc/Extended-Asm.html

gcc.gnu.org

https://en.cppreference.com/cpp/atomic/atomic_thread_fence

en.cppreference.com

https://www.kernel.org/doc/Documentation/scheduler/membarrier.rst

kernel.org

https://github.com/torvalds/linux/commit/450cbdd0125cfa5d7bbf9e2a6b6961cc48d29730

github.com

https://www.open-std.org/jtc1/sc22/wg21/docs/papers/2022/p1202r5.pdf

open-std.org

https://www.open-std.org/jtc1/sc22/wg21/docs/papers/2023/n4953.pdf

open-std.org

https://dl.acm.org/doi/epdf/10.1145/2627752

dl.acm.org

https://github.com/torvalds/linux/blob/master/tools/memory-model/Documentation/explanation.txt

github.com

https://developer.arm.com/documentation/dui0489/i/arm-and-thumb-instructions/

developer.arm.com

https://www.intel.com/content/www/us/en/developer/articles/technical/intel-sdm.html

intel.com

https://plv.mpi-sws.org/scfix/paper.pdf

plv.mpi-sws.org

https://stackoverflow.com/questions/59217821/why-memory-reordering-is-not-a-problem-on-single-core-processor-machines

stackoverflow.com

https://en.wikipedia.org/wiki/Memory_barrier

en.wikipedia.org

https://litux.nl/mirror/kerneldevelopment/0672327201/ch14lev1sec1.html

litux.nl

https://docs.kernel.org/mm/active_mm.html

docs.kernel.org

https://blog.yossarian.net/2020/12/16/Static-calls-in-Linux-5-10

blog.yossarian.net

https://web.archive.org/web/20210928232348/https://shipilev.net/blog/2014/on-the-fence-with-dependencies/

web.archive.org

https://stackoverflow.com/questions/43722456/behavior-of-mprotect-with-multiple-threads

stackoverflow.com

Elsewhere on nekrozqliphort.github.io (19)

https://nekrozqliphort.github.io/assets/img/posts_img/2026-07-06-membarrier/dekkers-example-light.png

nekrozqliphort.github.io

https://nekrozqliphort.github.io/assets/img/posts_img/2026-07-06-membarrier/dekkers-example-dark.png

nekrozqliphort.github.io

https://nekrozqliphort.github.io/happens-b4

nekrozqliphort.github.io

https://nekrozqliphort.github.io/assets/img/posts_img/2026-07-06-membarrier/membarrier-case-1-light.png

nekrozqliphort.github.io

https://nekrozqliphort.github.io/assets/img/posts_img/2026-07-06-membarrier/membarrier-case-1-dark.png

nekrozqliphort.github.io

https://nekrozqliphort.github.io/assets/img/posts_img/2026-07-06-membarrier/membarrier-case-2-light.png

nekrozqliphort.github.io

https://nekrozqliphort.github.io/assets/img/posts_img/2026-07-06-membarrier/membarrier-case-2-dark.png

nekrozqliphort.github.io

https://nekrozqliphort.github.io/assets/img/posts_img/2026-07-06-membarrier/membarrier-case-3-light.png

nekrozqliphort.github.io

https://nekrozqliphort.github.io/assets/img/posts_img/2026-07-06-membarrier/membarrier-case-3-dark.png

nekrozqliphort.github.io

https://nekrozqliphort.github.io/assets/img/posts_img/2026-07-06-membarrier/membarrier-case-3-rf-light.png

nekrozqliphort.github.io

https://nekrozqliphort.github.io/assets/img/posts_img/2026-07-06-membarrier/membarrier-case-3-rf-dark.png

nekrozqliphort.github.io

https://nekrozqliphort.github.io/assets/img/posts_img/2026-07-06-membarrier/membarrier-case-3-rb-light.png

nekrozqliphort.github.io

https://nekrozqliphort.github.io/assets/img/posts_img/2026-07-06-membarrier/membarrier-case-3-rb-dark.png

nekrozqliphort.github.io

https://nekrozqliphort.github.io/assets/img/posts_img/2026-07-06-membarrier/membarrier-case-3-rb-explanation-light.png

nekrozqliphort.github.io

https://nekrozqliphort.github.io/assets/img/posts_img/2026-07-06-membarrier/membarrier-case-3-rb-explanation-dark.png

nekrozqliphort.github.io

https://nekrozqliphort.github.io/assets/img/posts_img/2026-07-06-membarrier/membarrier-formalization-approach-1-counterexample-light.png

nekrozqliphort.github.io

https://nekrozqliphort.github.io/assets/img/posts_img/2026-07-06-membarrier/membarrier-formalization-approach-1-counterexample-dark.png

nekrozqliphort.github.io

https://nekrozqliphort.github.io/assets/img/posts_img/2026-07-06-membarrier/membarrier-formalization-approach-2-example-light.png

nekrozqliphort.github.io

https://nekrozqliphort.github.io/assets/img/posts_img/2026-07-06-membarrier/membarrier-formalization-approach-2-example-dark.png

nekrozqliphort.github.io