VMInternalExtras.mesa
Copyright © 1986 by Xerox Corporation. All rights reserved.
Bob Hagmann, April 29, 1986 1:50:21 pm PDT
DIRECTORY
VMRemotePaging USING [RemotePageState],
VM USING [Interval, PageNumber];
VMInternalExtras: DEFINITIONS
IMPORTS
= BEGIN
PageNumber: TYPE = VM.PageNumber;
Virtual Memory Allocation
RemoteSwapInDone:
PUBLIC
PROC [vmPage, bufferPage: PageNumber]
RETURNS [vmPageAlreadyIn:
BOOL ←
FALSE, worked:
BOOL ←
TRUE] ;
This is a specialized procedure for VMFaultsImpl.PageFaultProcess. "bufferPage" should be a page whose VMMapEntry is "in" and pinned.
RemotePage manipulation
SetRemotePageValidity:
PROC [interval:
VM.Interval, validity: VMRemotePaging.RemotePageState];
Set the validity of a remote page. If page is not stickyInvalid, set the state the the requested validity. If the old state is stickyInvalid, leave state alone unless the validity is invalid.
END.
Bob Hagmann April 21, 1986 11:00:03 am PST
created RemoteSwapInDone