คำสั่งเวลา Linux

คำสั่ง time ถูกใช้เพื่อกำหนดระยะเวลาที่คำสั่งที่กำหนดจะใช้ในการรัน มันมีประโยชน์สำหรับการทดสอบประสิทธิภาพของสคริปต์และคำสั่งของคุณ

ตัวอย่างเช่นหากคุณมีสองสคริปต์ที่แตกต่างกันซึ่งทำงานเหมือนกันและคุณต้องการทราบว่าสคริปต์ใดทำงานได้ดีกว่าคุณสามารถใช้คำสั่ง Linux time เพื่อกำหนดระยะเวลาในการดำเนินการของแต่ละสคริปต์

รุ่นคำสั่งเวลา

ทั้ง Bash และ Zsh ซึ่งเป็นเชลล์ Linux ที่ใช้กันอย่างแพร่หลายส่วนใหญ่จะมีคำสั่ง time ในตัวซึ่งมีความสำคัญเหนือกว่าคำสั่ง Gnu time

คุณสามารถใช้คำสั่ง type เพื่อตรวจสอบว่าเวลาเป็นไบนารีหรือคำหลักในตัว

type time

# Bash time is a shell keyword # Zsh time is a reserved word # GNU time (sh) time is /usr/bin/time

ในการใช้คำสั่ง Gnu time คุณต้องระบุพา ธ เต็มไปยังไบนารี่เวลาโดยทั่วไปคือ /usr/bin/time ใช้คำสั่ง env หรือใช้แบ็กสแลช \time ซึ่งป้องกันทั้งสองและบิวด์อิน

เวลา Gnu อนุญาตให้คุณจัดรูปแบบเอาต์พุตและให้ข้อมูลที่เป็นประโยชน์อื่น ๆ เช่นการเรียกใช้หน่วยความจำ I / O และ IPC

ใช้คำสั่งเวลา Linux

ในตัวอย่างต่อไปนี้เราจะวัดเวลาที่ใช้ในการดาวน์โหลดเคอร์เนล Linux โดยใช้เครื่องมือ wget:

time wget

สิ่งที่จะพิมพ์เป็นเอาต์พุตขึ้นอยู่กับเวอร์ชันของคำสั่ง time ที่คุณใช้:

# Bash real 0m33.961s user 0m0.340s sys 0m0.940s # Zsh 0.34s user 0.94s system 4% cpu 33.961 total # GNU time (sh) 0.34user 0.94system 0:33.96elapsed 4%CPU (0avgtext+0avgdata 6060maxresident)k 0inputs+201456outputs (0major+315minor)pagefaults 0swaps

• จริง หรือ ทั้งหมด หรือ ผ่านไป (เวลานาฬิกาแขวนผนัง) คือเวลาตั้งแต่เริ่มต้นจนสิ้นสุดการโทร เป็นเวลาจากช่วงเวลาที่คุณกดปุ่ม Enter จนกว่าช่วงเวลาที่คำสั่ง wget จะเสร็จสมบูรณ์ user - จำนวนเวลา CPU ที่ใช้ในโหมดผู้ใช้ ระบบ หรือ sys - จำนวนเวลา CPU ที่ใช้ในโหมดเคอร์เนล

ข้อสรุป

ถึงตอนนี้คุณควรมีความเข้าใจที่ดีเกี่ยวกับวิธีใช้คำสั่ง time หากคุณต้องการเรียนรู้เพิ่มเติมเกี่ยวกับคำสั่ง Gnu time ให้ไปที่หน้า man time

สถานีเวลา