suspend function의 일시 중단 여부는 어떻게 결정되나요?

저도 Coroutine을 배우는 입장에서 이 부분이 조금 헷갈렸어서 추가적으로 글 작성해보겠습니다!

Kotlin docs의 coroutines 기본을 보다보면 launch에 대한 설명이 나옵니다.

https://kotlinlang.org/docs/coroutines-basics.html#your-first-coroutine

즉, launch는 새로운 Coroutine 만들어냅니다.

Coroutine을 대게 경량 쓰레드라고도 표현하니까 쓰레드로 예시를 들면 쓰레드 t1, t2가 경합하면 어떤것이 먼저 실행될까요? 아마 태현님이 말씀하신것처럼 OS나 내부 구현에 따라 달라질 것 같습니다.

저는 Spring 환경에서 테스트를 해보고있어서 다음과 같은 형식으로 코드를 작성했는데 임의로 delay() 메서드나 yield()로 요리조리 해보면 다양한 결과를 만날 수 있어서 이해가 조금 편했던것 같습니다.

@Component
class CoroutinesLecture1: ApplicationRunner {
    override fun run(args: ApplicationArguments?) {
        runBlocking {
            println("START")
            launch {
                newRoutine()
            }
            yield()
            println("END")
        }
    }

    suspend fun newRoutine(){
        val num1 = 1
        val num2 = 2
        println("${num1 + num2}")
    }
}

yield로 위임했기 때문에 START -> 3 -> END 결과

@Component
class CoroutinesLecture1: ApplicationRunner {
    override fun run(args: ApplicationArguments?) {
        runBlocking {
            println("START")
            launch {
                newRoutine()
            }
            yield()
            println("END")
        }
    }

    suspend fun newRoutine(){
        val num1 = 1
        val num2 = 2
        delay(50)
        println("${num1 + num2}")
    }
}

yield로 위임했지만 delay 메서드를 만났기 때문에 일시중단되어 START -> END -> 3 결과

글을 작성하다보니 저도 한가지 궁금한점이 생겼서 질문드립니다!

현재는 코루틴이 2개여서 중단과 재개가 눈에 잘 보이는 편이지만 만약 현업에서 코루틴이 N개 이상인 경우에서는 이런 과정들이 파악하기 힘들 것 같은데 코루틴끼리는 항상 동시에 실행될 것이라고 가정하고 코드를 작성하도록 컨벤션등이 있는지 궁금합니다!

틀린정보이거나 헷갈리는 부분있으시면 말씀해주세요!

늘 질좋은 강의 제공해주셔서 감사합니다ㅎㅎ

안녕하세요! 잉G님! 정말 좋은 질문 감사드립니다! 😊

결론부터 말씀드리면, "suspend function이 호출되었을 때 중단될 필요성이 있으면 중단된다" 입니다. 예를들어 아래와 같은 코드를 실행시키면,

fun main(): Unit = runBlocking() {
  for (i in 1..2) {
    // START 출력
    newRoutine(i)
    // END 출력
  }
}

suspend fun newRoutine(i: Int) {
  // MIDDLE 출력
}

첫 번째 루프에서 START를 출력한 이후 중단 함수인 suspend fun이 호출되었으므로, 잠시 중단되고 두 번째 루프인 START가 먼저 출력될 수 있어 보이지만

실제로는 첫 번째 루프에서 START -> MIDDLE -> END가 모두 출력되고, 두 번째 루프의 START -> MIDDLE -> END가 출력되게 됩니다.

결론적으로는 중단될 필요성이 있으면 중단된다 라고 봐주시면 될 것 같습니다! 😊

답변이 도움이 되었으면 좋겠습니다. 감사합니다!! 🙏