Microsoft MVP성태의 닷넷 이야기
닷넷: 2210. C# - Native 메모리에 .NET 개체를 생성 [링크 복사], [링크+제목 복사],
조회: 14819
글쓴 사람
정성태 (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

비밀번호

댓글 작성자
 




... 61  62  63  64  65  66  67  68  69  70  71  72  73  74  [75]  ...
NoWriterDateCnt.TitleFile(s)
12153정성태2/23/202024308.NET Framework: 898. Trampoline을 이용한 후킹의 한계파일 다운로드1
12152정성태2/23/202021339.NET Framework: 897. 실행 시에 메서드 가로채기 - CLR Injection: Runtime Method Replacer 개선 - 세 번째 이야기(Trampoline 후킹)파일 다운로드1
12151정성태2/22/202023987.NET Framework: 896. C# - Win32 API를 Trampoline 기법을 이용해 C# 메서드로 가로채는 방법 - 두 번째 이야기 (원본 함수 호출)파일 다운로드1
12150정성태2/21/202024078.NET Framework: 895. C# - Win32 API를 Trampoline 기법을 이용해 C# 메서드로 가로채는 방법 [1]파일 다운로드1
12149정성태2/20/202020981.NET Framework: 894. eBEST C# XingAPI 래퍼 - 연속 조회 처리 방법 [1]
12148정성태2/19/202025610디버깅 기술: 163. x64 환경에서 구현하는 다양한 Trampoline 기법 [1]
12147정성태2/19/202020973디버깅 기술: 162. x86/x64의 기계어 코드 최대 길이
12146정성태2/18/202022181.NET Framework: 893. eBEST C# XingAPI 래퍼 - 로그인 처리파일 다운로드1
12145정성태2/18/202023788.NET Framework: 892. eBEST C# XingAPI 래퍼 - Sqlite 지원 추가파일 다운로드1
12144정성태2/13/202023990.NET Framework: 891. 실행 시에 메서드 가로채기 - CLR Injection: Runtime Method Replacer 개선 - 두 번째 이야기파일 다운로드1
12143정성태2/13/202018393.NET Framework: 890. 상황별 GetFunctionPointer 반환값 정리 - x64파일 다운로드1
12142정성태2/12/202022303.NET Framework: 889. C# 코드로 접근하는 MethodDesc, MethodTable파일 다운로드1
12141정성태2/10/202021281.NET Framework: 888. C# - ASP.NET Core 웹 응용 프로그램의 출력 가로채기 [2]파일 다운로드1
12140정성태2/10/202022654.NET Framework: 887. C# - ASP.NET 웹 응용 프로그램의 출력 가로채기파일 다운로드1
12139정성태2/9/202022309.NET Framework: 886. C# - Console 응용 프로그램에서 UI 스레드 구현 방법
12138정성태2/9/202028562.NET Framework: 885. C# - 닷넷 응용 프로그램에서 SQLite 사용 [6]파일 다운로드1
12137정성태2/9/202020204오류 유형: 592. [AhnLab] 경고 - 디버거 실행을 탐지했습니다.
12136정성태2/6/202021863Windows: 168. Windows + S(또는 Q)로 뜨는 작업 표시줄의 검색 바가 동작하지 않는 경우
12135정성태2/6/202027654개발 환경 구성: 468. Nuget 패키지의 로컬 보관 폴더를 옮기는 방법 [2]
12134정성태2/5/202024920.NET Framework: 884. eBEST XingAPI의 C# 래퍼 버전 - XingAPINet Nuget 패키지 [5]파일 다운로드1
12133정성태2/5/202022670디버깅 기술: 161. Windbg 환경에서 확인해 본 .NET 메서드 JIT 컴파일 전과 후 - 두 번째 이야기
12132정성태1/28/202025707.NET Framework: 883. C#으로 구현하는 Win32 API 후킹(예: Sleep 호출 가로채기) [1]파일 다운로드1
12131정성태1/27/202024427개발 환경 구성: 467. LocaleEmulator를 이용해 유니코드를 지원하지 않는(한글이 깨지는) 프로그램을 실행하는 방법 [1]
12130정성태1/26/202022027VS.NET IDE: 142. Visual Studio에서 windbg의 "Open Executable..."처럼 EXE를 직접 열어 디버깅을 시작하는 방법
12129정성태1/26/202029003.NET Framework: 882. C# - 키움 Open API+ 사용 시 Registry 등록 없이 KHOpenAPI.ocx 사용하는 방법 [3]
12128정성태1/26/202023143오류 유형: 591. The code execution cannot proceed because mfc100.dll was not found. Reinstalling the program may fix this problem.
... 61  62  63  64  65  66  67  68  69  70  71  72  73  74  [75]  ...