MS
М'ха-ха-ха-ха! Вот мы и дошли до главного субъекта моих страданий!
Size: a a a
2020 November 12
MS
В общем у экзекутора есть метод tick(), в который ты можешь передать мутабельную ссылку на внешний стейт.
MS
Эту ссылку ты можешь достать внутри фьючера через специальный Conduit, чекающий типы и лайфтаймы уже в рантайме.
MS
К сожалению Conduit::get требует явно указывать тип каждый раз, и это неизбежно в текущем расте.
MS
Будь система типов чуть посильнее можно было бы избавиться от рантаймовых проверок в принципе.
MS
(вся магия в state.rs, спасибо ребятам из нескольких растодискордов и телеграмовского Rust Async)
MS
MS
А ну и таски выполняются только во время вызова tick()
MS
Но при этом потенциально могут выполняться параллельно.
R
Звучит довольно круто
в🧇
А ты мири гонял? Меня до сих пор напрягает эта тема с проверкой лайфтаймов в рантайме
MS
Ну там же не на самом деле лайфтаймы проверяются. Кондуит хранит в себе ид экзекутора и позволяет сделать .гет() только если его экзекутор в данный момент занимает поток.
MS
Так мы защищаемся от случая когда мы сделали Executor::get_conduit(), получили кондуит, но не передали его во фьючер. Или передали во фьючер но из другого экзекутора. Такие случаи будут паниковать.
R
К сожалению мири не отловит unsoundness. То есть если в коде прямо сейчас проблемы нет, то мири молчит. Даже если safe кодом можно вызвать UB
MS
Ну, можно попытаться половить это тестами И мири.
MS
Но я не уверен что оно под мири запустится.
в🧇
К сожалению мири не отловит unsoundness. То есть если в коде прямо сейчас проблемы нет, то мири молчит. Даже если safe кодом можно вызвать UB
Ну тоже верно
в🧇
Впрочем что-то отловить может, даже если всё работает