DIRECTORY AlpineEnvironment USING[AccessList, allOwnerProperties, Conversation, LockFailure, NeededAccess, OperationFailure, OwnerName, OwnerPropertySet, OwnerPropertyValuePair, PageCount, TransID, UniversalFile, UnknownType, VolumeGroupID]; AlpineDebug: --CEDAR, that is, it would be if Lupine could handle safe interfaces. -- DEFINITIONS = BEGIN AccessList: TYPE = AlpineEnvironment.AccessList; -- crock city, for lupine. ReadOwnerFileHeader: PROCEDURE[conversation: AlpineEnvironment.Conversation, transID: AlpineEnvironment.TransID, volumeGroupID: AlpineEnvironment.VolumeGroupID] RETURNS[version: NAT, recordedVolGroupID: AlpineEnvironment.VolumeGroupID, totalQuota, quotaLeft: AlpineEnvironment.PageCount, numberOfOwners, numberOfOwnerSlotsInUse, maxNumberOfOwnersAllowed: NAT]; ReadNextOwnerRecord: PROCEDURE[conversation: AlpineEnvironment.Conversation, transID: AlpineEnvironment.TransID, volumeGroupID: AlpineEnvironment.VolumeGroupID, contRecNum: INT _ 0, desiredProperties: AlpineEnvironment.OwnerPropertySet _ AlpineEnvironment.allOwnerProperties] RETURNS[entryEmpty, entryValid: BOOLEAN, owner: AlpineEnvironment.OwnerName, properties: LIST OF AlpineEnvironment.OwnerPropertyValuePair, nextContRecNum: INT]; ChangeSpaceForOwner: PROCEDURE [conversation: AlpineEnvironment.Conversation, transID: AlpineEnvironment.TransID, volumeGroupID: AlpineEnvironment.VolumeGroupID, owner: AlpineEnvironment.OwnerName, nPages: AlpineEnvironment.PageCount]; ReadDBUniversalFile: PROCEDURE[volumeGroupID: AlpineEnvironment.VolumeGroupID] RETURNS[dBID: AlpineEnvironment.UniversalFile]; ReportAccessCacheStats: PROCEDURE RETURNS [nCacheEntries: NAT, statsCacheHit, statsGrapevineAuthorized, statsGrapevineNotAuthorized, statsRegServersDown, statsIndivGrapeNotAuthorized: INT]; ReportAccessVolatileStats: PROCEDURE RETURNS [nRegs, nInits, nUnRegs, nReorganizes, nEnumAlls, nAllocReqsWin, nAllocReqsLose, nDeallocReqs, nRemoveOwner, nEnumFindWin, nEnumFindLose, nSetEnums, nActions, nPhaseOnes, nPhaseTwos, nAborts: INT]; CrashSystem: PROCEDURE [conversation: AlpineEnvironment.Conversation, transID: AlpineEnvironment.TransID]; AccessFailed: ERROR[missingAccess: AlpineEnvironment.NeededAccess]; LockFailed: ERROR[why: AlpineEnvironment.LockFailure]; OperationFailed: ERROR[why: AlpineEnvironment.OperationFailure]; StaticallyInvalid: ERROR; Unknown: ERROR[what: AlpineEnvironment.UnknownType]; END. ไAlpineDebug.mesa Last edited by Kolling on May 27, 1983 4:40 pm Taft on April 9, 1983 2:37 pm The operations in this interface are primarily for debugging and performance measurement. Procedures ! AccessFailed[alpineWheel], LockFailed[timeout], OperationFailed[transAborted], Unknown[transID, volumeGroupID]. This is permitted only if the caller is an asserted AlpineWheel. This procedure gets a write lock on the owner data base file. Note that ReadOwnerFileHeader and GetNextRecord called in the same transaction will be consistent provided the transaction doesn't alter the owner database file itself. ! AccessFailed[alpineWheel], LockFailed[timeout], StaticallyInvalid (badRecordNumber), Unknown[transID, volumeGroupID]. This is permitted only if the caller is an asserted AlpineWheel. This procedure gets a write lock on the owner data base file. Enumerates the current entries in the owner data base, including those no longer or never valid. contRecNum = 0 starts a new enumeration, and nextContRecNum = 0 is returned when the enumeration is exhausted. We use the pair entryEmpty, entryValid instead of an enumerated type to avoid putting a definition in AlpineEnvironment. (entryEmpty, entryValid) = (TRUE, undef) means the record has never been written into. (entryEmpty, entryValid) = (FALSE, TRUE) means that the entry is currently valid. (entryEmpty, entryValid) = (FALSE, FALSE) means that the entry has been deleted. Iff entryEmpty = FALSE, then the return values owner and properties are valid. ! AccessFailed[alpineWheel], LockFailed[timeout], OperationFailed[quotaExceeded], StaticallyInvalid (badLengthName), Unknown[owner, transID, volumeGroupID]. ! Unknown[volumeGroupID]. ! AccessFailed[alpineWheel], Unknown[transID]. Errors ส– "cedar" style˜Jšœ™šœ™Jšœ™Jšœ™—J˜JšœY™Yunitšฯk ˜ codešœ˜Lšœะ˜ี——šœ ฯcะckžAœ œ˜cLš˜L˜Lšœ œ"ž˜L—J˜J˜šœ ™ š ฯnœ œƒœ œฎœ˜่Jšœq™qJšœฉ™ฉ—š œ œ7œWœdœœ2œœ;œ˜ดJšœw™wJš œ้œTœœHœœ;œ8™˜—š œ œอ˜๋Jšœœ™œ—š œ œ1œ(˜~Jšœ™—Kš  œ œœœ{œ˜พKš œ œœมœ˜๓š  œ œV˜lJšœ.™.——J˜J˜šœ™Kšœœ0˜CKšœ œ%˜6Kšœœ*˜@Kšœœ˜Kšœ œ&˜4J˜Jšœ˜—J˜J˜—…— lR