3 ms·
> trying all double precision values would not complete in a practical amount of time Actually we're getting close-ish: AVX512(=8x64) at 4GHz (or two dependenc
by a1369209993 6y ago
> trying all double precision values would not complete in a practical amount of time
Actually we're getting close-ish: AVX512(=8x64) at 4GHz (or two dependency chains at 2GHz) times 64 CPU cores (which TFA's author has mentioned having) is 2 teraops. Double-precision space of 2^64 / 2Tops is 3 months/instruction on a single computer. So you could brute-force verify a simple function in a year or two, and at least the SIMD width and number of cores is likely to continue increasing.
- mlyle 6y agoKeep in mind you need to run the non-SIMD baseline function, too, to perform the actual comparison/verification... So, not yet. Also, AVX512 throttles down, so you're not going to running it on all cores full tilt at 4GHz today. I think it's much more reasonable for 64 bit space to have a reasonable set of human-chosen test cases + a large randomized test sequence.