docs: add detailed section on sync module and its integration with loom

Author: soltanoff

README.md

@@ -56,6 +56,8 @@ make tools
 
 ## Loom
 
+О `loom`: https://github.com/tokio-rs/loom
+
 Это инструмент для тестирования параллельных/конкурентных программ.
 
 На высоком уровне он выполняет тесты многократно, перебирая возможные параллельные исполнения каждого теста в
@@ -65,6 +67,8 @@ make tools
 
 ## Miri
 
+О `Miri`: https://github.com/rust-lang/miri
+
 Это интерпретатор для Rust MIR (`Mid-level Intermediate Representation`), который может обнаруживать определенные
 классы undefined behavior (**UB**) в Rust-коде, включая:
 

src/sync/README.md

@@ -0,0 +1,40 @@
+# Зачем создан модуль sync (совместимость с loom)
+
+Коротко о тестах упоминается [тут](../../README.md).
+
+Модуль `sync` — это тонкий слой абстракций синхронизации, созданный специально для запуска детерминированных проверок
+конкурентности с помощью библиотеки [loom](https://docs.rs/loom/latest/loom/).
+
+**Ключевая идея**: код проекта использует примитивы синхронизации не напрямую из `std::sync`, а через этот модуль.
+Тогда в обычном режиме выполнения используются стандартные примитивы, а в режиме моделирования (`loom`) — их
+"подменённые" аналоги. Это позволяет `loom` контролировать блокировки, условные переменные, барьеры, атомики и перебор
+межпоточных расписаний.
+
+## Зачем это нужно
+
+- Обычные многопоточные тесты недетерминированы: редкие гонки и ошибки упорядочивания трудно воспроизвести.
+- `loom` систематически перебирает возможные interleavings и выявляет скрытые проблемы видимости и неправильные
+  порядок/синхронизацию.
+- Чтобы `loom` мог управлять синхронизацией, примитивы должны быть подключены через абстракцию, позволяющую подмену
+  реализаций — этим и занимается модуль `sync`.
+
+## Как это работает
+
+- В "нормальном" запуске (cargo run/test) `sync` предоставляет тонкие обёртки над `std::sync` и атомиками.
+- В "loom-режиме" те же API перенаправляются на эквиваленты из `loom`, что делает возможным детерминированный перебор
+  расписаний.
+
+## Как использовать
+
+- Импортируйте и используйте примитивы из `src/sync/mod.rs` вместо прямого использования `std::sync`.
+- Для запуска проверок с `loom` соберите и запустите тесты с конфигурацией/фичами, которые переключают реализацию на
+  `loom`.
+- Ограничивайте пространство состояний (количество потоков, шагов и т.п.) в тестах под `loom`, чтобы проверки
+  завершались за разумное время.
+
+## Что это даёт
+
+- Детерминированные, воспроизводимые проверки конкурентности.
+- Раннее обнаружение гонок данных, нарушений **happens-before**, неправильного выбора memory orders
+  (`Relaxed`/`Acquire`/`Release`/`SeqCst`).
+- Повышение уверенности, что корректность не зависит от "везения" конкретного расписания исполнения.