Lines Matching +full:1 +full:- +full:eng
18 o Intel Corporation (Ed.). 2002. "Intel 64 and IA-32 Architectures
22 and Magnus O. Myreen. 2010. "x86-TSO: A Rigorous and Usable
24 (July, 2010), 89-97. http://doi.acm.org/10.1145/1785414.1785443
42 Implementation (PLDI '12). ACM, New York, NY, USA, 311-322.
45 for ARMv8-A architecture profile)". ARM Ltd.
48 For Programmers, Volume II-A: The MIPS64(R) Instruction,
50 LTD. https://imgtec.com/?do-download=4302.
56 SIGPLAN-SIGACT Symposium on Principles of Programming Languages
61 Sewell. 2017. "Mixed-size Concurrency: ARM, POWER, C/C++11,
68 multicopy-atomic axiomatic and operational models for ARMv8". In
73 Linux-kernel memory model
90 grown-ups: Concurrency in the Linux kernel". In Proceedings of
93 New York, NY, USA, 405-418. Webpage: http://diy.inria.fr/linux/.
96 Alan Stern. 2017. "A formal kernel memory-ordering model (part 1)"
100 Alan Stern. 2017. "A formal kernel memory-ordering model (part 2)"
104 Alan Stern. 2017-2019. "A Formal Model of Linux-Kernel Memory
109 Memory-model tooling
113 Notation". ACM Trans. Softw. Eng. Methodol. 11, 2 (April 2002),
119 2014), 7:1–7:74 pages.
126 Memory-model comparisons
130 Feng. 2018. "Linux-Kernel Memory Model". (27 September 2018).
131 http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2018/p0124r6.html.