[PYTHON] del 키워드가 실제로 메모리를 해제하지 않는 3가지 경우와 해결 방법

del 키워드

 

파이썬 개발자라면 누구나 메모리 관리에 대해 한 번쯤 고민해 보았을 것입니다. 특히 대용량 데이터를 처리하거나 장시간 실행되는 애플리케이션을 개발할 때 메모리 누수(Memory Leak)는 치명적인 문제가 될 수 있습니다. 이때 많은 개발자가 직관적으로 떠올리는 해결책이 바로 del 키워드입니다. 하지만 del은 객체를 메모리에서 삭제하는 마법의 지우개가 아닙니다. 오늘 이 글에서는 많은 개발자가 오해하고 있는 del의 실제 동작 메커니즘을 심층 분석하고, 실제로 메모리가 해제되지 않는 구체적인 3가지 사례와 그 기술적인 배경을 전문가의 시각에서 명쾌하게 해결해 드리겠습니다.

1. 파이썬의 메모리 관리 철학: 참조 횟수(Reference Counting)의 이해

파이썬은 C/C++처럼 개발자가 직접 메모리를 할당하고 해제하는 언어가 아닙니다. 대신 가비지 컬렉터(Garbage Collector)가 이 작업을 대신 수행합니다. 그 중심에는 참조 횟수(Reference Counting)라는 메커니즘이 있습니다. 파이썬의 모든 객체는 자신을 가리키는 참조의 개수를 기억하고 있습니다. del a라고 했을 때, 파이썬 인터프리터가 실제로 수행하는 작업은 객체를 지우는 것이 아니라, 변수 a와 객체 사이의 연결을 끊고 객체의 참조 횟수를 1 감소시키는 것입니다. 가비지 컬렉터는 참조 횟수가 0이 된 객체만을 메모리에서 해제합니다. 따라서 다른 곳에서 여전히 그 객체를 참조하고 있다면 del을 호출하더라도 메모리는 절대 해제되지 않습니다.

---

2. del 키워드로 메모리가 해제되지 않는 3가지 결정적 사례

실무에서 del을 사용했음에도 메모리 사용량이 줄어들지 않아 당황했던 경험이 있다면, 아래의 사례 중 하나에 해당할 확률이 매우 높습니다.

표: del 호출 시 메모리 해제 여부를 결정하는 3가지 요소 비교

시나리오	기술적 배경	실제 메모리 해제 여부	주요 특징 및 차이
사례 1: 다른 참조가 남아있음	참조 횟수(Ref Count)가 0이 아님	해제 안 됨 (No)	객체는 메모리에 유지되고 이름만 삭제됨
사례 2: 순환 참조(Circular Reference)	객체들이 서로를 참조하여 세대별 GC가 필요함	지연 해제 (Deferred)	별도의 GC 사이클이 돌 때까지 메모리 점유
사례 3: 운영체제(OS)의 메모리 관리	PVM이 OS에 즉시 자원을 반환하지 않음	OS 레벨에서 해제 안 됨 (No)	PVM은 확보한 메모리를 풀(Pool)로 관리

심층 분석 사례 1: 다른 참조가 남아있는 경우

가장 단순하면서도 흔한 오해입니다. 객체가 리스트나 딕셔너리 같은 다른 컨테이너에 담겨 있거나, 함수의 인자로 전달되어 로컬 변수가 생겼다면 del로는 메모리가 해제되지 않습니다. 참조 횟수가 0이 아니기 때문입니다.

심층 분석 사례 2: 순환 참조(Circular Reference)의 병목

두 객체가 서로를 참조하는 경우입니다. 참조 횟수 메커니즘만으로는 이 문제를 해결할 수 없습니다. 서로가 서로를 참조하고 있어 참조 횟수가 1 미만으로 떨어지지 않기 때문입니다. 파이썬의 가비지 컬렉터는 '세대별 수집(Generational Collection)' 알고리즘을 사용하여 이 고리를 끊지만, 이는 즉시 발생하지 않으며 GC의 실행 오버헤드를 유발하여 성능 병목의 원인이 됩니다.

심층 분석 사례 3: 운영체제의 메모리 풀(Pool) 관리

파이썬 가비지 컬렉터가 객체를 메모리에서 해제하더라도, 파이썬 가상 머신(PVM)은 그 공간을 즉시 운영체제(OS)에 돌려주지 않습니다. PVM은 OS로부터 할당받은 메모리를 내부적인 '메모리 풀'에 저장해 두었다가, 나중에 새로운 객체가 필요할 때 OS에 다시 요청하는 대신 이 풀을 재사용합니다. 이로 인해 OS 레벨의 시스템 모니터링 도구(Task Manager, htop 등)에서는 파이썬의 메모리 사용량이 여전히 높게 나타날 수 있습니다.

3. Sample Example: 메모리 비해제 현상 직접 검증하기

아래 코드는 순환 참조가 발생했을 때 del을 호출하더라도 메모리가 즉시 해제되지 않음을 명확히 보여줍니다.

import sys
import gc

# 1. 순환 참조 클래스 정의
class CircularObj:
    def __init__(self, name):
        self.name = name
        self.ref = None  # 다른 객체를 참조할 공간
    def __del__(self):
        print(f"{self.name} 객체가 완전히 소멸되었습니다.")

# 2. 두 객체 생성 및 서로 참조 (순환 참조 발생)
obj_a = CircularObj("A")
obj_b = CircularObj("B")
obj_a.ref = obj_b
obj_b.ref = obj_a

# 3. del 키워드로 이름 삭제 (소멸자 __del__이 호출되지 않음)
print("\n--- del 호출 시작 ---")
del obj_a
del obj_b
print("--- del 호출 종료 (메모리는 그대로) ---")

# 4. 참조 횟수 확인 (여전히 남아있음)
# 주의: sys.getrefcount()는 인자로 전달된 참조도 포함하여 1 높게 나옵니다.
# print(f"A의 참조 횟수: {sys.getrefcount(obj_a.ref)}") # 에러 발생: obj_a 이름이 삭제됨

# 5. 강제 가비지 컬렉션 실행
print("\n--- 강제 가비지 컬렉션 실행 ---")
gc.collect()  # 순환 참조 고리를 끊고 메모리 해제
print("--- 가비지 컬렉션 종료 ---")

# 실행 결과 분석: 
# gc.collect()가 호출된 후에야 소멸자 메시지가 출력됩니다.
# del만으로는 순환 참조 문제가 해결되지 않았음을 증명합니다.

4. 결론: 전문가가 제안하는 메모리 관리 전략

del 키워드는 단순히 이름과 객체의 연결을 끊는 도구일 뿐, 직접적인 메모리 해제 장치가 아닙니다. 진정한 메모리 최적화를 위해서는 참조 횟수 메커니즘을 깊이 이해하고 다음과 같은 전략을 세워야 합니다.

1. 순환 참조 방지: 가능한 한 순환 참조 구조를 설계하지 않아야 합니다.
2. 약한 참조(weakref) 활용: 필요한 경우 weakref 모듈을 사용하여 참조 횟수를 늘리지 않으면서 객체를 참조하는 방법을 사용하십시오.
3. gc 모듈 제어: 대용량 데이터 처리 후에는 gc.collect()를 호출하여 명시적으로 지연된 메모리를 해제하는 해결책을 고려할 수 있습니다.

파이썬의 내부 메모리 관리 방식을 이해하는 것은 단순히 버그를 줄이는 것을 넘어, 고성능의 견고한 애플리케이션을 구축하는 밑거름이 될 것입니다.

콘텐츠 출처 및 기술 참조

• Python Documentation: "Memory Management - Reference Counting"
• Python Documentation: "gc 모듈 — Garbage Collector interface"
• Effective Python (2nd Edition) by Brett Slatkin.