R
интелли
Size: a a a
2020 October 09
AG
а идея какая?
только что писал в другом чате, сделать прототип прувера для fine-grained конкурентных программ
Oℕ
А есть кто-нибудь кто чисто за идею, а не ради почета славы денег. Просто нравится и все.
Ну я в тиньке сижу
LO
только что писал в другом чате, сделать прототип прувера для fine-grained конкурентных программ
наконец-то можно будет опердени прувить?
AG
наконец-то можно будет опердени прувить?
скорее всякие скедулеры и гарбич коллекторы
LO
опердени то когда уже?
AG
алгоритмы, тесно завязанные на память и низкоуровневый многопоток
AG
а чо обычных манаток для оперденей не хватает?
Oℕ
нет
Oℕ
нужны частично коммутативные моноиды ресурсов
AG
я просто не очень представляю что вы там хотите прувить
LO
я просто не очень представляю что вы там хотите прувить
чем больше тем лучше
AG
нужны частично коммутативные моноиды ресурсов
частично коммутативные или частичные коммутативные?
Oℕ
чтобы скоупы жизни файликов и блокировок трейсить
AG
это две большие разницы!
Oℕ
частично коммутативные или частичные коммутативные?
частично коммутативные, я думаю, поставлю на это
AG
первое это когда на некоторых элементах операция коммутативна, а на некоторых нет
AG
а второе это когда операция коммутативна всегда, но на некоторых элементах не определена
Oℕ
Ну типа ты когда сказал, я подумал, что какой-то контекст c ресурсами X коммутирует с контекстом Y, когда они из разных элементарных ресурсов состоят