Я обнаружил этот популярный ~ 9-летний ТАК вопрос и решил перепроверить его результаты.
Итак, у меня AMD Ryzen 9 5950X, clang ++ 10 и Linux, я скопировал код из вопроса и вот что у меня получилось:
Сортировано - 0,549702 с:
~/d/so_sorting_faster$ cat main.cpp | grep "std::sort" && clang++ -O3 main.cpp && ./a.out
std::sort(data, data + arraySize);
0.549702
sum = 314931600000
Несортированный - 0,546554 с:
~/d/so_sorting_faster $ cat main.cpp | grep "std::sort" && clang++ -O3 main.cpp && ./a.out
// std::sort(data, data + arraySize);
0.546554
sum = 314931600000
Я почти уверен, что тот факт, что несортированная версия оказалась быстрее на 3 мс, это просто шум, но, похоже, она больше не медленнее.
Итак, что изменилось в архитектуре процессора (чтобы он стал не на порядок медленнее)?
Вот результаты нескольких прогонов:
Unsorted: 0.543557 0.551147 0.541722 0.555599
Sorted: 0.542587 0.559719 0.53938 0.557909
На всякий случай вот мой main.cpp:
#include <algorithm>
#include <ctime>
#include <iostream>
int main()
{
// Generate data
const unsigned arraySize = 32768;
int data[arraySize];
for (unsigned c = 0; c < arraySize; ++c)
data[c] = std::rand() % 256;
// !!! With this, the next loop runs faster.
// std::sort(data, data + arraySize);
// Test
clock_t start = clock();
long long sum = 0;
for (unsigned i = 0; i < 100000; ++i)
{
// Primary loop
for (unsigned c = 0; c < arraySize; ++c)
{
if (data[c] >= 128)
sum += data[c];
}
}
double elapsedTime = static_cast<double>(clock() - start) / CLOCKS_PER_SEC;
std::cout << elapsedTime << std::endl;
std::cout << "sum = " << sum << std::endl;
return 0;
}
Обновить
С большим количеством элементов (627680):
Unsorted
cat main.cpp | grep "std::sort" && clang++ -O3 main.cpp && ./a.out
// std::sort(data, data + arraySize);
10.3814
Sorted:
cat main.cpp | grep "std::sort" && clang++ -O3 main.cpp && ./a.out
std::sort(data, data + arraySize);
10.6885
Думаю, вопрос еще актуален - разницы почти нет.
-O3
является ошибкой, если вы хотите протестировать только процессор. @DimanNe Результаты по-прежнему удивляют с-O0
или-O2
? - person jpaugh   schedule 09.03.2021-O1
включает оптимизацию векторизации. Это интересно! - person jpaugh   schedule 10.03.2021-O2
для автоматической векторизации, но даже при-O1
он генерирует скалярный код без ответвлений < / a>: см. условное перемещениеcmovle
в строке 40, гдеedx
содержитdata[c]
, аr15d
равно нулю. - person Nate Eldredge   schedule 10.03.2021