buitin bash 명령은 time
밀리초 정밀도로 실행을 제공하는 반면, GNU time
(보통 /usr/bin/time)는 100분의 1초 정밀도를 제공합니다. 시스템 times(2)
호출은 시간을 시계 단위로 제공하므로 100시계 = 1초(보통)이므로 정확도는 GNU와 유사합니다 time
. 그렇다면 문제는 time
bash가 더 정확하게 만들기 위해 무엇을 사용하는가입니다.
답변1
핵심 bash 코드를 조사한 결과, bash는 time
마이크로 getrusage()
초 time
해상도 로 인해 정확도가 훨씬 더 높았습니다 times()
.getrusage()