Depois de examinar alguns códigos hardcore bash, descobri que bash time usa getrusage() e GNU time usa times() . getrusage() é muito mais preciso por causa da resolução de microssegundos.
O comando buitin bash time fornece precisão de execução de milissegundos e o GNU time (geralmente / usr / bin / time) fornece precisão de centisegundos. O times(2) syscall dá horários em clocks e 100 clocks = 1 segundo (geralmente), então a precisão é como GNU time . Então a questão é o que é bash time usando para que seja mais preciso?