МК
А с корутинами и 1 потоком только при аваитах
Ты если свой таск логически разрываешь то пезда
Size: a a a
2021 March 29
МК
десятки ядер в кудахторе @ треды сложна
Блять у него процессов многа. Каждый однотхреадный
ВН
Ты если свой таск логически разрываешь то пезда
Ну не пезда, а просто нельзя делать изменения, которые другие корутины не ожидают увидеть
МК
Ну не пезда, а просто нельзя делать изменения, которые другие корутины не ожидают увидеть
Панеслась
UD
Блять у него процессов многа. Каждый однотхреадный
питушанопроблемы
МК
Рейскондишенов тебе на воротник
МК
Слишком сука тонкая материя
МК
Хуй отследишь
UD
дальше дрочево на tsx который мог бы всем помочь
ВН
А есть кстати какие-нить методики которые бы позволяли это формально описывать и верифицировать?
ВН
Типа такое вот поведение
UD
но ща модно поливать говном штеуд
UD
ВН
Или можно, но там ебля какая-нибудь
МК
А есть кстати какие-нить методики которые бы позволяли это формально описывать и верифицировать?
Называется залочка при работе с общими данными
МК
Чтобы яснее было видно какие общие -- ФП
ВН
Называется залочка при работе с общими данными
Не-не-не. Скорее какое-нибудь описание через конченый автомат
ВН
Т.е. всей программы
МК
Т.е. всей программы
Svace в теории такое может находить
МК
Или фаззинг