We have terms and languages to express computational complexity, algorithms, temporal logic etc.

But what about data logistics and CPU mechanics?

How good are we at expressing things like memory fragmentation, cache locality, throughput and latency of operations etc? All of these things affect how the machine operates in very real ways, to a degree that often trumps the higher level mathematical concepts above.

I only ever see these things explained in high-level, heuristic terms, observed as a black box or spelled out literally as code.

Is there a language based on how the CPU and memory work that I'm not aware of?