Permanent Memory Manager

The Permanent Memory Manager takes care of the allocation and deallocation of pages within a database, and performs reads and writes of pages to and from disk. It provides an abstraction of the permanent memory in terms of a set of databases made of a set of files with page-sized blocks of bytes.

A database is a directory containing files for the catalog, relations and indexes.

Click here for the Permanent Memory Manager public interface

JRS Architecture
JRS Home Page