Der Befehl buitin bash time
gibt 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 time
verwendet, damit es präziser ist.
time
“, ich nehme an, Sie Mittelwert BSD time
wie die Anwendungen getrusage
.