Buitin bash komutu time
milisaniyelik yürütme hassasiyeti sağlar ve GNU time
(genellikle / usr / bin / time) santisaniye hassasiyet verir. Sistem times(2)
çağrısı saatler cinsinden zaman verir ve 100 saat = 1 saniye (genellikle), bu nedenle hassasiyet GNU gibidir time
. Yani soru şu: bash ne time
kullanıyor, böylece daha kesin mi?
Hmmm ... ikisi de benim sistemime milisaniye veriyor ... (FC16)
—
nico
Garip. Size printf özelliği nedir ("% d \ n", sysconf (_SC_CLK_TCK)); Yukarıda belirttiğim gibi 100 olmalıdır. Birisi benimkine benzer gözlemlere sahip: dirac.org/linux/time ama yine de bir açıklama yok.
—
asukasz Sowa
evet, aslında 100 veriyor ...
—
nico
O zaman neden bunun hakkında hiçbir fikrim yok. GNU zamanının, saniyeye dönüştürmek için sysconf (_SC_CLK_TCK) kullanan syscall zamanlarını kullanması gerekir.
—
asukasz Sowa
FWIW "bash
—
Dennis
time
" dediğinizde, BSD'yi time
kullandığınız gibi kastettiğini varsayıyorum getrusage
.