Обладают ли операции с использованием мьютекса свойством блокировки потоков выполнения?

Да, операции с использованием мьютекса в Go обладают свойством блокировки потоков выполнения. Мьютекс (sync.Mutex) обеспечивает взаимное исключение, то есть только один поток (горутинa) может захватить мьютекс и выполнять защищённый участок кода. Если другой поток пытается захватить уже занятый мьютекс, он блокируется и ждёт, пока мьютекс не будет освобождён.

Пример:

var mu sync.Mutex

func criticalSection() {
    mu.Lock()   // захват мьютекса, если он занят — блокировка
    defer mu.Unlock() // освобождение мьютекса
    // критическая секция
}

Таким образом, мьютекс гарантирует, что только один поток выполняет критическую секцию одновременно, блокируя остальные до освобождения.