AV
просто разработчикам внутри токио проще договриться между собой чем со всеми сразу
Size: a a a
2020 July 23
AV
к тому же бэкграунд сильно разный
AV
futures, async-std, smol пилят исследователи
PL
Да. Но спорные решения принимаются довольно быстро. Тот же select протащился почти без обсуждения
AV
tokio и actix - те у кого мильярды rps в проде
V
ладно, спасибо!
2020 July 26
RP
То есть "мы полагайтесь на это, но совсем уж не стоит, а то мало ли", И вот это "мало ли" это select в tokio
то есть проблема в unspecified behavior в Futures::poll после Ready, но виноват токио.
PL
то есть проблема в unspecified behavior в Futures::poll после Ready, но виноват токио.
Почему? Это как раз std надиктовано, те же async функции панику кидают
PL
И обычно это не создаёт проблем. Кроме кейса с select в цикле
AV
то есть проблема в unspecified behavior в Futures::poll после Ready, но виноват токио.
Ну вообще это правильная модель, просто жалко что нельзя закодировать в системе типов что если Ready, то больше поллить нельзя
V
Вообще наверное можно, когда завезут - что отдельные варианты енама - это отдельные типы
PL
Vetro
Вообще наверное можно, когда завезут - что отдельные варианты енама - это отдельные типы
Это не поможет
KR
Вообще можно. Просто сигнатура была бы менее удобной. Если бы poll поглощал футуру, то на ready мог бы не возвращать.
Ct
Вообще можно. Просто сигнатура была бы менее удобной. Если бы poll поглощал футуру, то на ready мог бы не возвращать.
Кажется это ломает Pin?
KR
Кажется это ломает Pin?
А он нужен бы был в этом случае, мы же во владение забираем?
Ct
А он нужен бы был в этом случае, мы же во владение забираем?
Ну, референсы в async функциях across await points использовать было бы нельзя, наверное, в таком случае. Либо там какие-то странные гарантии от executor'а требовались вида "положи туда же, откуда взял после вызова poll".
KR
Ну, референсы в async функциях across await points использовать было бы нельзя, наверное, в таком случае. Либо там какие-то странные гарантии от executor'а требовались вида "положи туда же, откуда взял после вызова poll".
Да, потому сигнатура была бы менее удобна в poll’ах со всеми этими «вынь да полож» туды-сюды
KR
men::replace’ами всё обмазывать
Ct
Я кстати не уверен, что "вынь да полож" не UB в случае self-referential struct.
Ct
Технически там появляется референс на "неинициализированную память", вроде как.