hc
2024-05-16 8d2a02b24d66aa359e83eebc1ed3c0f85367a1cb
kernel/tools/memory-model/Documentation/recipes.txt
....@@ -1,7 +1,7 @@
11 This document provides "recipes", that is, litmus tests for commonly
22 occurring situations, as well as a few that illustrate subtly broken but
33 attractive nuisances. Many of these recipes include example code from
4
-v4.13 of the Linux kernel.
4
+v5.7 of the Linux kernel.
55
66 The first section covers simple special cases, the second section
77 takes off the training wheels to cover more involved examples,
....@@ -126,7 +126,7 @@
126126 locking will be seen as ordered by CPUs not holding that lock.
127127 Consider this example:
128128
129
- /* See Z6.0+pooncerelease+poacquirerelease+fencembonceonce.litmus. */
129
+ /* See Z6.0+pooncelock+pooncelock+pombonce.litmus. */
130130 void CPU0(void)
131131 {
132132 spin_lock(&mylock);
....@@ -278,7 +278,7 @@
278278 first place (control dependency). Note that the term "data dependency"
279279 is sometimes casually used to cover both address and data dependencies.
280280
281
-In lib/prime_numbers.c, the expand_to_next_prime() function invokes
281
+In lib/math/prime_numbers.c, the expand_to_next_prime() function invokes
282282 rcu_assign_pointer(), and the next_prime_number() function invokes
283283 rcu_dereference(). This combination mediates access to a bit vector
284284 that is expanded as additional primes are needed.
....@@ -311,7 +311,7 @@
311311 smp_rmb() macro orders prior loads against later loads. Therefore, if
312312 the final value of r0 is 1, the final value of r1 must also be 1.
313313
314
-The the xlog_state_switch_iclogs() function in fs/xfs/xfs_log.c contains
314
+The xlog_state_switch_iclogs() function in fs/xfs/xfs_log.c contains
315315 the following write-side code fragment:
316316
317317 log->l_curr_block -= log->l_logBBsize;