Komenda buitin bash time
zapewnia milisekundową precyzję wykonania, a GNU time
(zwykle / usr / bin / time) zapewnia precyzję w centisekundach. times(2)
Syscall daje razy zegary i 100 zegary 1 sekundę (zazwyczaj), tak jak jest precyzja GNU time
. Pytanie brzmi: co time
używa bash, aby był bardziej precyzyjny?
12
time
” Zakładam, że masz na myśli BSDtime
jak zastosowańgetrusage
.Odpowiedzi:
Po kilku kod Hardcore bash zbadaniu okazało się, że bash
time
zastosowańgetrusage()
oraz GNUtime
zastosowańtimes()
.getrusage()
jest znacznie bardziej precyzyjny ze względu na rozdzielczość mikrosekundową.źródło