Команда buitin bash time
дает точность выполнения в миллисекундах, а GNU time
(обычно / usr / bin / time) дает точность в несколько секунд. times(2)
Системный вызов дает раз в часах, и 100 часов = 1 секунда (обычно), так что точность, как GNU time
. Итак, вопрос в том, что использует bash, time
чтобы он был более точным?
12
time
», я предполагаю, что вы имеете в виду BSD,time
который используетgetrusage
.Ответы:
После некоторого изучения хардкорного кода bash я обнаружил, что bash
time
используетgetrusage()
иtime
использует GNUtimes()
.getrusage()
гораздо точнее из-за микросекундного разрешения.источник