ДК
В BLAS реализованы, например. Ну, это стандартные алгоритмы, давно известные. Сейчас есть более навороченные полиэдральные модели. Во фрэймворках от Google они используются
Size: a a a
2021 July 08
Y
Интересно. А есть ссылки?
ДК
Halide, Tiramisu Compiler
Y
Да нет, я про нейросетевые фреймворки.
ДК
В них и используется
[
я же правильно понимаю, что все оптимизации завязаны на инварианты? Т.е. "если 2+2 это всегда 4, то заменив одно на другое мы ничего не изменим" или "если значение никогда не меняется, то мы можем обеспечить туда доступ с разных потоков без мьютексов"
VS
Имеются в виду оптимизации в компиляторах в общем или в каких-то конкретных?
Если в общем, то можно так считать в широком смысле, но без квантора всеобщности: общее требование к оптимизациям (хотя некоторые могут отходить) - чтобы не изменялось наблюдаемое поведение программы. Но, например, оптимизации в gcc по опции -ffast-math ускоряют плавучку ценой нарушения этого требования.
Если в общем, то можно так считать в широком смысле, но без квантора всеобщности: общее требование к оптимизациям (хотя некоторые могут отходить) - чтобы не изменялось наблюдаемое поведение программы. Но, например, оптимизации в gcc по опции -ffast-math ускоряют плавучку ценой нарушения этого требования.
АД
AT
https://niedzejkob.p4.team/rust-np/
Этот момент не только к Rust относится, КМК.
Этот момент не только к Rust относится, КМК.
ДК
Это, вроде, давно известный результат.
AT
Да, вроде, никто и не утверждает, что новый. 😃
ДК
Rust относительно новый, следовательно, не только про Rust.
2021 July 09
PS
Сказка на ночь:
"...The first time I looked at its source code, I tried and failed to find the register allocator and instruction scheduler in the C files. That's when I realized to my horror that he had written them in Awk scripts... Just now I tried to find a link to the Awk scripts to confirm my hazy memory and to share it with you fine folks. And I couldn't find it. It seems to be done in C code now... And I thought, that code looks really weird for something so low-level. Why is it doing all those dictionary lookups and string operations? And then it struck me: HE AUTO-TRANSLATED THE AWK SCRIPTS BACK TO C!"
"...The first time I looked at its source code, I tried and failed to find the register allocator and instruction scheduler in the C files. That's when I realized to my horror that he had written them in Awk scripts... Just now I tried to find a link to the Awk scripts to confirm my hazy memory and to share it with you fine folks. And I couldn't find it. It seems to be done in C code now... And I thought, that code looks really weird for something so low-level. Why is it doing all those dictionary lookups and string operations? And then it struck me: HE AUTO-TRANSLATED THE AWK SCRIPTS BACK TO C!"
а
beautiful
а
а про какой это компилятор
I
тут оригинал, более подробно описано, о чем речь
https://twitter.com/pervognsen/status/955288733464461312
https://twitter.com/pervognsen/status/955288733464461312
A
Привет, а никто случайно не разбирался как работают new[]/delete[] expr, например в clang?
Любопытно просто как именно они хранят количество объектов для которых нужно будет вызвать деструктор и какие оптимизации применяют.
У меня есть предположения, но интересно узнать как на самом деле, но не настолько чтобы сейчас разбираться самому ы
Любопытно просто как именно они хранят количество объектов для которых нужно будет вызвать деструктор и какие оптимизации применяют.
У меня есть предположения, но интересно узнать как на самом деле, но не настолько чтобы сейчас разбираться самому ы
AT
Так это больше вопрос к malloc/free и рантайму, а не компилятору...
A
Почему к рантайму? Вопрос не в выделение памяти(operator new/delete) а в вызове конструкторов/деструкторов