Using Write Protected Data Structures To Improve Software Fault Tolerance in Highly Available Database Management Systems.
Mark Sullivan, Michael Stonebraker:
Using Write Protected Data Structures To Improve Software Fault Tolerance in Highly Available Database Management Systems.
VLDB 1991: 171-180@inproceedings{DBLP:conf/vldb/SullivanS91,
author = {Mark Sullivan and
Michael Stonebraker},
editor = {Guy M. Lohman and
Am\'{\i}lcar Sernadas and
Rafael Camps},
title = {Using Write Protected Data Structures To Improve Software Fault
Tolerance in Highly Available Database Management Systems},
booktitle = {17th International Conference on Very Large Data Bases, September
3-6, 1991, Barcelona, Catalonia, Spain, Proceedings},
publisher = {Morgan Kaufmann},
year = {1991},
isbn = {1-55860-150-3},
pages = {171-180},
ee = {db/conf/vldb/SullivanS91.html},
crossref = {DBLP:conf/vldb/91},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Abstract
This paper describes a database management system (DBMS) modified to use hardware write protection to guard critical DBMS data structures against software errors.
Guarding (write-protecting) DBMS data improves software reliability by providing quick detection of corrupted pointers and array bounds overruns.
Guarding will be especially helpful in an extensible DBMS since it limits the power of extension code to corrupt unrelated parts of the system.
Read-write data structures can be guarded as long as correct software is able to temporarily unprotect the data structures during updates.
The paper discusses the effects of three different update models on performance, software complexity, and error protection. Measurements of a DBMS which usesguarding to protect its buffer pool show two to eleven percent performance degradation in a debit/credit benchmark.
Copyright © 1991 by the VLDB Endowment.
Permission to copy without fee all or part of this material is granted provided that the copies are not made or
distributed for direct commercial advantage, the VLDB
copyright notice and the title of the publication and
its date appear, and notice is given that copying
is by the permission of the Very Large Data Base
Endowment. To copy otherwise, or to republish, requires
a fee and/or special permission from the Endowment.
Online Paper
CDROM Version: Load the CDROM "Volume 1 Issue 5, VLDB '89-'97" and ...
DVD Version: Load ACM SIGMOD Anthology DVD 1" and ...
Printed Edition
Guy M. Lohman, Amílcar Sernadas, Rafael Camps (Eds.):
17th International Conference on Very Large Data Bases, September 3-6, 1991, Barcelona, Catalonia, Spain, Proceedings.
Morgan Kaufmann 1991, ISBN 1-55860-150-3
References
- [Anon85]
- ...
- [Banerjee87]
- Jay Banerjee, Won Kim, Hyoung-Joo Kim, Henry F. Korth:
Semantics and Implementation of Schema Evolution in Object-Oriented Databases.
SIGMOD Conference 1987: 311-322
![bibliographical record in XML](../../xml.gif)
- [Bartlett81]
- Joel F. Bartlett:
A NonStop Kernel.
SOSP 1981: 22-19
![bibliographical record in XML](../../xml.gif)
- [Bershad89]
- Brian N. Bershad, Thomas E. Anderson, Edward D. Lazowska, Henry M. Levy:
Lightweight Remote Procedure Call.
SOSP 1989: 102-113
![bibliographical record in XML](../../xml.gif)
- [Carey86]
- Michael J. Carey, David J. DeWitt, Daniel Frank, Goetz Graefe, M. Muralikrishna, Joel E. Richardson, Eugene J. Shekita:
The Architecture of the EXODUS Extensible DBMS.
OODBS 1986: 52-65
![bibliographical record in XML](../../xml.gif)
- [Chang88]
- Albert Chang, Mark F. Mergen:
801 Storage: Architecture and Programming.
ACM Trans. Comput. Syst. 6(1): 28-50(1988)
![bibliographical record in XML](../../xml.gif)
- [Chillarege89]
- ...
- [Endres75]
- Albert Endres:
An Analysis of Errors and Their Causes in System Programs.
IEEE Trans. Software Eng. 1(2): 140-149(1975)
![bibliographical record in XML](../../xml.gif)
- [Gray90]
- ...
- [Gupta90]
- Rajiv Gupta:
A Fresh Look at Optimizing Array Bound Checking.
PLDI 1990: 272-282
![bibliographical record in XML](../../xml.gif)
- [Lampson80]
- Butler W. Lampson, David D. Redell:
Experience with Processes and Monitors in Mesa.
Commun. ACM 23(2): 105-117(1980)
![bibliographical record in XML](../../xml.gif)
- [Lorie77]
- Raymond A. Lorie:
Physical Integrity in a Large Segmented Database.
ACM Trans. Database Syst. 2(1): 91-104(1977)
![bibliographical record in XML](../../xml.gif)
- [Mourad87]
- Samiha Mourad, Dorothy Andrews:
On the Reliability of the IBM MVS/XA Operating.
IEEE Trans. Software Eng. 13(10): 1135-1139(1987)
![bibliographical record in XML](../../xml.gif)
- [Ousterhout88]
- John K. Ousterhout, Andrew R. Cherenson, Fred Douglis, Michael N. Nelson, Brent B. Welch:
The Sprite Network Operating System.
IEEE Computer 21(2): 23-36(1988)
![bibliographical record in XML](../../xml.gif)
- [Schroeder72]
- Michael D. Schroeder, Jerome H. Saltzer:
A Hardware Architecture for Implementing Protection Rings.
Commun. ACM 15(3): 157-170(1972)
![bibliographical record in XML](../../xml.gif)
- [Stonebraker86]
- Michael Stonebraker, Lawrence A. Rowe:
The Design of Postgres.
SIGMOD Conference 1986: 340-355
![bibliographical record in XML](../../xml.gif)
- [Stonebraker87]
- Michael Stonebraker:
The Design of the POSTGRES Storage System.
VLDB 1987: 289-300
![bibliographical record in XML](../../xml.gif)
- [Velardi84]
- Paola Velardi, Ravishankar K. Iyer:
A Study of Software Failures and Recovery in the MVS Operating System.
IEEE Trans. Computers 33(6): 564-568(1984)
![bibliographical record in XML](../../xml.gif)
- [Wulf74]
- William A. Wulf, Ellis S. Cohen, William M. Corwin, Anita K. Jones, Roy Levin, C. Pierson, Fred J. Pollack:
HYDRA: The Kernel of a Multiprocessor Operating System.
Commun. ACM 17(6): 337-345(1974)
![bibliographical record in XML](../../xml.gif)
- [Young87]
- Michael Young, Avadis Tevanian, Richard F. Rashid, David B. Golub, Jeffrey L. Eppinger, Jonathan Chew, William J. Bolosky, David L. Black, Robert V. Baron:
The Duality of Memory and Communication in the Implementation of a Multiprocessor Operating System.
SOSP 1987: 63-76
![bibliographical record in XML](../../xml.gif)
Copyright © Sun Mar 14 23:30:12 2010
by Michael Ley (ley@uni-trier.de)