{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,15]],"date-time":"2025-07-15T03:22:40Z","timestamp":1752549760439,"version":"3.41.0"},"reference-count":25,"publisher":"Association for Computing Machinery (ACM)","issue":"2","license":[{"start":{"date-parts":[[1983,4,1]],"date-time":"1983-04-01T00:00:00Z","timestamp":418003200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["SIGOPS Oper. Syst. Rev."],"published-print":{"date-parts":[[1983,4]]},"abstract":"<jats:p>Transactions have proven to be a useful tool for constructing reliable database systems and are likely to be useful in many types of distributed systems. To exploit transactions in a general purpose distributed system, each node can execute a transaction kernel that provides services necessary to support transactions at higher system levels. The transaction model that the kernel supports must permit arbitrary operations on the wide collection of data types used by programmers. New techniques must be developed for specifying the synchronization and recovery properties of abstract types that are used in transactions. Existing mechanisms for synchronization, recovery, deadlock management and communication are often inadequate to implement these types efficiently, and they must be adapted or replaced.<\/jats:p>","DOI":"10.1145\/1041478.1041481","type":"journal-article","created":{"date-parts":[[2005,1,26]],"date-time":"2005-01-26T16:49:14Z","timestamp":1106758154000},"page":"18-35","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":43,"title":["Transactions"],"prefix":"10.1145","volume":"17","author":[{"given":"Alfred Z.","family":"Spector","sequence":"first","affiliation":[{"name":"Carnegie-Mellon University, Pittsburgh, PA"}]},{"given":"Peter M.","family":"Schwarz","sequence":"additional","affiliation":[{"name":"Carnegie-Mellon University, Pittsburgh, PA"}]}],"member":"320","published-online":{"date-parts":[[1983,4]]},"reference":[{"key":"e_1_2_1_1_1","volume-title":"McKendry. Object-Based Synchronization and Recovery","author":"Allchin James E.","year":"1982","unstructured":"James E. Allchin and Martin S . McKendry. Object-Based Synchronization and Recovery , 1982 . School of Information and Computer Science, Georgia Institute of Technology , submitted for publication. James E. Allchin and Martin S. McKendry. Object-Based Synchronization and Recovery, 1982. School of Information and Computer Science, Georgia Institute of Technology, submitted for publication."},{"key":"e_1_2_1_2_1","first-page":"71","volume-title":"Proc. Fifth Berkeley Wkshp. on Dist. Data Mgmt. and Computer Networks","author":"Bernstein P. A.","year":"1981","unstructured":"P. A. Bernstein , N. Goodman , and M. Y. Lai . Two Part Proof Schema for Database Concurrency Control . In Proc. Fifth Berkeley Wkshp. on Dist. Data Mgmt. and Computer Networks , pages 71 -- 84 . February , 1981 . P. A. Bernstein, N. Goodman, and M. Y. Lai. Two Part Proof Schema for Database Concurrency Control. In Proc. Fifth Berkeley Wkshp. on Dist. Data Mgmt. and Computer Networks, pages 71--84. February, 1981."},{"key":"e_1_2_1_3_1","volume-title":"MIT","author":"Daniels Dean","year":"1982","unstructured":"Dean Daniels . Query Compilation in a Distributed Database System. Master's thesis , MIT , March , 1982 . Dean Daniels. Query Compilation in a Distributed Database System. Master's thesis, MIT, March, 1982."},{"key":"e_1_2_1_4_1","volume-title":"Digital Equipment Corporation","author":"Assembly Language","year":"1972","unstructured":"Decsystem10 Assembly Language Handbook 2 edition , Digital Equipment Corporation , Maynard, MA, 1972 . Decsystem10 Assembly Language Handbook 2 edition, Digital Equipment Corporation, Maynard, MA, 1972."},{"key":"e_1_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/360363.360369"},{"key":"e_1_2_1_7_1","volume-title":"Experimental Decentralized System. In Proceedings I.R.I.A. Workshop on Integrated Office Systems","author":"Gifford David K.","year":"1979","unstructured":"David K. Gifford . Violet, an Experimental Decentralized System. In Proceedings I.R.I.A. Workshop on Integrated Office Systems . Versailles, France , November , 1979 . Also available as Xerox Palo Alto Research Center Report CSL-79-12. David K. Gifford. Violet, an Experimental Decentralized System. In Proceedings I.R.I.A. Workshop on Integrated Office Systems. Versailles, France, November, 1979. Also available as Xerox Palo Alto Research Center Report CSL-79-12."},{"key":"e_1_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.5555\/647433.723863"},{"key":"e_1_2_1_11_1","first-page":"144","volume-title":"Gray. The Transaction Concept: Virtues and Limitations. In Proc. of Very Large Database Conference","author":"Jim","year":"1981","unstructured":"Jim Gray. The Transaction Concept: Virtues and Limitations. In Proc. of Very Large Database Conference , pages 144 -- 154 . September , 1981 . Jim Gray. The Transaction Concept: Virtues and Limitations. In Proc. of Very Large Database Conference, pages 144--154. September, 1981."},{"key":"e_1_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/356842.356847"},{"key":"e_1_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/355620.361161"},{"key":"e_1_2_1_16_1","volume-title":"Korth. A Deadlock-Free Variable Granularity Locking Protocol. In Proc. Fifth Berkely Wkshp. on Dist. Data Mgmt. and Computer Networks.","author":"Henry","year":"1981","unstructured":"Henry F. Korth. A Deadlock-Free Variable Granularity Locking Protocol. In Proc. Fifth Berkely Wkshp. on Dist. Data Mgmt. and Computer Networks. February , 1981 . Henry F. Korth. A Deadlock-Free Variable Granularity Locking Protocol. In Proc. Fifth Berkely Wkshp. on Dist. Data Mgmt. and Computer Networks. February, 1981."},{"key":"e_1_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/322358.322363"},{"key":"e_1_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/582095.582114"},{"key":"e_1_2_1_19_1","volume-title":"Distributed Systems - Architecture and Implementation: An Advanced Course","author":"Lampson Butler W.","year":"1981","unstructured":"Butler W. Lampson . Atomic Transactions . In G. Goos and J. Hartmanis (editors), Distributed Systems - Architecture and Implementation: An Advanced Course , chapter 11pages 246--265. Springer-Verlag , 1981 . Butler W. Lampson. Atomic Transactions. In G. Goos and J. Hartmanis (editors), Distributed Systems - Architecture and Implementation: An Advanced Course, chapter 11pages 246--265. Springer-Verlag, 1981."},{"key":"e_1_2_1_20_1","volume-title":"Jerry Nolte. Performance of Two Phase Locking. In Proceedings 7th Berkeley Conference on Distributed Data Management and Computer Networks.","author":"Lin Wen-Te K.","year":"1982","unstructured":"Wen-Te K. Lin , Jerry Nolte. Performance of Two Phase Locking. In Proceedings 7th Berkeley Conference on Distributed Data Management and Computer Networks. February , 1982 . Wen-Te K. Lin, Jerry Nolte. Performance of Two Phase Locking. In Proceedings 7th Berkeley Conference on Distributed Data Management and Computer Networks. February, 1982."},{"key":"e_1_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/582153.582155"},{"key":"e_1_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1982.235250"},{"key":"e_1_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/390017.808319"},{"key":"e_1_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/320521.320540"},{"key":"e_1_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/320251.320260"},{"key":"e_1_2_1_29_1","first-page":"337","volume-title":"Proceedings 4th Berkeley Conference on Distributed Data Management and Computer Networks","author":"Rowe Lawrence A.","year":"1979","unstructured":"Lawrence A. Rowe , Kenneth P. Birman . Network Support for a Distributed Data Base System . In Proceedings 4th Berkeley Conference on Distributed Data Management and Computer Networks , pages 337 -- 352 . August , 1979 . Lawrence A. Rowe, Kenneth P. Birman. Network Support for a Distributed Data Base System. In Proceedings 4th Berkeley Conference on Distributed Data Management and Computer Networks, pages 337--352. August, 1979."},{"key":"e_1_2_1_30_1","first-page":"519","volume-title":"Proceedings 2nd International Conference on Operating Systems","author":"Saltzer J. H.","year":"1981","unstructured":"J. H. Saltzer , D. P. Reed , D. D. Clark . End-To-End Arguments in System Design . In Proceedings 2nd International Conference on Operating Systems , pages 519 -- 512 . Paris, France , April , 1981 . J. H. Saltzer, D. P. Reed, D. D. Clark. End-To-End Arguments in System Design. In Proceedings 2nd International Conference on Operating Systems, pages 519--512. Paris, France, April, 1981."},{"key":"e_1_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/1035237.1035275"},{"key":"e_1_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/358468.358478"},{"key":"e_1_2_1_34_1","volume-title":"Atomic Actions and Data Abstractions","author":"Weihl William E.","year":"1981","unstructured":"William E. Weihl . Atomic Actions and Data Abstractions . 1981 . MIT Laboratory for Computer Science . William E. Weihl. Atomic Actions and Data Abstractions. 1981. MIT Laboratory for Computer Science."}],"container-title":["ACM SIGOPS Operating Systems Review"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1041478.1041481","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1041478.1041481","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T22:43:41Z","timestamp":1750286621000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1041478.1041481"}},"subtitle":["a construct for reliable distributed computing"],"short-title":[],"issued":{"date-parts":[[1983,4]]},"references-count":25,"journal-issue":{"issue":"2","published-print":{"date-parts":[[1983,4]]}},"alternative-id":["10.1145\/1041478.1041481"],"URL":"https:\/\/doi.org\/10.1145\/1041478.1041481","relation":{},"ISSN":["0163-5980"],"issn-type":[{"type":"print","value":"0163-5980"}],"subject":[],"published":{"date-parts":[[1983,4]]},"assertion":[{"value":"1983-04-01","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}