Microsoft MVP성태의 닷넷 이야기
닷넷: 2210. C# - Native 메모리에 .NET 개체를 생성 [링크 복사], [링크+제목 복사],
조회: 10700
글쓴 사람
정성태 (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)
13843정성태12/13/20244381오류 유형: 938. Docker container 내에서 빌드 시 error MSB3021: Unable to copy file "..." to "...". Access to the path '...' is denied.
13842정성태12/12/20244523디버깅 기술: 205. Windbg - KPCR, KPRCB
13841정성태12/11/20244855오류 유형: 937. error MSB4044: The "ValidateValidArchitecture" task was not given a value for the required parameter "RemoteTarget"
13840정성태12/11/20244428오류 유형: 936. msbuild - Your project file doesn't list 'win' as a "RuntimeIdentifier"
13839정성태12/11/20244857오류 유형: 936. msbuild - error CS1617: Invalid option '12.0' for /langversion. Use '/langversion:?' to list supported values.
13838정성태12/4/20244595오류 유형: 935. Windbg - Breakpoint 0's offset expression evaluation failed.
13837정성태12/3/20245054디버깅 기술: 204. Windbg - 윈도우 핸들 테이블 (3) - Windows 10 이상인 경우
13836정성태12/3/20244623디버깅 기술: 203. Windbg - x64 가상 주소를 물리 주소로 변환 (페이지 크기가 2MB인 경우)
13835정성태12/2/20245055오류 유형: 934. Azure - rm: cannot remove '...': Directory not empty
13834정성태11/29/20245285Windows: 275. C# - CUI 애플리케이션과 Console 윈도우 (Windows 10 미만의 Classic Console 모드인 경우) [1]파일 다운로드1
13833정성태11/29/20244965개발 환경 구성: 737. Azure Web App에서 Scale-out으로 늘어난 리눅스 인스턴스에 SSH 접속하는 방법
13832정성태11/27/20244902Windows: 274. Windows 7부터 도입한 conhost.exe
13831정성태11/27/20244381Linux: 111. eBPF - BPF_MAP_TYPE_PERF_EVENT_ARRAY, BPF_MAP_TYPE_RINGBUF에 대한 다양한 용어들
13830정성태11/25/20245184개발 환경 구성: 736. 파이썬 웹 앱을 Azure App Service에 배포하기
13829정성태11/25/20245154스크립트: 67. 파이썬 - Windows 버전에서 함께 설치되는 py.exe
13828정성태11/25/20244439개발 환경 구성: 735. Azure - 압축 파일을 이용한 web app 배포 시 디렉터리 구분이 안 되는 문제파일 다운로드1
13827정성태11/25/20245091Windows: 273. Windows 환경의 파일 압축 방법 (tar, Compress-Archive)
13826정성태11/21/20245320닷넷: 2313. C# - (비밀번호 등의) Console로부터 입력받을 때 문자열 출력 숨기기(echo 끄기)파일 다운로드1
13825정성태11/21/20245652Linux: 110. eBPF / bpf2go - BPF_RINGBUF_OUTPUT / BPF_MAP_TYPE_RINGBUF 사용법
13824정성태11/20/20244750Linux: 109. eBPF / bpf2go - BPF_PERF_OUTPUT / BPF_MAP_TYPE_PERF_EVENT_ARRAY 사용법
13823정성태11/20/20245288개발 환경 구성: 734. Ubuntu에 docker, kubernetes (k3s) 설치
13822정성태11/20/20245151개발 환경 구성: 733. Windbg - VirtualBox VM의 커널 디버거 연결 시 COM 포트가 없는 경우
13821정성태11/18/20245079Linux: 108. Linux와 Windows의 프로세스/스레드 ID 관리 방식
13820정성태11/18/20245249VS.NET IDE: 195. Visual C++ - C# 프로젝트처럼 CopyToOutputDirectory 항목을 추가하는 방법
13819정성태11/15/20244477Linux: 107. eBPF - libbpf CO-RE의 CONFIG_DEBUG_INFO_BTF 빌드 여부에 대한 의존성
13818정성태11/15/20245267Windows: 272. Windows 11 24H2 - sudo 추가
1  2  3  [4]  5  6  7  8  9  10  11  12  13  14  15  ...