A gentle introduction to paging