Microsoft MVP성태의 닷넷 이야기
글쓴 사람
정성태 (techsharer at outlook.com)
홈페이지
첨부 파일
(연관된 글이 15개 있습니다.)

C# 7.3 - 구조체의 고정 크기를 갖는 fixed 배열 필드에 대한 직접 접근 가능

C# 7.3 (1) - 개선된 문법 4개(Support == and != for tuples, Ref Reassignment, Constraints, Stackalloc initializers)
; https://www.sysnet.pe.kr/2/0/11552

C# 7.3 (2) - 개선된 메서드 선택 규칙 3가지(Improved overload candidates)
; https://www.sysnet.pe.kr/2/0/11553

C# 7.3 (3) - 자동 구현 속성에 특성 적용 가능(Attribute on backing field)
; https://www.sysnet.pe.kr/2/0/11554

C# 7.3 (4) - 사용자 정의 타입에 fixed 적용 가능(Custom fixed)
; https://www.sysnet.pe.kr/2/0/11555

C# 7.3 (5) - 구조체의 고정 크기를 갖는 fixed 배열 필드에 대한 직접 접근 가능(Indexing movable fixed buffers)
; https://www.sysnet.pe.kr/2/0/11556

C# 7.3 (6) - blittable 제네릭 제약(blittable)
; https://www.sysnet.pe.kr/2/0/11558

C# 7.3 (7) - 초기화 식에서 변수 사용 가능(expression variables in initializers)
; https://www.sysnet.pe.kr/2/0/11560




fixed 예약어는 지난 글에서 설명한 내용에 따라,

C# 7.3 - 사용자 정의 타입에 fixed 적용 가능(Custom fixed)
; https://www.sysnet.pe.kr/2/0/11555

관리 힙에 놓인 객체를 이동하지 않도록 고정시키는데 사용할 수 있는가 하면, 또 다른 용도로 고정 크기(fixed size)를 갖는 배열을 정의하는 문법으로도 쓰입니다. 이번 글에서 사용하는 fixed는 그 2가지 경우를 모두 다루기 때문에 다소 혼란스러울 수 있습니다. 그러니까... 대충... 결론부터 내면 이런 식입니다.

fixed 배열 필드에 대한 인덱스 접근을 C# 7.2까지는 fixed 구문에서 사용해야 했는데 C# 7.3부터 fixed 구문이 필요 없도록 바뀌었다.




C#에서 배열은 "관리 힙"에 할당하도록 되어 있습니다. 그래서 값 형식인 구조체에 배열(및 참조 형식)이 정의되어 있으면,

struct StructType
{
    public int [] fields;
}

fields 배열을 가리키는 포인터만 스택에 있게 되고 배열의 내용 자체는 관리 힙에 할당이 됩니다. 이것이 문제가 되는 경우가 바로 C/C++ 모듈과의 interop을 할 때입니다. 예를 들어 C/C++에서 다음과 같은 식으로 구조체와 그것을 정의하는 함수를 정의한 경우,

// C/C++의 구조체
struct CppStructType
{
public:
    int fields[10];
    __int64 dummy[20];
};

__declspec(dllexport) void __stdcall ProcessItem(CppStructType *value)
{
    for (int i = 0; i < 10; i++)
    {
        value->fields[i] = (i + 1) * 2;
    }

    for (int i = 0; i < 20; i++)
    {
        value->dummy[i] = (i + 1) * 20;
    }
}

C#에서 위의 ProcessItem이라는 함수를 호출하기 위해 다음과 같은 식으로 구조체를 만들어 시도하려는 경우가 있습니다.

// C#의 struct
struct CSharpStructType
{
    public int[] fields;
    public long[] dummy;
}

static void Main(string[] args)
{
    CSharpStructType item = new CSharpStructType();
    item.fields = new int[10];
    item.dummy = new long[20];
}

물론, 당연히 이렇게 하면 안 됩니다. CSharpStructType은 다음과 같은 식으로 메모리를 소유하고 있기 때문입니다.

CSharpStructType 인스턴스
{
    // 관리 힙에 있는 fields를 가리키는 4 bytes (or 8 bytes in x64) 포인터 변수
    // 관리 힙에 있는 dummy를 가리키는 4 bytes (or 8 bytes in x64) 포인터 변수
}

// 관리 힙에 있는 fields
fields
{
    // sizeof(int) * 10 bytes
}

// 관리 힙에 있는 dummy
dummy
{
    // sizeof(long) * 20 bytes
}

따라서 C/C++의 ProcessItem은 겨우 8바이트(또는 16바이트)에 불과한 CSharpStructType 인스턴스를 다루게 되고 이로 인해 AV(Access Violation) 같은 오류가 발생하게 됩니다.




바로 이럴 때, CppStructType과 동일한 메모리를 확보할 수 있도록 지원하는 구문이 바로 fixed입니다.

unsafe struct CppStructType
{
    public fixed int fields[10];
    public fixed long dummy[20];
}

위와 같이 정의하고 CppStructType 인스턴스를 생성하면 다음과 같은 식으로 메모리가 할당이 됩니다.

CppStructType 인스턴스
{
    // sizeof(int) * 10 bytes
    // sizeof(long) * 20 bytes
}

이는 C/C++에서의 struct와 동일한 크기의 메모리 구조를 갖게 되므로 C#에서 다음과 같이 안전하게 호출할 수 있습니다.

using System;
using System.Runtime.InteropServices;

unsafe struct CppStructType
{
    public fixed int fields[10];
    public fixed long dummy[20];
}

class Program
{
    [DllImport("Win32Project1.dll", SetLastError = true)]
    internal static unsafe extern int ProcessItem(CppStructType* value);

    static unsafe void Main(string[] args)
    {
        CppStructType item = new CppStructType();

        CppStructType* ptItem = &item;
        ProcessItem(ptItem);

        for (int i = 0; i < 10; i++)
        {
            Console.WriteLine(item.fields[i]);
        }

        Console.WriteLine();
        for (int i = 0; i < 20; i++)
        {
            Console.WriteLine(item.dummy[i]);
        }
    }
}




자... 이 정도면 fixed에 대한 사전 설명은 대충 끝이 났으니 이제 C# 7.3에서 추가된 부분을 살펴보겠습니다.

Indexing fixed fields should not require pinning regardless of the movable/unmovable context.
; https://github.com/dotnet/csharplang/blob/master/proposals/csharp-7.3/indexing-movable-fixed-fields.md

일단, C#에서는 fixed 고정 크기 배열을 소유한 구조체를 다음과 같이 메서드 내에서 사용할 수 있습니다.

static unsafe void Main(string[] args)
{
    CppStructType item = new CppStructType();
    item.fields[0] = 5;
    int n = item.fields[2];
}

위의 구조체는 (unmovable context의 하나인) 스택에 생성되어 있으므로 GC의 수행에 따라 메모리 이동이 발생하지 않습니다. 하지만, 다음과 같이 CppStructType을 참조 형식 내의 필드로 선언하는 경우에는 (달리 말해 movable context) 상황이 달라집니다.

using System;

unsafe struct CppStructType
{
    public fixed int fields[10];
    public fixed long dummy[20];
}

class UserType
{
    CppStructType _item; // 값 형식이지만,
                         // 참조 형식(class)의 필드로 정의되었으므로
                         // 관리 힙에 할당이 됨

    public UserType()
    {
        _item = new CppStructType();
    }

    public unsafe void ProcessItem()
    {
        // 컴파일 에러 - Error CS1666 You cannot use fixed size buffers contained in unfixed expressions. Try using the fixed statement.
        _item.fields[0] = 5;

        // 컴파일 에러 - Error CS1666 You cannot use fixed size buffers contained in unfixed expressions. Try using the fixed statement.
        int n = _item.fields[2];
    }
}

C# 7.2까지 fixed 배열의 인덱스 접근은 항상 비관리 포인터를 사용하도록 코드 생성이 되므로 그로 인해 위와 같은 movable context 하에서는 반드시 fixed를 이용해 다음과 같이 고정시킨 후 사용해야 했습니다.

public unsafe void ProcessItem()
{
    // fixed 배열 필드의 인덱스를 접근하기 위해 fixed 문에서 메모리를 고정한 후 사용
    // 왜냐하면 fixed 배열 필드의 인덱스 접근 코드가 비관리 포인터를 이용하는 방식이었기 때문에.
    fixed (int* ptr = _item.fields)
    {
        ptr[0] = 5;
        int n = ptr[2];
    }
}

하지만, 가만 보니 fixed 배열의 인덱스 접근에 비관리 포인터 대신 관리 포인터를 쓸 수 있었던 것입니다. 이를 감안해 C# 7.3부터 다음과 같이 fixed 없이 컴파일이 되도록 바뀌었습니다.

unsafe struct CppStructType
{
    public fixed int fields[10];
    public fixed long dummy[20];
}

class UserType
{
    CppStructType _item;

    public UserType()
    {
        _item = new CppStructType();
    }

    public unsafe void ProcessItem()
    {
        // C# 7.3부터 컴파일 가능
        _item.fields[0] = 5;

        // C# 7.3부터 컴파일 가능
        int n = _item.fields[2];

        // 하지만 (movable context에서) 포인터로써 접근하겠다고 하면 여전히 fixed가 필요.
        fixed (int* ptr = _item.fields)
        {
        }

        // 당연히 unmovable context에서는 포인터로써 접근해도 fixed가 필요치 않음.
        {
            CppStructType localItem;
            int* ptr = localItem.fields;
        }
    }
}

실제로 (C# 7.3부터) 위의 코드에서 사용된 인덱스 접근 코드는 다음의 IL 코드에서 보는 바와 같이 ldflda 코드로 해결하고 있습니다. 즉, 관리 포인터를 쓰는 것만으로 fixed 배열의 인덱싱이 가능했던 것입니다.

.method public hidebysig instance void ProcessItem() cil managed
{
    .maxstack 3
    .locals init (
        [0] int32 num)
    L_0000: nop 
    L_0001: ldarg.0 
    L_0002: ldflda valuetype CppStructType UserType::_item
    L_0007: ldflda valuetype CppStructType/<fields>e__FixedBuffer CppStructType::fields
    L_000c: ldflda int32 CppStructType/<fields>e__FixedBuffer::FixedElementField
    L_0011: ldc.i4.5 
    L_0012: stind.i4 
    L_0013: ldarg.0 
    L_0014: ldflda valuetype CppStructType UserType::_item
    L_0019: ldflda valuetype CppStructType/<fields>e__FixedBuffer CppStructType::fields
    L_001e: ldflda int32 CppStructType/<fields>e__FixedBuffer::FixedElementField
    L_0023: ldc.i4.2 
    L_0024: conv.i 
    L_0025: ldc.i4.4 
    L_0026: mul 
    L_0027: add 
    L_0028: ldind.i4 
    L_0029: stloc.0 
    L_002a: ret 
}

(첨부 파일은 이 글의 예제 코드 - C/C++, C# 프로젝트를 포함합니다.)




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

[연관 글]






[최초 등록일: ]
[최종 수정일: 7/13/2021]

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

비밀번호

댓글 작성자
 



2019-06-18 03시17분
[홍길동] 감탄하고 갑니다~
[guest]

... 61  62  63  64  [65]  66  67  68  69  70  71  72  73  74  75  ...
NoWriterDateCnt.TitleFile(s)
12017정성태9/11/201911801오류 유형: 566. 비주얼 스튜디오 - Failed to register URL "http://localhost:6879/" for site "..." application "/". Error description: Access is denied. (0x80070005)
12016정성태9/5/201912764오류 유형: 565. git fetch - warning: 'C:\ProgramData/Git/config' has a dubious owner: '(unknown)'.
12015정성태9/3/201916611개발 환경 구성: 457. 윈도우 응용 프로그램의 Socket 연결 시 time-out 시간 제어
12014정성태9/3/201911132개발 환경 구성: 456. 명령행에서 AWS, Azure 등의 원격 저장소에 파일 관리하는 방법 - cyberduck/duck 소개
12013정성태8/28/201913939개발 환경 구성: 455. 윈도우에서 (테스트) 인증서 파일 만드는 방법 [3]
12012정성태8/28/201917811.NET Framework: 859. C# - HttpListener를 이용한 HTTPS 통신 방법
12011정성태8/27/201915909사물인터넷: 57. C# - Rapsberry Pi Zero W와 PC 간 Bluetooth 통신 예제 코드파일 다운로드1
12010정성태8/27/201911267VS.NET IDE: 138. VSIX - DTE.ItemOperations.NewFile 메서드에서 템플릿 이름을 다국어로 설정하는 방법
12009정성태8/26/201911865.NET Framework: 858. C#/Windows - Clipboard(Ctrl+C, Ctrl+V)가 동작하지 않는다면?파일 다운로드1
12008정성태8/26/201911601.NET Framework: 857. UWP 앱에서 SQL Server 데이터베이스 연결 방법
12007정성태8/24/201910788.NET Framework: 856. .NET Framework 버전을 올렸을 때 오류가 발생할 수 있는 상황
12006정성태8/23/201914011디버깅 기술: 129. guidgen - Encountered an improper argument. 오류 해결 방법 (및 windbg 분석) [1]
12005정성태8/13/201911980.NET Framework: 855. 닷넷 (및 VM 계열 언어) 코드의 성능 측정 시 주의할 점 [2]파일 다운로드1
12004정성태8/12/201919730.NET Framework: 854. C# - 32feet.NET을 이용한 PC 간 Bluetooth 통신 예제 코드 [14]
12003정성태8/12/201912479오류 유형: 564. Visual C++ 컴파일 오류 - fatal error C1090: PDB API call failed, error code '3'
12002정성태8/12/201911464.NET Framework: 853. Excel Sheet를 WinForm에서 사용하는 방법 - 두 번째 이야기 [5]
12001정성태8/10/201915950.NET Framework: 852. WPF/WinForm에서 UWP의 기능을 이용해 Bluetooth 기기와 Pairing하는 방법 [1]
12000정성태8/9/201914842.NET Framework: 851. WinForm/WPF에서 Console 창을 띄워 출력하는 방법파일 다운로드1
11999정성태8/1/201910617오류 유형: 563. C# - .NET Core 2.0 이하의 Unix Domain Socket 사용 시 System.IndexOutOfRangeException 오류
11998정성태7/30/201911795오류 유형: 562. .NET Remoting에서 서비스 호출 시 SYN_SENT로 남는 현상파일 다운로드1
11997정성태7/30/201913330.NET Framework: 850. C# - Excel(을 비롯해 Office 제품군) COM 객체를 제어 후 Excel.exe 프로세스가 남아 있는 문제 [2]파일 다운로드1
11996정성태7/25/201915777.NET Framework: 849. C# - Socket의 TIME_WAIT 상태를 없애는 방법파일 다운로드1
11995정성태7/23/201918854.NET Framework: 848. C# - smtp.daum.net 서비스(Implicit SSL)를 이용해 메일 보내는 방법 [2]
11994정성태7/22/201914347개발 환경 구성: 454. Azure 가상 머신(VM)에서 SMTP 메일 전송하는 방법파일 다운로드1
11993정성태7/22/20199782오류 유형: 561. Dism.exe 수행 시 "Error: 2 - The system cannot find the file specified." 오류 발생
11992정성태7/22/201911553오류 유형: 560. 서비스 관리자 실행 시 "Windows was unable to open service control manager database on [...]. Error 5: Access is denied." 오류 발생
... 61  62  63  64  [65]  66  67  68  69  70  71  72  73  74  75  ...