Kotlin Coroutine의 GlobalScope 사용에 대한 질문

훌륭한 질문입니다. 많은 Kotlin 개발자들이 코루틴을 처음 배울 때 GlobalScope와 관련하여 비슷한 궁금증을 가집니다. 결론부터 말씀드리면, 질문자님께서 언급하신 구조화된 동시성(Structured Concurrency) 원칙을 위반하기 때문에 GlobalScope 사용을 지양해야 합니다.

GlobalScope의 문제점

GlobalScope는 애플리케이션의 전체 생명주기에 연결된 최상위 스코프입니다. 여기서 실행된 코루틴은 애플리케이션 프로세스가 살아있는 한 계속 실행됩니다. 이것이 다음과 같은 심각한 문제를 야기합니다.

1. 제어되지 않는 생명주기 및 메모리 누수: 안드로이드의 Activity나 ViewModel과 같은 컴포넌트는 수명 주기가 있습니다. ViewModel이 onCleared()를 통해 파괴되었음에도 불구하고, 그 안에서 GlobalScope.launch로 시작된 코루틴은 여전히 살아남아 네트워크 요청을 계속하거나 결과를 처리하려고 시도합니다. 이때 이미 파괴된 View나 다른 리소스를 참조하고 있다면 전형적인 메모리 누수가 발생합니다.

2. 취소의 어려움: GlobalScope로 실행된 작업들은 서로 아무런 관계가 없는 개별적인 작업 단위입니다. 따라서 특정 화면을 벗어날 때 관련 작업들만 골라서 한 번에 취소하는 것이 매우 어렵습니다. 모든 Job 객체를 수동으로 추적하고 관리해야만 가능하며, 이는 코드 복잡도를 높이고 실수를 유발하기 쉽습니다.

3. 예외 처리의 분산: GlobalScope 내에서 발생한 예외는 해당 코루틴을 종료시킬 뿐, 부모 코루틴이나 다른 형제 코루틴에게 전파되지 않습니다. 사실상 GlobalScope는 부모가 없으므로, 처리되지 않은 예외는 기본 핸들러(보통 스레드의 uncaughtExceptionHandler)로 전달되어 추적하기 어려워집니다.

해결책: 구조화된 동시성 (Structured Concurrency)

구조화된 동시성은 코루틴이 특정 생명주기를 가진 스코프 내에서 실행되도록 강제하는 프로그래밍 모델입니다. 마치 if-else나 try-catch 블록처럼, 코드 블록을 벗어나면 그 안에서 실행된 모든 작업이 완료되거나 취소되는 것을 보장합니다.

• 부모-자식 관계: 스코프 내에서 새로운 코루틴(launch, async)을 실행하면 부모-자식 관계가 형성됩니다. 부모 스코프/코루틴이 취소되면 모든 자식 코루틴도 재귀적으로 취소됩니다. 또한 부모는 모든 자식이 완료될 때까지 기다립니다 (예외적인 경우 제외).
• 예외 전파: 자식 코루틴에서 예외가 발생하면 즉시 부모에게 전파되고, 다른 형제 코루틴들도 모두 취소됩니다. 이를 통해 오류 발생 시 관련 작업들을 한 번에 정리할 수 있습니다.

모범 사례: viewModelScope

Android Jetpack 라이브러리는 이러한 구조화된 동시성을 쉽게 구현할 수 있도록 ViewModel을 위한 viewModelScope를 제공합니다.

class MyViewModel : ViewModel() {

    fun fetchDataFromServer() {
        // viewModelScope는 ViewModel의 생명주기와 연결됩니다.
        viewModelScope.launch {
            // 이 코루틴은 ViewModel이 clear될 때 자동으로 취소됩니다.
            try {
                val result = withContext(Dispatchers.IO) { // 네트워크 작업은 I/O 스레드에서
                    someApi.getData()
                }
                // UI 업데이트는 Main 스레드에서
                updateUi(result)
            } catch (e: CancellationException) {
                // 취소되었을 때의 로깅 (선택 사항)
                Log.i("MyViewModel", "Fetch data cancelled")
            } catch (e: Exception) {
                // 그 외 에러 처리
                handleError(e)
            }
        }
    }

    override fun onCleared() {
        super.onCleared()
        // 이 시점에 viewModelScope가 취소되고, 위의 launch 블록도 중단됩니다.
    }
}

이처럼 viewModelScope를 사용하면 메모리 누수나 리소스 낭비 걱정 없이 안전하게 비동기 작업을 처리할 수 있습니다. 이것이 코루틴이 제공하는 핵심적인 강력함입니다.