p
нейросетка слишком медленная
Size: a a a
2020 May 25
p
а кода много
S
Ну ладно жаль
p
можно юзать всякие модели, но не нейросетки
p
но очень аккуратно
SP
@enomad Ты милый. Просто потому что так надо 😁
ого
r
С оптимизациями сложно то, что если не известен способ, каким получена оптимизированная программа (а с нейросеткой это так), то в общем случае невозможно доказать эквивалентность исходной и оптимизированной программы. Нужна ещё одна нейросетка, которая будет строить машинно-проверяемое доказательство эквивалентности. А с этим пока проблемы.
p
нейросетку можно юзать как предиктор "делать оптимизацию или нет". Оптимизатор предлагает оптимизацию, она скармливается сетке, сетка решает проводить оптимизацию или нет.
ML
нейросетку можно юзать как предиктор "делать оптимизацию или нет". Оптимизатор предлагает оптимизацию, она скармливается сетке, сетка решает проводить оптимизацию или нет.
И чем это будет лучше PGO?
p
И чем это будет лучше PGO?
а зачем этому быть лучше PGO? Это нейросетки. нужно везде внедрить нейросетки (потому что модно)
S
И чем это будет лучше PGO?
Кто?
S
А вспомнил
S
Причем тут это
S
?
ML
А при чем нет?
r
И чем это будет лучше PGO?
Там тюнятся peephole оптимизации. Peephole, потому что комбинаторный взрыв. Нейросетки, теоретически, могут взять больший контекст.
𝚙
peephole звучит как моча в дырке
SP
peephole звучит как моча в дырке
+
𝚙
не подумайте что я дебил я вообще люблю компиляторы и неплохо в них разбираюсь