CppCon 2018: G. Nishanov “Nano-coroutines to the Rescue! (Using Coroutines TS, of Course)”

CppCon0 HN recommenders · 2018–2021
40K views · talk · evergreen · Uploaded 2018-10-08

Gor Nishanov's CppCon 2018 talk on using tiny C++ coroutines to hide memory latency, interleaving useful work while prefetches bring cache lines in from main memory.

Cited as a deep dive on coroutines for cache misses and on running huge numbers of coroutines without heap allocation.

Watch on YouTube

3 comments from Hacker News

@akubera2018 · in “Exploiting Coroutines to Attack the “Killer Nanoseconds” [pdf]”

Gor Nishanov, one of the authors, talks about this in his CppCon2018 talk [VIDEO] (jump to ~12:33 to skip background). It amounts to using CPU prefetch instructions with C++ coroutines to simulate hyperthreading in software by scheduling instructions around cache misses (but is potentially better than hyperthreads because it's not limited to 2/core)

@je422019 · in “How Rust optimizes async/await”

> In C++, technically every initialization of a sub-coroutine starts defaults to being a new heap allocation. I don't want to spread FUD: my understanding is that the vast majority of these are optimized out by the compiler. But one downside of this approach is that you could change your code and accidentally disable one of these optimizations. I don't think this is correct. C++ 20 allows a lot of choices to implement it without forcing a heap allocation. see [LINK] also see this video that goes in depth how to have billions of coroutines with C++: [VIDEO]

@BenFrantzDale2021 · in “My tutorial and take on C++20 coroutines”

It's a big deal because, while it has some downsides, being stalkless means they can have next to no overhead, meaning it can be performant to use coroutines to write asynchronous code for even very fast operations. The example given [VIDEO] is that you can launch multiple coroutines to issue prefetch instructions and process the fetched data, so you can have clean code that issues multiple prefetches and process the results. Whereas in Python (don't get me wrong, I love Python) you might use a generator to "asynchronize" slow operations like requesting and processing data from remote servers, C++ coroutines can be fast enough to asynchronously process "slow" operations like requesting data from main memory.