Lines Matching full:index

41  (1) A 'head' index - the point at which the producer inserts items into the
44  (2) A 'tail' index - the point at which the consumer finds the next item in
51 The head index is incremented when items are added, and the tail index when
52 items are removed.  The tail index should never jump the head index, and both
59 buffer, provided that neither index overtakes the other.  The implementer must
114      they will return a lower bound as the producer controls the head index,
116      moving the tail index.
122      will return a lower bound as the consumer controls the tail index, but the
124      head index.
179 before the head index makes it available to the consumer and then instructs the
180 CPU that the revised head index must be written before the consumer is woken.
188 ordering between the read of the index indicating that the consumer has
199 	/* Read index before reading contents at that index. */
217 This will instruct the CPU to make sure the index is up to date before reading
222 opposition index.  This prevents the compiler from discarding and
224 be sure that the opposition index will _only_ be used the once.
227 in both algorithms to write the thread's index.  This documents the