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