Package simpledb.buffer

Interface Summary

PageFormatter

An interface used to initialize a new block on disk.

Class Summary

BasicBufferMgr	Manages the pinning and unpinning of buffers to blocks.
Buffer	An individual buffer.
BufferMgr	The publicly-accessible buffer manager.

Exception Summary

BufferAbortException

A runtime exception indicating that the transaction needs to abort because a buffer request could not be satisfied.