Чем mutex отличается от атомика?

Основное различие между mutex и атомиком

Mutex (мьютекс) и атомарные операции (атомики) — это два разных подхода к синхронизации доступа к данным в многопоточных программах. Mutex — это блокирующий механизм, который заставляет поток ждать, если ресурс занят. Атомик — это неблокирующий механизм, который выполняется за одну неделимую инструкцию процессора.

Как работает mutex

Mutex используется для защиты критической секции — участка кода, который не должен выполняться одновременно несколькими потоками. Когда поток захватывает mutex, другие потоки блокируются до его освобождения. Это подходит для сложных операций, таких как изменение нескольких связанных переменных.

// Пример с mutex (C++)
#include <mutex>

std::mutex mtx;
int shared_data = 0;

void increment() {
    mtx.lock();
    shared_data++;  // Критическая секция
    mtx.unlock();
}

Как работает атомик

Атомарные операции выполняются без блокировок, используя специальные инструкции процессора (например, CAS — compare-and-swap). Они гарантируют, что операция чтения-изменения-записи будет выполнена целиком, без вмешательства других потоков. Атомики эффективнее для простых операций, таких как счетчики или флаги.

// Пример с атомиком (C++)
#include <atomic>

std::atomic<int> atomic_data = 0;

void increment() {
    atomic_data.fetch_add(1);  // Атомарный инкремент
}

Когда что использовать

• Mutex: для сложных операций, требующих изменения нескольких данных (например, обновление структуры), или когда нужно синхронизировать доступ к внешним ресурсам.
• Атомик: для простых операций с одним значением (счетчики, флаги, указатели), где важна производительность и отсутствие блокировок.

Вывод: Mutex обеспечивает гибкость для сложных сценариев, но может вызывать блокировки и снижать производительность. Атомики быстрее и неблокирующие, но ограничены простыми операциями. Выбор зависит от задачи: для простых счетчиков используйте атомики, для сложных критических секций — mutex.