public Windows32BitsMemoryMapPager(StorageEnvironmentOptions options, VoronPathSetting file, long?initialFileSize = null, Win32NativeFileAttributes fileAttributes = Win32NativeFileAttributes.Normal, Win32NativeFileAccess access = Win32NativeFileAccess.GenericRead | Win32NativeFileAccess.GenericWrite, bool usePageProtection = false) : base(options, canPrefetchAhead: false, usePageProtection: usePageProtection) { _memoryMappedFileAccess = access == Win32NativeFileAccess.GenericRead ? MemoryMappedFileAccess.Read : MemoryMappedFileAccess.ReadWrite; _mmFileAccessType = access == Win32NativeFileAccess.GenericRead ? NativeFileMapAccessType.Read : NativeFileMapAccessType.Read | NativeFileMapAccessType.Write; FileName = file; if (Options.CopyOnWriteMode) { ThrowNotSupportedOption(file.FullPath); } _fileAttributes = fileAttributes; _handle = CreateFile(file.FullPath, access, Win32NativeFileShare.Read | Win32NativeFileShare.Write | Win32NativeFileShare.Delete, IntPtr.Zero, Win32NativeFileCreationDisposition.OpenAlways, fileAttributes, IntPtr.Zero); if (_handle.IsInvalid) { var lastWin32ErrorCode = Marshal.GetLastWin32Error(); throw new IOException("Failed to open file storage of Windows32BitsMemoryMapPager for " + file, new Win32Exception(lastWin32ErrorCode)); } _fileInfo = new FileInfo(file.FullPath); var streamAccessType = access == Win32NativeFileAccess.GenericRead ? FileAccess.Read : FileAccess.ReadWrite; _fileStream = SafeFileStream.Create(_handle, streamAccessType); _totalAllocationSize = _fileInfo.Length; if ((access & Win32NativeFileAccess.GenericWrite) == Win32NativeFileAccess.GenericWrite || (access & Win32NativeFileAccess.GenericAll) == Win32NativeFileAccess.GenericAll || (access & Win32NativeFileAccess.FILE_GENERIC_WRITE) == Win32NativeFileAccess.FILE_GENERIC_WRITE) { var fileLength = _fileStream.Length; if ((fileLength == 0) && initialFileSize.HasValue) { fileLength = initialFileSize.Value; } if ((_fileStream.Length == 0) || (fileLength % AllocationGranularity != 0)) { fileLength = NearestSizeToAllocationGranularity(fileLength); SetFileLength(_handle, fileLength, file.FullPath); } _totalAllocationSize = fileLength; } NumberOfAllocatedPages = _totalAllocationSize / Constants.Storage.PageSize; SetPagerState(CreatePagerState()); }
public static extern byte *MapViewOfFileEx(IntPtr hFileMappingObject, NativeFileMapAccessType dwDesiredAccess, uint dwFileOffsetHigh, uint dwFileOffsetLow, UIntPtr dwNumberOfBytesToMap, byte *lpBaseAddress);
public static extern byte* MapViewOfFileEx(IntPtr hFileMappingObject, NativeFileMapAccessType dwDesiredAccess, uint dwFileOffsetHigh, uint dwFileOffsetLow, UIntPtr dwNumberOfBytesToMap, byte* lpBaseAddress);
public SparseMemoryMappedPager(StorageEnvironmentOptions options, string file, long?initialFileSize = null, Win32NativeFileAttributes fileAttributes = Win32NativeFileAttributes.Normal, Win32NativeFileAccess access = Win32NativeFileAccess.GenericRead | Win32NativeFileAccess.GenericWrite) : base(options) { _memoryMappedFileAccess = access == Win32NativeFileAccess.GenericRead ? MemoryMappedFileAccess.Read : MemoryMappedFileAccess.ReadWrite; _mmFileAccessType = access == Win32NativeFileAccess.GenericRead ? NativeFileMapAccessType.Read : NativeFileMapAccessType.Read | NativeFileMapAccessType.Write; FileName = file; _logger = LoggingSource.Instance.GetLogger <StorageEnvironment>($"Pager-{file}"); if (Options.CopyOnWriteMode) { throw new NotImplementedException("CopyOnWriteMode using spare memory is currently not supported on " + file); } SYSTEM_INFO info; GetSystemInfo(out info); AllocationGranularity = info.allocationGranularity; _handle = CreateFile(file, access, Win32NativeFileShare.Read | Win32NativeFileShare.Write | Win32NativeFileShare.Delete, IntPtr.Zero, Win32NativeFileCreationDisposition.OpenAlways, fileAttributes, IntPtr.Zero); if (_handle.IsInvalid) { var lastWin32ErrorCode = Marshal.GetLastWin32Error(); throw new IOException("Failed to open file storage of Win32MemoryMapPager for " + file, new Win32Exception(lastWin32ErrorCode)); } _fileInfo = new FileInfo(file); var streamAccessType = access == Win32NativeFileAccess.GenericRead ? FileAccess.Read : FileAccess.ReadWrite; _fileStream = new FileStream(_handle, streamAccessType); _totalAllocationSize = _fileInfo.Length; if (access.HasFlag(Win32NativeFileAccess.GenericWrite) || access.HasFlag(Win32NativeFileAccess.GenericAll) || access.HasFlag(Win32NativeFileAccess.FILE_GENERIC_WRITE)) { var fileLength = _fileStream.Length; if ((fileLength == 0) && initialFileSize.HasValue) { fileLength = initialFileSize.Value; } if ((_fileStream.Length == 0) || (fileLength % AllocationGranularity != 0)) { fileLength = NearestSizeToAllocationGranularity(fileLength); SetFileLength(_handle, fileLength); } _totalAllocationSize = fileLength; } NumberOfAllocatedPages = _totalAllocationSize / PageSize; SetPagerState(CreatePagerState()); }