Le ultime 3 righe di wget -i urls.txt:Perché wget mi dà due diversi tempi di download totali?
FINISHED --2012-05-16 12:58:08--
Total wall clock time: 1h 56m 52s
Downloaded: 1069 files, 746M in 1h 52m 49s (113 KB/s)
Ci sono due momenti diversi:
1h 56m 52s
1h 52m 49s
Perché sono diversi? Cosa rappresentano?
Quando si dispone di tempo di orologio a muro e un tempo più breve, il tempo più breve è solitamente l'ora utente e il tempo mancante del sistema (tempo trascorso nel kernel) o tempo in attesa di qualcosa come un descrittore di file. (Ma non ho controllato cosa succede con wget). Se sei curioso, avvia time wget http://some.url o guarda su /proc/<wget-pid>/stat mentre è in esecuzione (supponendo che tu stia correndo su linux).
L'ora dell'orologio da parete o in tempo reale è la percezione umana del passare del tempo. Quello sarà il tempo come utente umano, ciò che sperimenteremo. In questo caso, wget avrebbe potuto impiegare meno del tempo reale per terminare il proprio lavoro, ma il tempo reale è la somma del tempo impiegato dal software per terminare il suo vero lavoro e il tempo in cui era in attesa di risorse come hard disk, rete ecc.