가비지 컬렉션 (Garbage Collection, GC)

가비지 컬렉션이란?

 

프로그래밍 언어에서 사용되지 않는 메모리를 자동으로 검출하고 회수하는 프로세스입니다.

주로 메모리 관리가 필요한 언어에서 사용되며, 개발자가 수동으로 메모리를 관리하는 부담을 줄여줍니다.

 

가비지 컬렉션을 사용하는 주요 언어

• Java 는 가장 대표적인 가비지 컬렉션을 사용하는 언어입니다. Java의 GC는 런타임에 실행되며, 참조되지 않는 객체들을 자동으로 찾아 메모리를 해제합니다. GC의 실행 시점은 예측할 수 없으며, 때로는 성능에 영향을 줄 수 있습니다.
• C# 또한 .NET 프레임워크의 일부로 가비지 컬렉션을 제공합니다. Java와 유사하게, 사용되지 않는 객체들을 자동으로 찾아 메모리를 해제합니다. C#의 GC는 세대별 가비지 컬렉션을 사용하여 메모리 관리의 효율성을 높입니다.
• Python도 가비지 컬렉션을 사용합니다. Python의 경우, 참조 카운팅과 함께 순환 참조를 탐지하기 위한 GC가 결합되어 있습니다.

각 언어에서의 차이점

 

Java의 가비지 컬렉션
- 작동 원리: Java에서 GC는 런타임에 실행되며, 객체에 대한 참조가 더 이상 존재하지 않을 때 해당 객체를 가비지로 간주합니다.
- 세대별 GC: Java는 신생대(Young Generation), 테뉴어드 세대(Old Generation), 메타스페이스(Metaspace)와 같이 메모리를 세대별로 관리하여 효율을 높입니다.

C#의 가비지 컬렉션
- .NET 환경: C#에서 GC는 .NET 프레임워크의 일부로, 자동 메모리 관리를 제공합니다.
- 세대별 GC: C# 역시 Java와 유사하게 세대별 메모리 관리를 사용합니다.
- 최적화된 성능: C#의 GC는 메모리 관리에 최적화되어 있으며, 대부분의 경우에 대한 메모리 관리를 자동으로 수행합니다.

Python의 가비지 컬렉션
- 참조 카운팅: Python의 주요 메모리 관리 기법은 참조 카운팅이며, 객체에 대한 참조 수가 0이 되면 메모리를 자동으로 해제합니다.
- 순환 참조: Python의 GC는 순환 참조(서로 참조하는 객체들)를 감지하고 해제하는 기능을 포함합니다.
- 동적 언어: Python은 동적 타이핑 언어로, 메모리 관리가 런타임에 이루어집니다.

 

 

가비지 컬렉션의 공통점과 차이점

 

- 공통점: 모든 언어에서 GC는 메모리 관리를 자동화하여 개발자의 부담을 줄이고, 메모리 누수의 위험을 감소시킵니다.
- 차이점: 가비지 컬렉션의 구현과 알고리즘은 언어별로 다릅니다. Java와 C#은 세대별 GC를 사용하여 효율성을 높이는 반면, Python은 주로 참조 카운팅에 의존하고 순환 참조 문제에 대응하기 위해 추가적인 GC 메커니즘을 가집니다. 이러한 차이는 각 언어의 런타임 환경과 메모리 관리 전략에 기인합니다.

---

 

그렇다면 C++은 가비지 컬렉션이 없는데, 어떻게 하는지?

C++은 내장된 가비지 컬렉션 기능이 없습니다. 따라서 메모리 관리는 주로 개발자의 책임입니다. C++에서 메모리 관리를 수행하는 몇 가지 방법은 다음과 같습니다.

개발자는 `new` 연산자를 사용하여 힙에 메모리를 할당하고, `delete` 연산자를 사용하여 할당된 메모리를 해제합니다. 이 방법은 정확하게 메모리를 관리할 수 있지만, 메모리 누수나 이중 해제와 같은 오류가 발생할 위험이 있습니다.

따라서 C++11부터는 스마트 포인터(`std::unique_ptr`, `std::shared_ptr`, `std::weak_ptr`)를 사용하여 자동 메모리 관리를 수행할 수 있습니다. 스마트 포인터는 객체의 수명이 끝나면 자동으로 메모리를 해제합니다. RAII(Resource Acquisition Is Initialization) 패턴은 객체의 수명과 자원(메모리, 파일 핸들, 네트워크 연결 등)의 관리를 연결합니다. 객체가 소멸될 때 자동으로 자원이 해제되도록 하여, 메모리 관리를 보다 안전하게 합니다.

또한 C++ 표준 라이브러리의 컨테이너들(예: `std::vector`, `std::map` 등)은 자체적으로 메모리 관리를 수행합니다. 이러한 컨테이너를 사용하면 개발자가 직접 메모리를 할당하고 해제할 필요가 없습니다.

---

자바의 가비지 컬렉션에 대한 설명

 

자바에서의 가비지 컬렉션은 사실 메모리 청소부 같은 역할을 합니다. 자바 가비지 컬렉션의 주 목적은 프로그램에 의해 할당되었지만 더 이상 참조되지 않는 객체들을 메모리에서 제거하는 것입니다. 이를 통해 메모리 누수를 방지하고, 프로그램의 안정성과 성능을 향상시킵니다.이 덕분에 개발자들은 메모리 관리에 신경 쓰지 않고 프로그래밍에 집중할 수 있습니다. 가비지 컬렉터는 객체가 더 이상 사용되지 않으면, 즉 더 이상 참조되지 않으면 메모리에서 그 객체를 제거합니다.
자바에서는 객체들을 세대별로 관리해요. 새로 생성된 객체는 '신생 세대'에 들어가고, 시간이 지나 살아남은 객체들은 '주 세대'로 이동하죠. 이런 방식으로 메모리를 효율적으로 관리합니다. 또한, 메모리의 단편화를 막기 위해 가끔 '컴팩션' 작업을 진행하기도 해요. 가비지 컬렉션은 애플리케이션의 성능에 큰 영향을 미치기 때문에, 이를 잘 이해하는 것이 중요합니다.

1. 도달 가능성 분석(Reachability Analysis): GC는 '가비지'를 식별하기 위해 '도달 가능성 분석'이라는 과정을 수행합니다. 이 과정에서 GC는 '루트 집합(root set)'으로부터 시작하여 참조를 따라가며 도달 가능한 객체를 식별합니다. 루트 집합에는 활성 스레드, 정적 필드, JNI 참조 등이 포함됩니다.
2. 마킹(Marking): 도달 가능한 객체들은 '마킹' 과정을 통해 식별됩니다. 이 단계에서 GC는 모든 도달 가능한 객체를 표시하고, 이들이 참조하는 다른 객체들을 재귀적으로 탐색합니다.
3. 스위핑(Sweeping): 마킹 과정이 완료된 후, GC는 마킹되지 않은 객체들을 메모리에서 제거합니다. 이 단계에서 실제로 메모리가 해제됩니다.
4. 컴팩션(Compaction): 가비지 컬렉션 과정에서는 메모리 단편화가 발생할 수 있습니다. 컴팩션 단계에서는 생존하는 객체들을 메모리 상의 연속된 영역으로 이동시켜 단편화를 줄입니다.
5. 세대별 가비지 컬렉션(Generational GC): 자바의 GC는 객체의 수명 주기를 기반으로 여러 '세대(generations)'로 메모리를 나누어 관리합니다. 일반적으로 '신생 세대(Young Generation)', '주 세대(Old Generation)', '영구 세대(Permanent Generation 또는 Metaspace)'로 구분됩니다.
6. 신생 세대(Young Generation) GC: 신생 세대는 새로 생성된 객체들이 위치하는 영역입니다. 대부분의 객체는 여기서 생성되고 빠르게 소멸됩니다. 신생 세대에서 GC가 발생하는 것을 'Minor GC'라고 부릅니다.
7. 주 세대(Old Generation) GC: 시간이 지나 신생 세대에서 살아남은 객체들은 주 세대로 이동합니다. 주 세대에서의 GC는 'Major GC' 또는 'Full GC'라고 하며, 더 오래 걸리고 신생 세대보다 덜 자주 발생합니다.
8. 가비지 컬렉터의 종류: 자바는 다양한 가비지 컬렉터를 제공합니다. 예를 들어, Serial GC, Parallel GC, CMS(Concurrent Mark-Sweep) GC, G1(Garbage-First) GC 등이 있으며, 각각의 GC는 서로 다른 성능 특성과 애플리케이션 요구 사항에 맞춰 사용됩니다.

자바의 JVM에 대한 설명

자바의 JVM은 자바 애플리케이션을 실행시키는 무대라고 할 수 있습니다. 자바로 작성된 모든 프로그램은 JVM 위에서 실행되죠. JVM 덕분에 자바는 '한 번 작성하면 어디서든 실행할 수 있다'는 큰 장점을 갖고 있습니다. 자바 코드는 바이트코드로 컴파일되고, 이 바이트코드가 다양한 플랫폼에서 실행될 수 있게 JVM이 기계어로 변환해 실행하는 거죠.
그리고 JVM은 메모리 관리, 가비지 컬렉션 같은 중요한 업무도 담당합니다. 이로 인해 개발자들은 플랫폼에 구애받지 않고, 메모리 관리에 신경 쓰지 않고도 효율적으로 개발할 수 있어요. 하지만 JVM 설정이 애플리케이션의 성능에 큰 영향을 미치기 때문에, JVM에 대한 이해도 중요합니다. 이 과정에서 자바의 핵심 원칙인 "Write Once, Run Anywhere"을 실현합니다. JVM 덕분에 개발자들은 운영 체제나 하드웨어에 구애받지 않고 애플리케이션을 개발하고 배포할 수 있습니다.

1. 플랫폼 독립성: 자바 소스 코드는 먼저 바이트코드로 컴파일됩니다. 이 바이트코드는 어떤 JVM에서도 실행될 수 있으므로, 자바 프로그램은 다양한 운영 체제와 하드웨어 플랫폼에서 동일하게 실행될 수 있습니다.
2. 클래스 로더(Class Loader): JVM은 클래스 로더를 사용해 바이트코드를 런타임 시 메모리로 로드합니다. 클래스 로더는 자바 클래스 파일(.class)을 불러와 JVM의 메모리 영역에 적재하는 역할을 합니다.
3. 런타임 데이터 영역: JVM은 메모리 관리를 위해 여러 런타임 데이터 영역을 유지합니다. 이 영역에는 메소드 영역(Method Area), 힙(Heap), 스택(Stack), 프로그램 카운터(Program Counter) 등이 포함됩니다.
4. 실행 엔진(Execution Engine): 바이트코드는 실행 엔진에 의해 기계어로 해석되어 실행됩니다. 실행 엔진에는 인터프리터와 JIT(Just-In-Time) 컴파일러가 포함되어 있습니다.
5. 인터프리터: 바이트코드를 한 줄씩 읽어서 실행합니다. 이 과정은 느리지만, 각 명령어의 실행을 정확히 제어할 수 있습니다.
6. JIT 컴파일러: 바이트코드의 성능을 향상시키기 위해, 런타임에 바이트코드의 일부를 직접 실행 가능한 기계어로 컴파일합니다. 이는 프로그램의 실행 속도를 개선합니다.
7. 가비지 컬렉터(Garbage Collector): JVM의 가비지 컬렉터는 더 이상 참조되지 않는 객체를 자동으로 감지하고, 이를 메모리에서 제거합니다. 이는 메모리 관리를 단순화하고 메모리 누수를 방지합니다.
8. 네이티브 메소드 인터페이스(Native Method Interface): 자바 프로그램이 운영 체제의 네이티브 라이브러리(예: C, C++ 라이브러리)와 상호 작용할 수 있게 해줍니다.
9. 네이티브 라이브러리: JVM은 자바 프로그램이 필요로 하는 특정 기능을 제공하기 위해 운영 체제의 네이티브 라이브러리를 사용합니다.