Как .NET обеспечивает безопасность памяти конечного автомата, созданного компилятором для async/await? ⇐ C#

[Anonymous]

Я довольно хорошо понимаю, как работает асинхронное ожидание.
Одна вещь, которую мне интересно, это то, что на самом деле обеспечивает синхронизацию памяти сгенерированного конечного автомата с кешем памяти других потоков, когда продолжение продолжается в другом потоке, отличном от того, где оно было ранее получено?
В частности, ссылаясь на кеши ядра ЦП, если я пишу в какой-то объект кучи в одном потоке и читаю из него в другом потоке, то кеш ядра ЦП может быть устарели, если не вставить ограничения памяти.
Итак, .NET должен устанавливать ограничения где-то между передачей и продолжением для объекта конечного автомата, верно? Если да, то где это делается?

Подробнее здесь: https://stackoverflow.com/questions/798 ... hine-for-a