article

Free access

Abstraction in recovery management

Authors:

J. Eliot B Moss,

Nancy D. Griffeth,

Marc H. GrahamAuthors Info & Claims

ACM SIGMOD Record, Volume 15, Issue 2

Pages 72 - 83

https://doi.org/10.1145/16856.16862

Published: 15 June 1986 Publication History

PDF eReader

Abstract

There are many examples of actions on abstract data types which can be correctly implemented with nonserializable and nonrecoverable schedules of reads and writes. We examine a model of multiple layers of abstraction that explains this phenomenon and suggests an approach to building layered systems with transaction oriented synchronization and roll back. Our model may make it easier to provide the high data integrity of reliable database transaction processing in a broader class of information systems. We concentrate on the recovery aspects here, a technical report [Moss et al 85] has a more complete discussion of concurrency control.

References

[1]

C Been, P A Bernsteln, N Goodman, M Y Lal, and D E Shasha, "A Concurrency Control Theory for Nested Transactions#, Proc #nd Syrup on Przn of D:strtbuted Computlng, Aug 1983, pp 45-62

Digital Library

Google Scholar

[2]

K P Eswaren, J N Gray, R A Lotto, I L Tralger, "The Notion of Consistency and Predicate Locks m a Database System", Comm of the ACM, Vol 19, No 11, Nov 1976, pp 624-633

Digital Library

Google Scholar

[3]

Hector Garcla-Mohna and Glo Wmderhold, #Read-Only Transactions m a Dmtrlbuted Database", Trans on Database Systems, Vol 7, No 2, June 1982, pp 209-234

Digital Library

Google Scholar

[4]

Vassos Hadzdacos, UAn Operational Model for Database System Reliability#, Proc P, nd Syrup ore Pr#n of Database Systems, Max 1983, pp 244-257

Digital Library

Google Scholar

[5]

Theo Haerder and Andreas Reuter, uPrmclples of Transactlon-Ormnted Database Recovery#, Computing Surveys, Vol 15, No 4, Dec 1983, pp 287-318

Digital Library

Google Scholar

[6]

Nancy A Lynch, "Multdevel Atomlcity- A New Correctness Criterion for Database Concurrency ControF, Trans on Database Systems, Vol 8, No 4, Dec 1983, pp 484-502

Digital Library

Google Scholar

[7]

J Eliot B Moss, Nancy D Grlffeth, Marc H Graham, UAbstractlon m Concurrency Control and Recovery Management", Dept of Comp and Info Scl, Umv of Mass (Amherst), Tech Report 85-51, Dec 1985

Digital Library

Google Scholar

[8]

C H Papadlmltnou, #Sermllzabdlty of Concurrent Updates#, Journal of the ACM, Vol 26, No 4, Oct 1979, pp 631-653

Digital Library

Google Scholar

[9]

Peter M Schwarz and Alfred Z Spector, #Synchromzmg Shared Abstract Types#, Trans on Computer Systems, Vol 2, No 3, Aug 1984, pp 223-250

Digital Library

Google Scholar

[10]

Wdllam E Welhl, Speczficatzon and Implementation of Atomic Data Types, PhD thesm, Mass Inst of Tech, Lab for Comp Scl Tech Report 314, Mar 1984

Digital Library

Google Scholar

Cited By

View all

Weikum G(2018)Multilevel Transactions and Object-Model TransactionsEncyclopedia of Database Systems10.1007/978-1-4614-8265-9_728(2353-2359)Online publication date: 7-Dec-2018
https://doi.org/10.1007/978-1-4614-8265-9_728
Weikum G(2018)Multilevel Recovery and the ARIES AlgorithmEncyclopedia of Database Systems10.1007/978-1-4614-8265-9_225(2344-2349)Online publication date: 7-Dec-2018
https://doi.org/10.1007/978-1-4614-8265-9_225
Weikum G(2017)Multilevel Transactions and Object-Model TransactionsEncyclopedia of Database Systems10.1007/978-1-4899-7993-3_728-2(1-7)Online publication date: 11-Jan-2017
https://doi.org/10.1007/978-1-4899-7993-3_728-2
Show More Cited By

Index Terms

Recommendations

Abstraction in recovery management
SIGMOD '86: Proceedings of the 1986 ACM SIGMOD international conference on Management of data

There are many examples of actions on abstract data types which can be correctly implemented with nonserializable and nonrecoverable schedules of reads and writes. We examine a model of multiple layers of abstraction that explains this phenomenon and ...
Semantics-based recovery in transaction management systems
Semantics-Based Recovery in Transaction Management Systems

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

ACM SIGMOD Record Volume 15, Issue 2

June 1986

407 pages

ISSN:0163-5808

DOI:10.1145/16856

Editor:
Carlo Zaniolo

Issue’s Table of Contents

SIGMOD '86: Proceedings of the 1986 ACM SIGMOD international conference on Management of data
June 1986
407 pages
ISBN:0897911911
DOI:10.1145/16894
Editor:
Carlo Zaniolo

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 15 June 1986

Published in SIGMOD Volume 15, Issue 2

Check for updates

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

116
Total Citations
View Citations
576
Total Downloads

Downloads (Last 12 months)186
Downloads (Last 6 weeks)43

Reflects downloads up to 25 Nov 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Weikum G(2018)Multilevel Transactions and Object-Model TransactionsEncyclopedia of Database Systems10.1007/978-1-4614-8265-9_728(2353-2359)Online publication date: 7-Dec-2018
https://doi.org/10.1007/978-1-4614-8265-9_728
Weikum G(2018)Multilevel Recovery and the ARIES AlgorithmEncyclopedia of Database Systems10.1007/978-1-4614-8265-9_225(2344-2349)Online publication date: 7-Dec-2018
https://doi.org/10.1007/978-1-4614-8265-9_225
Weikum G(2017)Multilevel Transactions and Object-Model TransactionsEncyclopedia of Database Systems10.1007/978-1-4899-7993-3_728-2(1-7)Online publication date: 11-Jan-2017
https://doi.org/10.1007/978-1-4899-7993-3_728-2
Weikum G(2016)Multi-level Recovery and the ARIES AlgorithmEncyclopedia of Database Systems10.1007/978-1-4899-7993-3_225-2(1-6)Online publication date: 5-Nov-2016
https://doi.org/10.1007/978-1-4899-7993-3_225-2
Weikum G(2009)Multilevel Transactions and Object-Model TransactionsEncyclopedia of Database Systems10.1007/978-0-387-39940-9_728(1792-1797)Online publication date: 2009
https://doi.org/10.1007/978-0-387-39940-9_728
Weikum G(2009)Multi-Level Recovery and the ARIES AlgorithmEncyclopedia of Database Systems10.1007/978-0-387-39940-9_225(1784-1789)Online publication date: 2009
https://doi.org/10.1007/978-0-387-39940-9_225
Rossbach CRamadan HHofmann OPorter DBhandari AWitchel E(2008)TxLinux and MetaTMCommunications of the ACM10.1145/1378727.137874751:9(83-91)Online publication date: 1-Sep-2008
https://dl.acm.org/doi/10.1145/1378727.1378747
Rossbach CHofmann OPorter DRamadan HAditya BWitchel E(2007)TxLinuxACM SIGOPS Operating Systems Review10.1145/1323293.129427141:6(87-102)Online publication date: 14-Oct-2007
https://dl.acm.org/doi/10.1145/1323293.1294271
Rossbach CHofmann OPorter DRamadan HAditya BWitchel EBressoud TKaashoek M(2007)TxLinuxProceedings of twenty-first ACM SIGOPS symposium on Operating systems principles10.1145/1294261.1294271(87-102)Online publication date: 14-Oct-2007
https://dl.acm.org/doi/10.1145/1294261.1294271
Moss JHosking A(2006)Nested transactional memoryScience of Computer Programming10.1016/j.scico.2006.05.01063:2(186-201)Online publication date: 1-Dec-2006
https://dl.acm.org/doi/10.1016/j.scico.2006.05.010
Show More Cited By

View Options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Abstract

References

Cited By

Index Terms

Recommendations