I’m not sure I would call this a memory model per se, but here’s how async tasks are laid out in memory.

http://tmandry.gitlab.io/blog/posts/optimizing-await-1/