, Linux Trace Tool (LTTng, 2017.

J. Alglave, M. Batty, A. F. Donaldson, G. Gopalakrishnan, J. Ketema et al., GPU Concurrency: Weak Behaviours and Programming Assumptions, 2015.

J. Alglave, P. Cousot, and L. Maranget, Syntax and semantics of the weak consistency model specification language cat, 2016.

J. Alglave, D. Kroening, and M. Tautschnig, Partial Orders for Efficient Bounded Model Checking of Concurrent Software, 2013.

, Computer Aided Verification (CAV) (LNCS), vol.8044, pp.141-157

J. Alglave and L. Maranget, The diy7 tool suite, pp.2011-2017, 2011.

J. Alglave and L. Maranget, Towards a formalisation of the HSA memory model in the cat language, 2015.

J. Alglave, L. Maranget, P. E. Mckenney, A. Parri, and A. Stern, A formal model of Linux-kernel memory ordering-companion webpage, 2017.

J. Alglave, L. Maranget, P. E. Mckenney, A. Parri, and A. Stern, A formal kernel memory-ordering model, 2017.
URL : https://hal.archives-ouvertes.fr/hal-01668178

J. Alglave, L. Maranget, S. Sarkar, and P. Sewell, Fences in Weak Memory Models, Computer Aided Verification, 22nd International Conference, CAV 2010, pp.258-272, 2010.
URL : https://hal.archives-ouvertes.fr/hal-01100859

J. Alglave, L. Maranget, S. Sarkar, and P. Sewell, Fences in weak memory models (extended version). Formal Methods in System Design, vol.40, pp.170-205, 2012.
URL : https://hal.archives-ouvertes.fr/hal-01100778

J. Alglave, L. Maranget, and M. Tautschnig, Herding Cats: Modelling, Simulation, Testing, and Data Mining for Weak Memory, ACM Trans. Program. Lang. Syst, vol.36, issue.2, pp.1-7, 2014.
URL : https://hal.archives-ouvertes.fr/hal-01081413

A. , ARM Barrier Litmus Tests and Cookbook, 2009.

A. , ARM Architecture Reference Manual (ARMv8, for ARMv8-A architecture profile), 2014.

M. Batty, A. F. Donaldson, and J. Wickerson, Overhauling SC Atomics in C11 and OpenCL, Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL '16), pp.634-648, 2016.

A. Blanchard, RE: [PATCH] smp_call_function_many SMP race, 2011.

E. Clarke, D. Kroening, and F. Lerda, A tool for checking ANSI-C programs, Tools and Algorithms for the Construction and Analysis of Systems, pp.168-176, 2004.

. Compaq, Alpha Architecture Reference Manual, 2002.

J. Corbet, The lockless page cache, 2008.

J. Corbet, ACCESS_ONCE() and compiler bugs, 2014.

J. Corbet, C11 atomic variables and the kernel, 2014.

J. Corbet, C11 atomics part 2: "consume" semantics, 2014.

J. Corbet, Time to move to C11 atomics?, 2016.

M. Cree, Re: Question about DEC Alpha memory ordering. lkml.kernel.org/r/20170214192646.m6ydg27nwnh7bg7o@tower, 2017.

, PATCH] arm64: spinlock: serialise spin_unlock_wait against concurrent lockers, 2015.

W. Deacon, Re: [PATCH] arm64: spinlock: serialise spin_unlock_wait against concurrent lockers, 2015.

W. Deacon, , 2016.

M. Desnoyers, P. E. Mckenney, A. S. Stern, M. R. Dagenais, and J. Walpole, User-Level Implementations of Read-Copy Update, IEEE Trans. Parallel Distrib. Syst, vol.23, pp.375-382, 2012.

M. Ellerman, , 2016.

B. Feng, Re, 2015.
URL : https://hal.archives-ouvertes.fr/hal-01983404

B. Feng, , 2016.

S. Flur, K. E. Gray, C. Pulte, S. Sarkar, A. Sezgin et al., Modelling the ARMv8 Architecture, Operationally: Concurrency and ISA, Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL '16, pp.608-621, 2016.
URL : https://hal.archives-ouvertes.fr/hal-01244776

M. Gorman, LWN Quotes of the week, pp.2013-2025, 2013.

T. Heo, , 2010.

D. Howells, P. E. Mckenney, W. Deacon, and P. Zijlstra, Linux kernel memory barriers, 2017.

I. , Power ISA Version 2.06. IBM Corporation, 2009.

, MIPS®Architecture For Programmers, Volume II-A: The MIPS64®Instruction, Set Reference Manual. Imagination Technologies, 2015.

. Intel, A Formal Specification of Intel Itanium Processor Family Memory Ordering, 2002.

A. Kleen, Re, 2013.

M. Kokologiannakis and K. Sagonas, Stateless Model Checking of the Linux Kernel's Hierarchical Read-Copy Update (Tree RCU), 2017.
DOI : 10.1145/3092282.3092287

O. Lahav, N. Giannarakis, and V. Vafeiadis, Taming Release-acquire Consistency, Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL '16), pp.649-662, 2016.
DOI : 10.1145/2914770.2837643

O. Lahav, V. Vafeiadis, J. Kang, C. Hur, and D. Dreyer, Repairing Sequential Consistency in C/C++11, Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation, pp.618-632, 2017.
DOI : 10.1145/3062341.3062352

L. Lamport, How to Make a Multiprocessor Computer That Correctly Executes Multiprocess Programs, IEEE Trans. Computers, vol.28, pp.690-691, 1979.
DOI : 10.1109/tc.1979.1675439

L. Liang, P. E. Mckenney, D. Kroening, and T. Melham, Verification of the Tree-Based Hierarchical Read-Copy Update in the Linux Kernel, 2016.

, ARM Architecture Reference Manual (ARMv8, for ARMv8-A architecture profile), 2017.

T. Luck, RE: Does Itanium permit speculative stores? https:// marc.info/?l=linux-kernel&m=138427925823852, 2013.

T. Luck, RE: Does Itanium permit speculative stores? https:// marc.info/?l=linux-kernel&m=138428203211477, 2013.

L. Maranget, S. Sarkar, and P. Sewell, A Tutorial Introduction to the ARM and POWER Relaxed Memory Models, 2012.

P. Mckenney, RFC: patch to allow lock-free traversal of lists with insertion, 2001.

P. Mckenney, What is RCU, 2007.

P. Mckenney, Re, 2013.

P. Mckenney, Re, 2016.

P. Mckenney, PROPER CARE AND FEEDING OF RETURN VALUES FROM rcu_dereference(, 2017.

P. E. Mckenney, QRCU with lockless fastpath, 2007.

P. E. Mckenney, Does Itanium permit speculative stores?, 2013.

P. E. Mckenney, documentation: Present updated RCU guarantee, 2016.

P. E. Mckenney, documentation: Transitivity is not cumulativity, 2016.

P. E. Mckenney, Prototype patch for Linux-kernel memory model, 2016.

P. E. Mckenney, , 2016.

P. E. Mckenney, A tour through RCU's requirements, 2017.

E. Paul and . Mckenney, Re: [PATCH RFC 01/26] netfilter: Replace spin_unlock_wait() with lock/unlock pair, 2017.

P. E. Mckenney, srcu: Force full grace-period ordering, 2017.

P. E. Mckenney, J. Alglave, L. Maranget, A. Parri, and A. Stern, Linux-Kernel Memory Ordering: Help Arrives At Last!. In LinuxCon Europe, 2016.

P. E. Mckenney, M. Desnoyers, L. Jiangshan, and J. Triplett, The RCU-barrier menagerie, 2013.

P. E. Mckenney, M. Desnoyers, L. Jiangshan, and J. Triplett, User-space RCU: Memory-barrier menagerie, 2013.

P. E. Mckenney, U. Weigand, A. Parri, and B. Feng, Linux-Kernel Memory Model, 2016.

D. S. Miller, Semantics and behavior of atomic and bitmask operations, 2017.

M. Miller, , 2011.

I. Molnar, Re, 2013.
URL : https://hal.archives-ouvertes.fr/hal-02023759

I. Molnar, Re, 2017.
URL : https://hal.archives-ouvertes.fr/hal-02023759

J. Olsa, , 2009.

S. Sarkar, K. Memarian, S. Owens, M. Batty, P. Sewell et al., Synchronising C/C++ and POWER, Proceedings of the 33rd ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI '12, pp.311-322, 2012.
DOI : 10.1145/2345156.2254102
URL : https://hal.archives-ouvertes.fr/hal-01100798

S. Sarkar, P. Sewell, J. Alglave, L. Maranget, and D. Williams, Understanding POWER Multiprocessors, Proceedings of the 32Nd ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI '11), pp.175-186, 2011.
DOI : 10.1145/1993498.1993520
URL : https://hal.archives-ouvertes.fr/hal-01100824

M. Spraul, Re: RFC: patch to allow lock-free traversal of lists with insertion, 2001.

J. Tassarotti, D. Dreyer, and V. Vafeiadis, Verifying Read-Copy-Update in a Logic for Weak Memory, Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI '15), pp.110-120, 2015.

L. Torvalds, Re: Memory corruption due to word sharing, 2012.

L. Torvalds, Re, 2015.

L. Torvalds, Re, 2016.

L. Torvalds, Re: [v3,11/41] mips: reuse asm-generic/barrier, 2016.

L. Torvalds, Linux Kernel v4.12 (Fearless Coyote, 2017.

L. Torvalds, Re, 2017.

S. Vaddagiri, RCU race in access of nohz_cpu_mask, 2005.

L. Yegoshin, Re: [v3,11/41] mips: reuse asmgeneric/barrier, 2016.

P. Zijlstra, Re: Does Itanium permit speculative stores? https:// marc.info/?l=linux-kernel&m=138428080207125, 2013.

P. Zijlstra, Re, 2013.

P. Zijlstra, tip:perf/urgent] perf/core: Fix sys_perf_event_open() vs. hotplug, 2016.