Серьездно?) А вы вообще в курсе кто сейчас спонсирует разработку wasmtime, bytecode alliance и Rust-компилятор в придачу, а так же lucet?

llvm не является бекендом. Аналогичным llvm он не является, причины я назвал выше. а) он целиком и полностью его повторяет, потому как раст завязан на llvm полностью. б) он неконкурентоспособен, потому как не может генерировать что-то, кроме откровенного мусора. Если бы llvm генериовал подобный мусор - он никому бы не был нужен.

Какая разница кто там его спонсирует? Что это меняет?

нет, кто?

Нет и нет. Rust абсолюно не завязан на LLVM=) Rust завязан на MIR, в котором происходят все проверки в том чесле и borrow checking. Вместо того что бы спорить, хотя бы изучите пайплайн раста

И это всё с учётом того, что llvm это уникальный проект. А кранлифт - это просто перепаста на расте. Т.е. если llvm нужно было что-то придумывать, то вот его перепасте придумывать уже ничего ненужно. Но даже в этой ситуации перепаста не может догнать оригинал ни в каком виде

Так, хорошо. Покажи мне атомики в расте

Вообще в расте есть HIR и MIR и вот они очень тестно завязаны на модели и семантике раста и его модели. А когда дело доходит до кодогенерации, там уцже ничего не остается такого что бы Cranelift не справиться. Собственно так и происходит. Сейчас можно выбирать чем генерировать LLVM-м или Cranelift (сейчас его нужно включать отдельно, так как это экспериментальная кодогенерация)

При чем здесь атомики? Или вы думаете cranelift не поддерживает интринсики?)

Ещё раз, кранлифт - это перепаста llvm. Он не предлагает своей модели исполнения.

ещё раз, покажи атомики раста. Они же не из llvm и не завязаны на нём. Вот ты сможешь их показать.

Что такое атомики? =) Может мы разное понимаем под этим?

Ну говорить о моделях памяти/исполнения/многопоточности с пользователями раста сложно. Поэтому мне нравится пример с атомиками, потому как он сразу завязан и на модель памяти и на модель многопоточности.

А далее всё просто. Если раст не завязан на это - оно у него своё. Если завязан и всё так, как сказал я - оно будет завязано, т.е. использоваться чужое

к тому же здесь уже всё ясно, когда речь зашла за интринсики. Ведь для раста всё - это и нтринсики, которые даются окружением(llvm). В языка же полноценных это не так, они определяют то, как работают эти интринсики и они создают те модели, которые они и реализуют

поэтому такая вот история. llvm имплементирует модель памяти/многопоточности/исполнения от С/С++, для которых он и создан. Всё остальные скрипитовые языки прикрученные к нему - не обладают этими свойствами и не могут диктовать llvm что-то,  они обязана следовать и обязаны быть завязаны

к тому же подобные языки попросту не способны на создание чего-то. Им всегда нужно готовое окружение, vm - среда исполнения. Вот llvm и даёт такую среду. Это была одна из идей. Людям, конечно же, сложно понять что vm это не обязательно жава, поэтому этим пользоваться перестали

атомики это не модель) Это самые примитыивные операции поддерживаемые на уровне инструкций CPU для определенных архитектур, вроде RWM операций, cmpxchg и т д, на базе них строятся уже более высокие примитивы синхронизации - CAS, SpinLock и т д, на базе этих - Futex, Mutex, семафоры и т д. Потом могут идти еще более высокоуровневые такие как Actor model, STM и т д. И вот это уже можно сказать модели

Теперь вопрос. При чем здесь атомики?)

Нет, атомики это модель. Я говорю про конкретную реализацию. Этот уровень инструкций нужно обобщить, формализовать и прочее.

Еще раз повторюсь в 10й раз. Как это относиться к «llvm не является бекендом» или «Cranelift это middleend»?

Я вообще уже не понимаю что мы здесь обсуждаем)