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?
time
” Zakładam, że masz na myśli BSD time
jak zastosowań getrusage
.