Welcome to... ... the GNU Hurd!
Mach's external pager mechanism.
Mach IPC's sequence numbering.
GNU Hurd Reference Manual: 4.2 Pager Library.