etc:users:kel:fuzzy_threads_planning
Differences
This shows you the differences between two versions of the page.
Last revisionBoth sides next revision | |||
etc:users:kel:fuzzy_threads_planning [2017/03/28 09:14] – created kel | etc:users:kel:fuzzy_threads_planning [2017/11/08 23:12] – kel | ||
---|---|---|---|
Line 17: | Line 17: | ||
- Натравить relacy | - Натравить relacy | ||
- Продумать шаги, как сделать из relacy что-то типа fuzzer' | - Продумать шаги, как сделать из relacy что-то типа fuzzer' | ||
+ | |||
+ | ===== Идеи на обсуждение ===== | ||
+ | Как можно использовать relacy 6 llvm для поиска ошибок при работе с барьерами памяти: | ||
+ | - Имитировать interleave потоков: | ||
+ | - Имитировать memory reordering: переставлять обращения к памяти имитируюя наиболее weak архитектуры и прогонять код на имеющейся тестовой базе | ||
+ | - Отслеживание несогласованности применёных в разных потоках (или вообще не применённых) барьеров за счёт анализа типов операций (load/ | ||
+ | - | ||
etc/users/kel/fuzzy_threads_planning.txt · Last modified: 2017/11/08 23:12 by kel