Effective Java 3E

학습기록 - 다 쓴 객체 참조를 해제하라

Yeom's 2023. 11. 26. 21:42
728x90
반응형

C, C++를 쓰다가 자바로 넘어오면서 자바의 가비지 컬렉터를 보면 훨씬 편안해진다. 다 쓴 객체를 알아서 회수해 가기 때문이다. 그래서 자칫 메모리 관리에 더 이상 신경을 쓰지 않아도 된다고 오해할 수 있다. 아래 스택을 간단히 구현한 코드를 보자.

public class Stack{
	private Object[] elements;
    private int size = 0;
    private static final int DEFAULT_INITIAL_CAPACITY = 16;
    
    public Stack(){
    	elements = new Obejct[DEFAULT_INITIAL_CAPACITY];
    }
    
    public void push(Object e){
    	ensureCapacity();
        elements[size++] = e;
    }
    
    public Object pop(){
    	if(size==0)
        	throw new EmptyStackException();
        return elements[--size];
    }
    
    private void ensureCapacity(){
    	if(elements.length == size)
        	elements = Arrays.copyOf(elements, 2*size-1);
   }
}

 

위 코드는 특별한 문제가 없어 보인다. 하지만 '메모리 누수'라는 문제가 있다. 어디에서 메모리 누수가 일어날까? 바로 위 코드에서는 스택이 커졌다가 줄어들었을 때 스택에서 꺼내진 객체들을 가비지 컬렉터가 회수하지 않는다. 프로그램에서 그 객체들을 더 이상 사용하지 않더라도 말이다. 이 스택이 그 객체들의 다 쓴 참조(obsolete reference)를 여전히 가지고 있기 때문이다. 

여기서 다 쓴 참조란 문자 그대로 앞으로 다시 쓰지 않을 참조를 뜻한다. 앞의 코드에서는 elements 배열의 '활성 영역' 밖의 참조들이 모두 여기에 해당한다. 활성 영역은 인덱스가 size보다 작은 원소들로 구성된다. 

 

가비지 컬렉션 언어에서는 (의도치 않게 객체를 살려두는) 메모리 누수를 찾기 아주 까다롭다. 객체 참조 하나를 살려두면 가비지 컬렉터는 그 객체뿐 아니라 그 객체가 참조하는 모든 객체를 회수해가지 못한다. 그래서 단 몇 개의 객체가 매우 많은 객체를 회수하지 못하게 할 수 있고 잠재적으로 성능에 악영향을 줄 수 있다.

 

해법은 간단하다. 해당 참조를 다 썼을 때 null처리(참조 해제)하면 된다.

위 코드의 pop메서드를 다음과 같이 수정하였다.

public Object pop(){
	if(size==0)
    	throw new EmptyStackException();
	Object result = elements[--size];
    elements[size] = null;
    return result;
}

 

다 쓴 참조를 null 처리하면 다른 이점도 따라온다. 만약 null 처리한 참조를 실수로 사용하려 하면 프로그램은 즉시 NullPointerException을 던지며 종료한다.

 

이러한 문제를 겪은 프로그래머들은 모든 객체를 다 쓰지마자 일일이 null 처리를 하는 데 시간을 쓰기도 한다. 하지만 그럴 필요도 없고, 바람직한 방법도 아니다. 객체 참조를 null 처리하는 일은 예외적인 경우여야 한다. 다 쓴 참조를 해제하는 가장 좋은 방법은 그 참조를 담은 변수를 유효 범위(scope) 밖으로 밀어내는 것이다.

 

그렇다면 언제 null 처리를 해야 할까? Stack 클래스는 왜 메모리 누수에 취약할 걸까? 바로 스택이 자기 메모리를 직접 관리하기 때문이다. 이 스택은 elements 배열로 저장소 풀을 만들어 원소들을 관리한다. 배열의 활성 영역에 속한 원소들이 사용되고 비활성 영역은 쓰이지 않는다. 문제는 가비지 컬렉터는 이 사실을 알 길이 없다. 프로그래머는 비활성 영역이 되는 순간 null 처리해서 해당 객체를 더는 쓰지 않을 것임을 가비지 컬렉터에 알려야 한다.

 

일반적으로 자기 메모리를 직접 관리하는 클래스라면 프로그래머는 항시 메모리 누수에 주의해야 한다. 원소를 다 사용한 즉시 그 원소가 참조한 객체를 다 null 처리해줘야 한다.

 

캐시 역시 메모리 누수를 일으키는 주범이다. 객체 참조를 캐시에 넣고 나서, 이 사실을 까맣게 잊은 채 그 객체를 다 쓴 뒤로도 한참을 그냥 놔두는 일을 자주 접할 수 있다. 해법은 여러 가지다. 운 좋게 캐시 외부에서 키(key)를 참조하는 동안만(값이 아니다) 엔트리가 살아 있는 캐시가 필요한 상황이라면 WeakHashMap을 사용해 캐시를 만들자. 다 쓴 엔트리는 그 즉시 자동으로 제거될 것이다. 단, WeakHashMap은 이러한 상황에서만 유용하다는 사실을 인지해야 한다.

 

캐시를 만들 때 보통은 캐시 엔트리의 유효 기간을 정확히 정의하기 어렵기 때문에 시간이 지날수록 엔트리의 가치를 떨어뜨리는 방식을 흔히 사용한다. 이런 방식에서는 쓰지 않는 엔트리를 이따금 청소해줘야 한다. (Scheduled ThreadPollExecuter 같은) 백그라운드 쓰레드를 활용하거나 캐시에 새 엔트리를 추가할 때 부수 작업으로 수행하는 방법이 있다. LinkedHashMap은 removeEldestEntry 메서드를 써서 후자의 방식으로 처리한다. 더 복잡한 캐시를 만들고 싶다면 java.lang.ref 패키지를 직접 활용해야 할 것이다.

 

메모리 누수의 세 번째 주범은 바로 리스너 혹은 콜백이라 부르는 것이다. 클라이언트가 콜백을 등록만 하고 명확히 해지하지 않는다면, 뭔가 조치를 취하지 않는 한 콜백은 계속 쌓여갈 것이다. 이럴 때 콜백을 약한 참조로 저장하면 가비지 컬렉터가 즉시 수거해간다.

 

핵심 정리

메모리 누수는 겉으로 잘 드러나지 않아 시스템에 수년간 잠복하는 사례도 많다. 이런 누수는 철저한 코드 리뷰나 힙 프로파일러 같은 디버깅 도구를 동원해야만 발견되기도 한다. 그래서 이런 종류의 문제는 예방법을 익혀두는 것이 매우 중요하다. 

728x90
반응형