3

прочитал статью про ValueTask - возникло пару вопросов
вот код из статьи:

int bytesRead;
{
    ValueTask<int> readTask = _connection.ReadAsync(buffer);
    if (readTask.IsCompletedSuccessfully)
    {
        bytesRead = readTask.Result;
    }
    else
    {
        using (_connection.RegisterCancellation())
        {
            bytesRead = await readTask;
        }
    }
}

оно вручную опрашивает, не закончился ли таск и если закончился, то делает все синхронно; не закончился - асинхронно.

и кое-что не понял:

  • что это за странный метод _connection.RegisterCancellation()
  • и разве компилятор не может сам вместо слова await сделать разветвление на синхронный и асинхронный случай. может, в новых версиях? может, специально такого в компилятор не засовывают?
11
  • В типичном случае вам достаточно просто сделать await. Если у компилятора будет разветвление, вам всё равно нужно предоставить две ветки кода — что делать в синхронном, а что в асинхронном случае. Чем это будет выигрышнее, чем простой if?
    – VladD
    5 мар 2021 в 9:21
  • @VladD, не очень понял - ты предлагаешь писать ветвление вручную, потому что это "выиграшнее"?
    – dgzargo
    5 мар 2021 в 9:30
  • 3
    Нет, я не об этом. Допустим, компилятор сам сделает разветвление — откуда он возьмёт код, который надо выполнять в синхронном и асинхронном случаях? Его придётся написать программисту, верно?
    – VladD
    5 мар 2021 в 9:34
  • using (_connection.RegisterCancellation()) представляет собой какую-то, не важно какую именно, дополнительную логику, которую нужно выполнить в асинхронном случае. Считайте, что это псевдокод.
    – VladD
    5 мар 2021 в 9:40
  • 1
    если ты про то чтобы в програмисты сами для себя писали макросы, то лучше не надо - слишком непонятный код на выходе будет. а вот фича с генерацией кода от dotnet5 просто ОЧЕНЬ полезная. иногда хочется обычными атрибутами себе код менять - теперь это возможно сделать.
    – dgzargo
    5 мар 2021 в 10:32

1 ответ 1

5

Ваш вопрос можно разбить на 2 части

  • Task vs ValueTask
  • синхронное завершение метода vs асинхронное

Сразу скажу, технически эти 2 части вопроса между собой никак не связаны, но связаны логически.

Будет код синхронный или асинхронный решает не компилятор, а вы. Чтобы внедрить асинхронную машину состояний в метод, вы явно указываете ключевое слово async. А чтобы добавить состояния в эту машину, вы добавляете await.

Если на пути выполнения метода встретился await, то метод выполнится асинхронно в случае если await получит из вызванного метода незавершенный Task/ValueTask. В противном случае метод выполнится синхронно как обычный синхронный метод.

Самый простой пример такого ветвления - узнать свой IP:

class Program
{
    private static readonly HttpClient client = new HttpClient();
    private static string ipCache = null;

    static async Task Main(string[] args)
    {
        await GetIP();
        await GetIP();
        await GetIP();
        await GetIP();

        Console.ReadKey();
    }

    private static async Task GetIP()
    {
        Task<string> task = GetMyIP();
        Console.WriteLine(task.IsCompleted);
        if (!task.IsCompleted)
            await task;
    }

    private static async Task<string> GetMyIP()
    {
        if (ipCache == null)
        {
            string json = await client.GetStringAsync("https://api.myip.com/");
            ipCache = JsonSerializer.Deserialize<Response>(json).ip;
        }
        return ipCache;
    }
}

public class Response
{
    public string ip { get; set; }
}

Если в этом коде все Task поменять на ValueTask (кроме Main) - ничего не изменится.

Вывод в консоль

False
True
True
True

Здесь первый вызов метода завершился асинхронно, а остальные синхронно.

А различие в том, что создать ValueTask дешевле и легче, чем Task, но он имеет свои ограничения. Например его нельзя ожидать одновременно в нескольких местах. В статье по вашей ссылке это должно быть написано. Я не читал ее, но читал оригинал, с которого она была переведена.

Итого, вам не стоит сильно запариваться о том, что там выдумал компилятор, но следует различать синхронное и асинхронное выполнение метода.

Использовать ли ValueTask? Не использовать, если ваш код не суперчувствителен к производительности. Например если вы пишете код клиентского приложения, можно вообще не думать об этом. А вот если вы пишете асинхронный код для сервера, который будет обслуживать много-много пользователей одновременно, то вот здесь вам ValueTask и пригодится как способ сэкономить на ресурсах.

Экономия эта будет ощутима только в случае высокой нагрузки. А чтобы ответить, откуда берется эта экономия, надо понять, чем значимые типы отличаются от ссылочных в плане производительности, надо понять, когда лучше использовать класс, а когда структуру, Task - класс, ValueTask - структура. Тогда и станет понятно, зачем это вся история с ValueTask была придумана.

Другими словами, безопаснее и проще использовать именно Task, используйте его по умолчанию. Если поймете, что создавать экземпляр класса на каждый вызов метода - это для вас медленно и дорого, внедряйте ValueTask, но это уже тонкости оптимизации.

6
  • 1
    Отлично написано, всё понятно )
    – CrazyElf
    5 мар 2021 в 10:52
  • <<Если в этом коде все Task поменять на ValueTask (кроме Main) - ничего не изменится.>> - не очень понял. при возврате кешированного значения можно же секономить память используя ValueTask вместо Task
    – dgzargo
    5 мар 2021 в 11:10
  • @dgzargo Task можно точно так же закешировать. Не привязывайтесь вы к таскам, представьте, что у вас данные можно положить в экземпляр класса или структуры, куда положите?
    – aepot
    5 мар 2021 в 11:26
  • @dgzargo если вы не готовы ответить на этот вопрос, значит вы не готовы выбрать между Task и ValueTask. Может ли ValueTask навредить приложению? Может, об этом я в ответе написал. ValueTask имеет ограничения, которые вам могут все сломать, и это будет не выброс исключения, в повреждение данных либо непредсказуемое поведение при гонке потоков.
    – aepot
    5 мар 2021 в 11:45
  • @aepot ValueTask кешировать не нужно, только IValueTaskSource<> достаточно. отвечая на предыдущий вопрос: я бы использовал ValueTask при (netstandart>=2.1 естественно) кроме случаев где результат ТОЧНО асинхронный. но тогда можно смотреть, кешировать Taks (когда их вариаций мало) или кешировать IValueTaskSource<> специально для извращенцев которые угарают по невероятно экономному использованию памяти.
    – dgzargo
    5 мар 2021 в 11:56

Ваш ответ

By clicking “Отправить ответ”, you agree to our terms of service and acknowledge you have read our privacy policy.

Всё ещё ищете ответ? Посмотрите другие вопросы с метками или задайте свой вопрос.