Skip to content
Jump to bottom

time: Update from version 1.7 to 1.9 #985

Merged
merged 1 commit into from
Dec 24, 2018
Merged

time: Update from version 1.7 to 1.9 #985

merged 1 commit into from
Dec 24, 2018

Commits on Dec 24, 2018

  1. time: Update from version 1.7 to 1.9 

    Version 1.7 is outdated and incorrectly reports RSS scaled by factor 4:

    $ curl -so mem.cpp https://ideone.com/plain/5bsp0R && make mem && /usr/bin/time -f "time thinks my peak rss is %M kB" ./mem
    g++     mem.cpp   -o mem
    procfs thinks my peak RSS is:       514652 kB
    time thinks my peak rss is 2058608 kB

The problems was fixed for us by a patch in time-1.7-1 (bee-files/04c1410).

However, unlike assumed in the above commit, the bug is fixed in the
current release of time, which is 1.9. So instead of patching an obsolete
release, we should update to the current release.

    $ /usr/bin/time --version
    time (GNU Time) 1.9
    Copyright (C) 2018 Free Software Foundation, Inc.
    License GPLv3+: GNU GPL version 3 or later <https://gnu.org/licenses/gpl.html>.
    This is free software: you are free to change and redistribute it.
    There is NO WARRANTY, to the extent permitted by law.

    Written by David Keppel, David MacKenzie, and Assaf Gordon.
    $ curl -so mem.cpp https://ideone.com/plain/5bsp0R && make mem && /usr/bin/time -f "time thinks my peak rss is %M kB" ./mem
    g++     mem.cpp   -o mem
    procfs thinks my peak RSS is: 	  514564 kB
    time thinks my peak rss is 514564 kB

Recreate bee file for version 1.9 from template.
    @donald
    donald committed Dec 24, 2018
    Configuration menu
    Copy the full SHA
    c6e572f View commit details
    Browse the repository at this point in the history