La commande buitin bash timedonne 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 timeutilise pour que ce soit plus précis?
time", je suppose que vous voulez dire BSD timecomme cela utilise getrusage.