Может быть, предложишь что-то ещё, кроме Mutex и sync.Map для защиты записи?

Можно передать владение состоянием одной горутине и отправлять ей команды через канал, использовать неизменяемые snapshots или разделить данные. Для простых значений подходят атомики.

Выбор определяется операциями и инвариантами. Канал не решает гонку, если другие горутины всё равно напрямую меняют map. Шардирование уменьшает конкуренцию, но требует правил для операций над несколькими сегментами. Не вводите сложный lock-free алгоритм без измеренной необходимости.