<?xml version="1.0" encoding="UTF-8"?>
<rss version="2.0" xmlns:atom="http://www.w3.org/2005/Atom" xmlns:dc="http://purl.org/dc/elements/1.1/">
  <channel>
    <title>DEV Community: Aparna Mane</title>
    <description>The latest articles on DEV Community by Aparna Mane (@aparna_mane_c80cedbf8bfa2).</description>
    <link>https://dev.to/aparna_mane_c80cedbf8bfa2</link>
    <image>
      <url>https://media2.dev.to/dynamic/image/width=90,height=90,fit=cover,gravity=auto,format=auto/https:%2F%2Fthepracticaldev.s3.amazonaws.com%2Fi%2F99mvlsfu5tfj9m7ku25d.png</url>
      <title>DEV Community: Aparna Mane</title>
      <link>https://dev.to/aparna_mane_c80cedbf8bfa2</link>
    </image>
    <atom:link rel="self" type="application/rss+xml" href="https://dev.to/feed/aparna_mane_c80cedbf8bfa2"/>
    <language>en</language>
    <item>
      <title>Same Big O, Different Speed: The Impact of CPU Cache Locality</title>
      <dc:creator>Aparna Mane</dc:creator>
      <pubDate>Mon, 02 Nov 2026 09:31:51 +0000</pubDate>
      <link>https://dev.to/aparna_mane_c80cedbf8bfa2/same-big-o-different-speed-the-impact-of-cpu-cache-locality-3if</link>
      <guid>https://dev.to/aparna_mane_c80cedbf8bfa2/same-big-o-different-speed-the-impact-of-cpu-cache-locality-3if</guid>
      <description>&lt;p&gt;We often use Big O notation to reason about algorithm efficiency.&lt;/p&gt;

&lt;p&gt;But here's something interesting: Two implementations of the exact same O(n³) algorithm can have drastically different execution times.&lt;/p&gt;

&lt;p&gt;The reason? Memory access patterns.&lt;/p&gt;

&lt;p&gt;Let's look at matrix multiplication.&lt;/p&gt;

&lt;p&gt;The two implementations&lt;/p&gt;

&lt;p&gt;Both implementations perform the same matrix multiplication:&lt;/p&gt;

&lt;p&gt;[&lt;br&gt;
C[i][j] += A[i][k] \times B[k][j]&lt;br&gt;
]&lt;/p&gt;

&lt;p&gt;They perform the same asymptotic amount of work. The only difference is the order of the loops.&lt;/p&gt;

&lt;ol&gt;
&lt;li&gt;Column-wise access
&lt;/li&gt;
&lt;/ol&gt;

&lt;div class="highlight js-code-highlight"&gt;
&lt;pre class="highlight c"&gt;&lt;code&gt;&lt;span class="c1"&gt;// Walk down columns of B&lt;/span&gt;
&lt;span class="k"&gt;for&lt;/span&gt; &lt;span class="p"&gt;(&lt;/span&gt;&lt;span class="kt"&gt;int&lt;/span&gt; &lt;span class="n"&gt;i&lt;/span&gt; &lt;span class="o"&gt;=&lt;/span&gt; &lt;span class="mi"&gt;0&lt;/span&gt;&lt;span class="p"&gt;;&lt;/span&gt; &lt;span class="n"&gt;i&lt;/span&gt; &lt;span class="o"&gt;&amp;lt;&lt;/span&gt; &lt;span class="n"&gt;n&lt;/span&gt;&lt;span class="p"&gt;;&lt;/span&gt; &lt;span class="o"&gt;++&lt;/span&gt;&lt;span class="n"&gt;i&lt;/span&gt;&lt;span class="p"&gt;)&lt;/span&gt;
    &lt;span class="k"&gt;for&lt;/span&gt; &lt;span class="p"&gt;(&lt;/span&gt;&lt;span class="kt"&gt;int&lt;/span&gt; &lt;span class="n"&gt;j&lt;/span&gt; &lt;span class="o"&gt;=&lt;/span&gt; &lt;span class="mi"&gt;0&lt;/span&gt;&lt;span class="p"&gt;;&lt;/span&gt; &lt;span class="n"&gt;j&lt;/span&gt; &lt;span class="o"&gt;&amp;lt;&lt;/span&gt; &lt;span class="n"&gt;n&lt;/span&gt;&lt;span class="p"&gt;;&lt;/span&gt; &lt;span class="o"&gt;++&lt;/span&gt;&lt;span class="n"&gt;j&lt;/span&gt;&lt;span class="p"&gt;)&lt;/span&gt;
        &lt;span class="k"&gt;for&lt;/span&gt; &lt;span class="p"&gt;(&lt;/span&gt;&lt;span class="kt"&gt;int&lt;/span&gt; &lt;span class="n"&gt;k&lt;/span&gt; &lt;span class="o"&gt;=&lt;/span&gt; &lt;span class="mi"&gt;0&lt;/span&gt;&lt;span class="p"&gt;;&lt;/span&gt; &lt;span class="n"&gt;k&lt;/span&gt; &lt;span class="o"&gt;&amp;lt;&lt;/span&gt; &lt;span class="n"&gt;n&lt;/span&gt;&lt;span class="p"&gt;;&lt;/span&gt; &lt;span class="o"&gt;++&lt;/span&gt;&lt;span class="n"&gt;k&lt;/span&gt;&lt;span class="p"&gt;)&lt;/span&gt;
            &lt;span class="n"&gt;C&lt;/span&gt;&lt;span class="p"&gt;[&lt;/span&gt;&lt;span class="n"&gt;i&lt;/span&gt;&lt;span class="p"&gt;][&lt;/span&gt;&lt;span class="n"&gt;j&lt;/span&gt;&lt;span class="p"&gt;]&lt;/span&gt; &lt;span class="o"&gt;+=&lt;/span&gt; &lt;span class="n"&gt;A&lt;/span&gt;&lt;span class="p"&gt;[&lt;/span&gt;&lt;span class="n"&gt;i&lt;/span&gt;&lt;span class="p"&gt;][&lt;/span&gt;&lt;span class="n"&gt;k&lt;/span&gt;&lt;span class="p"&gt;]&lt;/span&gt; &lt;span class="o"&gt;*&lt;/span&gt; &lt;span class="n"&gt;B&lt;/span&gt;&lt;span class="p"&gt;[&lt;/span&gt;&lt;span class="n"&gt;k&lt;/span&gt;&lt;span class="p"&gt;][&lt;/span&gt;&lt;span class="n"&gt;j&lt;/span&gt;&lt;span class="p"&gt;];&lt;/span&gt;
&lt;/code&gt;&lt;/pre&gt;

&lt;/div&gt;



&lt;p&gt;Notice B[k][j].&lt;/p&gt;

&lt;p&gt;As k increments, we move down a column of B.&lt;/p&gt;

&lt;p&gt;In C++, 2D arrays are typically stored in row-major order. This means elements of the same row are stored contiguously in memory.&lt;/p&gt;

&lt;p&gt;Accessing a column therefore means jumping across memory with a stride of n * sizeof(int).&lt;/p&gt;

&lt;p&gt;This leads to poor cache locality.&lt;/p&gt;

&lt;ol&gt;
&lt;li&gt;Row-wise access
&lt;/li&gt;
&lt;/ol&gt;

&lt;div class="highlight js-code-highlight"&gt;
&lt;pre class="highlight c"&gt;&lt;code&gt;&lt;span class="c1"&gt;// Walk along rows of B&lt;/span&gt;
&lt;span class="k"&gt;for&lt;/span&gt; &lt;span class="p"&gt;(&lt;/span&gt;&lt;span class="kt"&gt;int&lt;/span&gt; &lt;span class="n"&gt;i&lt;/span&gt; &lt;span class="o"&gt;=&lt;/span&gt; &lt;span class="mi"&gt;0&lt;/span&gt;&lt;span class="p"&gt;;&lt;/span&gt; &lt;span class="n"&gt;i&lt;/span&gt; &lt;span class="o"&gt;&amp;lt;&lt;/span&gt; &lt;span class="n"&gt;n&lt;/span&gt;&lt;span class="p"&gt;;&lt;/span&gt; &lt;span class="o"&gt;++&lt;/span&gt;&lt;span class="n"&gt;i&lt;/span&gt;&lt;span class="p"&gt;)&lt;/span&gt;
    &lt;span class="k"&gt;for&lt;/span&gt; &lt;span class="p"&gt;(&lt;/span&gt;&lt;span class="kt"&gt;int&lt;/span&gt; &lt;span class="n"&gt;k&lt;/span&gt; &lt;span class="o"&gt;=&lt;/span&gt; &lt;span class="mi"&gt;0&lt;/span&gt;&lt;span class="p"&gt;;&lt;/span&gt; &lt;span class="n"&gt;k&lt;/span&gt; &lt;span class="o"&gt;&amp;lt;&lt;/span&gt; &lt;span class="n"&gt;n&lt;/span&gt;&lt;span class="p"&gt;;&lt;/span&gt; &lt;span class="o"&gt;++&lt;/span&gt;&lt;span class="n"&gt;k&lt;/span&gt;&lt;span class="p"&gt;)&lt;/span&gt;
        &lt;span class="k"&gt;for&lt;/span&gt; &lt;span class="p"&gt;(&lt;/span&gt;&lt;span class="kt"&gt;int&lt;/span&gt; &lt;span class="n"&gt;j&lt;/span&gt; &lt;span class="o"&gt;=&lt;/span&gt; &lt;span class="mi"&gt;0&lt;/span&gt;&lt;span class="p"&gt;;&lt;/span&gt; &lt;span class="n"&gt;j&lt;/span&gt; &lt;span class="o"&gt;&amp;lt;&lt;/span&gt; &lt;span class="n"&gt;n&lt;/span&gt;&lt;span class="p"&gt;;&lt;/span&gt; &lt;span class="o"&gt;++&lt;/span&gt;&lt;span class="n"&gt;j&lt;/span&gt;&lt;span class="p"&gt;)&lt;/span&gt;
            &lt;span class="n"&gt;C&lt;/span&gt;&lt;span class="p"&gt;[&lt;/span&gt;&lt;span class="n"&gt;i&lt;/span&gt;&lt;span class="p"&gt;][&lt;/span&gt;&lt;span class="n"&gt;j&lt;/span&gt;&lt;span class="p"&gt;]&lt;/span&gt; &lt;span class="o"&gt;+=&lt;/span&gt; &lt;span class="n"&gt;A&lt;/span&gt;&lt;span class="p"&gt;[&lt;/span&gt;&lt;span class="n"&gt;i&lt;/span&gt;&lt;span class="p"&gt;][&lt;/span&gt;&lt;span class="n"&gt;k&lt;/span&gt;&lt;span class="p"&gt;]&lt;/span&gt; &lt;span class="o"&gt;*&lt;/span&gt; &lt;span class="n"&gt;B&lt;/span&gt;&lt;span class="p"&gt;[&lt;/span&gt;&lt;span class="n"&gt;k&lt;/span&gt;&lt;span class="p"&gt;][&lt;/span&gt;&lt;span class="n"&gt;j&lt;/span&gt;&lt;span class="p"&gt;];&lt;/span&gt;
&lt;/code&gt;&lt;/pre&gt;

&lt;/div&gt;



&lt;p&gt;Now notice B[k][j].&lt;/p&gt;

&lt;p&gt;As j increments, we move across a row of B, accessing contiguous memory locations.&lt;/p&gt;

&lt;p&gt;This is much more cache-friendly.&lt;/p&gt;

&lt;p&gt;Why does this make such a big difference?&lt;/p&gt;

&lt;p&gt;This is where CPU caches come into play.&lt;/p&gt;

&lt;p&gt;Modern CPUs have multiple levels of cache:&lt;/p&gt;

&lt;p&gt;L1 → L2 → L3 → Main Memory (RAM)&lt;/p&gt;

&lt;p&gt;L1 is the smallest and fastest. RAM is much slower.&lt;/p&gt;

&lt;p&gt;When the CPU accesses memory, it fetches data in blocks called cache lines, typically 64 bytes on modern x86 CPUs.&lt;/p&gt;

&lt;p&gt;Assuming 4-byte integers, one cache line can hold 16 consecutive integers.&lt;/p&gt;

&lt;p&gt;Consider what happens in each implementation:&lt;/p&gt;

&lt;p&gt;Column-wise access:&lt;/p&gt;

&lt;p&gt;The CPU accesses B[0][0], then B[1][0], then B[2][0].&lt;/p&gt;

&lt;p&gt;Each access jumps to another row, potentially loading a new cache line.&lt;/p&gt;

&lt;p&gt;We may use only one integer from each fetched cache line.&lt;/p&gt;

&lt;p&gt;Much of the fetched data goes unused, resulting in poor spatial locality and more cache misses.&lt;/p&gt;

&lt;p&gt;Row-wise access:&lt;/p&gt;

&lt;p&gt;The CPU accesses B[0][0], B[0][1], B[0][2], and so on.&lt;/p&gt;

&lt;p&gt;One 64-byte cache-line fetch can provide multiple consecutive integers.&lt;/p&gt;

&lt;p&gt;Those values are accessed while they are still in cache.&lt;/p&gt;

&lt;p&gt;This makes much better use of each cache-line fetch.&lt;/p&gt;

&lt;p&gt;There's another benefit: A[i][k] remains constant while the inner loop runs, so the same value is reused across multiple calculations.&lt;/p&gt;

&lt;p&gt;The takeaway&lt;/p&gt;

&lt;p&gt;Both implementations are O(n³).&lt;/p&gt;

&lt;p&gt;Neither reduces the number of multiplication or addition operations.&lt;/p&gt;

&lt;p&gt;The difference is how efficiently they use the hardware.&lt;/p&gt;

&lt;p&gt;The speedup comes from better memory access patterns, not from reducing the operation count.&lt;/p&gt;

&lt;p&gt;Big O tells us how an algorithm scales as input grows. It doesn't tell us how efficiently that algorithm interacts with the CPU cache, memory hierarchy, or actual hardware.&lt;/p&gt;

&lt;p&gt;That's why understanding cache locality matters when writing performance-critical code.&lt;/p&gt;

&lt;p&gt;Sometimes, optimizing an algorithm isn't about doing less work. It's about making the hardware do the same work more efficiently.&lt;/p&gt;

</description>
      <category>cpp</category>
      <category>performance</category>
      <category>computerscience</category>
      <category>systemdesign</category>
    </item>
  </channel>
</rss>
