@inproceedings{DBLP:conf/sigmod/SinghTW94, author = {Munindar P. Singh and Christine Tomlinson and Darrell Woelk}, editor = {Richard T. Snodgrass and Marianne Winslett}, title = {Relaxed Transaction Processing}, booktitle = {Proceedings of the 1994 ACM SIGMOD International Conference on Management of Data, Minneapolis, Minnesota, May 24-27, 1994}, publisher = {ACM Press}, year = {1994}, pages = {505}, ee = {http://doi.acm.org/10.1145/191839.191949, db/conf/sigmod/sigmod94-505.html}, crossref = {DBLP:conf/sigmod/94}, bibsource = {DBLP, http://dblp.uni-trier.de} }BibTeX
Extended transaction models have drawn much interest recently in academia and industry [2]. Such models seek to address the limitations of traditional ACID transactions for supporting multisystem applications that operate in heterogeneous environments. Such applications are increasingly proving to be of strategic importance to a number of businesses and governmental agencies. Different transaction models, however, tend to be closed in that they cannot be easily combined with other such models, thus limiting their applicability to situations which exactly match one of them.
We do not propose yet another transaction model. Instead, we have developed a general specification facility that enables the formalization of any transaction model that can be stated in terms of dependencies amongst significant events in different subtransactions. Such significant events include start, commit, and abort. We make no assumptions that these are the only kinds of events. Our approach isviable because most extended transaction models can be naturally formalized in terms of dependencies among different subtransactions.
Our approach begins with specifications stated in an extension of the language proposed recently by Klein [3]. These specifications are translated into an internal language for processing. The processing proceeds by provably sound algebraic manipulations and yields guards on the different significant events ofinterest. Our execution environment is Carnot's extensible services switch (ESS) [5]. The ESS, which is animplementation of the Actor model, supports point-to-point message transmission as well as multicasts over a heterogeneous environment. Therefore, it is an ideal medium over which to integrate diverse applications.
We associate an actor with each subtransaction or legacy application that mediates between that subtransaction and the rest of the system.The guards on events are located in these mediating actors. Asubtransaction communicates with its associated actor to request permission to execute some controllable event, e.g., commit, and to inform the system of some uncontrollable event, e.g., abort. Additionally, the actor may trigger events, e.g., start, in the subtransaction.
Further, while flexibility was an important motivation for it, our approach is meant also to lead to efficient execution. Indeed, the present approach, which we will demonstrate, is not only more general than our previous approach [1], but also more efficient. There is almost always a certain performance penalty to pay for flexibility. We believe that this penalty is not too high for our present approach.
General descriptions of our approach, and details about the Carnot architecture and the ESS, are available in the literature, e.g., [4, 5].
Copyright © 1994 by the ACM, Inc., used by permission. Permission to make digital or hard copies is granted provided that copies are not made or distributed for profit or direct commercial advantage, and that copies show this notice on the first page or initial screen of a display along with the full citation.
CDROM Version: Load the CDROM "Volume 1 Issue 1, SIGMOD '93-'97" and ...