~에서배쉬 참조 매뉴얼, times(강조):
사용된 사용자 및 시스템 시간을 인쇄합니다.껍데기그리고그 아이들.
에서 help times:
누적된 사용자 및 시스템 시간을 인쇄합니다.껍데기그리고모든 하위 프로세스.
"쉘과 그 자식이 사용하는 시간"이란 무엇입니까?
예를 들어, 몇 달 동안 실행된 bash 셸에서 다음과 같습니다.
$ times
0m0.152s 0m0.080s
0m15.804s 0m13.296s
쉘과 그 하위 프로세스에서 사용되는 다양한 시간이 1분 미만이라는 것이 어떻게 가능합니까?
답변1
도움말 시간부터:
누적 인쇄사용자 및 시스템 시간쉘 및 모든 하위 프로세스의 경우.
스트레스를 받을 for the shell and all of its child processes때는 더 많은 주의를 기울여야 합니다 user and system times.
사용자 시간과 시스템 시간은 실시간(또는 시계) 시간이 아니며 각각 사용자 코드 및 시스템 함수 호출에 사용되는 CPU 시간입니다.
그런데 time내장 프로그램(동일한 이름의 외부 유틸리티 포함)은 실시간, 사용자 시간 및 시스템 시간의 세 가지 시간을 모두 표시할 수 있습니다. 에서 help time:
PIPELINE을 실행하고 PIPELINE이 종료되면 PIPELINE을 실행하는 데 소요된 실시간, 사용자 CPU 시간 및 시스템 CPU 시간에 대한 요약을 인쇄합니다.
그런데. Bash 내장 time출력 형식은 구성 가능합니다. 나는 3줄을 낭비하는 대신 터미널의 한 줄만 사용하도록 다음 명령을 사용하는 것을 좋아합니다.
export TIMEFORMAT=$'\nreal %3lR\tuser %3lU\tsys %3lS'
time외부 유틸리티( ) 의 GNU 버전을 사용하면 /usr/bin/time또는 옵션을 사용하여 출력 형식을 구성할 수 있습니다. 다른 버전에도 비슷한 옵션이 있을 수도 있고 없을 수도 있습니다...모르겠어요. 알아보고 싶지도 않습니다.-f--format