В C, если я хочу разделить int на 2, x%2 должен работать так быстро, как (x%10)% 2 , потому что хороший компилятор просто посмотрит на последний бит. Но как насчет на языке с бесконечной точностью арифметики?бесконечные целые числа точности: деление на 2
В частности, в Haskell, который будет быстрее (или будет такой же скоростью): even x или even (quot x 10)?
Хорошо, я укушу:
import Control.DeepSeq
import Criterion.Main
import Data.Bits
import System.Random
lotsOfBigNumbers :: [Integer]
lotsOfBigNumbers = take 10000 $ randomRs (2^128, 2^132) (mkStdGen 42)
evenRem, evenBits :: Integer -> Bool
evenRem x = even (x `rem` 10)
evenBits x = (x .&. 1) == 0
remRem x = ((x `rem` 10) `rem` 2) == 0
main = do
deepseq lotsOfBigNumbers (return())
defaultMain
[ bench "even" $ nf (map even ) lotsOfBigNumbers
, bench "evenRem" $ nf (map evenRem) lotsOfBigNumbers
, bench "evenBits" $ nf (map evenBits) lotsOfBigNumbers
, bench "remRem" $ nf (map remRem ) lotsOfBigNumbers
]
И результаты:
sorghum:~/programming% ghc -O2 test && ./test
[1 of 1] Compiling Main (test.hs, test.o)
Linking test ...
warming up
estimating clock resolution...
mean is 1.920340 us (320001 iterations)
found 51108 outliers among 319999 samples (16.0%)
46741 (14.6%) low severe
4367 (1.4%) high severe
estimating cost of a clock call...
mean is 83.20445 ns (16 iterations)
found 4 outliers among 16 samples (25.0%)
2 (12.5%) low mild
2 (12.5%) high severe
benchmarking even
mean: 1.508542 ms, lb 1.503661 ms, ub 1.514950 ms, ci 0.950
std dev: 28.53574 us, lb 23.35796 us, ub 35.19769 us, ci 0.950
found 18 outliers among 100 samples (18.0%)
17 (17.0%) high severe
variance introduced by outliers: 11.371%
variance is moderately inflated by outliers
benchmarking evenRem
mean: 1.937735 ms, lb 1.930118 ms, ub 1.949699 ms, ci 0.950
std dev: 48.17240 us, lb 34.95334 us, ub 71.22055 us, ci 0.950
found 14 outliers among 100 samples (14.0%)
3 (3.0%) high mild
11 (11.0%) high severe
variance introduced by outliers: 18.989%
variance is moderately inflated by outliers
benchmarking evenBits
mean: 996.3537 us, lb 992.2839 us, ub 1.003864 ms, ci 0.950
std dev: 27.37875 us, lb 17.51923 us, ub 43.98499 us, ci 0.950
found 15 outliers among 100 samples (15.0%)
2 (2.0%) high mild
13 (13.0%) high severe
variance introduced by outliers: 21.905%
variance is moderately inflated by outliers
benchmarking remRem
mean: 1.925495 ms, lb 1.918590 ms, ub 1.935869 ms, ci 0.950
std dev: 43.00092 us, lb 31.67173 us, ub 57.83841 us, ci 0.950
found 13 outliers among 100 samples (13.0%)
13 (13.0%) high severe
variance introduced by outliers: 15.198%
variance is moderately inflated by outliers
Вывод: дополнительный rem стоит немного больше, и .&. стоит немного меньше.
'evenBits x = (x. |. 1) == 0' <- это должно быть'. &. '. Это делает бит немного быстрее здесь (~ 20%). Но на самом деле это должно быть 'evenBits x = (fromInteger x. &. (1 :: Int)) == 0', поскольку бит-операции в' Integer 'не особенно быстры. –
@ DanielFischer Упс, это плохая ошибка, спасибо за указание! –
Я заметил еще один: 'evenQuot x = even (x' quot' 10) '' проверяет, является ли вторая младшая значащая цифра четной. Должно быть '' even (x 'rem' 10)' '. И тогда разница почти исчезает, потому что '' x 'rem' 10'' становится' S # i # ', а затем' even' использует 'Int #' деление (после тестирования, что это 'S #'), и это намного быстрее, чем вызов GMP, поэтому 'Integer'-division +' Int'-division примерно совпадает с делением 'Integer'. –
Я не уверен, что 'x% 2' так же быстро, как' (x% 10)% 2' в C. Если компилятор признает, что часть '% 10' не изменяет результат, может быть удалена, но это арифметическое упрощение - не зависящее от воспроизведения бит и числа и, таким образом, одинаково применимое к целым целым целым. И если он не удаляется, то он, вероятно, действительно сначала вычисляет остаток w/10, который * не * выполним путем маскировки битов. – delnan
@ delnan, это очень справедливый момент, спасибо. Наверное, я не был очень строгим. –