Lines Matching refs:pointer

32 head_page - a pointer to the page that the reader will use next
34 tail_page - a pointer to the page that will be written to next
36 commit_page - a pointer to the page with the last finished non-nested write.
99 The reader page is initialized to have its next pointer pointing to
100 the head page, and its previous pointer pointing to a page before
229       +---------+ <--- tail pointer
254       +---------+ <--- tail pointer
267       +---------+ <--- tail pointer
278       +---------+  <--(last full commit and tail pointer)
281 The commit pointer points to the last write location that was
395 of the head_page pointer with the swapping of pages with the reader.
396 State flags are placed inside the pointer to the page. To do this,
428 The above pointer "-H->" would have the HEADER flag set. That is
430 This pointer means the next page is the head page.
432 When the tail page meets the head pointer, it will use cmpxchg to
433 change the pointer to the UPDATE state:
452 "-U->" represents a pointer in the UPDATE state.
460 will also use cmpxchg. If the flag bit in the pointer to the
479 The reader sets the reader page next pointer as HEADER to the page after
496 It does a cmpxchg with the pointer to the previous head page to make it
497 point to the reader page. Note that the new pointer does not have the HEADER
513 After the new head page is set, the previous pointer of the head page is
543 by its previous pointer (the one that now points to the new head page)
550 pointer of the page. If the next pointer of the previous page does not
569 performs a cmpxchg to convert the pointer to the head page from the HEADER
604 pointer back to NORMAL.
726 The write converts the head page pointer to UPDATE.
740 pointer.
742 The nested writer will set the new head page pointer.
753 that converted a pointer from HEAD to UPDATE will convert it back
765 the UPDATE pointer to NORMAL.
791 The write converts the head page pointer to UPDATE.
910 Since the cmpxchg returns the old value of the pointer the first writer
911 will see it succeeded in updating the pointer from NORMAL to HEAD.
926 If tail page != A and tail page != B, then it must reset the pointer