вопрос по си

[Dmitriy40]

realeugene
Я в курсе об ограничениях человека и когда именно это "не факт". Но здесь не место это обсуждать.

[as73251]

realeugene в сообщении #1269604 писал(а):

Dmitriy40 в сообщении #1269600 писал(а):

а для заранее известных человек соптимизирует лучше (на ассемблере).

Давно уже не факт.

Почему же: например, в Intel MKL весь BLAS Level 3 реализован на ассемблере.

[warlock66613]

as73251 в сообщении #1269641 писал(а):

в Intel MKL весь BLAS Level 3 реализован на ассемблере

Это очень специальная задача.

[arseniiv]

(Java)

Dmitriy40
А, это известно. Меня сбило с толку «интерпретируемая». Начинала-то она действительно интерпретируемой когда-то давно…

[as73251]

warlock66613 в сообщении #1269692 писал(а):

as73251 в сообщении #1269641 писал(а):

в Intel MKL весь BLAS Level 3 реализован на ассемблере

Это очень специальная задача.

Перемножение матриц - специальная задача? Однако.

[Dmitriy40]

as73251 в сообщении #1269771 писал(а):

Перемножение матриц - специальная задача? Однако.

Как ни удивительно - да. Несмотря на широкое применение матричных операций. Мне вот к примеру вообще ещё ни разу не потребовалось перемножение матриц. Тем более вещественных. У меня вообще 99% программ работают исключительно с целыми числами. Не все занимают математической физикой.

[as73251]

Dmitriy40 в сообщении #1269777 писал(а):

as73251 в сообщении #1269771 писал(а):

Перемножение матриц - специальная задача? Однако.

Как ни удивительно - да.

Без перемножения матриц не обходится практически ни один быстрый алгоритм линейной алгебры: возьмите библиотеку Lapack и воспользуйтесь поиском dgemm: Вы найдете более 100 фортрановских файла, где dgemm используется. А Intel MKL по большому счету - это быстрый вариант Lapack. На моем 10-ядерном Core i9 функции из Intel MKL в десятки раз быстрей скомпилированных функций из Lapack.

[arseniiv]

Я один не понимаю, как специальность задачи связана с широтой её применения?

[mihaild]

as73251 в сообщении #1269771 писал(а):

Перемножение матриц - специальная задача?

Она специальна тем, что ее можно сделать сильно лучше, чем наивным способом, при этом сделать сильно лучше сложно, а сделать лучшее решение для частного случая нельзя.

[warlock66613]

Dmitriy40 в сообщении #1269777 писал(а):

Несмотря на широкое применение матричных операций.

Скорее именно благодаря этому: не было бы широкого применения, не было бы и специальной поддержки со стороны процессора, а именно это и приводит к тому, что для задач именно такого рода можно написать руками эффективный ассемблерный код.

[realeugene]

warlock66613 в сообщении #1269858 писал(а):

не было бы и специальной поддержки со стороны процессора, а именно это и приводит к тому, что для задач именно такого рода можно написать руками эффективный ассемблерный код.

Именно это и приводит к тому, что компиляторы плохо оптимизируют такие инструкции.

[Dmitriy40]

realeugene в сообщении #1269884 писал(а):

Именно это и приводит к тому, что компиляторы плохо оптимизируют такие инструкции.

Один я вижу тут логическую неувязку? Что именно "это"? Аппаратная поддержка приводит к плохой оптимизации компиляторами? Или возможность ручной оптимизации приводит к плохой оптимизации компиляторами?

[realeugene]

Dmitriy40 в сообщении #1269890 писал(а):

Что именно "это"?

Хитрые SIMD команды, добавленные в процессоры специально для эффективной реализации подобных алгоритмов, сложны для использования оптимизаторами компиляторов.

[as73251]

mihaild в сообщении #1269857 писал(а):

as73251 в сообщении #1269771 писал(а):

Перемножение матриц - специальная задача?

Она специальна тем, что ее можно сделать сильно лучше, чем наивным способом, при этом сделать сильно лучше сложно, а сделать лучшее решение для частного случая нельзя.

Ничего не понял: разжевать поподробней нельзя?

[mihaild]

as73251 в сообщении #1269913 писал(а):

Ничего не понял: разжевать поподробней нельзя?

Можете задать более конкретный вопрос? Потому что мне не приходит в голову, что тут можно ответить, кроме как еще раз повторить то же самое...