| K. Wakita and A. Yonezawa. Linguistic supports for development of distributed organizational information systems in object-oriented concurrent computation frameworks. In ACM Conference on Organizational Computing Systems, pages 185--198, November 1990. |
....synchronous communication, transactions or atomic broadcasts. The temporal constraints of synchronizers are more abstract and expressive than the temporal constraints expressible by synchronous communication. Transactions provide atomicity in a number of systems [LS82, WL88, DHW88, KHPW90, GCLR92, WY91] As we have already mentioned, transactions cannot be combined with temporal constraints. Furthermore, the atomicity provided by the atomic operator is cheaper to implement. It should be emphasized that we do not perceive synchronizers as a substitute for transaction systems: we think of ....
K. Wakita and A. Yonezawa. Linguistic Supports for Development of Distributed Organizational Information Systems in Object-Oriented Concurrent Computation Frameworks. In Proceedings of the First Conference on Organizational Computing Systems, Atlanta Georgia. ACM, September 1991.
....object are executed concurrently. 3 Concurrent Transactions: Transactions for COOLs This section gives an brief overview of concurrent transaction mechanism. This mechanism has been incorporated in HARMONY 1, which is the direct ancestor of HARMONY 2. For more detail, the reader is referred to [15]. To motivate the design, let s consider the following example. Suppose there are two instances, o 1 and o 2 , of Container class and one wants to reset their values to zero at the same time: in other words, without possible interference from other concurrent activities. Though object wise ....
....by Moss s nested transaction mechanism is too restrictive, when we incorporate transaction mechanism in COOLs. Concurrent transactions: HARMONY 1, which is the direct ancestor of HARMONY 2, is a COOL that incorporated an extended nested transaction mechanism, what we call concurrent transactions [15]. Concurrent transaction model relaxes the sequentiality assumption of the nested transaction model and allows multiple methods to be executed concurrently in a transaction. HARMONY 1 separated message passing semantics and transaction semantics: in HARMONY 1, the programmer can specify part of ....
[Article contains additional citation context not shown here]
K. Wakita and A. Yonezawa. Linguistic supports for development of distributed organizational information systems in object-oriented concurrent computation frameworks. In ACM Conference on Organizational Computing Systems, pages 185--198, November 1990.
.... concurrent programming languages have various synchronous asynchronous communication primitives [19, 20, 3, 13, 10, 6] and some languages have The work will be presented at International Symposium on Object Technologies for Advanced Software (ISOTAS) built in concurrency control features [5, 16]. However, these powerful but non extensible communication primitives are not sufficient for modeling and describing more advanced communication synchronization schemes, such as flexible concurrency control [5, 16] notification [8] intelligent negotiation platform [7] etc. The article ....
.... Technologies for Advanced Software (ISOTAS) built in concurrency control features [5, 16] However, these powerful but non extensible communication primitives are not sufficient for modeling and describing more advanced communication synchronization schemes, such as flexible concurrency control [5, 16], notification [8] intelligent negotiation platform [7] etc. The article introduces the concept of first class continuation into concurrent computation models. A continuation of a expression is the rest of the computation relative to the evaluation of the expression. Continuations can be ....
[Article contains additional citation context not shown here]
K. Wakita and A. Yonezawa. Linguistic supports for development of distributed organizational information systems in object-oriented concurrent computation frameworks. In ACM Conference on Organizational Computing Systems, pages 185--198, November 1990.
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