“a missing principle is making attention algorithms IO-aware—accounting for reads and writes between levels of GPU memory”

IO-awareness had existed as a concept in HPC for decades before FlashAttention applied it to transformers. The contribution is recognizing that attention's bottleneck is memory bandwidth, not arithmetic — a non-obvious insight given that attention is presented as an O(n²) compute problem. This reframing changed how researchers think about transformer optimization: FLOP counts are irrelevant if you're memory-bound, which most inference workloads are.

“Approximate attention methods have attempted to address this problem by trading off model quality to reduce the compute complexity, but often do not achieve wall-clock speedup.”

This is a damning empirical observation about a major research subfield. Linear attention, sparse attention, and Longformer had all reduced asymptotic complexity without actually making transformers faster in practice. The gap between theoretical complexity and wall-clock speed reflects the same IO-blindness FlashAttention identifies. Entire research programs were measuring the wrong thing — FLOP reduction without memory access reduction produces no practical benefit.

“even with the increased FLOPs due to recomputation, our algorithm both runs faster and uses less memory—linear in sequence length”

The recomputation trade-off here is counterintuitive: FlashAttention voluntarily discards intermediate attention matrices and recomputes them during the backward pass, which increases total FLOPs but decreases memory — and is still faster overall. This is only possible because compute on GPUs is cheap relative to memory transfer. The result inverts the usual optimization intuition: burning more operations to avoid memory round-trips is the right call.

“most operations in Transformers are bottlenecked by memory accesses”

This claim generalizes well beyond attention: LayerNorm, softmax, dropout, and element-wise operations are all memory-bound on modern GPUs. The hardware reality is that arithmetic units sit idle waiting for data — not because of poor scheduling but because memory bandwidth hasn't kept pace with compute scaling. FlashAttention's IO-awareness lens, applied consistently, suggests most transformer optimization research has been solving the wrong problem.