Commit 9873552f authored by Paul E. McKenney's avatar Paul E. McKenney

documentation: Fix circular-buffer example.

The code sample in Documentation/circular-buffers.txt appears to have a
few ordering bugs.  This patch therefore applies the needed fixes.
Reported-by: default avatarLech Fomicki <lfomicki@poczta.fm>
Signed-off-by: default avatarPaul E. McKenney <paulmck@linux.vnet.ibm.com>
parent 97e63f0c
...@@ -170,7 +170,7 @@ The producer will look something like this: ...@@ -170,7 +170,7 @@ The producer will look something like this:
smp_wmb(); /* commit the item before incrementing the head */ smp_wmb(); /* commit the item before incrementing the head */
buffer->head = (head + 1) & (buffer->size - 1); ACCESS_ONCE(buffer->head) = (head + 1) & (buffer->size - 1);
/* wake_up() will make sure that the head is committed before /* wake_up() will make sure that the head is committed before
* waking anyone up */ * waking anyone up */
...@@ -183,9 +183,14 @@ This will instruct the CPU that the contents of the new item must be written ...@@ -183,9 +183,14 @@ This will instruct the CPU that the contents of the new item must be written
before the head index makes it available to the consumer and then instructs the before the head index makes it available to the consumer and then instructs the
CPU that the revised head index must be written before the consumer is woken. CPU that the revised head index must be written before the consumer is woken.
Note that wake_up() doesn't have to be the exact mechanism used, but whatever Note that wake_up() does not guarantee any sort of barrier unless something
is used must guarantee a (write) memory barrier between the update of the head is actually awakened. We therefore cannot rely on it for ordering. However,
index and the change of state of the consumer, if a change of state occurs. there is always one element of the array left empty. Therefore, the
producer must produce two elements before it could possibly corrupt the
element currently being read by the consumer. Therefore, the unlock-lock
pair between consecutive invocations of the consumer provides the necessary
ordering between the read of the index indicating that the consumer has
vacated a given element and the write by the producer to that same element.
THE CONSUMER THE CONSUMER
...@@ -200,7 +205,7 @@ The consumer will look something like this: ...@@ -200,7 +205,7 @@ The consumer will look something like this:
if (CIRC_CNT(head, tail, buffer->size) >= 1) { if (CIRC_CNT(head, tail, buffer->size) >= 1) {
/* read index before reading contents at that index */ /* read index before reading contents at that index */
smp_read_barrier_depends(); smp_rmb();
/* extract one item from the buffer */ /* extract one item from the buffer */
struct item *item = buffer[tail]; struct item *item = buffer[tail];
...@@ -209,7 +214,7 @@ The consumer will look something like this: ...@@ -209,7 +214,7 @@ The consumer will look something like this:
smp_mb(); /* finish reading descriptor before incrementing tail */ smp_mb(); /* finish reading descriptor before incrementing tail */
buffer->tail = (tail + 1) & (buffer->size - 1); ACCESS_ONCE(buffer->tail) = (tail + 1) & (buffer->size - 1);
} }
spin_unlock(&consumer_lock); spin_unlock(&consumer_lock);
...@@ -223,7 +228,10 @@ Note the use of ACCESS_ONCE() in both algorithms to read the opposition index. ...@@ -223,7 +228,10 @@ Note the use of ACCESS_ONCE() in both algorithms to read the opposition index.
This prevents the compiler from discarding and reloading its cached value - This prevents the compiler from discarding and reloading its cached value -
which some compilers will do across smp_read_barrier_depends(). This isn't which some compilers will do across smp_read_barrier_depends(). This isn't
strictly needed if you can be sure that the opposition index will _only_ be strictly needed if you can be sure that the opposition index will _only_ be
used the once. used the once. Similarly, ACCESS_ONCE() is used in both algorithms to
write the thread's index. This documents the fact that we are writing
to something that can be read concurrently and also prevents the compiler
from tearing the store.
=============== ===============
......
Markdown is supported
0%
or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment