La commande buitin bash time
donne une précision d'exécution en millisecondes et GNU time
(généralement / usr / bin / time) donne une précision en centisecondes. L' times(2)
appel système donne des temps en horloges, et 100 horloges = 1 seconde (généralement), donc la précision est comme GNU time
. La question est donc de savoir ce que bash time
utilise pour que ce soit plus précis?
12
time
", je suppose que vous voulez dire BSDtime
comme cela utilisegetrusage
.Réponses:
Après un certain code bash hardcore examen j'ai découvert que bash
time
utilisationsgetrusage()
et GNUtime
utilisationstimes()
.getrusage()
est beaucoup plus précis en raison de la résolution en microsecondes.la source