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

C# - 구조체의 크기가 16바이트가 넘어가면 힙에 할당된다?

아래와 같은 질문에서,

시작하세요 C# 9.0,  225페이지 구조체 관련 질문드립니다.
; https://www.sysnet.pe.kr/3/0/5489

구조체의 크기가 16바이트를 넘어가면 힙에 할당된다고... 하는데... 아니... 도대체 그런 근거 없는 사실을 퍼뜨리고 있는 사람이 누굴까요? ^^;

구조체는 크기가 어떻게 되었든 무조건 스택에 할당됩니다. 그래도, 말로만 하면 재미가 없으니 눈으로 확인할 수 있도록 테스트를 해봐야겠지요. ^^ 방법은, 다음과 같이 매우 간단합니다.

using System;
using System.Threading;

public struct Size64
{
    public long l1;
    public long l2;
    public long l3;
    public long l4;

    public long l5;
    public long l6;
    public long l7;
    public long l8;
}

class Program
{
    static void Main(string[] args)
    {
        Thread t = new Thread(threadFunc);
        t.IsBackground = true;
        t.Start();

        while (true)
        {
            int n = GC.CollectionCount(0) + GC.CollectionCount(1) + GC.CollectionCount(2);
            Console.WriteLine(n);

            Thread.Sleep(1000);
        }
    }

    private static void threadFunc()
    {
        while (true)
        {
            Size64 variable = new Size64();
        }
    }
}

/* 출력 결과
0
0
0
0
0
...[생략]...
*/

보다시피 threadFunc는 지속적으로 Size64 구조체를 new 시키고 있는데요, 따라서 16바이트가 넘어가는 구조체가 정말 힙에 할당된다면 Main에서 GC.CollectionCount를 구하는 코드에서 n 값은 계속 증가해야 합니다. 물론, 실행해 보면 n 값은 언제까지고 0으로만 나옵니다.

반대로 Size64를 구조체가 아닌 class로 정의하면,

public class Size64
{
    public long l1;
    public long l2;
    public long l3;
    public long l4;

    public long l5;
    public long l6;
    public long l7;
    public long l8;
}

/* 출력 결과
0
1984
4420
6959
9454
11650
14186
...[생략]...
*/

이제는 GC.CollectionCount가 반환하는 n 값이 빠르게 증가하는 것을 확인할 수 있습니다.




혹시나 그럼, 어느 크기에선가는 heap으로 할당되지 않을까요? 이에 대한 답이 예전에 설명한 예제에 있습니다.

CER(Constrained Execution Region)이란?
; https://www.sysnet.pe.kr/2/0/11868#large_sized_struct

fixed 예약어를 사용하면 struct의 크기를 1MB 크기까지 간단하게 늘릴 수 있는데요,

// 스택 크기 기본값 - 32비트 1MB, 64비트 4MB
// 따라서 32비트로 빌드한 경우

unsafe struct Big
{
    public fixed byte Bytes[1_048_576]; // 일반적인 스택 메모리의 크기가 1MB이므로 StackOverflowException 발생
}

따라서, 위의 구조체를 생성하면 (stack에 할당을 시도하므로) StackOverflowException 예외가 발생합니다.

// 32비트로 빌드한 경우

Big big = new Big(); // StackOverflowException 발생

// 또는,

Big big;  // 구조체의 특성상 new를 하지 않아도 할당하므로 StackOverflowException 발생

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




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

[연관 글]






[최초 등록일: ]
[최종 수정일: 11/7/2022]

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

비밀번호

댓글 작성자
 



2021-04-30 12시17분
궁금해서 찾아 보니 아래의 글에서 16바이트 이야기가 나오고 있군요. ^^

C#/.NET 구조체(struct)와 클래스(class) 차이
; https://hijuworld.tistory.com/43

Unity C# 클래스와 구조체의 차이점
; https://dhy948.tistory.com/13

게다가 또 한 가지 잘못된 정보가 있는데요,

"2. 구조체안에 클래스 타입을 필드로 가질 경우이다."

구조체 안에 클래스 타입을 필드로 가진다고 해서 "구조체" 자체가 힙에 할당되는 것은 아닙니다. 단지, 클래스 타입의 필드는 그 인스턴스만 힙에 있고 그 인스턴스를 가리키는 포인터 값은 구조체 내에 존재하며 따라서 스택에 구조체가 유지된다는 사실에는 변함이 없습니다.
정성태
2022-11-05 06시21분
[yopeule] 감사합니다! 저도 같은 부분들에 의문이 들어 찾아왔는데요.
"구조체안에 클래스 타입의 필드가 있으면 힙에 할당된다"는 말은, 아마도 거꾸로 작성된 게 아닐까 합니다.
클래스 타입 안에 구조체가 있으면 그 구조체는 클래스에 인라인되는데, 즉, 힙에 할당되게 되죠. 그걸 거꾸로 쓰신게 아닐까? 하는 생각이 듭니다.

정리하자면, 클래스 안에 구조체 타입 필드가 있으면 해당 필드는 클래스와 함께 힙에 할당된다는 내용이 와전된 것 같습니다.
[guest]

... [61]  62  63  64  65  66  67  68  69  70  71  72  73  74  75  ...
NoWriterDateCnt.TitleFile(s)
12117정성태1/15/202010835디버깅 기술: 159. C# - 디버깅 중인 프로세스를 강제로 다른 디버거에서 연결하는 방법파일 다운로드1
12116정성태1/15/202011304디버깅 기술: 158. Visual Studio로 디버깅 시 sos.dll 확장 명령어를 (비롯한 windbg의 다양한 기능을) 수행하는 방법
12115정성태1/14/202011079디버깅 기술: 157. C# - PEB.ProcessHeap을 이용해 디버깅 중인지 확인하는 방법파일 다운로드1
12114정성태1/13/202012925디버깅 기술: 156. C# - PDB 파일로부터 심벌(Symbol) 및 타입(Type) 정보 열거 [1]파일 다운로드3
12113정성태1/12/202013557오류 유형: 590. Visual C++ 빌드 오류 - fatal error LNK1104: cannot open file 'atls.lib' [1]
12112정성태1/12/202010101오류 유형: 589. PowerShell - 원격 Invoke-Command 실행 시 "WinRM cannot complete the operation" 오류 발생
12111정성태1/12/202013395디버깅 기술: 155. C# - KernelMemoryIO 드라이버를 이용해 실행 프로그램을 숨기는 방법(DKOM: Direct Kernel Object Modification) [16]파일 다운로드1
12110정성태1/11/202011985디버깅 기술: 154. Patch Guard로 인해 블루 스크린(BSOD)가 발생하는 사례 [5]파일 다운로드1
12109정성태1/10/20209887오류 유형: 588. Driver 프로젝트 빌드 오류 - Inf2Cat error -2: "Inf2Cat, signability test failed."
12108정성태1/10/20209947오류 유형: 587. Kernel Driver 시작 시 127(The specified procedure could not be found.) 오류 메시지 발생
12107정성태1/10/202010877.NET Framework: 877. C# - 프로세스의 모든 핸들을 열람 - 두 번째 이야기
12106정성태1/8/202012263VC++: 136. C++ - OSR Driver Loader와 같은 Legacy 커널 드라이버 설치 프로그램 제작 [1]
12105정성태1/8/202010961디버깅 기술: 153. C# - PEB를 조작해 로드된 DLL을 숨기는 방법
12104정성태1/7/202011638DDK: 9. 커널 메모리를 읽고 쓰는 NT Legacy driver와 C# 클라이언트 프로그램 [4]
12103정성태1/7/202014375DDK: 8. Visual Studio 2019 + WDK Legacy Driver 제작- Hello World 예제 [1]파일 다운로드2
12102정성태1/6/202011964디버깅 기술: 152. User 권한(Ring 3)의 프로그램에서 _ETHREAD 주소(및 커널 메모리를 읽을 수 있다면 _EPROCESS 주소) 구하는 방법
12101정성태1/5/202011292.NET Framework: 876. C# - PEB(Process Environment Block)를 통해 로드된 모듈 목록 열람
12100정성태1/3/20209327.NET Framework: 875. .NET 3.5 이하에서 IntPtr.Add 사용
12099정성태1/3/202011651디버깅 기술: 151. Windows 10 - Process Explorer로 확인한 Handle 정보를 windbg에서 조회 [1]
12098정성태1/2/202011229.NET Framework: 874. C# - 커널 구조체의 Offset 값을 하드 코딩하지 않고 사용하는 방법 [3]
12097정성태1/2/20209770디버깅 기술: 150. windbg - Wow64, x86, x64에서의 커널 구조체(예: TEB) 구조체 확인
12096정성태12/30/201911747디버깅 기술: 149. C# - DbgEng.dll을 이용한 간단한 디버거 제작 [1]
12095정성태12/27/201913185VC++: 135. C++ - string_view의 동작 방식
12094정성태12/26/201911367.NET Framework: 873. C# - 코드를 통해 PDB 심벌 파일 다운로드 방법
12093정성태12/26/201911391.NET Framework: 872. C# - 로딩된 Native DLL의 export 함수 목록 출력파일 다운로드1
12092정성태12/25/201910810디버깅 기술: 148. cdb.exe를 이용해 (ntdll.dll 등에 정의된) 커널 구조체 출력하는 방법
... [61]  62  63  64  65  66  67  68  69  70  71  72  73  74  75  ...