Esta é uma pergunta meramente didática.
Estou tentando entender como o modelo de concorrência funciona em C#, especificamente ao utilizar o modificador async.
Venho do JavaScript, e entendo que no modelo do JS, concorrência é possível graças ao event-loop. Nesse modelo temos um loop principal, em que todos os procedimentos são colocados numa fila. Quando chega a vez de um procedimento dessa fila ser executado, se ele estiver num estado de pendente, ele é empurrado para o final da fila, dessa maneira outros procedimentos podem ser executados sem que o processo principal entre num estado ocioso.
O que acontece é que o código é executado alternadamente, eis o exemplo que tenho:
async function main() {
var promise1 = loop();
var promise2 = loop();
await promise1;
await promise2;
}
async function loop() {
for (var i = 0; i < 5; i++) {
console.log(i);
await null;
}
}
main();
async e await não são funcionalidades exclusiva do JavaScript, porém outras linguagens que implementam essa funcionalidade nem sempre rodam nativamente num event-loop. Em Python por exemplo quando uma função async é invocada, ela apenas retorna uma co-rotina, que precisa ser colocada num event-loop criado pelo programador com asyncio.run
, para então ser executada.
Mas em C# eu noto que a maneira que ele se comporta é um pouco diferente comparado com JavaScript ou Python. Utilizando o seguinte código como exemplo:
public static void Main()
{
AsyncMain().Wait();
}
public static async Task AsyncMain()
{
var task1 = Loop();
var task2 = Loop();
await task1;
await task2;
}
public static async Task Loop()
{
for (var i = 0; i < 5; i++)
{
Console.WriteLine(i);
await Task.Delay(1);
}
}
A primeira coisa que noto, é que apesar de C# não rodar num event-loop nativamente, em nenhum momento eu estou criando meu próprio event-loop. Outro aspecto que só é possível notar rodando o código, é que ele não irá imprimir no console exatamente alternadamente como faria em JavaScript ou em Python, ao invés de imprimir 0 0 1 1 2 2 3 3 4 4
, ele irá imprimir algo como 0 0 1 2 1 3 2 4 3 4
.
O que está acontecendo aqui?
O C# cria seu próprio event-loop implicitamente, ou ele funciona com outro modelo?
Por que em C# a fila de procedimentos não parece ser um processo determinístico?