Microsoft MVP성태의 닷넷 이야기
글쓴 사람
정성태 (techsharer at outlook.com)
홈페이지
첨부 파일

(시리즈 글이 9개 있습니다.)
.NET Framework: 497. .NET Garbage Collection에 대한 정리
; https://www.sysnet.pe.kr/2/0/1862

.NET Framework: 728. windbg - 눈으로 확인하는 Workstation GC / Server GC
; https://www.sysnet.pe.kr/2/0/11445

.NET Framework: 729. windbg로 살펴보는 GC heap의 Segment 구조
; https://www.sysnet.pe.kr/2/0/11446

.NET Framework: 1026. 닷넷 5에 추가된 POH (Pinned Object Heap)
; https://www.sysnet.pe.kr/2/0/12545

.NET Framework: 1029. C# - GC 호출로 인한 메모리 압축(Compaction)을 확인하는 방법
; https://www.sysnet.pe.kr/2/0/12572

.NET Framework: 1059. 세대 별 GC(Garbage Collection) 방식에서 Card table의 사용 의미
; https://www.sysnet.pe.kr/2/0/12649

.NET Framework: 1060. 닷넷 GC에 새롭게 구현되는 DPAD(Dynamic Promotion And Demotion for GC)
; https://www.sysnet.pe.kr/2/0/12653

.NET Framework: 2024. .NET 7에 도입된 GC의 메모리 해제에 대한 segment와 region의 차이점
; https://www.sysnet.pe.kr/2/0/13083

닷넷: 2209. .NET 8 - NonGC Heap / FOH (Frozen Object Heap)
; https://www.sysnet.pe.kr/2/0/13536




C# - GC 호출로 인한 메모리 압축(Compaction)을 확인하는 방법

GC의 동작으로 인해 메모리 압축이 일어난 경우를 간단하게 재현해 볼까요? ^^

using System;
using System.Runtime.InteropServices;

[StructLayout(LayoutKind.Sequential)]
class Program
{
    uint _n = 0xffffffff;

    static unsafe void Main(string[] args)
    {
        Program pg1 = new Program();
        Program pg2 = new Program();

        ShowAddress("pg1", pg1);
        ShowAddress("pg2", pg2);

        Console.WriteLine();

        for (int i = 0; i <= GC.MaxGeneration; i++)
        {
            GC.Collect(i, GCCollectionMode.Forced);
        }

        ShowAddress("pg1", pg1);
        ShowAddress("pg2", pg2);
    }

    private static IntPtr ShowAddress(string title, object instance, bool output = true)
    {
        IntPtr ptr = GetRefAddress(instance);

        if (output)
        {
            Console.WriteLine($"{title}: " + ptr.ToInt64().ToString("x") + $", {GC.GetGeneration(instance)}");
        }

        return ptr;
    }

    private unsafe static IntPtr GetRefAddress(object obj)
    {
        TypedReference refA = __makeref(obj);
        return **(IntPtr**)&refA;
    }
}

위의 코드에서는 (pg1 이전에 닷넷 프로그램 실행 자체의 힙 할당이 있었을 것이므로) GC 호출로 인해 pg1과 pg2의 메모리 이동이 발생할 것으로 예상됩니다. 하지만 실제로 실행해 보면 다음과 같이 GC 전/후의 결과가 같습니다.

// x86 + Release 빌드 - 출력 결과
pg1: 4f0aa9c, 0
pg2: 4f0aaa8, 0

pg1: 4f0aa9c, 2
pg2: 4f0aaa8, 2

(pg2와 pg1의 주소 차이가 0x0c인데 이에 대해서는 "일반 참조형의 기본 메모리 소비는 얼마나 될까요?" 글에서 자세히 다루고 있습니다.)

테스트 결과로만 보면 GC는 소규모 변화인 경우 메모리 이동까지는 굳이 하지 않는 듯합니다. 이에 대한 테스트로 다음과 같이 pg1 인스턴스 생성 이전에 좀 더 많은 개체를 생성하는 코드를 넣어보면 알 수 있습니다.

MakeObject();

Program pg1 = new Program();
Program pg2 = new Program();

private static void MakeObject(int count = 1000)
{
    for (int i = 0; i < count; i++)
    {
        Program pgt1 = new Program();
    }
}

재미있는 것은, 위와 같이 1,000 ~ 3,000개 정도로는 여전히 메모리 이동이 없고 "MakeObject(4000)" 정도는 해야 다음과 같이 메모리 이동을 확인할 수 있습니다.

pg1: 4eb6744, 0
pg2: 4eb6750, 0

pg1: 4eaa9f4, 2
pg2: 4eaaa00, 2




이쯤에서 그럼 GC.Collect의 동작을 살짝 살펴볼까요? ^^ 우선, 본문에서 사용한 GC.Collect(Int32, GCCollectionMode) 메서드의 도움말을 보면,

Forces a garbage collection from generation 0 through a specified generation, at a time specified by a GCCollectionMode value.


의미 상으로 0 ~ n까지 GC를 수행하는 걸로 보이는데, 실제로 이것은 다음의 코드를 통해 확인할 수 있습니다.

ShowGCCount();

for (int i = 0; i <= GC.MaxGeneration; i++)
{
    GC.Collect(i, GCCollectionMode.Forced);
}

ShowGCCount();

private static void ShowGCCount()
{
    Console.WriteLine($"GC0: {GC.CollectionCount(0)}, GC1: {GC.CollectionCount(1)}, GC2: {GC.CollectionCount(2)}");
}

/* 출력 결과
GC0: 0, GC1: 0, GC2: 0
GC0: 3, GC1: 2, GC2: 1
*/

따라서, 그냥 전 세대의 GC를 수행하는 경우 저렇게 세대별로 GC.Collect를 할 필요 없이 그냥 단일 호출로 해도 되고, 또는 GC.Collect()를 호출해도 같은 효과를 갖습니다.

GC.Collect(2, GCCollectionMode.Forced);
// == GC.Collect(); // Forces an immediate garbage collection of all generations.

ShowGCCount();

/* 출력 결과
GC0: 1, GC1: 1, GC2: 1
*/

참고로, 아래는 GC.Collect의 원본 소스 코드입니다.

public static void Collect()
{
    _Collect(-1, 2);
}

public static void Collect(int generation, GCCollectionMode mode)
{
    Collect(generation, mode, blocking: true);
}

public static void Collect(int generation, GCCollectionMode mode, bool blocking)
{
    Collect(generation, mode, blocking, compacting: false);
}

public static void Collect(int generation, GCCollectionMode mode, bool blocking, bool compacting)
{
    if (generation < 0)
    {
        throw new ArgumentOutOfRangeException("generation", Environment.GetResourceString("ArgumentOutOfRange_GenericPositive"));
    }

    if (mode < GCCollectionMode.Default || mode > GCCollectionMode.Optimized)
    {
        throw new ArgumentOutOfRangeException(Environment.GetResourceString("ArgumentOutOfRange_Enum"));
    }

    int num = 0;
    if (mode == GCCollectionMode.Optimized)
    {
        num |= 4;
    }

    if (compacting)
    {
        num |= 8;
    }

    if (blocking)
    {
        num |= 2;
    }
    else if (!compacting)
    {
        num |= 1;
    }

    _Collect(generation, num);
}

[DllImport("QCall", CharSet = CharSet.Unicode)]
[SecurityCritical]
[SuppressUnmanagedCodeSecurity]
private static extern void _Collect(int generation, int mode);




위의 소스 코드에서 GC.Collect(int generation, GCCollectionMode mode, bool blocking, bool compacting) 버전을 보면 알겠지만, 사실 메모리 이동을 명시하는 compacting 변수를 설정하면 이 글의 예제를 다음과 같이 다시 테스트해볼 수 있습니다.

Program pg1 = new Program();
Program pg2 = new Program();

ShowAddress("pg1", pg1);
ShowAddress("pg2", pg2);
Console.WriteLine();

GC.Collect(0, GCCollectionMode.Forced, true, true);

ShowAddress("pg1", pg1);
ShowAddress("pg2", pg2);

/* 출력 결과
pg1: 527aaac, 0
pg2: 527aab8, 0

pg1: 527a924, 1
pg2: 527a930, 1
*/

즉, compacting 값이 true인 경우 GC는 강제로 메모리 이동을 하지만, false인 경우에는 상황에 따라 필요하면 메모리 이동을 한다고 보면 됩니다.

그런데 compacting 변수를 명시하는 경우, 재미있는 현상이 하나 있습니다. "Internals of the POH" 글에 보면,

Usually when a GC of generation G happens, objects that were in G would be in (G+1), but we may choose to leave a pinned object that was in generation G still in G, instead of promoting it to (G+1). This is called demotion.


Pinning 개체의 경우 GC가 수행돼도 세대가 올라가지 않는다는 "demotion"에 대해 설명하고 있는데요, 이것을 다음과 같이 테스트해볼 수 있습니다.

static unsafe void Main(string[] args)
{
    Program pg1 = new Program();
    MakeObject(1000);
    Program pg2 = new Program();

    GCHandle pinPg2 = GCHandle.Alloc(pg2, GCHandleType.Pinned);

    ShowAddress("pg1", pg1);
    ShowAddress("pg2", pg2);
    Console.WriteLine();
    GC.Collect(2, GCCollectionMode.Forced, true, true);

    ShowAddress("pg1", pg1);
    ShowAddress("pg2", pg2);
    Console.WriteLine();

    GC.Collect(2, GCCollectionMode.Forced, true, true);
    ShowAddress("pg1", pg1);
    ShowAddress("pg2", pg2);
}

/* 출력 결과
pg1: 509aac0, 0
pg2: 509da4c, 0

pg1: 509a938, 1
pg2: 509da4c, 0

pg1: 509a914, 2
pg2: 509da4c, 0
*/

보는 바와 같이 pg2 개체는 pg1과는 달리 GC.Collect에 따라 세대가 올라가지 않고 여전히 0에 머물고 있습니다. 그렇다고 해서 pg2 개체의 pinning 상태가 해제될 때까지 언제까지나 0 세대에 머무는 것은 아닙니다. 가령 compacting == false로 GC.Collect를 수행하면 정상적으로 세대가 올라갑니다.

GC.Collect(2, GCCollectionMode.Forced, true, false);
ShowAddress("pg2", pg2);
GC.Collect(2, GCCollectionMode.Forced, true, false);
ShowAddress("pg2", pg2);

/* 출력 결과
pg2: 509da4c, 1
pg2: 509da4c, 2
*/

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




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







[최초 등록일: ]
[최종 수정일: 5/17/2021]

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

비밀번호

댓글 작성자
 




... 76  77  78  79  80  81  82  83  84  [85]  86  87  88  89  90  ...
NoWriterDateCnt.TitleFile(s)
11846정성태3/15/201923165Linux: 6. getenv, setenv가 언어/운영체제마다 호환이 안 되는 문제
11845정성태3/15/201922846Linux: 5. Linux 응용 프로그램의 (C++) so 의존성 줄이기(ReleaseMinDependency) [3]
11844정성태3/14/201924593개발 환경 구성: 434. Visual Studio 2019 - 리눅스 프로젝트를 이용한 공유/실행(so/out) 프로그램 개발 환경 설정 [1]파일 다운로드1
11843정성태3/14/201919415기타: 75. MSDN 웹 사이트를 기본으로 영문 페이지로 열고 싶다면?
11842정성태3/13/201917283개발 환경 구성: 433. 마이크로소프트의 CoreCLR 프로파일러 예제를 Visual Studio CMake로 빌드하는 방법 [1]파일 다운로드1
11841정성태3/13/201917767VS.NET IDE: 132. Visual Studio 2019 - CMake의 컴파일러를 기본 g++에서 clang++로 변경
11840정성태3/13/201919837오류 유형: 526. 윈도우 10 Ubuntu App 환경에서는 USB 외장 하드 접근 불가
11839정성태3/12/201923900디버깅 기술: 124. .NET Core 웹 앱을 호스팅하는 Azure App Services의 프로세스 메모리 덤프 및 windbg 분석 개요 [3]
11838정성태3/7/201927634.NET Framework: 811. (번역글) .NET Internals Cookbook Part 1 - Exceptions, filters and corrupted processes [1]파일 다운로드1
11837정성태3/6/201941281기타: 74. 도서: 시작하세요! C# 7.3 프로그래밍 [10]
11836정성태3/5/201924926오류 유형: 525. Visual Studio 2019 Preview 4/RC - C# 8.0 Missing compiler required member 'System.Range..ctor' [1]
11835정성태3/5/201923077.NET Framework: 810. C# 8.0의 Index/Range 연산자를 .NET Framework에서 사용하는 방법 및 비동기 스트림의 컴파일 방법 [3]파일 다운로드1
11834정성태3/4/201921786개발 환경 구성: 432. Visual Studio 없이 최신 C# (8.0) 컴파일러를 사용하는 방법
11833정성태3/4/201922826개발 환경 구성: 431. Visual Studio 2019 - CMake를 이용한 공유/실행(so/out) 리눅스 프로젝트 설정파일 다운로드1
11832정성태3/4/201917834오류 유형: 524. Visual Studio CMake - rsync: connection unexpectedly closed
11831정성태3/4/201918581오류 유형: 523. Visual Studio 2019 - 새 창으로 뜬 윈도우를 닫을 때 비정상 종료
11830정성태2/26/201917821오류 유형: 522. 이벤트 로그 - Error opening event log file State. Log will not be processed. Return code from OpenEventLog is 87.
11829정성태2/26/201919093개발 환경 구성: 430. 마이크로소프트의 CoreCLR 프로파일러 예제 빌드 방법 - 리눅스 환경 [1]
11828정성태2/26/201927604개발 환경 구성: 429. Component Services 관리자의 RuntimeBroker 설정이 2개 있는 경우 [8]
11827정성태2/26/201920041오류 유형: 521. Visual Studio - Could not start the 'rsync' command on the remote host, please install it using your system package manager.
11826정성태2/26/201920595오류 유형: 520. 우분투에 .NET Core SDK 설치 시 패키지 의존성 오류
11825정성태2/25/201926250개발 환경 구성: 428. Visual Studio 2019 - CMake를 이용한 리눅스 빌드 환경 설정 [1]
11824정성태2/25/201920497오류 유형: 519. The SNMP Service encountered an error while accessing the registry key SYSTEM\CurrentControlSet\Services\SNMP\Parameters\TrapConfiguration. [1]
11823정성태2/21/201921450오류 유형: 518. IIS 관리 콘솔이 뜨지 않는 문제
11822정성태2/20/201920656오류 유형: 517. docker에 설치한 MongoDB 서버로 연결이 안 되는 경우
11821정성태2/20/201921416오류 유형: 516. Visual Studio 2019 - This extension uses deprecated APIs and is at risk of not functioning in a future VS update. [1]
... 76  77  78  79  80  81  82  83  84  [85]  86  87  88  89  90  ...