[gambit-list] Build times on Raspberry Pi 2 B
Bradley Lucier
lucier at math.purdue.edu
Sun Mar 27 00:57:20 EDT 2016
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 at 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 at 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
>
More information about the Gambit-list
mailing list