I have a pretty good understanding of how async await works under the hood.
One thing I am curious about is what actually ensures the memory of the generated state machine is synchronized to the other thread's memory cache when a continuation is continued on a different thread then where it was previously yielded?