zsh
имеет более мощную встроенную time
команду, чем bash
имеет, и zsh
версия может сообщать статистику памяти.
Даже если вы не используете регулярную zsh
оболочку на регулярной основе, вы можете просто запустить ее, когда вам нужно собрать такую статистику.
Установите TIMEFMT
переменную окружения, чтобы указать желаемый результат. Вот что у меня есть в моем .zshrc
файле (возможно, слишком причудливый, но мне это нравится):
TIMEFMT='%J %U user %S system %P cpu %*E total'$'\n'\ 'avg shared (code): %X KB'$'\n'\ 'avg unshared (data/stack): %D KB'$'\n'\ 'total (sum): %K KB'$'\n'\ 'max memory: %M MB'$'\n'\ 'page faults from disk: %F'$'\n'\ 'other page faults: %R'
Образец вывода:
% time ls [... the output of ls, followed by:] ls -G 0.00s user 0.00s system 91% cpu 0.004 total avg shared (code): 0 KB avg unshared (data/stack): 0 KB total (sum): 0 KB max memory: 668 MB page faults from disk: 0 other page faults: 337