Vlákno názorů ke článku Jak na korutiny v C++20 od peci1 - Jen se hloupe zeptam: kdyz zavolam co_await fetch(url),...

Jen se hloupe zeptam: kdyz zavolam co_await fetch(url), tak kdo vykona tu funkci fetch? Musim mit nejake separatni vlastnorucne managovane vlakno, ktere kouka do nejakeho seznamu korutin a ty pousti? Nebo se nejake vlakno pro moji korutinu objevi nejak automagicky? A nebo tomu vubec nerozumim?

funkce fetch() musí být napsaná tak, aby vrátila objekt awaitera. Tam začíná celá magie. Představ si, že to není fetch (moc složitý) ale třeba recv (ze socketu)

co_await postupně zavolá tři funkce awaitera

• await_ready -> awaiter může skusit číst ze socketu neblokovaně. Pokud obdrží EWOULDBLOCK, vrátí false, pokud obdrží data, vrátí true - pak se rovnou volá await_resume
• await_suspend -> awaiter vezme handle korutiny a zaregistruje ho někam, do nějakého dispatcheru, který monitoruje sockety - předá socket a handle korutiny. Tenhle dispatcher si samozřejmě musíš někde mít implementovaný. Nejspíš bude mít nějaké vlákno, ve kterém to provádí, nejspíš čeká na epoll a když se dočká, provede nějaké třídění a buzení registrovaných korutin
• teď korutina spí, dokud není vzbuzena. pak pokračuje na await_resume
• await_resume -> tam si awaiter vyzvedne data vrátí je jako výsledek operace. V tomto příkladě, pokud awaiter již má data načteny, protože se mu to povedlo při await_ready, tak je jen vrátí, pokud nemá, tak teď udělá recv(), to nejspíš projde bez čekání a vysledek vrátí.

Takže tvá odpověď na otázku. Záleží na implementaci. Pokud daná funkce něco řeší asynchroně, musí si k tomu zařídit nějaká vlákna a postavit vlastní asynchroní systém. Korutině je to jedno, ta komunikuje s tím mechanismem přes awaitera, což je takový zástupce toho mechanismu. Výhodou je, že dokud celá operace je stále v procesu, instance awaitera je po celou dobu k dispozici. Jakmile je operace kompletní, awaiter je zdestruován