Machine-Independent Virtual Memory Management for Paged Uniprocessor and Multiprocessor Architectures