YggFileInstance.mesa
Copyright Ó 1985, 1988 by Xerox Corporation. All rights reserved.
Last edited by
Taft on October 25, 1982 11:01 am
Kolling on November 12, 1982 4:35 pm
Hauser, March 7, 1985 2:52:06 pm PST
Bob Hagmann March 25, 1988 4:21:45 pm PST
DIRECTORY
YggEnvironment
USING[FileID, LockMode, PageCount, VolumeID],
YggInternal
USING[FileHandle, FileInstanceHandle, TransHandle];
YggFileInstance: CEDAR DEFINITIONS =
BEGIN
Handle: TYPE = YggInternal.FileInstanceHandle;
Register:
PROCEDURE [trans: YggInternal.TransHandle, volumeID:
YggEnvironment.VolumeID, fileID: YggEnvironment.FileID] RETURNS [handle: Handle];
errors defined in this interface: none.
Finds or creates a handle for the supplied trans, volume, and file, and increments use count on the returned handle. If the handle is created, it is also entered in the FileInstance list for its transaction and FileMap.Register is called.
Unregister: PROCEDURE [handle: Handle];
errors defined in this interface: none.
Decrements use count on handle. If the use count becomes zero and delta version is 0 (i.e., if the file has not been updated), deletes it from the FileInstance list for its transaction and calls FileMap.Unregister. (Updated files are taken care of by FlushTransState.)
FlushTransState: PROCEDURE [trans: YggInternal.TransHandle];
errors defined in this interface: none.
When this is called, it is a fatal error if any handle in this transaction's FileInstance list has useCount # 0 or delta version = 0. Otherwise, FileMap.Unregister is called for each handle.
Access to immutable attributes.
GetFileHandle: PROCEDURE [handle: Handle] RETURNS [fileHandle: YggInternal.FileHandle];
errors defined in this interface: none.
GetTransHandle: PROCEDURE [handle: Handle] RETURNS [trans: YggInternal.TransHandle];
errors defined in this interface: none.
GetVolumeID:
PROCEDURE [handle: Handle]
RETURNS [volumeID:
YggEnvironment.VolumeID];
errors defined in this interface: none.
GetFileID: PROCEDURE [handle: Handle] RETURNS [fileID: YggEnvironment.FileID];
errors defined in this interface: none.
GetVolumeIDAndFileID:
PROCEDURE [handle: Handle]
RETURNS [volumeID:
YggEnvironment.VolumeID, fileID: YggEnvironment.FileID];
errors defined in this interface: none.
Access to read/write attributes.
GetDeltaVersion: PROCEDURE [handle: Handle] RETURNS [delta: LONG INTEGER];
errors defined in this interface: none.
Returns the most recent value set by SetMaxDeltaVersion, or zero if SetMaxDeltaVersion
hasn't been called. A nonzero value means that the file has been updated by this transaction.
SetMaxDeltaVersion: PROCEDURE [handle: Handle, increment: LONG INTEGER ← 1];
errors defined in this interface: none.
Sets the delta version to the MAX of increment and its existing value.
GetHighWaterMark:
PROCEDURE [handle: Handle]
RETURNS [highWaterMark:
YggEnvironment.PageCount];
errors defined in this interface: none.
returns the uncommitted highWaterMark, for this transaction. Initialize value is
LAST[PageCount].
SetHighWaterMark:
PROCEDURE [handle: Handle, highWaterMark:
YggEnvironment.PageCount] RETURNS [oldHighWaterMark: YggEnvironment.PageCount];
errors defined in this interface: none.
GetLockMode: PROCEDURE [handle: Handle] RETURNS [lock: YggEnvironment.LockMode];
errors defined in this interface: none.
SetLockMode: PROCEDURE [handle: Handle, lock: YggEnvironment.LockMode];
errors defined in this interface: none.
Enumeration.
GetNextHandleForTrans:
PROCEDURE [trans: YggInternal.TransHandle, handle: Handle ←
NIL] RETURNS [nextHandle: Handle];
errors defined in this interface: none.
handle = NIL starts a new enumeration, and nextHandle = NIL is returned when the
enumeration is exhausted. The FileInstance list is assumed to not be being
modified during this enumeration. When handle is non-NIL, not finding it is a fatal error.
END.
Hauser, March 7, 1985 2:51:46 pm PST
Nodified, added copyright.