Que tipo de vezes produz saída 'vezes'?

Question

Do Manual de referência de bash , times (ênfase meu):

Print out the user and system times used by the shell and its children.

De help times :

Prints the accumulated user and system times for the shell and all of its child processes.

O que são "tempos usados pelo shell e seus filhos"?

Por exemplo, em um shell bash que está em execução há vários meses:

$ times
0m0.152s 0m0.080s
0m15.804s 0m13.296s

Como é possivel que todos os tipos de tempos usados pelo shell e seus filhos sejam menores que 1 min?

    

Answer 1

Dos tempos de ajuda:

Prints the accumulated user and system times for the shell and all of its child processes.

Você estava enfatizando for the shell and all of its child processes quando deveria estar prestando mais atenção a user and system times .

Tempo do usuário e Tempo do sistema não são reais (ou relógio), são os tempos de CPU usados no código do usuário e nas chamadas de função do sistema, respectivamente.

BTW, o time integrado (e o utilitário externo de mesmo nome) pode exibir todas as três vezes - Tempo real, Horário do usuário e Horário do sistema. De help time :

Execute PIPELINE and print a summary of the real time, user CPU time and system CPU time spent executing PIPELINE when it terminates.

também BTW. o formato de saída time do bash é configurável. Eu gosto de usar o seguinte para que ele use apenas uma linha do meu terminal em vez de perder 3 linhas:

export TIMEFORMAT=$'\nreal %3lR\tuser %3lU\tsys %3lS'

A versão GNU do utilitário time externo ( /usr/bin/time ) permite que você configure o formato de saída com a opção -f ou --format . Outras versões podem ou não ter opções semelhantes ... não sei, não me importo o suficiente para procurar.