<> <> <> <> <> DIRECTORY YggEnvironment USING[AccessList, AccessRights, CommitOrAbort, Conversation, LockFailure, LockOption, NeededAccess, OpenFileID, OperationFailure, OwnerName, PageCount, UnknownType, VolumeGroupID], YggInternal USING[TransHandle]; YggAccessControl: CEDAR DEFINITIONS = BEGIN <> InitVolatileData: PROCEDURE [nAccessCacheEntries: NAT _ DefaultAccessCacheEntries, alpineWheels: YggEnvironment.OwnerName]; <> <> DefaultAccessCacheEntries: NAT = 100; MaxAccessCacheEntries: NAT = 500; <> <> <> <> <> <> <> <> <> <> <> <> <> <<>> <<>> <> <> <> <> <> <> <> <> <> <> <> <<>> <<>> UnRegisterVolumeGroup: PROCEDURE [conversation: YggEnvironment.Conversation, transHandle: YggInternal.TransHandle, volGroupID: YggEnvironment.VolumeGroupID]; <> <> <> <> <> ReorganizeOwnerFile: PROCEDURE [conversation: YggEnvironment.Conversation, transHandle: YggInternal.TransHandle, volGroupID: YggEnvironment.VolumeGroupID, maxNumberOfOwnersAllowed: NAT]; <> <> <> <> <> <> <> <> <> <> <> <> < [createAccessList: YggEnvironment.AccessList],>> < [modifyAccessList: YggEnvironment.AccessList],>> < [quota: YggEnvironment.PageCount],>> < [spaceInUse: YggEnvironment.PageCount],>> < [rootFile: UniversalFile]>> <> <> <> <> <> <> <> <> AddOwner: PROCEDURE [conversation: YggEnvironment.Conversation, transHandle: YggInternal.TransHandle, volGroupID: YggEnvironment.VolumeGroupID, ownerName: YggEnvironment.OwnerName, overCommitQuotaIfNeeded: BOOLEAN] RETURNS [spaceLeftOnVolumeGroup: YggEnvironment.PageCount]; <> <> <> <> <> <> RemoveOwner: PROCEDURE [conversation: YggEnvironment.Conversation, transHandle: YggInternal.TransHandle, volGroupID: YggEnvironment.VolumeGroupID, ownerName: YggEnvironment.OwnerName]; <> <> <> <> <> <> <> <> <> <> <> <> <> <> <> <<>> <<>> <> <> <> <> <> <> <> <> <> <> <<>> <<>> EnumerateAllOwners: PROCEDURE [conversation: YggEnvironment.Conversation, transHandle: YggInternal.TransHandle, volGroupID: YggEnvironment.VolumeGroupID, prevOwnerName: YggEnvironment.OwnerName] RETURNS [ownerName: YggEnvironment.OwnerName]; <> <> <> <> <> <> EnumerateAllDataEntriesInOwnerFile: PROCEDURE [conversation: YggEnvironment.Conversation, transHandle: YggInternal.TransHandle, volGroupID: YggEnvironment.VolumeGroupID, contRecNum: INT] RETURNS [entryEmpty, entryValid: BOOLEAN, ownerName: YggEnvironment.OwnerName, nextContRecNum: INT]; <> <> <> <> <> <> ReadOwnerFileProperties: PROCEDURE [conversation: YggEnvironment.Conversation, transHandle: YggInternal.TransHandle, volGroupID: YggEnvironment.VolumeGroupID] RETURNS [totalQuota, quotaLeft, volumeGroupSize: YggEnvironment.PageCount, numberOfOwners, numberOfOwnerSlotsInUse, maxNumberOfOwnersAllowed: NAT]; <> <> <> <> <> ReadOwnerFileHeader: PROCEDURE [conversation: YggEnvironment.Conversation, transHandle: YggInternal.TransHandle, volGroupID: YggEnvironment.VolumeGroupID] RETURNS [version: NAT, recordedVolGroupID: YggEnvironment.VolumeGroupID, totalQuota, quotaLeft, volumeGroupSize: YggEnvironment.PageCount, numberOfOwners, numberOfOwnerSlotsInUse, maxNumberOfOwnersAllowed: NAT]; <> <> <> <> <> <> <> <> <> <<>> <<>> UnlockOwnerDB: PROCEDURE [conversation: YggEnvironment.Conversation, transHandle: YggInternal.TransHandle, volGroupID: YggEnvironment.VolumeGroupID]; <> <> <> <> PermissionToCreateFilesForThisOwner: PROCEDURE [conversation: YggEnvironment.Conversation, transHandle: YggInternal.TransHandle, volGroupID: YggEnvironment.VolumeGroupID, ownerName: YggEnvironment.OwnerName] RETURNS [okay: BOOLEAN]; <> <> <> <> <> <> PermissionToModifyFileAccessList: PROCEDURE [conversation: YggEnvironment.Conversation, transHandle: YggInternal.TransHandle, openFileID: YggEnvironment.OpenFileID] RETURNS [okay: BOOLEAN]; <> <> <> <> <> <> PermissionToAccessFile: PROCEDURE [conversation: YggEnvironment.Conversation, transHandle: YggInternal.TransHandle, openFileID: YggEnvironment.OpenFileID, requestedAccess: YggEnvironment.AccessRights, lockOption: YggEnvironment.LockOption _ [read,wait]] RETURNS [okay: BOOLEAN]; <> <> <> <> <> <> <> < 0) and deallocation (nPages < 0). (AC treats nPages = 0 as a noop). All disk space in an owner's files, including leader pages, etc., counts as part of the owner's quota. People who know the owner call ChangeSpaceViaOwner (CreateFile, CreateFileWithID), else they call ChangeSpaceViaOpenFileID (SetSize, DeleteFile), which has to work harder. AccessControl defers deallocations until PhaseOne.>> ChangeSpaceViaOwner: PROCEDURE [transHandle: YggInternal.TransHandle, volGroupID: YggEnvironment.VolumeGroupID, ownerName: YggEnvironment.OwnerName, nPages: YggEnvironment.PageCount] RETURNS [okay: BOOLEAN]; <> <> <> <> ChangeSpaceViaOpenFileID: PROCEDURE [conversation: YggEnvironment.Conversation, transHandle: YggInternal.TransHandle, openFileID: YggEnvironment.OpenFileID, nPages: YggEnvironment.PageCount] RETURNS [okay: BOOLEAN]; <> <> <> ChangeSpaceForOwner: PROCEDURE [conversation: YggEnvironment.Conversation, transHandle: YggInternal.TransHandle, volGroupID: YggEnvironment.VolumeGroupID, ownerName: YggEnvironment.OwnerName, nPages: YggEnvironment.PageCount]; <> <> <> <> <> <> <> <> GetDefaultForFileAccessList: PROCEDURE [transHandle: YggInternal.TransHandle, volGroupID: YggEnvironment.VolumeGroupID, ownerName: YggEnvironment.OwnerName, accessListType: YggEnvironment.AccessRights] RETURNS [accessList: YggEnvironment.AccessList]; <> <> <> <> <> <> PhaseOneSpaceAndOwnerChanges: PROCEDURE [transHandle: YggInternal.TransHandle]; <> <> <> <> PhaseTwoOrAbortSpaceAndOwnerChanges: PROCEDURE [transHandle: YggInternal.TransHandle, outcome: YggEnvironment.CommitOrAbort, continueTrans: YggInternal.TransHandle _ NIL]; <> <> AssertAlpineWheel: PROCEDURE [conversation: YggEnvironment.Conversation, transHandle: YggInternal.TransHandle, assert: BOOLEAN] RETURNS [okay: BOOLEAN]; <> <> <> <> ReportCacheStats: PROCEDURE RETURNS [nCacheEntries: NAT, statsCacheHit, statsGrapevineAuthorized, statsGrapevineNotAuthorized, statsRegServersDown, statsIndivGrapeNotAuthorized: INT]; <> ReportVolatileStats: PROCEDURE RETURNS [nRegs, nInits, nUnRegs, nReorganizes, nEnumAlls, nAllocReqsWin, nAllocReqsLose, nDeallocReqs, nRemoveOwner, nEnumFindWin, nEnumFindLose, nSetEnums, nActions, nPhaseOnes, nPhaseTwos, nAborts: INT]; <> <> <> <> <> <> AccessFailed: ERROR [why: YggEnvironment.NeededAccess]; LockFailed: ERROR[why: YggEnvironment.LockFailure]; OperationFailed: ERROR [why: YggEnvironment.OperationFailure]; StaticallyInvalid: ERROR; Unknown: ERROR [why: YggEnvironment.UnknownType]; END. Edit Log Initial: Kolling: September 14, 1981 4:40 PM: defs file for disk space control and access control to files for Alpine. Hauser: March 7, 1985: Nodified, added copyright.