Last edited by:
MBrown on March 1, 1983 3:30 pm
Taft on April 2, 1983 1:52 pm
Kolling on March 8, 1983 2:35 pm
Hauser, March 7, 1985 2:22:45 pm PST
Bob Hagmann April 21, 1988 3:37:15 pm PDT
YggTransaction:
CEDAR DEFINITIONS =
BEGIN
Conversation: TYPE = YggEnvironment.Conversation;
TransID: TYPE = YggEnvironment.TransID;
FileStore: TYPE = YggEnvironment.FileStore;
Create:
PROC [conversation: Conversation, createLocalWorker:
BOOL ←
TRUE]
RETURNS [transID: TransID];
! OperationFailed {busy};
Call from client to coordinator. Creates a new transaction, for which the called Alpine instance is to be the coordinator. If createLocalWorker, this in turn calls CreateWorker[conversation, transID, <self>], and is guaranteed not to raise any of the errors raised by CreateWorker.
CreateWorker:
PROC [conversation: Conversation, transID: TransID, coordinator: FileStore];
! Unknown {coordinator, transID};
Call from client to worker. Informs the called Alpine instance that it is to server as a worker under an existing transaction transID which is being coordinated by the Alpine instance identified by coordinator. This procedure returns (i.e. does not raise an error) iff trans becomes active (prepared to do work) on the called Alpine instance. Of course, there is no guarantee that this state will last for any length of time.
AssertAlpineWheel:
PROC [conversation: Conversation, transID: TransID,
enable:
BOOL ←
TRUE];
! OperationFailed {regServersUnavailable, notAlpineWheel}, Unknown {transID}.
When called with enable = TRUE, causes all subsequent calls for this (conversation, transID) pair to pass all access control checks without further checking; raises OperationFailed [notAlpineWheel] if the caller identified by conversation is not a member of the AlpineWheels group for this server. When called with enable = FALSE, causes normal access control checking to resume for this (conversation, transID) pair.
RequestedOutcome: TYPE = YggEnvironment.CommitOrAbort;
Outcome: TYPE = YggEnvironment.Outcome;
Check: PROC [ transID: YggTransaction.TransID] RETURNS [outcome: YggTransaction.Outcome];
Finish:
PROC [conversation: Conversation, transID: TransID, requestedOutcome: RequestedOutcome
--{abort, commit}--, continue:
BOOL ←
FALSE]
RETURNS [outcome: Outcome
--{abort, commit, unknown}--, newTrans: TransID];
! (none);
Call from client to coordinator. Requests that the transaction be finished in the specified way. If the transaction has already committed or aborted, Finish simply returns the outcome. Otherwise, Finish waits if necessary to assure a known outcome (which may differ from the one requested) and returns that outcome. newTrans is meaningful only if requestedOutcome = commit, continue = TRUE, and outcome = commit.
Unknown: ERROR [what: YggEnvironment.UnknownType];
OperationFailed: ERROR [why: YggEnvironment.OperationFailure];
END.