DF
А, сорри , недопетрил
Size: a a a
2020 December 18
AZ
решаемая проблема: если есть конкуренция за системные ресурсы, в первую очередь их отдавать задачам с более высоким приоритетом
MB
Возможно, можно собственный шедулер с приоритетами руками написать.
Если все запускаемые футуры обернуты в некоторый тип с кастомным impl Future, то он обладает всеми необходимыми знаниями (какие футуры готовы к исполнению, какие футуры уже запущены и т.д.), так что технически это возможно. Что там будет с перформансом - не знаю.
Если все запускаемые футуры обернуты в некоторый тип с кастомным impl Future, то он обладает всеми необходимыми знаниями (какие футуры готовы к исполнению, какие футуры уже запущены и т.д.), так что технически это возможно. Что там будет с перформансом - не знаю.
MB
По сути надо отслеживать, сколько приоритетных футур готовы к выполнению. И если у нас приоритет низкий, и таких ненулевое количество, то делаем yield.
DF
А кто елду то делать будет? Футура сама?
AZ
а в токио сейчас можно в рантайм подсунуть свой scheduler?
MB
Dollar Føølish
А кто елду то делать будет? Футура сама?
Я полагаю, что каждая футура завернута в обертку. Тогда эта обертка в начале своего poll()-а решает, надо ли вызвать внутренний poll() или сделать yield.
DF
Да, я примерно так и понял, спасибо
AZ
технически это понятно, что возможно (раз приоритеты есть в других похожих вещах)
MB
Ну и это даже выглядит не так уж и плохо в плане перформанса
MB
Но конечно небесплатно, в самом токио это можно сделать эффективнее
m
Когда я заглядывал в сырцы tokio, видел код который если я правильно понял, обеспечивает fairness. На сколько я понял, он старается понижать приоритет таскок которые уже потратили слишком много времени. Возможно можно модификацией этого кода добится необходимого результата.
m
Но я код смотрел по диагонали, поэтому могу быть не прав.
AZ
в любом случае - в токио если это и появится, то ещё нескоро :) а для себя пока что просто забил на это и всё
MB
низкоприоритетные стоят очень дешево.
Высокоприоритетные делают некоторое количество аллокаций. (В наивной версии - на каждый poll. Если немного кэшировать - то только при смене waker-а).
Все ордеринги, полагаю, можно сделать Relaxed-ами.
Высокоприоритетные делают некоторое количество аллокаций. (В наивной версии - на каждый poll. Если немного кэшировать - то только при смене waker-а).
Все ордеринги, полагаю, можно сделать Relaxed-ами.
IB
Dollar Føølish
А, сорри , недопетрил
Нет, это не про сети Петри :)
PL
А не лучше отдельный тред (и приоритет ему, если надо) выделить под rt?
Тут rt скорее как приоритет. Как в линуксе. Достаточно два уровня приоритетов.
PL
Возможно, можно собственный шедулер с приоритетами руками написать.
Если все запускаемые футуры обернуты в некоторый тип с кастомным impl Future, то он обладает всеми необходимыми знаниями (какие футуры готовы к исполнению, какие футуры уже запущены и т.д.), так что технически это возможно. Что там будет с перформансом - не знаю.
Если все запускаемые футуры обернуты в некоторый тип с кастомным impl Future, то он обладает всеми необходимыми знаниями (какие футуры готовы к исполнению, какие футуры уже запущены и т.д.), так что технически это возможно. Что там будет с перформансом - не знаю.
В Токио рантайм не предполагает свои скедулеры. А без Токио варианты и так есть, тот же glommio
PL
Возможно, можно собственный шедулер с приоритетами руками написать.
Если все запускаемые футуры обернуты в некоторый тип с кастомным impl Future, то он обладает всеми необходимыми знаниями (какие футуры готовы к исполнению, какие футуры уже запущены и т.д.), так что технически это возможно. Что там будет с перформансом - не знаю.
Если все запускаемые футуры обернуты в некоторый тип с кастомным impl Future, то он обладает всеми необходимыми знаниями (какие футуры готовы к исполнению, какие футуры уже запущены и т.д.), так что технически это возможно. Что там будет с перформансом - не знаю.
Ну вот я такое решение и предполагал найти. Но минус понятен, перебор тасок. Ну и флаг для хранения большой контеншн иметь будет. Но можно для начала в TLS, то есть внутри воркера приоритет отдавать.