J.E.B. Moss, "Nested Actions: an Approach to Reliable Distributed Computing", PhD thesis, Technical Report MIT/ LCS/TR-260, MIT Laboratory for Computer Science, 1981. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
From Formal Specifications to Ready-to-Use Software.. - Chachkov, Buchs (2001) (Correct)
....and non deterministic choice between fireable transitions. In other words: given a state and a synchronization request there may be many possible ways to fulfil it. There are some programming languages, like Prolog, that support non determinism, but the majority do not. We use nested transactions [4] for the implementation of both non determinism and concurrent synchronization. 3.6 Translating an interface of a class The rules used to translate an interface of a CO OPN class to Java are similar to those for translating from ADTs. The name of a Java class is the name of the CO OPN class type ....
J.E.B. Moss, "Nested Actions: an Approach to Reliable Distributed Computing", PhD thesis, Technical Report MIT/ LCS/TR-260, MIT Laboratory for Computer Science, 1981.
Evolutive Prototyping of Heterogeneous Distributed Systems.. - Buchs, Hulaas (1996) (2 citations) (Correct)
....if nothing had happened. This latter all or nothing behaviour is called atomic, or transaction oriented, in object based distributed systems. Our implementation is in fact an extension of the notion of nested transactions with two phase locking protocol (2PL) to ensure atomicity and consistency [19]. This protocol holds for CO OPN in the general case where method calls involve no object sharing between simultaneous requests. As described on Figure 5, the shared object O4 must be informed that the incoming invocations are to be processed simultaneously: This information may not be compiled in ....
....all the side effects, such as sending messages, in order to abort them during the backtrack. The log will keep growing as successful invocations add up, and can only be purged when the top level transaction ends, i.e. when global commitment, with a protocol such as the two phase commitment (2PC) [19], is over. Interfacing of CO OPN prototypes If we want to enable the use of CO OPN specified prototypes in a more general context where external components are not formally specified, we will need an interfacing mechanism. The role of this interface is to package the CO OPN transactions to make ....
J.E.B. Moss, "Nested Actions: an Approach to Reliable Distributed Computing", PhD thesis, Technical Report MIT/ LCS/TR-260, MIT Laboratory for Computer Science, 1981.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC