Какие примитивы синхронизации вы знаете?

К основным примитивам относятся mutex, read/write lock, семафор, condition variable, атомарные операции и средства ожидания задач. Каналы также могут синхронизировать участников.

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