/
githubmirror
/
julia
Обзор
Документация
Войти
/
githubmirror
/
julia
Код
Запросы
0
Пакеты
0
Релизы
0
Аналитика
Безопасность
master
doc/src/devdocs/scheduler-wakeup/MCFixed.cfg
5 строк
151 B
Ian Butterworth
scheduler: avoid O(nthreads) wake-storm on every `@spawn` (#61826)
06 июн 2026, 04:08
Не верифицирован
06 июн 2026, 04:08
a8f97b1
Код
Авторство
О чём код?
\* TLC config for MCFixed: expect no deadlock and NoLostWakeup to hold. SPECIFICATION Spec INVARIANT TypeOK INVARIANT NoLostWakeup CHECK_DEADLOCK TRUE