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?
time
", je suppose que vous voulez dire BSD time
comme cela utilise getrusage
.