FileStats.mesa
Copyright © 1985 by Xerox Corporation. All rights reserved.
Andrew Birrell July 1, 1983 11:08 am
Russ Atkinson (RRA) February 1, 1985 4:35:50 pm PST
Doug Wyatt, February 27, 1985 9:46:16 am PST
Files statistics interface
FileStats: CEDAR DEFINITIONS
= BEGIN
Type: TYPE = { open, create, delete, extend, contract, read, write, spare0, spare1, spare2 };
Pulses: TYPE = LONG CARDINAL; -- = BasicTime.Pulses = ProcessorFace.Pulses --
Data:
TYPE =
RECORD[
calls: INT ← 0,
pages: INT ← 0,
pulses: Pulses ← 0
];
GetData: PROC[type: Type] RETURNS[ Data ];
ClearData: PROC[type: Type];
Incr: PROC[type: Type, pages: INT, startPulse: Pulses];
END.