Abstract
This paper describes the communication functions required for distributed transaction processing. The paper begins with a discussion of models that illustrate how a communication subsystem fits into a proposed system architecture. Then, it describes the system and user activities that depend on the communication subsystem. Finally, it uses these activities to motivate the facilities that should be provided by a communication subsystem that supports transaction processing.
This work was supported by IBM and the Defense Advanced Research Projects Agency, ARPA Order No. 4976, monitored by the Air Force Avionics Laboratory under Contract F33615-84-K-1520. The views and conclusions contained in this document are those of the author and should not be interpreted as representing the official policies, either expressed or implied, of any of the sponsoring agencies or the US government.
This is a preview of subscription content, log in via an institution.
Preview
Unable to display preview. Download preview PDF.
References
Mike Accetta, Robert Baron, William Bolosky, David Golub, Richard Rashid, Avadis Tevanian, Michael Young. Mach: A New Kernel Foundation for UNIX Development. In Proceedings of Summer Usenix. July, 1986.
Functional Specification Manual (Release 1) 1986.
Andrew D. Birrell, Bruce J. Nelson. Implementing Remote Procedure Calls. ACM Transactions on Computer Systems 2(1):39–59, February, 1984.
David R. Cheriton. The V Kernel: A Software Base for Distributed Systems. IEEE Software 1(2):186–213, April, 1984.
David R. Cheriton. Fault-tolerant Transaction Management in a Workstation Cluster. 1986.Stanford University.
Dean S. Daniels, Alfred Z. Spector, Dean Thompson. Distributed Logging for Transaction Processing. Technical Report CMU-CS-86-106, Carnegie-Mellon University, June, 1986.
James N. Gray. A Transaction Model. Technical Report RJ2895, IBM Research Laboratory, San Jose, California, August, 1980.
Maurice P. Herlihy. Availability vs. atomicity: concurrency control for replicated data. Technical Report CMU-CS-85-108, Carnegie-Mellon University, February, 1985.
Leslie Lamport. Time, Clocks, and the Ordering of Events in a Distributed System. Communications of the ACM 21(7):558–565, July, 1978.
Bruce G. Lindsay, et al. Notes on Distributed Databases. Technical Report RJ2571, IBM Research Laboratory, San Jose, California, July, 1979. Also appears in Droffen and Poole (editors), Distributed Databases, Cambridge University Press, 1980.
Bruce G. Lindsay, Laura M. Haas, C. Mohan, Paul F. Wilms, Robert A. Yost. Computation and Communication in R*: A Distributed Database Manager. ACM Transactions on Computer Systems 2(1):24–38, February, 1984.
Barbara Liskov. Overview of the Argus Language and System. Programming Methodology Group Memo 40, Massachusetts Institute of Technology Laboratory for Computer Science, February, 1984.
Barbara H. Liskov, Robert W. Scheifler. Guardians and Actions: Linguistic Support for Robust, Distributed Programs. ACM Transactions on Programming Languages and Systems 5(3):381–404, July, 1983.
Roger M. Needham, Michael D. Schroeder. Using Encryption for Authentication in Large Networks of Computers. Communications of the ACM 21(12):993–999, December, 1978. Also Xerox Research Report, CSL-78-4, Xerox Research Center, Palo Alto, CA.
Jonathan B. Postel. Internetwork Protocol Approaches. In Paul E. Green, Jr. (editor), Computer Network Architectures and Protocols, chapter 18, pages 511–526.Plenum Press, 1982.
Richard Rashid, George Robertson. Accent: A Communication Oriented Network Operating System Kernel. In Proceedings of the Eighth Symposium on Operating System Principles, pages 64–75. ACM, December, 1981.
Robert D. Sansom, Daniel P. Julin and Richard F. Rashid. Extending a Capability Based System into a Network Environment. Technical Report CMU-CS-86-115, Carnegie Mellon, April, 1986. To appear in SIGCOMM '86: Futures in Communications, August 1986.
Alfred Z. Spector. Performing Remote Operations Efficiently on a Local Computer Network. Communications of the ACM 25(4):246–260, April, 1982.
Alfred Z. Spector, Dan Duchamp, Jeffrey L. Eppinger, Sherri G. Menees, Dean S. Thompson. The Camelot Interface Specification. September, 1986.Camelot Working Memo 2.
Alfred Z. Spector, Dean S. Daniels, Daniel J. Duchamp, Jeffrey L. Eppinger, Randy Pausch. Distributed Transactions for Reliable Systems. In Proceedings of the Tenth Symposium on Operating System Principles, pages 127–146. ACM, December, 1985. Also available in Concurrency Control and Reliability in Distributed Systems, Van Nostrand Reinhold Company, New York, and as Technical Report CMU-CS-85-117, Carnegie-Mellon University, September 1985.
Hubert Zimmermann. A Standard Network Model. In Paul E. Green, Jr. (editor), Computer Network Architectures and Protocols, chapter 2, pages 33–54.Plenum Press, 1982.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1987 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Spector, A.Z. (1987). Communication support in operating systems for distributed transactions. In: Müller, G., Blanc, R.P. (eds) Networking in Open Systems. Lecture Notes in Computer Science, vol 248. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0026968
Download citation
DOI: https://doi.org/10.1007/BFb0026968
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-17707-4
Online ISBN: 978-3-540-47777-8
eBook Packages: Springer Book Archive