Differences

This shows you the differences between two versions of the page.

--- etc:users:kel:fuzzy_threads_planning [2017/03/28 09:14] – created kel
+++ etc:users:kel:fuzzy_threads_planning [2017/11/08 23:12] (current) – kel
@@ Line 18: / Line 18: @@
   - Продумать шаги, как сделать из relacy что-то типа fuzzer'a
+===== Идеи на обсуждение =====
+Как можно использовать relacy 6 llvm для поиска ошибок при работе с барьерами памяти:
+  - Имитировать interleave потоков: искуственно останавливать / запускать потоки около барьеров для имитации наиболее нежелательных ситуаций
+  - Имитировать memory reordering: переставлять обращения к памяти имитируюя наиболее weak архитектуры и прогонять код на имеющейся тестовой базе
+  - Отслеживание несогласованности применёных в разных потоках (или вообще не применённых) барьеров за счёт анализа типов операций (load/store) над атомиками или переменными вокруг явных барьеров