Microsoft MVP성태의 닷넷 이야기
.NET Framework: 2107. .NET 6+ FileStream의 구조 변화 [링크 복사], [링크+제목 복사],
조회: 12472
글쓴 사람
정성태 (techsharer at outlook.com)
홈페이지
첨부 파일
 

.NET 6+ FileStream의 구조 변화

아래의 글에,

C# - byte * (바이트 포인터)를 FileStream으로 쓰는 방법
; https://www.sysnet.pe.kr/2/0/12913

다음과 같은 내용의 덧글이 있습니다.

corefx 구현체에서 Span 객체를 인자로 받는 Read/Write 메소드가 array pool을 활용하여 버퍼를 복사하고 다시 Read(byte[], int, int)와 Write(byte[], int, int)를 호출


시간이 좀 지났으니, 현재의 구현이 어떻게 되어 있는지 살펴보겠습니다. ^^




우선, FileStream의 Span을 받는 Write 메서드를 보면,

public override void Write(ReadOnlySpan<byte> buffer) => _strategy.Write(buffer);

호출을 _strategy로 전달하고 있습니다. 이 멤버는 FileStream 생성자에서 결정되는데요,

public FileStream(SafeFileHandle handle, FileAccess access, int bufferSize)
{
    ValidateHandle(handle, access, bufferSize);

    _strategy = FileStreamHelpers.ChooseStrategy(this, handle, access, bufferSize, handle.IsAsync);
}

FileStreamHelpers.ChooseStrategy는 다시,

namespace System.IO.Strategies
{
    internal static partial class FileStreamHelpers
    {
        // ...[생략]...

        internal static FileStreamStrategy ChooseStrategy(FileStream fileStream, SafeFileHandle handle, FileAccess access, int bufferSize, bool isAsync)
        {
            FileStreamStrategy strategy =
                EnableBufferingIfNeeded(ChooseStrategyCore(handle, access, isAsync), bufferSize);

            return WrapIfDerivedType(fileStream, strategy);
        }

        // ...[생략]...
    }
}

ChooseStrategyCore로 역할을 맡기고 있습니다. 여기서 재미있는 것은 FileStreamHelpers 자체가 partial class라는 점입니다. 이유는 짐작 가시죠? ^^

윈도우뿐만 아니라 리눅스 등도 지원해야 하기 때문에 FileStreamHelpers는 partial로 플랫폼에 따라 다른 파일을 포함해 빌드하게 됩니다. 일례로 윈도우의 경우 FileStreamHelpers.Windows.cs 파일을 포함하고, 그 파일의 ChooseStrategyCore를 보면,

private static FileStreamStrategy ChooseStrategyCore(string path, FileMode mode, FileAccess access, FileShare share, FileOptions options, long preallocationSize, UnixFileMode? unixCreateMode) =>
    (options & FileOptions.Asynchronous) != 0 ?
        new AsyncWindowsFileStreamStrategy(path, mode, access, share, options, preallocationSize, unixCreateMode) :
        new SyncWindowsFileStreamStrategy(path, mode, access, share, options, preallocationSize, unixCreateMode);

동기/비동기에 따라 다른 타입을 생성해 반환합니다. 2가지 중에 여기서는 SyncWindowsFileStreamStrategy.cs로 들어가 보겠습니다. ^^

using Microsoft.Win32.SafeHandles;

namespace System.IO.Strategies
{
    internal sealed class SyncWindowsFileStreamStrategy : OSFileStreamStrategy
    {
        internal SyncWindowsFileStreamStrategy(SafeFileHandle handle, FileAccess access) : base(handle, access)
        {
        }

        internal SyncWindowsFileStreamStrategy(string path, FileMode mode, FileAccess access, FileShare share, FileOptions options, long preallocationSize, UnixFileMode? unixCreateMode)
            : base(path, mode, access, share, options, preallocationSize, unixCreateMode)
        {
        }

        internal override bool IsAsync => false;
    }
}

partial이 아니므로 이번에는 대부분의 구현이 부모 클래스에 있을 텐데요, 정의를 가보면 Write 메서드의 본체를 볼 수 있습니다.

// OSFileStreamStrategy.cs

public sealed override void Write(ReadOnlySpan<byte> buffer)
{
    if (_fileHandle.IsClosed)
    {
        ThrowHelper.ThrowObjectDisposedException_FileClosed();
    }
    else if ((_access & FileAccess.Write) == 0)
    {
        ThrowHelper.ThrowNotSupportedException_UnwritableStream();
    }

    RandomAccess.WriteAtOffset(_fileHandle, buffer, _filePosition);
    _filePosition += buffer.Length;
}

아쉽게도 여기가 끝이 아니군요. ^^ RandomAccess.WriteAtOffset으로 인자를 그대로 전달하는데, 이것 역시 partial 클래스로,

// RandomAccess.cs

namespace System.IO
{
    public static partial class RandomAccess
    {
         // ...[생략]...
    }
}

빌드 시 대상 플랫폼에 따라 다른 소스코드 파일과 엮이게 됩니다. 윈도우의 경우는 RandomAccess.Windows.cs 파일이 포함되는데,

// RandomAccess.Windows.cs

namespace System.IO
{
    public static partial class RandomAccess
    {
        // ...[생략]...

        internal static unsafe void WriteAtOffset(SafeFileHandle handle, ReadOnlySpan<byte> buffer, long fileOffset)
        {
            // ...[생략]...

            NativeOverlapped overlapped = GetNativeOverlappedForSyncHandle(handle, fileOffset);
            fixed (byte* pinned = &MemoryMarshal.GetReference(buffer))
            {
                if (Interop.Kernel32.WriteFile(handle, pinned, buffer.Length, out int numBytesWritten, &overlapped) != 0)
                {
                    Debug.Assert(numBytesWritten == buffer.Length);
                    return;
                }

                int errorCode = FileStreamHelpers.GetLastWin32ErrorAndDisposeHandleIfInvalid(handle);
                throw Win32Marshal.GetExceptionForWin32Error(errorCode, handle.Path);
            }
        }
    }
}

보는 바와 같이 Kernel32.WriteFile Win32 API 호출을 바로 하고 있습니다. 즉, Span 인자로 넘긴 데이터의 복사는 발생하지 않으니 안심하고 사용하셔도 되겠습니다. ^^




시작은 Write 메서드의 버퍼 복사를 살펴보려는 것이었는데, 뜻하지 않게 다중 플랫폼 지원을 추가하느라 바뀐 FileStream의 구현을 들여다보게 되었습니다. 아울러, 아래의 문서를 보면,

File IO improvements in .NET 6
; https://devblogs.microsoft.com/dotnet/file-io-improvements-in-dotnet-6/

The increased amount of allocated memory comes from the abstraction layer that we have introduced to support the .NET 5 Compatibility mode, which also helped increase the code maintainability: we now have a few separate FileStream strategy implementations instead of one with a lot of if blocks.


.NET 5까지는 Span Write 메서드에 대해 Net5CompatFileStreamStrategy 소스코드에서 확인할 수 있는 것처럼, 버퍼 복사가 이뤄집니다.

// Net5CompatFileStreamStrategy.Windows.cs

private void WriteSpan(ReadOnlySpan<byte> source)
{
    // ...[생략]...

    if (_writePos > 0)
    {
        int numBytes = _bufferLength - _writePos;   // space left in buffer
        if (numBytes > 0)
        {
            if (numBytes >= source.Length)
            {
                source.CopyTo(GetBuffer().AsSpan(_writePos));
                _writePos += source.Length;
                return;
            }
            else
            {
                source.Slice(0, numBytes).CopyTo(GetBuffer().AsSpan(_writePos));
                _writePos += numBytes;
                source = source.Slice(numBytes);
            }
        }

        // ...[생략]...
    }

    // ...[생략]...

    // Copy remaining bytes into buffer, to write at a later date.
    source.CopyTo(GetBuffer().AsSpan(_writePos));
    _writePos = source.Length;
    return;
}

그러니까, .NET 6+로 업데이트하는 것만으로도 "File IO improvements in .NET 6" 문서의 내용대로 성능 향상을 볼 수 있습니다.




[이 글에 대해서 여러분들과 의견을 공유하고 싶습니다. 틀리거나 미흡한 부분 또는 의문 사항이 있으시면 언제든 댓글 남겨주십시오.]







[최초 등록일: ]
[최종 수정일: 4/5/2023]

Creative Commons License
이 저작물은 크리에이티브 커먼즈 코리아 저작자표시-비영리-변경금지 2.0 대한민국 라이센스에 따라 이용하실 수 있습니다.
by SeongTae Jeong, mailto:techsharer at outlook.com

비밀번호

댓글 작성자
 




1  2  3  4  5  [6]  7  8  9  10  11  12  13  14  15  ...
NoWriterDateCnt.TitleFile(s)
13793정성태10/28/20245149C/C++: 183. C++ - 윈도우에서 한글(및 유니코드)을 포함한 콘솔 프로그램을 컴파일 및 실행하는 방법
13792정성태10/27/20244643Linux: 99. Linux - 프로세스의 실행 파일 경로 확인
13791정성태10/27/20244902Windows: 267. Win32 API의 A(ANSI) 버전은 DBCS를 사용할까요?파일 다운로드1
13790정성태10/27/20244621Linux: 98. Ubuntu 22.04 - 리눅스 커널 빌드 및 업그레이드
13789정성태10/27/20244916Linux: 97. menuconfig에 CONFIG_DEBUG_INFO_BTF, CONFIG_DEBUG_INFO_BTF_MODULES 옵션이 없는 경우
13788정성태10/26/20244459Linux: 96. eBPF (bpf2go) - fentry, fexit를 이용한 트레이스
13787정성태10/26/20244980개발 환경 구성: 730. github - Linux 커널 repo를 윈도우 환경에서 git clone하는 방법 [1]
13786정성태10/26/20245219Windows: 266. Windows - 대소문자 구분이 가능한 파일 시스템
13785정성태10/23/20244985C/C++: 182. 윈도우가 운영하는 2개의 Code Page파일 다운로드1
13784정성태10/23/20245256Linux: 95. eBPF - kprobe를 이용한 트레이스
13783정성태10/23/20244863Linux: 94. eBPF - vmlinux.h 헤더 포함하는 방법 (bpf2go에서 사용)
13782정성태10/23/20244622Linux: 93. Ubuntu 22.04 - 커널 이미지로부터 커널 함수 역어셈블
13781정성태10/22/20244803오류 유형: 930. WSL + eBPF: modprobe: FATAL: Module kheaders not found in directory
13780정성태10/22/20245554Linux: 92. WSL 2 - 커널 이미지로부터 커널 함수 역어셈블
13779정성태10/22/20244847개발 환경 구성: 729. WSL 2 - Mariner VM 커널 이미지 업데이트 방법
13778정성태10/21/20245673C/C++: 181. C/C++ - 소스코드 파일의 인코딩, 바이너리 모듈 상태의 인코딩
13777정성태10/20/20244954Windows: 265. Win32 API의 W(유니코드) 버전은 UCS-2일까요? UTF-16 인코딩일까요?
13776정성태10/19/20245272C/C++: 180. C++ - 고수준 FILE I/O 함수에서의 Unicode stream 모드(_O_WTEXT, _O_U16TEXT, _O_U8TEXT)파일 다운로드1
13775정성태10/19/20245492개발 환경 구성: 728. 윈도우 환경의 개발자를 위한 UTF-8 환경 설정
13774정성태10/18/20245197Linux: 91. Container 환경에서 출력하는 eBPF bpf_get_current_pid_tgid의 pid가 존재하지 않는 이유
13773정성태10/18/20244883Linux: 90. pid 네임스페이스 구성으로 본 WSL 2 + docker-desktop
13772정성태10/17/20245162Linux: 89. pid 네임스페이스 구성으로 본 WSL 2 배포본의 계층 관계
13771정성태10/17/20245066Linux: 88. WSL 2 리눅스 배포본 내에서의 pid 네임스페이스 구성
13770정성태10/17/20245342Linux: 87. ps + grep 조합에서 grep 명령어를 사용한 프로세스를 출력에서 제거하는 방법
13769정성태10/15/20246120Linux: 86. Golang + bpf2go를 사용한 eBPF 기본 예제파일 다운로드1
13768정성태10/15/20245397C/C++: 179. C++ - _O_WTEXT, _O_U16TEXT, _O_U8TEXT의 Unicode stream 모드파일 다운로드2
1  2  3  4  5  [6]  7  8  9  10  11  12  13  14  15  ...