코 틀린 코 루틴은“이전의 일”을 보장합니까?

코 틀린 코 루틴은 "전의 어쩌면"보증을 제공합니까?

예를 들어, mutableVar이 경우 다른 스레드에 대한 쓰기 및 후속 읽기 (잠재적으로) 간에 " 어쩌면 이전"이 보장됩니까 ?

suspend fun doSomething() {
    var mutableVar = 0
    withContext(Dispatchers.IO) {
        mutableVar = 1
    }
    System.out.println("value: $mutableVar")
}

편집하다:

어쩌면 추가 예제는 Kotlin이 더 많기 때문에 (변이성을 제외하고) 더 나은 질문을 분명히 할 것입니다. 이 코드는 스레드로부터 안전합니까?

suspend fun doSomething() {
    var data = withContext(Dispatchers.IO) {
        Data(1)
    }
    System.out.println("value: ${data.data}")
}

private data class Data(var data: Int)

작성한 코드에는 공유 상태에 대한 세 가지 액세스 권한이 있습니다.

var mutableVar = 0                        // access 1, init
withContext(Dispatchers.IO) {
    mutableVar = 1                        // access 2, write
}
System.out.println("value: $mutableVar")  // access 3, read

세 가지 액세스는 순차적으로 순서가 정해져 있으며 그 사이에 동시성이 없습니다. Kotlin의 인프라는 스레드 풀로 핸드 오프하고 호출 코 루틴으로 돌아갈 때 발생 하는 우위 를 설정하도록 보장합니다 IO.

다음은 아마도 더 설득력있는 예입니다.

launch(Dispatchers.Default) {
    var mutableVar = 0             // 1
    delay(1)
    mutableVar = 1                 // 2
    delay(1)
    println("value: $mutableVar")  // 3
}

일시 delay중단 가능한 함수 이므로 Default스레드 풀이 지원 하는 디스패처를 사용하므로 행 1, 2 및 3은 각각 다른 스레드에서 실행될 수 있습니다. 따라서 발생 전 보장 에 대한 질문은 이 예제에도 동일하게 적용됩니다. 반면 에이 경우이 코드의 동작이 순차적 실행 원칙과 일치한다는 것이 완전히 분명합니다.

Kotlin의 코 루틴은 보증 전에 제공됩니다.

규칙은 다음과 같습니다 코 루틴 내부 코드 이전에 a가 함수 호출 일시 중단 하기 전에 발생 코드 후 (가) 전화를 일시 중지합니다.

코 루틴은 마치 일반 스레드 인 것처럼 생각해야합니다.

Kotlin의 코 루틴은 여러 스레드에서 실행될 수 있지만 변경 가능한 상태의 관점에서 스레드와 같습니다. 동일한 코 루틴에서 두 작업을 동시에 수행 할 수 없습니다.

출처 : https://proandroiddev.com/what-is-concurrent-access-to-mutable-state-f386e5cb8292

코드 예제로 돌아 가기 람다 함수 본문에서 vars를 캡처하는 것은 특히 람다가 코 루틴 일 때 가장 좋은 아이디어는 아닙니다. 람다 앞의 코드는 코드 내부에서 발생하지 않습니다.

참조 https://youtrack.jetbrains.com/issue/KT-15514를