El comando buitin bash time
proporciona una precisión de ejecución de milisegundos y GNU time
(generalmente / usr / bin / time) proporciona una precisión de centisegundos. El times(2)
syscall da tiempos en relojes, y 100 relojes = 1 segundo (generalmente), por lo que la precisión es como GNU time
. Entonces, la pregunta es ¿qué está time
usando bash para que sea más preciso?
Hmmm ... ambos dan milisegundos en mi sistema ... (FC16)
—
nico
Extraño. Lo que le da printf ("% d \ n", sysconf (_SC_CLK_TCK)); debería ser 100 como dije anteriormente. Alguien tiene observaciones similares a las mías: dirac.org/linux/time pero aún no hay explicación.
—
Łukasz Sowa
sí, en efecto da 100 ...
—
nico
Entonces no tengo idea de por qué. Se supone que el tiempo GNU usa times syscall que usa sysconf (_SC_CLK_TCK) para convertir a segundos.
—
Łukasz Sowa
FWIW Cuando dices "bash
—
Dennis
time
", supongo que te refieres a BSD time
como se usa getrusage
.