.NET에서 메모리 관리와 garbage collection은 어떻게 동작하나요?

Question

Accepted Answer

.NET은 **garbage collector(GC)**를 통해 메모리를 **자동으로** 관리합니다 — 관리되는 힙에 객체를 할당하고 더 이상 도달할 수 없는 객체를 회수하므로, 메모리를 수동으로 해제하지 않습니다. GC(세대별, 스택/힙 분리, `IDisposable`)를 이해하는 것은 성능과 정확성에 중요합니다.

## 스택 vs 힙

```text
스택 → 값 타입(지역 변수), 메서드 프레임; 빠르고, 스코프 종료 시 자동 해제.
힙   → 참조 타입 객체(class 인스턴스); GC가 관리.
참조 변수는 스택에 있지만 힙에 있는 객체를 가리킴.
```

## 세대별 garbage collector

```text
GC는 힙을 세대(GENERATION)로 나눔("대부분의 객체는 일찍 죽는다"는 발상 기반):
  Gen 0 → 가장 새로운 객체; 자주 수집(빠르고 저렴)
  Gen 1 → 한 번의 수집에서 살아남음
  Gen 2 → 오래 사는 객체; 드물게 수집(비쌈)
  (+ 큰 객체를 위한 Large Object Heap)
→ 젊은 세대를 자주 + 오래된 세대를 드물게 수집하여 GC를 효율적으로 만듦.
```

GC는 도달 가능한 객체를 표시하고(루트로부터: 스택, 정적 필드) 나머지를 회수합니다. **세대별**입니다 — 대부분의 객체가 일찍 죽으므로 Gen 0은 자주 저렴하게 수집되고, Gen 2의 오래 사는 객체는 드물게 수집됩니다.

## IDisposable과 using — 비관리 자원을 위함

```csharp
// GC는 관리되는 메모리를 처리하지만, 비관리 자원(파일, 연결, 핸들)은 처리하지 않음
// → IDisposable을 구현하고 `using`을 사용해 결정적 정리
using (var file = new StreamReader("data.txt"))
{
    // 파일 사용
}   // file.Dispose() 자동 호출 — 지금 파일 핸들 해제
```

GC는 관리되는 메모리를 해제하지만, **비관리 자원**(파일 핸들, DB 연결, 소켓)은 **`IDisposable`/`Dispose()`**를 통한 명시적 정리가 필요합니다 — `using` 문이 이를 결정적으로 보장합니다(GC를 기다리지 않음).

## 메모리 누수는 여전히 발생한다

```text
GC는 도달 불가능한 객체만 해제. "누수"는 남아 있는 참조에서 옴:
  ✗ 계속 커지기만 하는 정적 컬렉션/캐시
  ✗ 해제하지 않은 이벤트 핸들러(발행자가 구독자를 살려 둠!)
  ✗ 짧게 사는 객체에 대한 참조를 보유한 오래 사는 객체
```

## 왜 중요한가

.NET의 메모리 관리와 garbage collection을 이해하는 것은 성능 좋고 올바른 C#을 작성하기 위한 가치 있는 시니어 수준 지식입니다 — GC가 수동 메모리 관리에서 해방해 주지만(수동 `free`와 댕글링 포인터를 없애는 주요 생산성 및 안전성 이점), 그것이 *어떻게* 동작하는지 이해하는 것은 성능에 민감한 애플리케이션과 미묘한 버그 회피에 중요합니다.

**세대별 GC**(대부분의 객체가 일찍 죽는다는 관찰에 기반해 Gen 0은 자주 저렴하게, Gen 2는 드물지만 비싸게 수집)를 아는 것은 할당 패턴과 GC 압박에 대해 추론하는 데 도움이 됩니다(할당, 특히 짧게 사는 객체의 할당을 줄이면 GC 오버헤드가 낮아짐).

**스택 vs 힙** 구분(값 타입은 스택에, 참조 객체는 힙에)은 값/참조 타입 모델과 연결됩니다.

결정적으로, **`IDisposable`/`Dispose()`와 `using` 문**을 이해하는 것은 필수적이고 실용적입니다: GC는 *메모리*를 관리하지만 *비관리 자원*(파일 핸들, 데이터베이스 연결, 소켓)은 관리하지 않으며, 이는 `using`을 통한 결정적 정리가 필요합니다 — 이를 해제하지 않으면 자원 누수(흔한 실제 버그)가 발생합니다.

마찬가지로 중요한 것은, GC에도 불구하고 **메모리 누수가 여전히 발생**한다는 것을 인식하는 것입니다 — 남아 있는 참조에서(커지는 정적 캐시, 구독자를 살려 두는 해제하지 않은 이벤트 핸들러 — 전형적인 C# 누수).

GC의 세대별 모델, 자원 해제 패턴(`IDisposable`/`using`), 누수의 원인을 이해하는 것은 성능 좋고 누수 없는 C#을 작성하는 데, 특히 오래 실행되는 애플리케이션에서 중요합니다 — 효율적이고 올바른 .NET 애플리케이션을 구축할 수 있는 개발자를 구별하는 가치 있는 지식이며, 흔한 시니어 수준 면접 주제입니다.