tokio-rs /loom

Инструмент для тестирования многопоточного кода на Rust, проверяющий все возможные варианты выполнения потоков.

Loom многократно прогоняет тест, перебирая возможные порядки конкурентного выполнения кода согласно модели памяти C11, чтобы находить редкие гонки данных. Использует техники сокращения состояний, чтобы не перебирать все комбинации подряд, и помогает находить баги параллелизма до продакшена.

Описание автора: Concurrency permutation testing tool for Rust.

Rust★ 2 826создан 15 декабря 2018форков 149MIT

Открыть на GitHub

Сколько звёзд прибавилось

Без значка — точная разница ежедневных снимков счётчика GitHub, со значком ≈ — оценка по архиву событий.

Точный счётчик GitHub: +1 звезда с 12:20 21 сентября по 11:20 22 сентября.

Прирост по дням за 3 месяца

24 июня: ≈025 июня: ≈026 июня: ≈027 июня: ≈028 июня: ≈029 июня: ≈030 июня: ≈01 июля: ≈02 июля: ≈03 июля: ≈04 июля: ≈05 июля: ≈06 июля: ≈07 июля: ≈08 июля: ≈09 июля: ≈010 июля: ≈011 июля: ≈012 июля: ≈013 июля: ≈014 июля: ≈015 июля: ≈016 июля: ≈017 июля: ≈018 июля: ≈019 июля: ≈020 июля: ≈021 июля: ≈022 июля: ≈023 июля: ≈024 июля: ≈025 июля: ≈026 июля: ≈027 июля: ≈028 июля: ≈029 июля: ≈030 июля: ≈031 июля: ≈01 августа: ≈02 августа: ≈03 августа: ≈04 августа: ≈05 августа: ≈06 августа: ≈07 августа: ≈08 августа: ≈09 августа: ≈010 августа: ≈011 августа: ≈012 августа: ≈013 августа: ≈014 августа: ≈015 августа: ≈016 августа: ≈017 августа: ≈018 августа: ≈019 августа: ≈020 августа: ≈021 августа: ≈022 августа: ≈023 августа: ≈024 августа: ≈025 августа: ≈026 августа: ≈027 августа: ≈028 августа: ≈029 августа: ≈030 августа: ≈031 августа: ≈01 сентября: ≈02 сентября: ≈03 сентября: ≈04 сентября: ≈05 сентября: ≈06 сентября: ≈07 сентября: ≈08 сентября: ≈09 сентября: ≈2110 сентября: ≈011 сентября: ≈712 сентября: ≈413 сентября: ≈014 сентября: ≈015 сентября: ≈616 сентября: ≈717 сентября: ≈018 сентября: ≈019 сентября: ≈020 сентября: ≈021 сентября: ≈3322 сентября: ≈024 июняиюльавгсент

Оценка по выборке GH Archive. Бледные столбцы — дни, история за которые ещё загружается.