Performance measurement and tuning
What real, user and sys actually measure, why the time you type is not /usr/bin/time, and how to capture a timing into a file instead of the terminal.