create a async udp server with tokio and async main in csharp

main.cs
using System;
using System.Net;
using System.Net.Sockets;
using System.Threading.Tasks;
using Tokio;

class Program 
{
    static async Task Main() 
    {
        var socket = new Socket(AddressFamily.InterNetwork, SocketType.Dgram, ProtocolType.Udp);
        socket.Bind(new IPEndPoint(IPAddress.Any, 1234));
        
        Console.WriteLine("Server started on port 1234");

        var mut = new MioUdpSocket(socket);
        var event_loop = new AsyncMioEventLoop(mut, Environment.ProcessorCount);
        event_loop.Schedule(mut.Interest(), OnDataReceived);

        await event_loop.Run();
    }

    static async Task OnDataReceived(AsyncMioHandle handle, EventSet events)
    {
        var mut = handle.Socket as MioUdpSocket;
        var buffer = new byte[1024];

        var result = await mut.ReceiveFromAsync(buffer, SocketFlags.None);

        Console.WriteLine($"Received {result.ReceivedBytes} bytes from {result.RemoteEndPoint}");

        await mut.SendToAsync(buffer, SocketFlags.None, result.RemoteEndPoint);
    }
}
1037 chars
35 lines