Rekurencja i oczekiwanie/asynchronizacja Słowa kluczowe

Question

Mam słabe pojęcie o tym, jak działa słowo kluczowe await i chcę nieco rozszerzyć moje zrozumienie.

Kwestią, która wciąż sprawia, że ​​moje obroty głową są użycie rekursji. Oto przykład:

using System; 
using System.Collections.Generic; 
using System.Linq; 
using System.Text; 
using System.Threading.Tasks; 

namespace TestingAwaitOverflow 
{ 
    class Program 
    { 
     static void Main(string[] args) 
     { 
      var task = TestAsync(0); 
      System.Threading.Thread.Sleep(100000); 
     } 

     static async Task TestAsync(int count) 
     { 
      Console.WriteLine(count); 
      await TestAsync(count + 1); 
     } 
    } 
} 

Ten oczywiście rzuca StackOverflowException.

Moje zrozumienie jest takie, że kod faktycznie działa synchronicznie do pierwszego działania asynchronicznego, po czym zwraca obiekt Task, który zawiera informacje o operacji asynchronicznej. W tym przypadku nie ma operacji asynchronicznej, a więc po prostu powtarza się pod fałszywą obietnicą, że w końcu otrzyma zwrócony kod w postaci Task.

Teraz zmieniając go tylko odrobinę:

using System; 
using System.Collections.Generic; 
using System.Linq; 
using System.Text; 
using System.Threading.Tasks; 

namespace TestingAwaitOverflow 
{ 
    class Program 
    { 
     static void Main(string[] args) 
     { 
      var task = TestAsync(0); 
      System.Threading.Thread.Sleep(100000); 
     } 

     static async Task TestAsync(int count) 
     { 
      await Task.Run(() => Console.WriteLine(count)); 
      await TestAsync(count + 1); 
     } 
    } 
} 

Ten jeden nie rzucać StackOverflowException. Mogę sortof zobaczyć, dlaczego to działa, ale nazwałbym to bardziej uczuciem jelitowym (prawdopodobnie zajmuje się tym, jak kod jest zorganizowany do korzystania z wywołań zwrotnych, aby uniknąć budowania stosu, ale nie mogę przetłumaczyć tego przeczucia na wyjaśnienie)

mam więc dwa pytania:

• jaki sposób druga partia kodu uniknąć się StackOverflowException?
• Czy druga partia kodu marnuje inne zasoby? (na przykład czy przydziela się absurdalnie dużą liczbę obiektów zadań na stercie?)

Dzięki!

Answer 1

Część do pierwszego czeka w dowolnej funkcji działa synchronicznie. W pierwszym przypadku uruchamia się z powodu przepełnienia stosu - nic nie zakłóca wywoływania funkcji.

Pierwsze oczekiwanie (które nie kończy się natychmiastowo - dotyczy to ciebie z dużym prawdopodobieństwem) powoduje powrót funkcji (i rezygnację z miejsca na stosie!). Kolejka to kolejka jako kontynuacja. TPL zapewnia, że ​​kontynuacja nigdy nie zagnieździ się zbyt głęboko. Jeśli istnieje ryzyko przepełnienia stosu, kontynuacja jest umieszczana w kolejce do puli wątków, resetując stos (który zaczynał się zapełniać).

Drugi przykład może nadal przepełniać! Co zrobić, jeśli zadanie Task.Run zawsze jest wykonywane natychmiast? (Jest to mało prawdopodobne, ale możliwe z odpowiednim harmonogramem wątków systemu operacyjnego). Wtedy funkcja asynchroniczna nigdy nie zostanie przerwana (powodując, że powróci i zwolni całą przestrzeń stosu) i zachowa się tak samo, jak w przypadku 1.