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?
12
time
", supongo que te refieres a BSDtime
como se usagetrusage
.Respuestas:
Después de un cierto código de hardcore fiesta examen descubrí que bash
time
usosgetrusage()
y GNUtime
usostimes()
.getrusage()
es mucho más preciso debido a la resolución de microsegundos.fuente