Microsoft MVP성태의 닷넷 이야기
닷넷: 2210. C# - Native 메모리에 .NET 개체를 생성 [링크 복사], [링크+제목 복사],
조회: 3908
글쓴 사람
정성태 (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)
13577정성태3/9/20243920닷넷: 2229. C# - 닷넷을 위한 난독화 도구 소개 (예: ConfuserEx)
13576정성태3/8/20243128닷넷: 2228. .NET Profiler - IMetaDataEmit2::DefineMethodSpec 사용법
13575정성태3/7/20243477닷넷: 2227. 최신 C# 문법을 .NET Framework 프로젝트에 쓸 수 있을까요?
13574정성태3/6/20243201닷넷: 2226. C# - "Docker Desktop for Windows" Container 환경에서의 IPv6 DualMode 소켓
13573정성태3/5/20243106닷넷: 2225. Windbg - dumasync로 분석하는 async/await 호출
13572정성태3/4/20243387닷넷: 2224. C# - WPF의 Dispatcher Queue로 알아보는 await 호출의 hang 현상파일 다운로드1
13571정성태3/1/20243068닷넷: 2223. C# - await 호출과 WPF의 Dispatcher Queue 동작 확인파일 다운로드1
13570정성태2/29/20242950닷넷: 2222. C# - WPF의 Dispatcher Queue 동작 확인파일 다운로드1
13569정성태2/28/20242867닷넷: 2221. C# - LoadContext, LoadFromContext 그리고 GAC파일 다운로드1
13568정성태2/27/20242943닷넷: 2220. C# - .NET Framework 프로세스의 LoaderOptimization 설정을 확인하는 방법파일 다운로드1
13567정성태2/27/20242885오류 유형: 898. .NET Framework 3.5 이하에서 mscoree.tlb 참조 시 System.BadImageFormatException파일 다운로드1
13566정성태2/27/20242988오류 유형: 897. Windows 7 SDK 설치 시 ".NET Development" 옵션이 비활성으로 선택이 안 되는 경우
13565정성태2/23/20242867닷넷: 2219. .NET CLR2 보안 모델에서의 개별 System.Security.Permissions 제어
13564정성태2/22/20243212Windows: 259. Hyper-V Generation 1 유형의 VM을 Generation 2 유형으로 바꾸는 방법
13563정성태2/21/20243286디버깅 기술: 196. windbg - async/await 비동기인 경우 메모리 덤프 분석의 어려움
13562정성태2/21/20243232오류 유형: 896. ASP.NET - .NET Framework 기본 예제에서 System.Web에 대한 System.IO.FileNotFoundException 예외 발생
13561정성태2/20/20243505닷넷: 2218. C# - (예를 들어, Socket) 비동기 I/O에 대한 await 호출 시 CancellationToken을 이용한 취소파일 다운로드1
13560정성태2/19/20243391디버깅 기술: 195. windbg 분석 사례 - Semaphore 잠금으로 인한 Hang 현상 (닷넷)
13559정성태2/19/20244181오류 유형: 895. ASP.NET - System.Security.SecurityException: 'Requested registry access is not allowed.'
13558정성태2/18/20243472닷넷: 2217. C# - 최댓값이 1인 SemaphoreSlim 보다 Mutex 또는 lock(obj)를 선택하는 것이 나은 이유
13557정성태2/18/20243143Windows: 258. Task Scheduler의 Author 속성 값을 변경하는 방법
13556정성태2/17/20243238Windows: 257. Windows - Symbolic (hard/soft) Link 및 Junction 차이점
13555정성태2/15/20243558닷넷: 2216. C# - SemaphoreSlim 사용 시 주의점
13554정성태2/15/20243147VS.NET IDE: 189. Visual Studio - 닷넷 소스코드 디컴파일 찾기가 안 될 때
13553정성태2/14/20243212닷넷: 2215. windbg - thin/fat lock 없이 동작하는 Monitor.Wait + Pulse
13552정성태2/13/20243248닷넷: 2214. windbg - Monitor.Enter의 thin lock과 fat lock
1  2  3  4  [5]  6  7  8  9  10  11  12  13  14  15  ...