推理 INFRA 方法论（0）：Roofline：用算力与带宽建立性能预算

从算术强度、硬件转折点和实际 HBM 流量出发，判断 GEMM 与 Attention 的瓶颈，并区分量化、合批和融合的适用条件。