Size: a a a

2020 July 02

MK

Maxim Koltsov in Haskell
Почему?
источник

AA

A64m AL256m qn<co... in Haskell
ето к эплу вопрос, почему они уничтожают
источник

MK

Maxim Koltsov in Haskell
Как связан арм и уничтожение производительности?
источник

JG

JeisonWi Garrison in Haskell
A64m AL256m qn I0
вообще эти армострадания (а также всякая борьба с спектрами/мелтдаунами) большая проблема и плохие новости для любых более менее выразительных языков (типа хаскеля), все и так ничтожные завоевания последних 20 лет по производительности будут уничтожены
Я бы, кстати, не был так уверен. Теоретически кодогенерацию и оптимизацию под ARM проще сделать
источник

LO

Leonid 🦇 Onokhov in Haskell
Под него производительность не настрадали
источник

MK

Maxim Koltsov in Haskell
Там вроде кметт в твиттере писал что-то про weak memory ordering
источник

AA

A64m AL256m qn<co... in Haskell
JeisonWi Garrison
Я бы, кстати, не был так уверен. Теоретически кодогенерацию и оптимизацию под ARM проще сделать
предсказания перехода зато в арме никогда не будет нормального
источник

AA

A64m AL256m qn<co... in Haskell
Maxim Koltsov
Как связан арм и уничтожение производительности?
ну на нем все тормозит
источник

JG

JeisonWi Garrison in Haskell
A64m AL256m qn I0
предсказания перехода зато в арме никогда не будет нормального
Это можно частично сделать в компиляторе, Itanium-style.
источник

AA

A64m AL256m qn<co... in Haskell
Maxim Koltsov
Там вроде кметт в твиттере писал что-то про weak memory ordering
а, да, еще и многопоточка будет глючная, что будет исправляться рассовыванием барьеров везде и тормозами дополнительными
источник

AA

A64m AL256m qn<co... in Haskell
JeisonWi Garrison
Это можно частично сделать в компиляторе, Itanium-style.
вот, вот, именно в таком стиле, что ниче не сделают как и для итаниума
источник

LO

Leonid 🦇 Onokhov in Haskell
JeisonWi Garrison
Это можно частично сделать в компиляторе, Itanium-style.
Повторить успех итаниума
источник

AV

Alexander Vershilov in Haskell
Зато они смогли избежать
источник

NI

Nick Ivanych in Haskell
A64m AL256m qn I0
вообще эти армострадания (а также всякая борьба с спектрами/мелтдаунами) большая проблема и плохие новости для любых более менее выразительных языков (типа хаскеля), все и так ничтожные завоевания последних 20 лет по производительности будут уничтожены
Всё-таки, львиная доля оптимизатора не так уж, чтоб специфична относительно архитектуры.
Да, кодогенерацию придётся делать заново.
Но даже если воспользоваться llvm, то производительность упадёт не так уж, чтоб кардинально.
Сужу по ghc через llvm на x86.
источник

AA

A64m AL256m qn<co... in Haskell
да дело не в оптимизаторе под эту архитектуру вообще
источник

IK

Ilya Kos in Haskell
В линзах есть сеттер, который добавляет элемент к списку?
источник

IK

Ilya Kos in Haskell
Наверное нет
источник

IK

Ilya Kos in Haskell
это какой-то плохой сеттер получается наврное
источник

IK

Ilya Kos in Haskell
типо два раза присвоил != последний раз присвоил
источник

IK

Ilya Kos in Haskell
наверное это где-то записано
источник