본문 바로가기
카테고리 없음

C# 메모리 관리 완전 정복 – GC, Dispose, Span을 통한 성능 최적화

TOSUN 2026. 6. 14.
C# 메모리 관리 완전 정복 – GC, Dispose, Span을 통한 성능 최적화

C# 메모리 관리 완전 정복

GC, IDisposable, Span/Memory & 성능 최적화

C#은 .NET의 자동 메모리 관리(GC) 덕분에 메모리 관리를 신경 쓰지 않아도 편하지만, 실제 서비스에서는 예상치 못한 메모리 문제가 자주 발생합니다. 예를 들어 이벤트 누락 해제로 인한 메모리 누수, 끝나지 않는 IDisposable 객체, 불필요한 힙 할당으로 인한 GC 트래픽 과다 등은 개발자를 괴롭히는 주된 원인입니다.

메모리 관리는 단순히 GC의 작동에 맡기는 것이 아니라, 안전하고 효율적인 자원 활용을 위한 설계가 필수다. 주요 개념과 올바른 패턴을 이해하면 성능과 안정성이 크게 향상된다.

이 글에서는 C# 메모리의 근본 개념과 성능 최적화 전략, 메모리 누수 방지 팁을 실전 예제와 함께 정리합니다.

1️⃣ 메모리 기본 구조

C#의 메모리는 크게 스택(Stack)과 힙(Heap)으로 구분됩니다. - 스택: 지역 변수와 값 타입(primitive, struct)이 할당되는 영역. 함수 호출 시 자동 할당/해제되어 매우 빠르게 동작합니다. - 힙: 참조 타입(클래스, 배열 등)의 인스턴스가 저장되는 영역. 객체는 new로 할당되고, 가비지 컬렉터(GC)가 관리합니다.

스택 (Stack)힙 (Heap)
저장값 타입, 참조참조 타입(객체)
할당/해제함수 호출/종료 시GC에 의해 자동 관리
속도매우 빠름상대적으로 느림
수명메서드 종료까지참조 해제 시 GC回수

예를 들어, 다음 코드에서 number는 스택에, user는 힙에 할당됩니다. 


int number = 42;             // 스택에 할당
User user = new User("Kim"); // 힙에 할당

2️⃣ 값 타입 vs 참조 타입

값 타입(struct)은 변수에 실제 값을 저장합니다. 반면 참조 타입(class)은 힙에 객체를 생성하고, 변수에는 해당 객체의 참조(주소)를 저장합니다. 


// 값 타입 예
Point p1 = new Point { X = 1, Y = 2 };
Point p2 = p1;   // p1 값을 복사
p2.X = 100;
// p1.X는 여전히 1, p2.X는 100

// 참조 타입 예
User u1 = new User { Name = "Kim" };
User u2 = u1;    // u1 참조를 복사
u2.Name = "Lee";
// u1.Name과 u2.Name 모두 "Lee"로 변경

3️⃣ Boxing & Unboxing 비용

값 타입을 객체로 변환(박싱)하거나 객체를 값 타입으로 변환(언박싱)하면 추가 메모리 할당과 복사가 발생합니다. 예를 들어: 


int x = 100;
object boxed = x;        // 박싱: 힙에 새 객체 할당
int y = (int)boxed;      // 언박싱: 값 복사

위 코드에서는 박싱 시 힙에 int 값을 저장하는 객체가 생성됩니다. 메모리 할당이 생기므로 불필요한 박싱은 피해야 합니다.

4️⃣ 가비지 컬렉터(GC) 동작 원리

.NET의 GC는 객체 할당과 해제를 자동으로 처리합니다. 새로운 객체는 기본적으로 0세대(Gen0)에서 시작하며, 생존 시간이 길어질수록 1세대, 2세대로 승격됩니다. GC는 주로 Gen0에서 빈번히 작동하며, Gen2 수집은 드뭅니다. 


// GC 수집 강제 실행 (실무에서는 거의 사용 안 함)
GC.Collect();
GC.WaitForPendingFinalizers();

보통은 GC가 스스로 동작하므로 GC.Collect()를 호출할 필요가 없습니다. 오히려 GC.Collect()를 남용하면 성능 저하를 유발합니다. 특정 상황(메모리 누수 조사)에서만 사용하세요. 

flowchart LR
    subgraph 스택 (Stack)
        StackVars[로컬 변수 및 값타입]
    end
    subgraph 힙 (Managed Heap)
        Gen0["0세대 (Gen0)"]
        Gen1["1세대 (Gen1)"]
        Gen2["2세대 (Gen2)"]
        LOH["대형 개체 힙 (LOH)"]
    end
    StackVars -->|참조 저장| Gen0
    Gen0 --> Gen1 --> Gen2
    Gen2 --> LOH

GC는 할당된 메모리가 임계값을 초과하거나 시스템 메모리가 부족할 때 자동으로 실행됩니다. GC는 루트(root) 객체부터 도달 가능한 객체를 추적하여, 도달 불가 객체를 메모리에서 해제합니다.

5️⃣ IDisposable 패턴

.NET의 가비지 컬렉터는 관리 메모리만 해제하며, 파일 핸들, 네트워크 연결 같은 관리되지 않는 리소스는 자동 해제되지 않습니다. 따라서 해당 리소스를 가진 클래스는 IDisposable 인터페이스를 구현해야 합니다. 


public class FileManager : IDisposable
{
    private FileStream _stream;

    public FileManager(string path)
    {
        _stream = File.OpenRead(path);
    }

    public void Dispose()
    {
        _stream?.Dispose();   // 관리되는 리소스 해제
        GC.SuppressFinalize(this); // 종료자 호출 방지
    }
    
    ~FileManager()
    {
        // Dispose가 호출되지 않았을 때를 대비한 최후의 안전장치
        _stream?.Dispose();
    }
}

위 예제처럼 Dispose 메서드는 관리되는 스트림의 Dispose를 호출하고 GC.SuppressFinalize(this)로 종료자 실행을 방지합니다. Dispose 패턴을 올바르게 구현하면 리소스가 중복 해제되지 않고 안전하게 릴리스됩니다.

6️⃣ 메모리 누수의 원인과 방지

C#은 기본적으로 메모리 누수가 적지만, 다음과 같은 실수로 메모리 누수가 발생할 수 있습니다:

  • 이벤트를 구독만 하고 구독 해제하지 않음: event는 관찰자로 작동하여 원본이 계속 참조됩니다. 구독 해제를 깜빡하면 객체가 사라지지 않습니다.
  • 정적(static) 컬렉션 또는 변수에 객체를 계속 쌓음: static List 등에 추가만 하고 제거하지 않으면 메모리가 축적됩니다.
  • IDisposable 구현 후 Dispose() 호출 누락: using 구문을 사용하지 않고 명시적 Dispose를 빼먹음.

// 메모리 누수 예: 이벤트 구독만 하고 해제하지 않음
public class Publisher 
{
    public event Action OnData;
    public void Publish() => OnData?.Invoke();
}
public class Subscriber
{
    public Subscriber(Publisher p) 
    {
        p.OnData += Handle; // 해제하지 않으면 메모리 누수
    }
    void Handle() { /* ... */ }
}

이벤트 또는 델리게이트 구독 후 반드시 -=> 구문으로 해제하거나, WeakReference 등을 활용하여 메모리 누수를 방지해야 합니다. 다음은 약한 참조 예시입니다: 


var strongRef = new object();
var weakRef = new WeakReference(strongRef);
// strongRef = null; 설정 후
if (weakRef.IsAlive)
    Console.WriteLine("객체 아직 유지됨");

약한 참조는 GC가 객체를 수집할 수 있도록 허용하여 캐시 등에서 메모리 압력을 줄여줍니다. 그러나 정상적 사용에서는 항상 강한 참조로 객체를 관리하는 것이 기본입니다.

7️⃣ Span<T>과 Memory<T>로 힙 할당 최소화

.NET Core부터 도입된 Span<T>와 Memory<T>는 힙 할당 없이 메모리 버퍼를 효율적으로 처리하는 기능을 제공합니다. Span<T>는 스택에 할당되는 ref struct로, 빠르고 안전한 메모리 접근을 위해 사용됩니다.

예를 들어, 배열의 일부를 잘라서 사용할 때 Span을 사용하면 추가 배열 할당 없이 작업할 수 있습니다. 


// 배열에서 Span 생성
int[] array = new int[100];
Span segment = array.AsSpan(0, 50);
segment[0] = 999;

위 코드에서 segment는 원래 배열과 같은 메모리를 참조합니다. 복사나 할당이 없으므로 GC 부담이 줄어듭니다. 단, Span<T>는 비동기 메서드를 넘거나 힙에 보관할 수 없으므로, 그럴 땐 힙 저장 가능한 Memory<T>를 사용해야 합니다.

또한 고정된 크기의 버퍼가 필요할 때는 stackalloc을 사용해 스택 메모리를 직접 할당할 수 있습니다. 


// stackalloc 예제
Span buffer = stackalloc byte[256];
for (int i = 0; i < buffer.Length; i++)
    buffer[i] = (byte)i;
Span는 스택 전용(ref struct)이므로 초과 힙 할당 없이 빠릅니다. 단, async/await 경계를 넘지 않도록 주의하고, 그럴 경우 Memory를 사용하세요.

8️⃣ ArrayPool<T>과 버퍼 재사용

빈번한 큰 배열 할당은 GC 트래픽을 증가시킵니다. 이런 경우 ArrayPool<T>를 활용해 메모리 버퍼를 재사용할 수 있습니다. ArrayPool<T>의 Rent/Return 메서드는 배열을 빌려 쓰고 반환하여, 배열 생성/소멸 비용을 크게 줄여줍니다. 


// ArrayPool 사용 예
var pool = System.Buffers.ArrayPool.Shared;
byte[] buffer = pool.Rent(1024);
// ...버퍼 사용...
pool.Return(buffer);

위 코드는 1024바이트 이상의 배열을 풀에서 빌리고 사용 후 반환합니다. 배열을 매번 new하지 않아도 되므로 GC 압력을 현저히 줄일 수 있습니다.

9️⃣ 성능 측정 방법

메모리 최적화를 위해서는 측정이 필수입니다. 다음 방법을 권장합니다:

  • 각 시나리오 전후에 GC.GetTotalMemory(true)을 사용하여 할당된 바이트 수를 비교합니다.
  • 프로파일링 도구 사용: dotnet-counters, dotnet-trace, Visual Studio의 메모리 프로파일러나 JetBrains dotMemory 등을 활용합니다.
  • GC.Collect를 테스트 목적으로는 활용할 수 있으나, 프로덕션에서는 사용을 피합니다.

// GC.GetTotalMemory 측정 예
long before = GC.GetTotalMemory(true);
// 메모리 할당 작업
long after = GC.GetTotalMemory(true);
Console.WriteLine($"Allocated: {after - before} bytes");

위 코드를 통해 실제 할당된 메모리 양을 확인할 수 있습니다. 다양한 테스트 케이스를 비교하여 병목 지점을 찾아보세요.

🔟 베스트 프랙티스 & 체크리스트

  • [ ] IDisposable 구현 후 항상 Dispose()를 호출하거나 using 구문으로 감싸기
  • [ ] 이벤트 구독은 += 후 반드시 -=로 해제하기 (또는 WeakReference 사용 검토)
  • [ ] ArrayPool를 활용하여 큰 배열을 반복적으로 재사용하기
  • [ ] Span/Memory로 임시 배열 할당 줄이기
  • [ ] 정적 변수(캐시 등)로 객체를 무한정 유지하지 않기
  • [ ] 꼭 필요한 경우를 제외하고 GC.Collect() 사용 지양 (성능 저하 유발)
  • [ ] string 연결 시 StringBuilder 사용으로 중복 메모리 할당 방지
  • [ ] async/await 사용 시 ConfigureAwait(false)로 컨텍스트 스위칭 비용 최소화
  • [ ] WeakReference나 캐시 라이브러리(예: MemoryCache)로 적절히 객체 생명주기 관리
  • [ ] 메모리 사용량 증가 시 dotnet-trace, PerfView 등으로 할당 프로파일링 수행

🔚 결론

C#의 자동 메모리 관리 덕분에 개발자가 직접 메모리를 조작하는 부담은 줄었지만, 메모리 효율성 관점에서 깊은 이해와 신경 쓰기는 여전히 중요합니다. GC 내부 동작, IDisposable, 메모리 할당 패턴을 숙지하고 적절한 도구와 라이브러리를 활용하면, 불필요한 메모리 사용과 성능 저하를 막을 수 있습니다.

메모리 관리 기술을 잘 다루면 메모리 안정성과 애플리케이션 성능을 극대화할 수 있습니다. 성능 측정과 프로파일링을 통해 병목을 찾아내고, 위에서 소개한 패턴과 가이드라인을 지키세요.

📚 공식 문서 & 참고 자료

🔑 추천 키워드

- C# 메모리 관리
- C# 가비지 컬렉션
- C# IDisposable 사용법
- Span Memory 최적화
- C# 메모리 누수 방지

반응형
저작자표시 동일조건 (새창열림)

티스토리툴바