Komenda buitin bash timezapewnia 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 timeużywa bash, aby był bardziej precyzyjny?
time” Zakładam, że masz na myśli BSD timejak zastosowań getrusage.