Avoir le temps d'un traitment via la commande time

Version imprimable

19/01/2013, 16h39
Invité

Avoir le temps d'un traitment via la commande time
Bonjour,

Je cherche a optimiser un traitement. Pour cela, j'essaye de récupérer le temps utilisé.
Code:

1 2 3 4 5 6 $ time date sam. 19 janv. 2013 16:26:54 real 0m0.031s user 0m0.000s sys 0m0.015s
J'ai trouvé ces info:

Citation:

- real correspond au temps réel de la tâche.
- user correspond au temps utilisateur, c’est à dire le temps CPU utilisé par le programme utilisateur
- sys définit le temps système, cela correspond au temps utilisé par le système pour gérer l’exécution de la tâche.

Si j'ai bien compris:
- le "real" correspond au temps entre le début et la fin de la commande.
- le "user" + "sys" donnerais le vrai temps de la commande (indépendant de ce qu'on fait à côté).

J'ai fais quelque test en regardant ou non une vidéo sur youtube en même temps. user et sys sont toujours plus élevé quand j'utilise youtube ... Ca ne devrait pas être constant (j'utilisais exactement la même commande et les mêmes données avec cygwin sous windows) ?

Il y a-t-il un moyen de récupérer user+sys directement avec une des options de time? Je n'ai rien trouvé ...

Merci.
20/01/2013, 13h36
Sve@r

Citation:

Envoyé par Beginner.j

Il y a-t-il un moyen de récupérer user+sys directement avec une des options de time? Je n'ai rien trouvé ...

Merci.

time -f "%U %S"...

Citation:

Envoyé par Sve@r

time -f "%U %S"...

Ca ne marche pas chez moi ...
Code:

1 2 3 4 5 6 $ time -f "%U %S" date bash: -f : commande introuvable real 0m0.015s user 0m0.000s sys 0m0.000s

20/01/2013, 13h56
N_BaH

attention, bash possède un mot clé time, qui ne comprend pas d'autres options que -p, sur Debian, il faudra indiquer le chemin vers la commande [codeinlline]time[/codeinlline] (/usr/bin/ ?) pour «désambiguïser».

en BASH

Code:

TIME="%U+%S" time commande 2> >(bc)
20/01/2013, 14h42
Invité
Citation:

Envoyé par N_BaH

attention, bash possède un mot clé time, qui ne comprend pas d'autres options que -p, sur Debian, il faudra indiquer le chemin vers la commande [codeinlline]time[/codeinlline] (/usr/bin/ ?) pour «désambiguïser».

en BASH

Code:

TIME="%U+%S" time commande 2> >(bc)

Merci ça fonctionne.
Code:

1 2 3 $ TIME="%U+%S" time date 2> >(bc) dim. 20 janv. 2013 14:28:26 .01
Le "2> >(bc)" sert à rediriger le résultat de la commande time vers la commande bc, c'est bien ça? J'ai du mal à comprendre comment ça fonctionne ...
20/01/2013, 14h55
Sve@r
Citation:

Envoyé par N_BaH

attention, bash possède un mot clé time, qui ne comprend pas d'autres options que -p, sur Debian, il faudra indiquer le chemin vers la commande [codeinlline]time[/codeinlline] (/usr/bin/ ?) pour «désambiguïser».

Me semble que faire précéder la commande d'un backslash permet aussi de «désambiguïser» sans avoir à fournir le chemin
Code:

1 2 3 \time -f "%S %U" date dimanche 20 janvier 2013, 14:55:48 (UTC+0100) 0.00 0.00
20/01/2013, 14h59
Invité
Citation:
Envoyé par Sve@r

Me semble que faire précéder la commande d'un backslash permet aussi de «désambiguïser» sans avoir à fournir le chemin

Code:

1 2 3 \time -f "%S %U" date dimanche 20 janvier 2013, 14:55:48 (UTC+0100) 0.00 0.00
Effectivement, cela marche aussi.