Here are some build times using the default compiler after a plain “./configure” on a Raspberry Pi 2 B.
cutie-pi:~/programs/gambit> time make -j 3 from-scratch 5626.900u 111.090s 33:19.28 287.0% 0+0k 456+751584io 20pf+0w cutie-pi:~/programs/gambit> time make doc 125.540u 1.960s 2:12.44 96.2% 0+0k 31216+29640io 72pf+0w cutie-pi:~/programs/gambit> time make check 168.360u 6.900s 2:58.68 98.0% 0+0k 0+46320io 0pf+0w
So, not so bad without --enable-single-host. Now I just need to remember to do this every once in a while.
Perhaps someone with a new Pi3 could do the same experiment and report the results.
Brad
Afficher les réponses par date
And, configured with
cutie-pi:~/programs/gambit> ./configure 'CC=gcc-4.8 -mcpu=cortex-a7 -mfpu=neon-vfpv4 -mfloat-abi=hard' '--enable-single-host' '--enable-shared' '--enable-multiple-versions' '--disable-gnu-gcc-no-strict-aliasing’
it takes
cutie-pi:~/programs/gambit> time make from-scratch 6085.460u 102.290s 1:43:32.86 99.5% 0+0k 5256+536568io 27pf+0w
partly because I can’t run two jobs at once (the cc1 jobs require too much memory).
Brad
On Mar 9, 2016, at 9:58 PM, Bradley Lucier lucier@math.purdue.edu wrote:
Here are some build times using the default compiler after a plain “./configure” on a Raspberry Pi 2 B.
cutie-pi:~/programs/gambit> time make -j 3 from-scratch 5626.900u 111.090s 33:19.28 287.0% 0+0k 456+751584io 20pf+0w cutie-pi:~/programs/gambit> time make doc 125.540u 1.960s 2:12.44 96.2% 0+0k 31216+29640io 72pf+0w cutie-pi:~/programs/gambit> time make check 168.360u 6.900s 2:58.68 98.0% 0+0k 0+46320io 0pf+0w
So, not so bad without --enable-single-host. Now I just need to remember to do this every once in a while.
Perhaps someone with a new Pi3 could do the same experiment and report the results.
Brad
On Raspberry Pi 3, a “from-scratch” build with ---enable-single-host takes about 3800 (user) + 47 (system) seconds, as opposed to about 6085.460u + 102.290s seconds.
Run time for bignum multiply (basically a few Fast Fourier Transforms):
Raspberry Pi 2 (upgraded from wheezy to jessie):
cutie-pi:~/programs/gambit> gsi -e '(define a (time (expt 3 1000000)))(define b (time (* a a)))' (time (expt 3 1000000)) 493 ms real time 500 ms cpu time (490 user, 10 system) 7 collections accounting for 12 ms real time (0 user, 0 system) 9166168 bytes allocated 2002 minor faults no major faults (time (* a a)) 528 ms real time 530 ms cpu time (530 user, 0 system) 2 collections accounting for 5 ms real time (0 user, 0 system) 8817888 bytes allocated 2067 minor faults no major faults cutie-pi:~/programs/gambit> gsc -v v4.8.4 20160308184356 armv7l-unknown-linux-gnueabihf "./configure 'CC=gcc -mcpu=cortex-a7 -mfpu=neon-vfpv4 -mfloat-abi=hard' '--enable-single-host' '--enable-shared' '--enable-multiple-versions' '--disable-gnu-gcc-no-strict-aliasing'" cutie-pi:~/programs/gambit> gcc --version gcc (Raspbian 4.9.2-10) 4.9.2
Raspberry Pi 3:
sweety-pi:~> gsi -e '(define a (time (expt 3 1000000)))(define b (time (* a a)))' (time (expt 3 1000000)) 255 ms real time 250 ms cpu time (240 user, 10 system) 7 collections accounting for 7 ms real time (0 user, 0 system) 9166168 bytes allocated 2001 minor faults 2 major faults (time (* a a)) 269 ms real time 270 ms cpu time (260 user, 10 system) 2 collections accounting for 2 ms real time (0 user, 0 system) 8817888 bytes allocated 2067 minor faults no major faults sweety-pi:~> gsi -v v4.8.4 20160308184356 armv7l-unknown-linux-gnueabihf "./configure 'CC=gcc -mcpu=cortex-a53 -mfpu=neon-vfpv4' '--enable-single-host' '--enable-shared' '--enable-multiple-versions’” sweety-pi:~> gcc --version gcc (Raspbian 4.9.2-10) 4.9.2 Copyright (C) 2014 Free Software Foundation, Inc.
Brad
On Mar 10, 2016, at 8:00 PM, Bradley Lucier lucier@math.purdue.edu wrote:
And, configured with
cutie-pi:~/programs/gambit> ./configure 'CC=gcc-4.8 -mcpu=cortex-a7 -mfpu=neon-vfpv4 -mfloat-abi=hard' '--enable-single-host' '--enable-shared' '--enable-multiple-versions' '--disable-gnu-gcc-no-strict-aliasing’
it takes
cutie-pi:~/programs/gambit> time make from-scratch 6085.460u 102.290s 1:43:32.86 99.5% 0+0k 5256+536568io 27pf+0w
partly because I can’t run two jobs at once (the cc1 jobs require too much memory).
Brad
On Mar 9, 2016, at 9:58 PM, Bradley Lucier lucier@math.purdue.edu wrote:
Here are some build times using the default compiler after a plain “./configure” on a Raspberry Pi 2 B.
cutie-pi:~/programs/gambit> time make -j 3 from-scratch 5626.900u 111.090s 33:19.28 287.0% 0+0k 456+751584io 20pf+0w cutie-pi:~/programs/gambit> time make doc 125.540u 1.960s 2:12.44 96.2% 0+0k 31216+29640io 72pf+0w cutie-pi:~/programs/gambit> time make check 168.360u 6.900s 2:58.68 98.0% 0+0k 0+46320io 0pf+0w
So, not so bad without --enable-single-host. Now I just need to remember to do this every once in a while.
Perhaps someone with a new Pi3 could do the same experiment and report the results.
Brad