Microsoft MVP성태의 닷넷 이야기
닷넷: 2210. C# - Native 메모리에 .NET 개체를 생성 [링크 복사], [링크+제목 복사],
조회: 6033
글쓴 사람
정성태 (techsharer at outlook.com)
홈페이지
첨부 파일

(시리즈 글이 3개 있습니다.)
.NET Framework: 1023. C# - GC 힙이 아닌 Native 힙에 인스턴스 생성 - 0SuperComicLib.LowLevel 라이브러리 소개
; https://www.sysnet.pe.kr/2/0/12538

닷넷: 2210. C# - Native 메모리에 .NET 개체를 생성
; https://www.sysnet.pe.kr/2/0/13537

닷넷: 2211. C# - NonGC(FOH) 영역에 .NET 개체를 생성
; https://www.sysnet.pe.kr/2/0/13538




C# - Native 메모리에 .NET 개체를 생성

예전에 소개한 라이브러리가 있는데요,

C# - GC 힙이 아닌 Native 힙에 인스턴스 생성 - 0SuperComicLib.LowLevel 라이브러리 소개
; https://www.sysnet.pe.kr/2/0/12538

저것이 가능한 이유는, .NET 개체에 대한 메모리 구조를 그대로 Native 메모리에 적용해서 닷넷 런타임으로 하여금 Managed 개체처럼 동일하게 접근할 수 있도록 만들었기 때문입니다.

이 과정을 간단하게 코드로 알아볼까요?

예전에 언급했던 것처럼,

C#에서 확인해 보는 관리 힙의 인스턴스 구조
; https://www.sysnet.pe.kr/2/0/1176

참조 개체의 메모리 형식은 다음과 같은 유형의 메모리로 구성됩니다.

[일반 개체인 경우]

Object Header (CPU Word 크기)
Method Table (CPU Word 크기)
...[멤버 field]...


[배열 개체인 경우]

Object Header (CPU Word 크기)
Method Table (CPU Word 크기)
# of elements (배열 요소 크기)
N 개의 요소 (연속된 배열 요소)

따라서, 우리가 만약 Int32 필드를 가진 다음과 같은 개체를 정의했다면,

public class MyObject
{
    public int Value { get; set; }
}

아래와 같이 24바이트만 채워주면 CLR은 그것을 MyObject로 인식할 수 있는 것입니다.

| object header | method table   | field Value    |
0000000000000000 0000000000000000 0000000000000000

재미 삼아 값을 하나씩 채워볼까요? 우선, object header는 0, field value는 초깃값을 주면 되므로 어렵지 않습니다. 남은 것은 Method Table인데요, 이에 대해서는 전에도 한 번 언급한 적이 있습니다.

Method Table
; https://www.sysnet.pe.kr/2/0/12142#method_table

그러니까, TypeHandle을 통해서도 구할 수 있고,

var pMethodTable = typeof(MyObject).TypeHandle.Value;

인스턴스화된 개체를 통해서도 구할 수 있습니다.

MyObject obj = new MyObject();

TypedReference tr = __makeref(obj);
nint objectPtr = **(nint**)(&tr);
IntPtr pMethodTable = *(nint*)objectPtr;

이것을 종합해, 특정 개체를 네이티브 메모리에 그대로 복제하려면 다음과 같은 식으로 작성할 수 있습니다.

using System.Runtime.InteropServices;

namespace ConsoleApp1;

internal class Program
{
    static unsafe void Main(string[] args)
    {
        MyObject obj = new MyObject() { Value = 10 };

        IntPtr allocated = Marshal.AllocHGlobal(MyObject.GetObjectSize());
        MyObject objOnNative = MyObject.WriteObject(allocated, obj);
        objOnNative.Value++;

        Console.WriteLine(obj); // 출력 결과: 10
        Console.WriteLine(objOnNative); // 출력 결과: 11

        Marshal.FreeHGlobal(allocated);
    }
}

public class MyObject
{
    public int Value { get; set; }

    public override string ToString()
    {
        return $"{Value}";
    }

    public unsafe static int GetObjectSize()
    {
        // return 24; // 0x18

        var pMethodTable = typeof(MyObject).TypeHandle.Value;
        var methodTable = *(MethodTable*)pMethodTable;
        return methodTable.BaseSize;
    }

    public unsafe static MyObject WriteObject(IntPtr ptr, MyObject obj)
    {
        *(nint*)ptr = 0; // Object Header를 쓰고,
        ptr += sizeof(nint);
        IntPtr objAddress = ptr;

        var pMethodTable = typeof(MyObject).TypeHandle.Value;
        // TypedReference tr = __makeref(obj);
        // nint objectPtr = **(nint**)(&tr);
        // IntPtr pMethodTable = *(nint*)objectPtr;

        *(nint*)ptr = pMethodTable; // Method Table을 쓰고,
        ptr += sizeof(nint);

        *(int*)ptr = obj.Value; // 멤버 필드 값을 설정

// #pragma warning disable 8500 
        // warning CS8500: This takes the address of, gets the size of, or declares a pointer to a managed type ('MyObject')
        // MyObject objValue = *(MyObject*)&objAddress;
// #pragma warning restore 8500

        MyObject objValue = Unsafe.As<nint, MyObject>(ref objAddress);

        return objValue;
    }
}

// runtime/src/coreclr/vm/methodtable.h
// ; https://github.com/dotnet/runtime/blob/main/src/coreclr/vm/methodtable.h#L584
[StructLayout(LayoutKind.Explicit)]
public struct MethodTable
{
    // Low WORD is component size for array and string types (HasComponentSize() returns true).
    // Used for flags otherwise.
    [FieldOffset(0)]
    public int Flags;

    [FieldOffset(0)]
    public ushort ComponentSize;

    // Base size of instance of this class when allocated on the heap
    [FieldOffset(4)]
    public int BaseSize;
}

이런 식으로 개체를 만드는 것이 재미있긴 하지만, 이전에 언급했던 것처럼 현실적으로 사용하기에는 어려움이 있습니다.

가장 심한 제약이 바로, 저렇게 만든 MyObject는 GC Heap에 있는 참조 개체를 포함해서는 안 된다는 점입니다. 가령, 다음과 같은 식으로 문자열조차도 보관해서는 안 됩니다.

MyObject obj = new MyObject();
obj.Value = 5;
obj.Name = "...."; // GC Heap에 있는 문자열을 보관한 경우 GC 이후 문제 발생 (.NET 8부터는 문자열 리터럴을 FOH에 위치)

public class MyObject
{
    public int Value { get; set; }
    public string Name { get; set; }
}

왜냐하면, "Name" 필드에 할당된 문자열이 GC Heap에 존재하는 경우 Garbage Collection이 동작한 후로는 아예 삭제되거나, 또는 메모리 Compaction 작업으로 인해 위치가 이동할 수 있기 때문입니다. 그렇게 되면, Native Heap에 있던 MyObject의 Name 필드는 GC가 발생하기 전의 위치 그대로를 담고 있으므로 GC 이후에는 쓰레기 위치를 가리키고 있는 것이나 다름없게 됩니다.

대충 어떤 식인지 감이 오시죠? ^^

(첨부 파일은 이 글의 예제 코드를 포함합니다.)





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







[최초 등록일: ]
[최종 수정일: 1/24/2024]

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)
13672정성태7/10/20243151닷넷: 2274. IIS - (프로세스 종료 없는) AppDomain Recycle
13671정성태7/10/20242995오류 유형: 914. Package ca-certificates is not installed.
13669정성태7/9/20243148오류 유형: 913. C# - AOT StaticExecutable 정적 링킹 시 빌드 오류
13668정성태7/8/20243067개발 환경 구성: 716. Hyper-V - Ubuntu 22.04 Generation 2 유형의 VM 설치
13667정성태7/7/20242670닷넷: 2273. C# - 리눅스 환경에서의 Hyper-V Socket 연동 (AF_VSOCK)파일 다운로드1
13666정성태7/7/20243344Linux: 74. C++ - Vsock 예제 (Hyper-V Socket 연동)파일 다운로드1
13665정성태7/6/20243369Linux: 73. Linux 측의 socat을 이용한 Hyper-V 호스트와의 vsock 테스트파일 다운로드1
13663정성태7/5/20243149닷넷: 2272. C# - Hyper-V Socket 통신(AF_HYPERV, AF_VSOCK)의 VMID Wildcards 유형파일 다운로드1
13662정성태7/4/20243555닷넷: 2271. C# - WSL 2 VM의 VM ID를 알아내는 방법 - Host Compute System API파일 다운로드1
13661정성태7/3/20243378Linux: 72. g++ - 다른 버전의 GLIBC로 소스코드 빌드
13660정성태7/3/20243233오류 유형: 912. Visual C++ - Linux 프로젝트 빌드 오류
13659정성태7/1/20243584개발 환경 구성: 715. Windows - WSL 2 환경의 Docker Desktop 네트워크
13658정성태6/28/20243534개발 환경 구성: 714. WSL 2 인스턴스와 호스트 측의 Hyper-V에 운영 중인 VM과 네트워크 연결을 하는 방법 - 두 번째 이야기
13657정성태6/27/20243761닷넷: 2270. C# - Hyper-V Socket 통신(AF_HYPERV, AF_VSOCK)을 위한 EndPoint 사용자 정의
13656정성태6/27/20243373Windows: 264. WSL 2 VM의 swap 파일 위치
13655정성태6/24/20243408닷넷: 2269. C# - Win32 Resource 포맷 해석파일 다운로드1
13654정성태6/24/20243393오류 유형: 911. shutdown - The entered computer name is not valid or remote shutdown is not supported on the target computer.
13653정성태6/22/20243447닷넷: 2268. C# 코드에서 MAKEINTREOURCE 매크로 처리
13652정성태6/21/20244035닷넷: 2267. C# - Linux 환경에서 (Reflection 없이) DLL AssemblyFileVersion 구하는 방법파일 다운로드2
13651정성태6/19/20243603닷넷: 2266. C# - (Reflection 없이) DLL AssemblyFileVersion 구하는 방법파일 다운로드1
13650정성태6/18/20243626개발 환경 구성: 713. "WSL --debug-shell"로 살펴보는 WSL 2 VM의 리눅스 환경
13649정성태6/18/20243196오류 유형: 910. windbg - !py 확장 명령어 실행 시 "failed to find python interpreter" (2)
13648정성태6/17/20243212오류 유형: 909. C# - DynamicMethod 사용 시 System.TypeAccessException
13647정성태6/16/20243802개발 환경 구성: 712. Windows - WSL 2의 네트워크 통신 방법 - 세 번째 이야기 (같은 IP를 공유하는 WSL 2 인스턴스) [1]
13646정성태6/14/20243064오류 유형: 908. Process Explorer - "Error configuring dump resources: The system cannot find the file specified."
13645정성태6/13/20243658개발 환경 구성: 711. Visual Studio로 개발 시 기본 등록하는 dev tag 이미지로 Docker Desktop k8s에서 실행하는 방법
1  2  3  4  5  [6]  7  8  9  10  11  12  13  14  15  ...