Rekursion und die Erwartung/async Keywords

Question

Ich habe ein zerbrechliches Verständnis davon, wie das await Schlüsselwort funktioniert, und ich möchte mein Verständnis davon ein wenig erweitern.

Das Problem, das meinen Kopf noch dreht, ist die Verwendung von Rekursion. Hier ein Beispiel:

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); 
     } 
    } 
} 

Dieses offensichtlich StackOverflowException wirft.

Mein Verständnis ist, weil der Code tatsächlich synchron läuft bis die erste asynchrone Aktion, nach der es ein Task Objekt zurückgibt, das Informationen über den asynchronen Vorgang enthält. In diesem Fall gibt es keine asynchrone Operation, so dass es nur unter dem falschen Versprechen weiterläuft, dass es schließlich eine Task zurückgegeben bekommt.

Jetzt ist es nur ein kleines bisschen zu ändern:

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); 
     } 
    } 
} 

Dieses kein StackOverflowException wirft. Ich kann sortof sehen, warum es funktioniert, aber ich würde es eher ein Bauchgefühl nennen (es geht wahrscheinlich damit um, wie der Code Callbacks verwenden soll, um den Stack zu vermeiden, aber ich kann dieses Bauchgefühl nicht in einen übersetzen Erklärung)

So habe ich zwei Fragen:

• Wie funktioniert die zweite Charge von Code ein StackOverflowException vermeiden?
• Vergeudet der zweite Stapel von Code andere Ressourcen? (Zum Beispiel weist es eine absurd große Anzahl von Aufgabenobjekten auf dem Haufen zu?)

Danke!

Answer 1

Der Teil bis zum ersten erwarten in jeder Funktion läuft synchron. Im ersten Fall kommt es deshalb zu einem Stack-Overflow - die Funktion selbst wird durch nichts unterbrochen.

Die ersten erwarten (die nicht sofort abgeschlossen werden - das ist bei Ihnen mit hoher Wahrscheinlichkeit der Fall) bewirkt, dass die Funktion zurückkehrt (und ihren Stapelspeicherplatz aufgibt!). Es stellt den Rest als Fortsetzung dar. Die TPL sorgt dafür, dass Fortsetzungen niemals zu tief nisten. Wenn das Risiko eines Stapelüberlaufs besteht, wird die Fortsetzung in den Thread-Pool eingereiht, wodurch der Stapel (der sich zu füllen beginnt) zurückgesetzt wird.

Das zweite Beispiel kann immer noch überlaufen! Was ist, wenn die Task.Run Aufgabe immer sofort ausgeführt wird? (Dies ist unwahrscheinlich, aber mit der richtigen OS-Thread-Planung möglich). Dann würde die asynchrone Funktion niemals unterbrochen werden (wodurch sie zurückkehren und den gesamten Stapelspeicherplatz freigeben würde) und das gleiche Verhalten wie in Fall 1 würde sich ergeben.