第623页

Since program instructions are stored in memory and must be fetched(read) by the CPU, we can also evaluate the locality of a program with respect to its instruction fetches. ... for loop are executed in sequential memory order, and thus the loop enjoys good spatial locality. Since the loop body is executed multiple times, it also enjoys good temporal locality.