DS
А что за суперкомпиляция?😳
По сути использование partial evaluation в компиляторе по максимуму
Size: a a a
2020 February 22
S
но питонисты на галере унижают меня тем что наворачивают говно большим черпаком чем я могу осилить
но питонисты на галере унижают меня тем что наворачивают деньги большим черпаком чем я могу осилить
S
Dima
а какая ниша у java? создавать прикладные бизнес задачи, которые никому не интересны? ну наверно поэтому джависты не учат хаскелл
а какая ниша у java? решать прикладные бизнес задачи, за которые платят деньги? ну наверно поэтому джависты не учат хаскелл
B
Плохо то, что на самом деле она нелинейная и процессор ей как-то сам распоряжается, на основе своих алгоритмов и эвристик. Соответственно делая оптимизатор приходится учитывать это и что-то выдумывать, чтобы процессор быстрее отрабатывал твой код
эх, ну проблема того будет в том, что под каждую модель проца надо писать новый бекенд компилятора
B
вон, кстати, Эльбрус есть, он дает много контроля над распарралеливанием пайплайна
DF
Настолько много контроля что под него компилятор нормальный не написать
DF
Сложна
λ
вон, кстати, Эльбрус есть, он дает много контроля над распарралеливанием пайплайна
У рисков тоже есть проблема: длинные инструкции и программы в целом, что так же снижает эффективность кешей
λ
Dollar Føølish
Настолько много контроля что под него компилятор нормальный не написать
А кто-то пытался?
B
А кто-то пытался?
ну вот Itanium был очень сложный, 128 регистров и парралеллизм. компиляторы не осилили
λ
ну вот Itanium был очень сложный, 128 регистров и парралеллизм. компиляторы не осилили
Ну конечно, сишку то компилировать
B
я понимаю что ты другого хочешь, чем то что было в итаниуме, но факт того что компиляторы не осилили остается
λ
Чтобы сишку эффективно в её родной интерфейс, потратили огромное количество ресурсов, а тут неродной для неё
p
я понимаю что ты другого хочешь, чем то что было в итаниуме, но факт того что компиляторы не осилили остается
Всмысле?
p
Под них специальные компиляторы пишут
p
Которые паралелят во время компиляции
p
И нормально
λ
Которые паралелят во время компиляции
Ну всё же сложно параллелить яп, который является макроассемблером для процессоров со строго последовательным исполнением
p
Ну всё же сложно параллелить яп, который является макроассемблером для процессоров со строго последовательным исполнением
Компилятор ищет места вычисления которых независят друг от друга и считает их паралельно
r
Я сильно сомневаюсь, что трансформации иммутабельных данных в общем случае можно эффективно компилировать в операции с линейной (или нелинейной памятью). Есть какие-то теоретические результаты по этому поводу?