public void Initialize(Guid token, long _size, ICheckpointManager checkpointManager) { info.Initialize(token, _size); checkpointManager.InitializeIndexCheckpoint(token); main_ht_device = checkpointManager.GetIndexDevice(token); }
public void Initialize(Guid token, long _size) { info.Initialize(token, _size); main_ht_device = new LocalStorageDevice(DirectoryConfiguration.GetPrimaryHashTableFileName(token)); ofb_device = new LocalStorageDevice(DirectoryConfiguration.GetOverflowBucketsFileName(token)); }
public void Initialize(Guid token, long _size, DirectoryConfiguration directoryConfiguration) { info.Initialize(token, _size); main_ht_device = Devices.CreateLogDevice(directoryConfiguration.GetPrimaryHashTableFileName(token), false); ofb_device = Devices.CreateLogDevice(directoryConfiguration.GetOverflowBucketsFileName(token), false); }
public void Initialize(Guid token, long _size) { info.Initialize(token, _size); main_ht_device = new WrappedDevice(new SegmentedLocalStorageDevice(DirectoryConfiguration.GetPrimaryHashTableFileName(token), 1L << 30, false, false, true)); ofb_device = new LocalStorageDevice(DirectoryConfiguration.GetOverflowBucketsFileName(token), false, false, true); }