Exporting kernel page caching for efficient user-level I/O | IEEE Conference Publication | IEEE Xplore