f
Да, до меня что-то долго доходило что
async блок это еще одно "замыкание"Size: a a a
2021 January 12
D
лучше так не говорить) ибо существуют и именно что "async замыкания"
f
замыкания в том смысле что создается еще одна структура данных, и часть среды попадает в поля этой структуры
f
а так да, разные вещи :) Но как лучше назвать – не знаю
D
ну, для объяснения я тоже не знаю как лучше назвать
D
"async block" ничего не объясняет ))
2021 January 13
f
А есть какие-нибудь тулзы для анализа программы на предмет дедлоков? Может property/fuzz-бейзед какие-то подходы есть?
А то я тут написал код, и не до конца понимаю, возможен ли дедлок.
А то я тут написал код, и не до конца понимаю, возможен ли дедлок.
MB
ну, для объяснения я тоже не знаю как лучше назвать
Футура?
MB
А есть какие-нибудь тулзы для анализа программы на предмет дедлоков? Может property/fuzz-бейзед какие-то подходы есть?
А то я тут написал код, и не до конца понимаю, возможен ли дедлок.
А то я тут написал код, и не до конца понимаю, возможен ли дедлок.
loom чем-то близким занимается
f
Спасибо, посмотрю. Как раз хотел попробовать на tokio перейти из async_std
MB
А причем тут async_std?
f
Я на async_std, а loom вроде на tokio заточен
D
Футура?
Ну там поинт не в футуре, а в захвате окружения
m
ну, для объяснения я тоже не знаю как лучше назвать
Формально, наверное, подойдет "корутина", но не знаю объяснит ли она больше чем "async block".
MS
„стейтмашина“ должно зайти
m
„стейтмашина“ должно зайти
Мне все меньше нравится определение корутин через конечные автоматы. С одной стороны это верно, но при этом я не знаю удобного способа написания конечного автомата в общем виде через корутину, поскольку у нее нет входа, только внутреннее состояние.
MS
В смысле нет входа.
D
Формально, наверное, подойдет "корутина", но не знаю объяснит ли она больше чем "async block".
как "корутина" отражает, что асинк блок захватывает окружение?)
D
„стейтмашина“ должно зайти
как „стейтмашина“ отражает, что асинк блок захватывает окружение?)
m
В смысле нет входа.
Грубо говоря, в методе poll нет возможности передать пользовательские данные. Да, вход можно организовать, например, через канал, но это механизм, который находится немного сбоку от корутины.