Cedar Nucleus (Files): statistics interface

FileStats.mesa

Andrew Birrell July 1, 1983 11:08 am

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[

GetData: PROC[type: Type] RETURNS[ Data ];

ClearData: PROC[type: Type];

Incr: PROC[type: Type, pages: INT, startPulse: Pulses];

END.