[EDIT: check out that add to and correct a lot of the following] the awesome comments on reddit Open up a terminal. Run ‘ ’. You’ll be told that “ ”. Now run ‘ and you’ll see ‘ ’, which looks like a path to a binary. Are they the same thing? . In fact, one of them can give you a whole lot of interesting information that the other can’t. type time time is a shell keyword which time’ /usr/bin/time Nope Try ‘man time’. Huh, did you know had options? time You’ll see different options on Linux, by the way, but it has the same basic functionality I have very little idea what those mean, but they probably won’t wipe my bootleg Hamilton shakycam recording in , so let’s try one of them out: ~/Downloads I was expecting something more exciting. Let’s read over that man page a little more carefully: Aha, maybe this is just a bash thing. Let’s try zsh, which based on the number of stars on GitHub looks to be more . web scale They actually have pretty top-notch night vision No dice! Last try: fish, the single-origin fixed-gear shell of choice. Gee willikers, that sure is a lot of information. So, the ‘ ’ I’ve been using all these years hasn’t actually been the one described in the man pages. I wonder why bash and zsh have time as a builtin? But before I dive into that, let’s look at what ‘ ’ can tell us. time command time -l The for getrusage (a system call) has detailed descriptions of every bit of the output from ‘ ’. E.g. man page time -l the number of times the file system had to perform input ru _ inblock: When I read in a 410KiB PDF: It does one “block input operation”, so it read the whole thing in one go from my SSD. I tried it with a 120MB JSON file, and it also did it in one operation. Interesting. How about voluntary context switches? the number of times a context switch resulted due to a process voluntarily giving up the processor before its time slice was completed (usually to await availability of a resource). Okay, so that’s when tries to read a file from disk, but is told by the kernel to wait, either because the disk is being used by someone else, or it’s still trying to perform its operation (e.g. if the process is consuming the input faster than the disk can spit it out). wc That doesn’t happen at all with the small PDF, but happens thrice in the case of the 120MB JSON file. The “resident set size” that headlines the stats we get back from , but you can think of it as a measure of how much memory the process used at its peak, in bytes. time is complicated There’s barely any difference in memory usage between running on a big file or a small one, in case you were wondering. Which makes sense, because the only thing that needs to keep in its head while it’s streaming in a file is a few small counters (characters, lines, etc.), along with whichever part of the file is in its buffer. wc wc In any case, there you have it. is not the you thought it was, and if you want to get an idea of how your program is doing IO, or how much memory it’s using, try . time time /usr/bin/time -l
