/// <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); }