The Shadow Pager is a design for a replacement to pager.c that offers more concurrency. See attached pdf.