The art of computer programming, volume 1 (3rd ed.): fundamental algorithms
The art of computer programming, volume 1 (3rd ed.): fundamental algorithms
Physical integrity in a large segmented database
ACM Transactions on Database Systems (TODS)
Recovery Techniques for Database Systems
ACM Computing Surveys (CSUR)
The Recovery Manager of the System R Database Manager
ACM Computing Surveys (CSUR)
A class of dynamic memory allocation algorithms
Communications of the ACM
Communications of the ACM
A programmer's description of L6
Communications of the ACM
Notes on Data Base Operating Systems
Operating Systems, An Advanced Course
A comparison of two network-based file servers
SOSP '81 Proceedings of the eighth ACM symposium on Operating systems principles
Issues in the design and use of a distributed file system
ACM SIGOPS Operating Systems Review
Database manipulation in Haskell 1.3
FP'95 Proceedings of the 1995 international conference on Functional Programming
| Hi-index | 0.00 |
We describe and prove correct a programming technique using a linked list of pages for managing the free disk pages of a file system where shadowing is the recovery technique. Our technique requires a window of only two pages of main memory for accessing and maintaining the free list, and avoids wholesale copying of free-list pages during a checkpoint or recover operation.