[Kotlin] Coroutines - 동기 코드, 비동기 코드

본 게시글의 #1 ~ #3은 동기성 및 비동기성을 설명하기 위해서 스레드의 개념에 대해 고의적이고 논리적인 비약을 사용했다. 이 글을 보는 분은 꼭 #4의 주의할 점까지 봐주셔야 한다.

 

#1 동기 코드 vs 비동기 코드

#1-1 구분하기

코루틴을 제대로 사용하기 위해선 먼저, '동기 코드'와 '비동기 코드(= 코루틴 코드)'를 명확하게 구분할 줄 알아야 한다. 둘을 구분하는 기준은 쉽게 말하자면 작업이 순차적으로 실행되는 지의 여부다. 순차적이라는 것은, 이전 작업이 완료될 때까지 다음 작업이 실행되지 않음을 의미한다. 비동기 코드는 동기 코드가 아닌 코드다.

 

#1-2 비동기 코드의 예시

import kotlinx.coroutines.CoroutineScope
import kotlinx.coroutines.Dispatchers
import kotlinx.coroutines.delay
import kotlinx.coroutines.launch

suspend fun main() {
    println("Start")

    val myJob = CoroutineScope(Dispatchers.IO).launch {
        println("Coroutine code start")
        delay(2000)
        println("Coroutine code end")
    }

    var meaninglessNumber = 0
    for (i in 1..100000000) {
        meaninglessNumber += i
    }

    println("End")

    myJob.join()
}

/* 출력 결과
Start
Coroutine code start
End
Coroutine code end
*/

위 코드에 '비동기 코드'가 존재함은 분명하다. 코드가 써진 순서와 출력 결과가 비례하지 않기 때문이다. 즉, 순차적이지 않기 때문이다.

 

#2 스레드의 병렬 구조

#2-1 필연적 비(非)순차성

이 예시 도식도에서, 원래 스레드에 있는 A + B 출력은 불가능하다. 해당 시점에선 A의 긴 작업 시간 때문에 그 값이 뭔지 모르기 때문이다. 이와 같이 병렬 구조를 구성하면, 시차가 날 수 밖에 없다. 물론, 마법처럼 모든 타이밍이 딱딱 맞아 떨어질 수는 있겠지만, 그건 동전 100개를 던져서 전부 앞면이 나오지 않으리란 법은 없다는 말과 똑같은 소리다. 즉, 이러한 시차는 필연적이다. 그리고 시차를 극복하려면, 아직 완료되지 않은 스레드를 기다려야 한다. 멈춰(Suspend)야 한다는 말이다.

 

#2-2 Suspend를 추가한 도식도

#2-1을 수정해 Suspend하는 작업을 추가했다.

 

#2-3 비동기 코드에서 Suspend가 없는 경우

스레드 병렬 구조에서 Suspend는 분명 필연적이지만, 필수는 아니다. 예를 들어, 작업 A와 B를 출력하는 게 아니라 그냥 계산만 하고 마는 경우가 그렇다. 시차를 맞춰서 할 작업이 없다. 이런 경우에는 굳이 Suspend하지 않는다. 즉, Suspend는 병렬 구조에서 '필요'하지만, '필수'는 아니라는 이야기다.

 

#3 동기 코드의 '영역' vs 비동기 코드의 '영역

동기 코드 영역은 하나의 스레드에서 작업이 실행되며, 이전 작업이 완료될 때까지 다음 작업이 실행되지 않는 환경이다. 우리가 일상적으로 접해온 코드의 일반적인 영역이 그렇다. 반대로 비동기 코드 영역은 작업들이 순차성 없이 병렬적으로 실행될 수 있는 환경을 말한다. Coroutine은 비동기 코드를 구현할 때 쓰 도구지만, Coroutine이라고 반드시 비동기 코드인 것은 아니다 (참조).
 
'동기 코드'의 영역엔 '비동기 코드'를 사용할 수 없다. 어째서? '비동기 코드'는 코드를 실행(Run)하는 주체인 시스템(Kotlin의 경우엔 Kotlin 런타임)을 '기대'하게 만들기 때문이다. 작업이 비동기적으로 실행된다는 얘기는 시스템이 언제 그 코드의 결과를 받아볼 수 있는 지를 알 수 없다는 이야기다. 즉, '비동기 코드'는 시스템에게 값을 즉각적으로 내주지 않는다. 따라서 시스템은 언젠간 작업이 완료(launch)되거나 값을 전달(async, produce)해줄 거라고 '기대'만 할 수 있다. '기대'는 '기다림'이다. 기다림은 '간헐적인 멈춤'이다. 간헐적으로 멈추는 코드를 어떻게 (에러가 나지 않는 한) 절대 멈추지 않음을 보장하는 '동기 코드 영역'에 둘 수 있겠는가? 
 
반면, '비동기 코드'의 영역엔 '동기 코드'를 사용할 수 있다. 비동기 코드의 영역이라고 반드시 비동기 코드만 있을 필요가 없다. '간헐적 멈춰짐이 허용되는 곳'이지, '반드시 멈춰야하는 곳'이 아니기 때문이다.

 

#1-2의 예시 코드를 보면, 비동기 코드는 CoroutineScope라는 포장지에 둘러싸여 밖에 있는 동기 코드의 영역과 그 영역이 분명히 구분됨을 볼 수 있다.

 

#4 주의할 점 (코루틴은 물리적 스레드가 아니다)

#1 ~ #3에서는 동기성 및 비동기성을 설명하기 위해서 마치, 하나의 코루틴 = 하나의 (물리적) 스레드인 것처럼 설명했다. 하지만, 이는 이해를 위한 고의적이고 논리적인 비약이다. 즉 틀린 설명이다. 스레드(Thread)는 운영체제가 관리하는 것이며 각 스레드는 물리적인 CPU에 할당된다. 반면, 코루틴은 코틀린이라는 프로그래밍 언어 단위에서 관리되는 일종의 논리적 스레드다.

 

코루틴은 논리적 스레드이기에, 하나의 물리적 스레드 위에서 여러 개의 코루틴이 수행될 수도 있다. 예를 들어, A라는 스레드에서 코루틴 a와 코루틴 b가 수행되는 상황이라고 가정해보겠다. a와 b는 서로 잠시 멈추(Suspend)면서 다른 코루틴이 실행될 수 있게 자원(A)을 양보하는 식이다. 이 양보를 통해, 같은 스레드에서 여러 코루틴이 번갈아 가며 실행됨으로써 병렬적인 동시 실행처럼 보이는 것을 코루틴의 동시성(Concurrency)이라고 한다. 이는 물리적 스레드의 진짜 동시 실행인 병렬성(Parallelism)과 대비된다.

 

하나의 코루틴을 하나의 스레드에 하나씩 할당하는 것도 필요하다면 구현할 수 있다. 스레드가 A, B, C 총 3개가 있을 때 프로그래머가 CoroutineDispatcher를 이용해 A, B, C 각각에 하나의 코루틴을 할당하면 된다 (이러면 코루틴은 Concurrency가 아니라 Parallelism을 구현하게 된다). 코루틴은 기본적으로는 논리적 스레드이지만, 필요한 경우 실제 물리적 스레드까지 명시해 사용할 수 있는 유연한 도구인 셈이다.

 

#5 요약

병렬 구조는 필연적으로 非순차적(非동기적)이고, 따라서 Suspend를 요구할 수 있다.