Machine-independent virtual memory management for paged uniprocessor and multiprocessor architectures | Synapse