Πώς βοηθούν οι Coroutine Actors στην αποφυγή καταστάσεων αγώνα κατά την εκτέλεση παράλληλων λειτουργιών;

Οι ηθοποιοί Coroutine είναι ένα μοτίβο στο Kotlin Coroutines που βοηθά στη διαχείριση της κατάστασης και στην εκτέλεση παράλληλων λειτουργιών χωρίς συνθήκες αγώνα.

Πώς λειτουργεί:

• Ένας ηθοποιός είναι μια coroutine που επεξεργάζεται διαδοχικά τα εισερχόμενα μηνύματα (εντολές).
• Όλες οι αλλαγές κατάστασης συμβαίνουν μέσα σε αυτήν την coroutine, διασφαλίζοντας διαδοχική πρόσβαση στα δεδομένα.
• Άλλες coroutine αλληλεπιδρούν με τον ηθοποιό στέλνοντας μηνύματα, χωρίς να αλλάζουν άμεσα την κατάσταση.

Έτσι, αποφεύγονται οι συνθήκες αγώνα, επειδή δεν υπάρχει παράλληλη πρόσβαση στην κοινή κατάσταση — όλες οι λειτουργίες εκτελούνται με σειρά μέσα στον ηθοποιό.

Παράδειγμα:

sealed class CounterMsg
object IncCounter : CounterMsg()
class GetCounter(val response: CompletableDeferred<Int>) : CounterMsg()

fun CoroutineScope.counterActor() = actor<CounterMsg> {
    var counter = 0
    for (msg in channel) {
        when (msg) {
            is IncCounter -> counter++
            is GetCounter -> msg.response.complete(counter)
        }
    }
}

// Χρήση
val counter = counterActor()
counter.send(IncCounter)
val response = CompletableDeferred<Int>()
counter.send(GetCounter(response))
println("Counter = ${response.await()}")

Αυτή η προσέγγιση απλοποιεί τη συγγραφή ασφαλούς παράλληλου κώδικα χωρίς τη χρήση κλειδώματος και πολύπλοκων μηχανισμών συγχρονισμού.