[PYTHON] Reference Counting과 순환 참조(Cyclic Reference) 해결 방식 2가지 핵심 알고리즘

참조 카운팅 (Reference Counting)

 

 

파이썬 메모리 관리의 심장부에는 참조 카운팅(Reference Counting)이라는 메커니즘이 자리 잡고 있습니다. 이는 객체가 얼마나 많이 사용되고 있는지를 숫자로 기록하여, 더 이상 필요하지 않을 때(카운트가 0이 될 때) 즉시 메모리에서 해제하는 효율적인 시스템입니다. 하지만 이 완벽해 보이는 시스템에도 치명적인 약점이 있으니, 바로 순환 참조(Cyclic Reference) 문제입니다. 본 포스팅에서는 참조 카운팅의 작동 원리와 이를 무력화하는 순환 참조 현상을 분석하고, 파이썬이 이를 어떻게 기술적으로 해결하는지 그 방법과 성능 차이를 심층적으로 다룹니다.

---

1. 참조 카운팅(Reference Counting)의 동작 원리

파이썬의 모든 객체는 C 구조체인 PyObject를 기반으로 하며, 여기에는 ob_refcnt라는 참조 횟수 필드가 포함되어 있습니다. 객체가 변수에 할당되거나, 리스트에 추가되거나, 함수의 인자로 전달될 때마다 이 카운트는 1씩 증가합니다. 반대로 변수가 범위를 벗어나거나 del 키워드로 삭제되면 카운트가 감소합니다.

참조 카운팅의 장단점

• 장점: 객체가 필요 없어지는 즉시 메모리가 회수되어 예측 가능성이 높고 실시간성이 좋습니다.
• 단점: 모든 할당 작업마다 카운트를 업데이트해야 하는 오버헤드가 발생하며, 결정적으로 순환 참조를 감지하지 못합니다.

---

2. 참조 카운팅 vs 순환 참조 가비지 컬렉션 비교

파이썬은 두 가지 메모리 관리 기법을 상호보완적으로 사용하여 메모리 누수를 방지합니다. 각 방식의 결정적인 차이를 표로 비교해 보겠습니다.

구분	참조 카운팅 (Primary)	순환 참조 GC (Secondary)
작동 시점	실시간 (즉시 해제)	주기적 (임계값 도달 시)
주요 목표	일반적인 객체 수명 관리	순환 참조로 인한 메모리 누수 방지
알고리즘	카운트 증감 연산	도달 가능성 분석 (Reachability)
성능 부담	낮지만 빈번함	실행 시 일시적 중단 발생
한계점	순환 참조 시 메모리 잔존	참조 카운팅보다 느림

---

3. 순환 참조의 실체와 발생 원인: Sample Example

두 객체가 서로를 참조하게 되면, 외부에서 이들을 가리키는 변수를 모두 제거하더라도 내부 참조 카운트가 0이 되지 않아 메모리 누수가 발생합니다. 다음은 순환 참조가 발생하는 전형적인 사례입니다.

import sys
import gc

class Node:
    def __init__(self, name):
        self.name = name
        self.next = None
    def __del__(self):
        print(f"{self.name} 객체 삭제됨")

# 1. 두 객체 생성
a = Node("A")
b = Node("B")

# 2. 순환 참조 발생
a.next = b
b.next = a

# 3. 외부 참조 제거
del a
del b

# 4. 참조 카운트가 1로 유지되어 __del__이 호출되지 않음
print("외부 변수 삭제 후에도 객체는 메모리에 남아 있음")

# 5. 해결책: 가비지 컬렉터 수동 실행
gc.collect()
print("GC 수동 실행 후 메모리 정리 완료")

전문가 분석: 위 코드에서 del a는 단지 변수 'a'가 가리키는 주소와의 연결을 끊을 뿐입니다. 객체 A는 객체 B에 의해 여전히 참조되고 있으므로(b.next), 참조 카운트가 0이 되지 않습니다. 파이썬의 GC는 이러한 '고립된 섬'을 찾아내어 해결합니다.

---

4. 순환 참조 해결을 위한 2가지 핵심 기술

(1) Garbage Collection (GC) 모듈의 'Mark-and-Sweep'

파이썬의 GC는 컨테이너 객체(list, dict, set, class instance 등)를 추적합니다. 순환 참조를 해결하기 위해 먼저 객체 간의 참조 그래프를 그리고, 실제 도달 가능한 객체와 그렇지 않은 객체를 구분합니다. 이후 '도달 불가능' 판정을 받은 객체들의 참조 카운트를 강제로 낮추어 메모리에서 해제하는 방법을 사용합니다.

(2) Weak Reference (약한 참조) 활용

순환 참조가 예상되는 구조(예: 트리 구조의 부모-자식 관계)에서는 weakref 모듈을 사용하는 것이 권장됩니다. 약한 참조는 객체의 참조 카운트를 증가시키지 않으면서 해당 객체에 접근할 수 있게 해줍니다. 따라서 순환 고리를 끊으면서도 필요한 시점에 데이터를 참조할 수 있는 최적의 해결책입니다.

---

5. 결론: 개발자가 주의해야 할 메모리 관리 원칙

파이썬의 자동 메모리 관리 기능은 매우 훌륭하지만, 고성능 애플리케이션이나 장시간 실행되는 서버 프로그램을 개발할 때는 순환 참조의 위험성을 늘 인지해야 합니다.

• 대규모 데이터 구조 설계 시 객체 간의 상호 참조가 필수적인지 재검토하십시오.
• 캐시 기능을 구현할 때는 메모리 누수를 방지하기 위해 weakref.dict를 적극 활용하십시오.
• 불필요한 대형 객체는 사용 후 즉시 명시적으로 제거(del)하되, 순환 참조가 의심된다면 GC 로그를 모니터링하십시오.

---

내용의 출처 및 참고 자료

• CPython Internals: "Garbage Collection and Reference Counting"
• Python Docs: gc — Garbage Collector interface
• "Effective Python: 90 Specific Ways to Write Better Python" by Brett Slatkin
• PyCon: "Memory Management in Python - The Deep Dive"