Телеграмм чат группы rustlang_ru страница 12542

parrot.ru

Рейтинг популярных групп и каналов

В рейтинге участвует:

групп:

каналов:

Виртуальный сервер на SSD - недорого!

Аренда выделенных и виртуальных серверов (VDS/VPS), хостинг, аренда IP-адресов, администрирование, круглосуточная поддержка

qwarta.ru подробнее

Резервное копирование с проверкой на вирусы!!!

Удобный сервис создания резервных копий на любой сервер сети интернет. Отслеживайте изменения, проверяйте на вирусы. Надежно защитите свой бизнес!

go.backupland.com

Выбираете сервер? Любая конфигурация на заказ!

Аренда физических серверов любых конфигураций под любые запросы - 1С бухгалтерия, игровые сервера, нагруженные проекты, интернет-магазины!

qwarta.ru подробнее

Size: a a a

Rust — русскоговорящее сообществo

2571 membersпожаловаться на группу

2020 December 06

KK

Kirill (Cykooz) Kuzm... in Rust — русскоговорящее сообществo

Я почему-то считал, что современные компиляторы умеют хорошо оптимизировать математические выражения. Например в таком выражении:

9.0 * x.powi(3) - 15.0 * x.powi(2)

достаточно выполнить 4 умножения:

x2 = x * x; 
x3 = x2 * x; 
9.0 * x3 - 15.0 * x2

Но я удивился когда увидел, что в Rust это выполняется в 5 умножений - он куб и квадрат от x считает независимо.
Это компилятор пока не дорос, или тут есть какие-то подводные камни из-за которых выбирается такое не оптимальное решение?

источник

18:47пожаловаться #1

SS

Slava Sokolovsky in Rust — русскоговорящее сообществo

Kirill (Cykooz) Kuzminykh

Я почему-то считал, что современные компиляторы умеют хорошо оптимизировать математические выражения. Например в таком выражении:

9.0 * x.powi(3) - 15.0 * x.powi(2)

достаточно выполнить 4 умножения:

x2 = x * x; 
x3 = x2 * x; 
9.0 * x3 - 15.0 * x2

Но я удивился когда увидел, что в Rust это выполняется в 5 умножений - он куб и квадрат от x считает независимо.
Это компилятор пока не дорос, или тут есть какие-то подводные камни из-за которых выбирается такое не оптимальное решение?

Я думаю, что это проблема (или не проблема) ллвм, а не раста

источник

18:49пожаловаться #2

EG

Emmanuel Goldstein in Rust — русскоговорящее сообществo

Kirill (Cykooz) Kuzminykh

Я почему-то считал, что современные компиляторы умеют хорошо оптимизировать математические выражения. Например в таком выражении:

9.0 * x.powi(3) - 15.0 * x.powi(2)

достаточно выполнить 4 умножения:

x2 = x * x; 
x3 = x2 * x; 
9.0 * x3 - 15.0 * x2

Но я удивился когда увидел, что в Rust это выполняется в 5 умножений - он куб и квадрат от x считает независимо.
Это компилятор пока не дорос, или тут есть какие-то подводные камни из-за которых выбирается такое не оптимальное решение?

Может, что-то с IEEE 754? Я не уверен, что должно получиться, если x2 это Infinity или NaN, например.
Или просто недостаточно умный компилятор, да.

источник

18:49пожаловаться #3

KK

Kirill (Cykooz) Kuzm... in Rust — русскоговорящее сообществo

Приходится явно самому выполнять оптимизацию и писать вот так в коде:

x2 = x.powi(2);
9.0 * x2 * x - 15.0 * x2

источник

18:50пожаловаться #4

EG

Emmanuel Goldstein in Rust — русскоговорящее сообществo

Kirill (Cykooz) Kuzminykh

Приходится явно самому выполнять оптимизацию и писать вот так в коде:

x2 = x.powi(2);
9.0 * x2 * x - 15.0 * x2

А какой ассемблерный код выдаёт твоя версия?

источник

18:57пожаловаться #5

EG

Emmanuel Goldstein in Rust — русскоговорящее сообществo

Может, там получается доступ в память?

источник

18:57пожаловаться #6

МП

Максим Петров... in Rust — русскоговорящее сообществo

Kirill (Cykooz) Kuzminykh

Я почему-то считал, что современные компиляторы умеют хорошо оптимизировать математические выражения. Например в таком выражении:

9.0 * x.powi(3) - 15.0 * x.powi(2)

достаточно выполнить 4 умножения:

x2 = x * x; 
x3 = x2 * x; 
9.0 * x3 - 15.0 * x2

Но я удивился когда увидел, что в Rust это выполняется в 5 умножений - он куб и квадрат от x считает независимо.
Это компилятор пока не дорос, или тут есть какие-то подводные камни из-за которых выбирается такое не оптимальное решение?

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

источник

18:59пожаловаться #7

EG

Emmanuel Goldstein in Rust — русскоговорящее сообществo

Kirill (Cykooz) Kuzminykh

Я почему-то считал, что современные компиляторы умеют хорошо оптимизировать математические выражения. Например в таком выражении:

9.0 * x.powi(3) - 15.0 * x.powi(2)

достаточно выполнить 4 умножения:

x2 = x * x; 
x3 = x2 * x; 
9.0 * x3 - 15.0 * x2

Но я удивился когда увидел, что в Rust это выполняется в 5 умножений - он куб и квадрат от x считает независимо.
Это компилятор пока не дорос, или тут есть какие-то подводные камни из-за которых выбирается такое не оптимальное решение?

https://godbolt.org/z/zn496h
Вообще я вижу 4 умножения в обоих случаях

Compiler Explorer - Rust (rustc 1.48.0)

pub fn v1(x: f64) -> f64 {
9.0 * x.powi(3) - 15.0 * x.powi(2)
}

pub fn v2(x: f64) -> f64 {
let x2 = x.powi(2);
9.0 * x2 * x - 15.0 * x2
}

источник

18:59пожаловаться #8

EG

Emmanuel Goldstein in Rust — русскоговорящее сообществo

Причём в «вручную оптимизированной» версии есть лишний movsd, так что компилятор справился лучше без этого

источник

19:01пожаловаться #9

KK

Kirill (Cykooz) Kuzm... in Rust — русскоговорящее сообществo

Emmanuel Goldstein

https://godbolt.org/z/zn496h
Вообще я вижу 4 умножения в обоих случаях

Compiler Explorer - Rust (rustc 1.48.0)

pub fn v1(x: f64) -> f64 {
9.0 * x.powi(3) - 15.0 * x.powi(2)
}

pub fn v2(x: f64) -> f64 {
let x2 = x.powi(2);
9.0 * x2 * x - 15.0 * x2
}

Хм, на самом деле у меня сама функция немного сложнее. Указанное выражение вычисляется внутри неё в одной из веток if-else. Но я сейчас проверю ваш вариант

источник

19:01пожаловаться #10

KK

Kirill (Cykooz) Kuzm... in Rust — русскоговорящее сообществo

Emmanuel Goldstein

https://godbolt.org/z/zn496h
Вообще я вижу 4 умножения в обоих случаях

Compiler Explorer - Rust (rustc 1.48.0)

pub fn v1(x: f64) -> f64 {
9.0 * x.powi(3) - 15.0 * x.powi(2)
}

pub fn v2(x: f64) -> f64 {
let x2 = x.powi(2);
9.0 * x2 * x - 15.0 * x2
}

Ага, у меня вот такой вариант даёт 5 умножений без ручной "оптимизации":

pub fn calc(x: f32) -> f32 {
    let a = x.abs();
    9.0 * a.powi(3) - 15.0 * a.powi(2)
}

Если убрать .abs() то будет 4 умножения

источник

19:06пожаловаться #11

EG

Emmanuel Goldstein in Rust — русскоговорящее сообществo

Возможно, LLVM по какой-то причине предпочитает делать лишний mulsd, чем лишний movsd? Хотя интуитивно mov должен быть дешевле.

источник

19:07пожаловаться #12

EG

Emmanuel Goldstein in Rust — русскоговорящее сообществo

Где-то внутри LLVM наверняка есть таблица стоимости инструкций, но я ХЗ как её сходу найти

источник

19:10пожаловаться #13

MK

Matwey Kornilov in Rust — русскоговорящее сообществo

Где-то была картинка со стоимостью инструкция на x86

источник

19:11пожаловаться #14

MK

Matwey Kornilov in Rust — русскоговорящее сообществo

В телеге туда-сюда репостилась

источник

19:11пожаловаться #15

KK

Kirill (Cykooz) Kuzm... in Rust — русскоговорящее сообществo

А вот так вообще даёт 3 умножения:

pub fn calc_opt(x: f32) -> f32 {
    let a = x.abs();
    a.powi(2) * (9.0 * a - 15.0)
}

Но тут уж я не сильно ожидаю от компилятора, что он сможет сделать такой "вынос за скобки".

источник

19:14пожаловаться #16

KK

Kirill (Cykooz) Kuzm... in Rust — русскоговорящее сообществo

Emmanuel Goldstein

Возможно, LLVM по какой-то причине предпочитает делать лишний mulsd, чем лишний movsd? Хотя интуитивно mov должен быть дешевле.

Хм, если бы он был такой "умный", то зачем бы "повёлся" на мою простейшую оптимизацию и не превратил её в свой вариант с 5-ю умножениями вместо movsd?

источник

19:18пожаловаться #17

A

Apachee in Rust — русскоговорящее сообществo

Я правильно понимаю, что в https://docs.rs/tokio-postgres/0.6.0/tokio_postgres/ нету тредпула?

tokio_postgres - Rust

API documentation for the Rust `tokio_postgres` crate.

источник

19:21пожаловаться #18

A

Apachee in Rust — русскоговорящее сообществo

Не посоветуете асинхронную либу для PostgreSQL с тредпулом?

источник

19:21пожаловаться #19

A

Apachee in Rust — русскоговорящее сообществo

Я правильно понимаю, что в https://docs.rs/tokio-postgres/0.6.0/tokio_postgres/ нету тредпула?

tokio_postgres - Rust

API documentation for the Rust `tokio_postgres` crate.

Ну или какую либу добавить, чтобы свой тредпул для этого создать

источник

19:22пожаловаться #20