Ինչպես է աշխատում մյուտեքսը կուռուտիններում?

Մյուտեքսը (Mutex) կուրտիններում ապահովում է փոխադարձ բացառության մեխանիզմ՝ ընդհանուր ռեսուրսների պաշտպանելու համար միաժամանակյա մուտքից մի քանի կուրտինների կողմից։

Աշխատանքի սկզբունքը՝

1. Մյուտեքսի գրավում: Կուրտին, որը ցանկանում է մուտք գործել պաշտպանված ռեսուրս, կանչում է lock() մեթոդը։
2. Բլոկավորում: Եթե մյուտեքսը ազատ է, կուրտինը այն առանց բլոկավորման գրավում է և շարունակում է գործել։ Եթե մյուտեքսը զբաղված է այլ կուրտինի կողմից, կանչող կուրտինը դադարեցվում է մինչև մյուտեքսը ազատվի։
3. Մյուտեքսի ազատում: Աշխատանքի ավարտից հետո, կուրտինը կանչում է unlock() մեթոդը՝ մյուտեքսը ազատելու համար։

Կուրտիններում հիմնական առանձնահատկությունները՝

• Անբլոկավոր lock() (երբ մյուտեքսը ազատ է՝ գրավման ժամանակ). Բաղադրիչների ավանդական տարբերակներից տարբեր՝ երբ մյուտեքսը ազատ է, գրավումը տեղի է ունենում առանց բլոկավորման։
• Կուրտինի դադարեցում (երբ մյուտեքսը զբաղված է): Եթե մյուտեքսը զբաղված է, կանչող կուրտինը չի բլոկավորում հոսքը, այլ դադարեցվում է մինչև մյուտեքսը ազատվի։ Սա ազատում է հոսքը այլ կուրտինների համար։
• withLock ընդլայնման ֆունկցիա: Հարմար միջոց մյուտեքսի օգտագործման համար, որը ավտոմատ կերպով գրավում և ազատում է այն՝ նույնիսկ եթե բլոկի ներսում տեղի ունենա արտակարգ իրավիճակ։

Օրինակ՝

import kotlinx.coroutines.*
import kotlinx.coroutines.sync.Mutex

val mutex = Mutex()
var counter = 0

suspend fun incrementCounter() {
    mutex.withLock {
        // Կրիտիկական հատված՝ պաշտպանված ռեսուրս
        counter++
        delay(10) // Արտոնական աշխատանք
        println("Counter: $counter")
    } // Մյուտեքսը ավտոմատ ազատվում է այստեղ
}

fun main() = runBlocking {
    repeat(100) {
        launch {
            incrementCounter()
        }
    }
    delay(1000)
}

Այս օրինակով incrementCounter-ը կրիտիկական հատված է, որը փոփոխում է ընդհանուր ռեսուրս counter-ը։ Մյուտեքսը ապահովում է, որ միայն մեկ կուրտին միաժամանակ ունի մուտք այդ հատված, կանխելով մրցակցության վիճակը։ withLock-ի օգտագործումը հեշտացնում է մյուտեքսի կառավարումը։