Der Befehl buitin bash timegibt die Ausführungsgenauigkeit in Millisekunden an, und GNU time(normalerweise / usr / bin / time) gibt die Genauigkeit in Zentisekunden an. Der times(2)Syscall gibt die Zeiten in Uhren und 100 Uhren = 1 Sekunde (normalerweise) an, die Genauigkeit ist also wie bei GNU time. Die Frage ist also, was Bash timeverwendet, damit es präziser ist.
time“, ich nehme an, Sie Mittelwert BSD timewie die Anwendungen getrusage.