[PYTHON] 파이썬 Cycle Detector의 순환 참조 발견 알고리즘과 메모리 누수 해결 방법 3단계

Cycle Detector

 

파이썬의 메모리 관리 시스템은 기본적으로 참조 횟수 계산(Reference Counting) 방식을 따릅니다. 하지만 이 방식의 가장 큰 약점은 서로를 가리키는 객체들이 생성될 때 발생하는 '순환 참조(Circular Reference)'입니다. 참조 횟수가 결코 0이 되지 않아 메모리 누수가 발생하는 이 치명적인 상황을 파이썬은 어떻게 해결할까요? 그 중심에는 Cycle Detector라는 정교한 알고리즘이 있습니다. 본 포스팅에서는 CPython 내부 소스 코드를 바탕으로 순환 참조를 탐지하는 알고리즘의 원리와 이를 프로그래밍적으로 방지하는 해결 방법을 제시합니다.

---

1. 순환 참조(Circular Reference)의 정의와 발생 원인

순환 참조는 객체 A가 객체 B를 참조하고, 다시 객체 B가 객체 A를 참조하는 구조를 말합니다. 이 경우 두 객체의 ob_refcnt는 최소 1 이상을 유지하게 되어, 사용자가 변수를 명시적으로 제거(del)하더라도 가비지 컬렉터에 의해 회수되지 않는 '메모리 좀비' 상태가 됩니다.

---

2. Cycle Detector 알고리즘: '도달 가능성'의 판단 차이

파이썬의 Cycle Detector는 단순히 참조 횟수가 0인지를 보지 않습니다. 대신, "외부(루트 객체)에서 이 객체에 접근할 수 있는가?"를 묻습니다. 이 알고리즘은 크게 세 단계를 거쳐 작동합니다.

알고리즘 작동 프로세스 비교

단계	단계명	주요 작업 및 해결 방식	상태 변화
1단계	GC 수집 대상 나열	컨테이너 객체(List, Dict 등)를 추적 리스트에 담음	임시 참조 횟수 복사 (gc_refs 생성)
2단계	순차적 참조 제거	객체가 참조하는 다른 객체의 gc_refs를 1씩 감소	내부 참조만 남은 객체 선별
3단계	도달 가능성 판별	gc_refs가 0인 객체 중 외부 도달 불가능한 객체 회수	순환 참조 연결 고리 해제 및 메모리 반환

---

3. 알고리즘의 핵심: gc_refs의 차감 원리

Cycle Detector는 객체 내부에 있는 실제 참조 횟수를 직접 건드리지 않습니다. 대신 gc_refs라는 가상의 필드를 사용합니다. 만약 어떤 객체 그룹 내에서 서로를 참조하는 횟수를 모두 뺐을 때, 외부에서 들어오는 참조가 0이 된다면 해당 그룹은 전체가 가비지(Garbage)로 간주됩니다.

---

4. 순환 참조 메모리 누수를 해결하는 3가지 방법

알고리즘이 자동으로 해결해주기도 하지만, 성능 최적화를 위해서는 개발자가 직접 순환 고리를 끊어주는 것이 좋습니다.

• 방법 1: 약한 참조(Weakref) 활용 - weakref.ref를 사용하면 참조 횟수를 올리지 않고도 객체에 접근할 수 있어 순환 구조를 원천 차단합니다.
• 방법 2: 명시적 해제 - 객체 사용이 끝나면 self.parent = None과 같이 수동으로 연결을 끊습니다.
• 방법 3: __del__ 메서드 사용 자제 - 과거 파이썬(3.4 미만)에서는 __del__이 정의된 순환 참조 객체는 안전한 파괴 순서를 보장할 수 없어 회수하지 못했습니다. 최신 버전에서는 개선되었으나 여전히 주의가 필요합니다.

---

5. Sample Example: 순환 참조 생성 및 해결 시나리오

다음은 순환 참조를 고의로 생성하고, 약한 참조를 통해 이를 해결하는 실제 코드 예시입니다.

import gc
import weakref

class Node:
    def __init__(self, name):
        self.name = name
        self.child = None
        # 방법 2: self.parent를 weakref로 설정하여 순환 참조 해결
        self._parent = None

    @property
    def parent(self):
        return self._parent() if self._parent is not None else None

    @parent.setter
    def parent(self, value):
        self._parent = weakref.ref(value)

# 1. 객체 생성
root = Node("Root")
leaf = Node("Leaf")

# 2. 순환 구조 형성 (부모-자식 관계)
root.child = leaf
leaf.parent = root  # 약한 참조 사용

# 3. 명시적 삭제
del root
del leaf

# 4. GC 강제 수행 후 확인
gc.collect()
print("Garbage collection finished.")

---

6. 결론: 알고리즘 이해의 가치

파이썬의 Cycle Detector는 백그라운드에서 묵묵히 메모리를 정돈하는 고마운 존재입니다. 하지만 이 알고리즘이 동작하는 순간 프로그램의 실행이 일시적으로 멈추는 오버헤드가 발생합니다. 따라서 순환 참조의 발생 원인과 탐지 원리를 이해하고, 약한 참조 등을 활용해 알고리즘의 부담을 덜어주는 것이 고성능 파이썬 애플리케이션을 만드는 핵심 해결 방법입니다.

---

7. 내용의 출처 및 참고 문헌

• CPython Internals: "The Garbage Collector's Cycle Detection Algorithm" (Modules/gcmodule.c)
• Python Standard Library: "gc — Garbage Collector interface"
• PEP 442: "Safe object finalization"
• "Fluent Python" by Luciano Ramalho (O'Reilly Media)