Discussion :

[Invité]

Bonjour,

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

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

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:

- 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.

[Sve@r]

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"...

[Invité]

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

Ca ne marche pas chez moi ...

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

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

[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 bash :

Sélectionner tout - Visualiser dans une fenêtre à part

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

[Invité]

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 bash :

Sélectionner tout - Visualiser dans une fenêtre à part

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

Merci ça fonctionne.

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

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 ...

[Sve@r]

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 :

Sélectionner tout - Visualiser dans une fenêtre à part

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

[Invité]

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

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

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.