Так "разделяй и властвуй" же.  Делишь массив на части и ничего никуда не пушишь.
Либо используешь примитивы специально для параллельных вычислений типа очереди.
В Crystal есть "атомарные" типы, там всё нормально с синхронизацией

https://crystal-lang.org/api/1.1.1/Atomic.html
Обёртка над примитивными типами конечно, но для более сложного есть Mutex :)

Concurrency safe. If many fibers try to set the atomic in parallel, only one will succeed.

Concurrency... parallel. Ага. Интересно как.

Но в общем-то по сути реализовано внутри правильно

Rust. Ты принципиально не сможешь использовать одну коллекцию из нескольких тредов не обернув её перед этим в мьютекс.

То есть сама она всё-таки не синхронизирована 😏

А ты предлагаешь платить оверхед мьютекса в контекстах где синхронизация не нужна?

Я предлагаю не делать некорректных заявлений

Мьютекс есть, атомики есть, что вам ещё надо?
Мне кажется, это не языки "не рассчитаны на мультитрединг", а программисты, которым мало атомиков с мьютексом.

Заявление: код с race condition в расте не компилируется.

а если я уверен что там по логике программы race condition не возникнет, но компилятор мне не верит?

если компилятор не прав смотри  п.1 😁

ну и соответственно утверждение про платить оверхед когда он не нужен тогда верно. Хотя я недостаточно знаю раст чтоб  сказать всегда ли там можно без оверхеда сделать. Скажем многопоточный софтрендер, когда все потоки пишут в соседние куски массива без всякой синхронизации.

Это в расте без мьютексов вроде не сделаешь.
Даже double linked list без ref count в каждой ноде вроде нельзя сделать. А уж intrusive, да чтоб несколько списков…
Вот выдаёт Гугль https://rust-unofficial.github.io/too-many-lists/

https://news.ycombinator.com/item?id=16443688
Personally, I've written quite a bit of production Rust code, and I've done so without ever touching 'unsafe' or needing a linked list. If I really did need a linked list, I'd either grab a good one off crates.io, or just knock out a quick one using unsafe and raw pointers. I mean, Rust can do basically anything C does if I ask nicely. It's just that if I choose to write "C in Rust", then I get about same safety guarantees that C offers.

Mutex в Кристале — concurrency-safe, но не parallel-safe. А Thread::Mutex дедлочит в примитивных сценариях (читай багованный). Так было в 0.36, по крайней мере

Я с утра почитал исходники. Покажи мне строчку, в которой он не parallel safe?

Видимо, с поры 0.36 они исправили его.

Надеюсь, что так

И какое оно отношение имеет у вопросу стандартной библиотеки?