Mengapa waktu bash lebih tepat daripada waktu GNU?

Perintah buitin bash timememberikan ketepatan eksekusi milisecond dan GNU time(biasanya / usr / bin / time) memberikan ketepatan centisecond. The times(2)syscall memberikan kali dalam jam, dan 100 jam = 1 detik (biasanya), sehingga presisi adalah seperti GNU time. Jadi pertanyaannya adalah apa yang digunakan bash timesehingga lebih tepat?

bash time gnu

— Łukasz Sowa
sumber

Hmmm ... mereka berdua memberikan milidetik pada sistem saya ... (FC16)

— nico

Aneh. Apa yang memberi Anda printf ("% d \ n", sysconf (_SC_CLK_TCK)); harus 100 seperti yang saya nyatakan di atas. Seseorang memiliki pengamatan serupa dengan saya: dirac.org/linux/time tetapi masih belum ada penjelasan.

— Łukasz Sowa

ya, efeknya memberi 100 ...

— nico

Maka saya tidak tahu kenapa begitu. Waktu GNU seharusnya menggunakan waktu syscall yang menggunakan sysconf (_SC_CLK_TCK) untuk mengonversi menjadi detik.

— Łukasz Sowa

FWIW Ketika Anda mengatakan "bash time", saya menganggap maksud Anda BSD timeyang digunakan getrusage.

— Dennis

Setelah memeriksa beberapa kode hardcore bash saya menemukan bahwa bash timemenggunakan getrusage()dan timemenggunakan GNU times(). getrusage()jauh lebih tepat karena resolusi mikrodetik.

— Łukasz Sowa
sumber