global
Class Minibase

java.lang.Object
  global.Minibase

public class Minibase
extends java.lang.Object

Definitions for the running Minibase system, including references to static layers and database-level attributes.

Field Summary

static BufMgr	BufferManager The Minibase Buffer Manager.
static java.lang.String	DatabaseName Name of the data file.
static DiskMgr	DiskManager The Minibase Disk Space Manager.
static Catalog	SystemCatalog The Minibase System Catalog.

Constructor Summary

Minibase(java.lang.String dbname, int num_pgs, int bufpoolsize, java.lang.String replacement_policy, boolean exists)
Constructs and starts an instance of Minibase, given the configuration.

Method Summary

static void	haltSystem(java.lang.Exception exc) Displays an unrecoverable error and halts the system.
void	init(java.lang.String dbname, int num_pgs, int bufpoolsize, java.lang.String replacement_policy, boolean exists) Initializes the current instance of Minibase with the given configuration.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

DatabaseName

public static java.lang.String DatabaseName

Name of the data file.

DiskManager

public static DiskMgr DiskManager

The Minibase Disk Space Manager.

BufferManager

public static BufMgr BufferManager

The Minibase Buffer Manager.

SystemCatalog

public static Catalog SystemCatalog

The Minibase System Catalog.

Constructor Detail

Minibase

public Minibase(java.lang.String dbname,
                int num_pgs,
                int bufpoolsize,
                java.lang.String replacement_policy,
                boolean exists)

Constructs and starts an instance of Minibase, given the configuration.

Parameters:

dbname - Name of the data file

num_pgs - Number of pages to allocate

bufpoolsize - Buffer pool size (in pages)

replacement_policy - Buffer pool replacement policy

exists - If the database already exists on disk

Method Detail

init

public void init(java.lang.String dbname,
                 int num_pgs,
                 int bufpoolsize,
                 java.lang.String replacement_policy,
                 boolean exists)

Initializes the current instance of Minibase with the given configuration.

Parameters:

dbname - Name of the data file

num_pgs - Number of pages to allocate

bufpoolsize - Buffer pool size (in pages)

replacement_policy - Buffer pool replacement policy

exists - If the database already exists on disk

haltSystem

public static void haltSystem(java.lang.Exception exc)

Displays an unrecoverable error and halts the system.