O comando buitin bash time
fornece precisão de execução em milissegundos e o GNU time
(geralmente / usr / bin / time) fornece precisão em centissegundos. O times(2)
syscall fornece tempos em relógios e 100 relógios = 1 segundo (geralmente), portanto a precisão é semelhante ao GNU time
. Portanto, a questão é o que o bash está time
usando, para que seja mais preciso?
Hmmm ... eles ambos milissegundos dão sobre o meu sistema ... (FC16)
—
nico
Estranho. O que fornece a você printf ("% d \ n", sysconf (_SC_CLK_TCK)); deve ser 100, como afirmei acima. Alguém tem observações semelhantes às minhas: dirac.org/linux/time, mas ainda não há explicação.
—
Asukasz Sowa
sim, na verdade ele dá 100 ...
—
nico
Então não tenho ideia do porquê disso. O tempo do GNU deve usar times syscall, que usa o sysconf (_SC_CLK_TCK) para converter em segundos.
—
Łukasz Sowa
FWIW Quando você diz "bash
—
Dennis3 de
time
", suponho que você queira dizer BSD time
como ele usa getrusage
.