He definitely does. For an example, look at fascile 1 for Volume 1 of TAOCP (his new, improved assembly language for the books). https://www-cs-faculty.stanfor

He definitely does. For an example, look at fascile 1 for Volume 1 of TAOCP (his new, improved assembly language for the books). https://www-cs-faculty.stanford.edu/~knuth/mmix.html https://www-cs-faculty.stanford.edu/~knuth/mmix.html He talks about measuring costs in this ASM, and he mentions that it's both cpu and mems that he measures, which is something I'd never seen before in algorithmic analysis (but which of course makes perfect sense given the large discrepancies in speed between them).