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

Download PDF file (www.vldb.org, Darmstadt, Germany)
Download PDF file (www.acm.org, New York, USA)

ACM SIGMOD Anthology

CDROM Version: Load the CDROM "Volume 1 Issue 5, VLDB '89-'97" and ...

Windows: Click the letter of your CD drive
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
Mac: Click here
UNIX/LINUX: mount the CD and click on the path of your mount point:
/Anthology/vldb8997 or /cdrom

DVD Version: Load ACM SIGMOD Anthology DVD 1" and ...

Windows: Click the letter of your CD drive
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
Mac: Click here
UNIX/LINUX: mount the DVD and click on the path of your mount point:
/Anthology/aDVD1 or /dvd

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
[Bartlett81]: Joel F. Bartlett: A NonStop Kernel. SOSP 1981: 22-19
[Bershad89]: Brian N. Bershad, Thomas E. Anderson, Edward D. Lazowska, Henry M. Levy: Lightweight Remote Procedure Call. SOSP 1989: 102-113
[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
[Chang88]: Albert Chang, Mark F. Mergen: 801 Storage: Architecture and Programming. ACM Trans. Comput. Syst. 6(1): 28-50(1988)
[Chillarege89]: ...
[Endres75]: Albert Endres: An Analysis of Errors and Their Causes in System Programs. IEEE Trans. Software Eng. 1(2): 140-149(1975)
[Gray90]: ...
[Gupta90]: Rajiv Gupta: A Fresh Look at Optimizing Array Bound Checking. PLDI 1990: 272-282
[Lampson80]: Butler W. Lampson, David D. Redell: Experience with Processes and Monitors in Mesa. Commun. ACM 23(2): 105-117(1980)
[Lorie77]: Raymond A. Lorie: Physical Integrity in a Large Segmented Database. ACM Trans. Database Syst. 2(1): 91-104(1977)
[Mourad87]: Samiha Mourad, Dorothy Andrews: On the Reliability of the IBM MVS/XA Operating. IEEE Trans. Software Eng. 13(10): 1135-1139(1987)
[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)
[Schroeder72]: Michael D. Schroeder, Jerome H. Saltzer: A Hardware Architecture for Implementing Protection Rings. Commun. ACM 15(3): 157-170(1972)
[Stonebraker86]: Michael Stonebraker, Lawrence A. Rowe: The Design of Postgres. SIGMOD Conference 1986: 340-355
[Stonebraker87]: Michael Stonebraker: The Design of the POSTGRES Storage System. VLDB 1987: 289-300
[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)
[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)
[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