/*
* Move consumed position to the beginning of subbuffer in which the
- * write offset is.
+ * write offset is. Should only be used on ring buffers that are not
+ * actively being written into, because clear_reader does not take into
+ * account the commit counters when moving the consumed position, which
+ * can make concurrent trace producers or consumers observe consumed
+ * position further than the write offset, which breaks ring buffer
+ * algorithm guarantees.
*/
static inline
void lib_ring_buffer_clear_reader(struct lib_ring_buffer *buf,
do {
offset = v_read(config, &buf->offset);
consumed_old = atomic_long_read(&buf->consumed);
- if (unlikely(subbuf_trunc(offset, chan)
- - subbuf_trunc(consumed_old, chan)
- > 0))
- consumed_new = subbuf_trunc(offset, chan);
- else
- return;
+ CHAN_WARN_ON(chan, (long) (subbuf_trunc(offset, chan)
+ - subbuf_trunc(consumed_old, chan))
+ < 0);
+ consumed_new = subbuf_trunc(offset, chan);
} while (unlikely(atomic_long_cmpxchg(&buf->consumed, consumed_old,
consumed_new) != consumed_old));
}