Micro benchmark to evaluate different synchronization mechanisms for a paging system.