<> <> <> <> <> DIRECTORY YggHostFS USING[HostFile, PageCount, PageNumber, RC, Reason]; YggFilePageMgrIO: CEDAR DEFINITIONS = BEGIN <> <> <> IORequest: TYPE = RECORD[filePageNumber: YggHostFS.PageNumber, nPages: YggHostFS.PageCount, vM: LONG POINTER]; IOType: TYPE = {read, write}; Who: TYPE = {IOThread, controller}; RegisterRequest: PROCEDURE[controllingProcess: PROCESS, io: IOType, file: YggHostFS.HostFile, list: LIST OF IORequest] RETURNS[iORequest: IORequest]; <> GetNext: PROCEDURE[controllingProcess: PROCESS, who: Who] RETURNS[error: YggHostFS.RC, errorIORequest: IORequest, workToDo: BOOLEAN, iORequest: IORequest]; <> LogError: PROCEDURE[controllingProcess: PROCESS, who: Who, why: YggHostFS.Reason, errorIORequest: IORequest]; <> DoIO: PROCEDURE[io: IOType, file: YggHostFS.HostFile, iORequest: IORequest]; -- utility routine. <> END. Edit Log Initial: Kolling: August 25, 1983 6:30 pm: definitions module for FilePageManager io. Nodified: Hauser: February 20, 1985 3:08:18 pm PST <> <> <<>>