Телеграмм чат группы compilerdev страница 675

21:13пожаловаться #1

BD

Отлично, спасиб, над будет уделить время, чтоб разобраться что там, как .
И еще можно вопрос: почему у Rust не свой бэк ?

Чтобы не изобретать велосипед и использовать готовую поддержку десятка архитектур? Так то сейчас как раз cranelift набирает обороты - будет и свой бэк видимо.

21:26пожаловаться #2

I

Ioann_V in Compiler Development

Evgenii Moiseenko

и они часто не интринтуитивны, потому-что в lock-free часто отсутствует понятие "глобального" времени/памяти, и гонки это норма

а как меняются правила игры, если в одном потоке происходит сохранение с помощью seq_cst, а чтение в другом - с помощью acq?

ЗЫ дублирование с procxx, ибо там молчат.

21:26пожаловаться #3

AT

Отлично, спасиб, над будет уделить время, чтоб разобраться что там, как .
И еще можно вопрос: почему у Rust не свой бэк ?

На самом деле нужно ставить обратный вопрос: почему у Go свой? Потому что его авторы уже зпилили парочку компиляторов C и деривативов, в частности, для ОС Plan 9 и Limbo. По сути, они и взяли бэк из компилятора C для Plan 9, и допилили под Go. Потом, конечно, ещё много лет дорабатывали...

21:33пожаловаться #4

AT

Чтобы не изобретать велосипед и использовать готовую поддержку десятка архитектур? Так то сейчас как раз cranelift набирает обороты - будет и свой бэк видимо.

Я лично сильно сомневаюсь, что Cranelift будет использоваться как бэк для Rust. Не в следующие 5 лет точно.

21:35пожаловаться #5

BD

Я лично сильно сомневаюсь, что Cranelift будет использоваться как бэк для Rust. Не в следующие 5 лет точно.

Ок, как насчет следующих после них лет?

21:36пожаловаться #6

AT

Ок, как насчет следующих после них лет?

Вероятность повышается, конечно. Если за это время Cranelift достаточно разовьют и добавят поддержку всяких разных процессоров...

21:38пожаловаться #7

AT

Т.е. учитывая embedded Rust на микроконтроллерах, реалистично - нет. 😊

21:39пожаловаться #8

BD

Ну посмотрим, пока он официально ни для чего не используется.

21:41пожаловаться #9

C

Constantine in Compiler Development

На самом деле нужно ставить обратный вопрос: почему у Go свой? Потому что его авторы уже зпилили парочку компиляторов C и деривативов, в частности, для ОС Plan 9 и Limbo. По сути, они и взяли бэк из компилятора C для Plan 9, и допилили под Go. Потом, конечно, ещё много лет дорабатывали...

Понял , спасибо .

21:43пожаловаться #10

M

MaxGraey in Compiler Development

Ну посмотрим, пока он официально ни для чего не используется.

Он уже частично испольщуется в FF, и полностью в wasmtime и wasmer

21:43пожаловаться #11

M

MaxGraey in Compiler Development

как я слышал Cranelift будет использоваться для дебаг сборок в Rust.

21:44пожаловаться #12

AT

Понял , спасибо .

Кстати, Вы смотрели список языков, которые используют LLVM в качестве бэк-енда? Там не только C/C++ (Clang), Rust, Swift и .NET (Mono). 😉

21:45пожаловаться #13

AT

MaxGraey

как я слышал Cranelift будет использоваться для дебаг сборок в Rust.

Конечно, если вы собираете на x86-64 или Arm. 😊

21:46пожаловаться #14

M

MaxGraey in Compiler Development

Конечно, если вы собираете на x86-64 или Arm. 😊

Там пока даже по AArch64 нету кодогенерации)

21:47пожаловаться #15

C

Constantine in Compiler Development

Кстати, Вы смотрели список языков, которые используют LLVM в качестве бэк-енда? Там не только C/C++ (Clang), Rust, Swift и .NET (Mono). 😉

Мне казалось, что люди заленилсь и используют LLVM , теперь знаю , что свой бэк это очень сложно и много человеколет, что проще заюзать LLVM .

21:48пожаловаться #16

AT

Мне казалось, что люди заленилсь и используют LLVM , теперь знаю , что свой бэк это очень сложно и много человеколет, что проще заюзать LLVM .

В принципе - да, но есть компромиссы. В частности, GHC не использует LLVM бэк-енд, несмотря на то, что он существует, потому что LLVM плохо поддерживает ФП, так что рукописный работает лучше. Есть и другие языки в подобной ситуации. Даже Rust в небольшой степени.

21:51пожаловаться #17

BD

MaxGraey

Он уже частично испольщуется в FF, и полностью в wasmtime и wasmer

Ну то есть пока ни для чего. Ждем-с, я буду только рад если его спаяют с MIR и добавят туда интересных архитектур типа riscv и aarch64

21:51пожаловаться #18

I

Ioann_V in Compiler Development