What Every Programmer Should Know About Memory

that the code pages are immutable, the L1i implementation
does not use the MESI protocol but instead a simplified
SI protocol. This means if modifications are detected
a lot of pessimistic assumptions have to be made.
It is highly advised to avoid SMC whenever possible.
Memory is not such a scarce resource anymore. It is
better to write separate functions instead of modifying
one function according to specific needs. Maybe one day
SMC support can be made optional and we can detect
exploit code trying to modify code this way. If SMC absolutely
has to be used, the write operations should bypass
the cache as to not create problems with data in L1d
needed in L1i. See section 6.1 for more information on
these instructions.
On Linux it is normally quite easy to recognize programs
which contain SMC. All program code is write-protected
when built with the regular toolchain. The programmer
has to perform significant magic at link time to create
an executable where the code pages are writable. When
this happens, modern Intel x86 and x86-64 processors
have dedicated performance counters which count uses
of self-modifying code. With the help of these counters it
is quite easily possible to recognize programs with SMC
even if the program will succeed due to relaxed permissions.
3.5 Cache Miss Factors
We have already seen that when memory accesses miss
the caches the costs skyrocket. Sometimes this is not
avoidable and it is important to understand the actual
costs and what can be done to mitigate the problem.
3.5.1 Cache and Memory Bandwidth
To get a better understanding of the capabilities of the
processors we measure the bandwidth available in optimal
circumstances. This measurement is especially interesting
since different processor versions vary widely.
This is why this section is filled with the data of several
different machines. The program to measure performance
uses the SSE instructions of the x86 and x86-64
processors to load or store 16 bytes at once. The working
set is increased from 1kB to 512MB just as in our other
tests and it is measured how many bytes per cycle can be
loaded or stored.
Figure 3.24 shows the performance on a 64-bit Intel Netburst
processor. For working set sizes which fit into L1d
the processor is able to read the full 16 bytes per cycle,
i.e., one load instruction is performed per cycle (the
movaps instruction moves 16 bytes at once). The test
does not do anything with the read data, we test only the
read instructions themselves. As soon as the L1d is not
sufficient anymore the performance goes down dramatically
to less than 6 bytes per cycle. The step at 2 18 bytes
is due to the exhaustion of the DTLB cache which means
additional work for each new page. Since the reading
Bytes/Cycles
Bytes/Cycles
Bytes/Cycles
16
14
12
10
8
6
4
2
0
16
14
12
10
2 10 2 13 2 16 2 19 2 22 2 25 2 28
Working Set Size (Bytes)
8
6
4
2
0
Read Write Copy
Figure 3.24: Pentium 4 Bandwidth
2 10 2 13 2 16 2 19 2 22 2 25 2 28
Working Set Size (Bytes)
Read Write Copy
Figure 3.25: P4 Bandwidth with 2 Hyper-Threads
16
14
12
10
8
6
4
2
0
2 10 2 13 2 16 2 19 2 22 2 25 2 28
Working Set Size (Bytes)
Read Write Copy
Figure 3.26: Core 2 Bandwidth
32 Version 1.0 What Every Programmer Should Know About Memory