Сколько раз MoveNext() выполняется в C# в ожидании конечного автомата? ⇐ C#

[Anonymous]

Сейчас я пытаюсь понять механизм ожидания C#. Я знаю, что это синтаксический сахар конечного автомата, например. В этом посте: async/await, что происходит внутри, автор показал IL-код.
Однако я все еще не очень проясните детали, например, что на самом деле делает AwaitUnsafeOnCompleted(ref awaiter, ref this)? он просто вызывает метод MoveNext()? если да, то я могу предположить, что MoveNext вызывается рекурсивно. Но из кода я вижу, что когда MoveNext() сначала выполняется, состояние == -1, затем, если ожидающий не завершен (что, как я полагаю, обычно и происходит), состояние будет сброшено в 0, а затем будет вызван AwaitUnsafeOnCompleted. то, если внутри него вызывается MoveNext, поскольку сейчас состояние ==0, он перейдет в блок else, поэтому он больше не будет запускаться в AwaitUnsafeOnCompleted, так что MoveNext() всегда будет запускаться только дважды?
Я действительно не понимаю, как это работает.
Я ожидаю логику выполнения этого конечного автомата< /п>

Подробнее здесь: https://stackoverflow.com/questions/783 ... te-machine