There is no reason to distinguish between readers and writers here.
 
 
  
              }
  
     /*
 -    * We have to grab the right sibling (if any) and fix the prev pointer
 -    * there. We are guaranteed that this is deadlock-free since no other
 -    * writer will be holding a lock on that page and trying to move left, and
 -    * all readers release locks on a page before trying to fetch its
 -    * neighbors.
 +    * We have to grab the original right sibling (if any) and update its prev
 +    * link.  We are guaranteed that this is deadlock-free, since we couple
 +    * the locks in the standard order: left to right.
      */
     if (!isrightmost)
     {