Ako je zabezpečená možnosť pozastavenia vykonávania funkcie s modifikátorom suspend?

Mechanizmus pozastavenia funkcie je zabezpečený prostredníctvom mechanizmu korektín a kontinuácií.

1. Modifikátor suspend: Signalizuje prekompilátoru, že funkcia môže byť pozastavená a pokračovaná neskôr bez blokovania vlákna. To neznamená, že sa nevyhnutne pozastaví.

2. Transformácia prekompilátora: Prekompilátor premení suspend funkciu na stavy stroj. Tento stroj sleduje aktuálny bod vykonávania funkcie a jej lokálne premenné.

3. Kontinuácia (Continuation): Pri volaní suspend funkcie sa odovzdá skrytý parameter typu Continuation. Tento objekt Continuation obsahuje callback, ktorý bude volaný po dokončení asynchrónnej operácie, ktorá spôsobila pozastavenie. Uchováva tiež kontext vykonávania korutiny (plánovač, kontext úlohy atď.).

4. Pozastavenie: Keď suspend funkcia dosiahne bod, kde je potrebné vykonať asynchrónnu operáciu (napríklad sieťová požiadavka, čítanie z databázy), namiesto blokovania vlákna zachytí aktuálny stav (lokálne premenné, bod vykonávania), ho uloží do objektu Continuation a vráti riadenie volajúcemu kódu. Vlákno je uvoľnené na vykonávanie iných úloh.

5. Obnovenie: Keď je asynchrónna operácia dokončená, volá sa jej callback (uložený v Continuation). Tento callback informuje korutinu, že sa môže pokračovať. Korutina použije uložený stav z Continuation na obnovenie kontextu vykonávania a pokračuje od miesta, kde bola pozastavená.

// Príklad: suspend funkcia, ktorá simuluje oneskorenie
suspend fun fetchData(): String {
    // Tu dochádza k pozastaveniu.
    // Korutina uloží stav a uvoľní vlákno.
    delay(1000) // suspend funkcia z kotlinx.coroutines
    // Po 1000 ms je volaný callback `Continuation`,
    // a korutina pokračuje od tohto bodu.
    return "Dáta načítané"
}