/// <summary>
/// Constructs the manager.
/// </summary>
/// <param name="journal_path"></param>
/// <param name="read_only"></param>
/// <param name="max_pages"></param>
/// <param name="page_size"></param>
/// <param name="sda_factory"></param>
/// <param name="enable_logging"></param>
internal LoggingBufferManager(string journal_path, bool read_only,
int max_pages, int page_size,
IStoreDataAccessorFactory sda_factory, Logger logger, bool enable_logging)
{
PageCacheComparer = new PageCacheComparerImpl(this);
this.max_pages = max_pages;
this.page_size = page_size;
check_point_in_progress = false;
write_lock_count = 0;
current_T = 0;
page_list = new ArrayList();
page_map = new BMPage[7829];
journalled_system = new JournalledSystem(journal_path, read_only,
page_size, sda_factory, logger, enable_logging);
}
/// <summary>
/// Constructs the manager.
/// </summary>
/// <param name="journal_path"></param>
/// <param name="read_only"></param>
/// <param name="max_pages"></param>
/// <param name="page_size"></param>
/// <param name="sda_factory"></param>
/// <param name="enable_logging"></param>
internal LoggingBufferManager(string journal_path, bool read_only,
int max_pages, int page_size,
IStoreDataAccessorFactory sda_factory, Logger logger, bool enable_logging)
{
PageCacheComparer = new PageCacheComparerImpl(this);
this.max_pages = max_pages;
this.page_size = page_size;
check_point_in_progress = false;
write_lock_count = 0;
current_T = 0;
page_list = new ArrayList();
page_map = new BMPage[7829];
journalled_system = new JournalledSystem(journal_path, read_only,
page_size, sda_factory, logger, enable_logging);
}
