/ Recent blog posts on inasayang's blog Hugo (https://gohugo.io) zh-cn xiayangzzw@gmail.com (inasayang) xiayangzzw@gmail.com (inasayang) Tue, 15 Apr 2025 00:00:00 Z /posts/250415_ltothinlto/ Tue, 15 Apr 2025 00:00:00 Z xiayangzzw@gmail.com (inasayang) <h2 id="lto-link-time-optimization" > <div> <a href="#lto-link-time-optimization"> # </a> LTO (Link Time Optimization) </div> </h2> <p>链接时优化是一种编译器优化技术，它在程序的链接阶段而非传统的编译阶段执行代码优化。</p> <h3 id="lto-的工作原理" > <div> <a href="#lto-%e7%9a%84%e5%b7%a5%e4%bd%9c%e5%8e%9f%e7%90%86"> ## </a> LTO 的工作原理 </div> </h3> <ol> <li><strong>编译阶段</strong>：编译器在编译单个源文件时，不仅生成机器代码，还保存中间表示（IR，Intermediate Representation）到目标文件中</li> <li><strong>链接阶段</strong>：链接器收集所有模块的IR，将它们合并为一个统一的程序表示</li> <li><strong>全局优化</strong>：对整个程序执行优化，基于对所有代码的完整视图</li> </ol> <h3 id="lto-的主要优势" > <div> <a href="#lto-%e7%9a%84%e4%b8%bb%e8%a6%81%e4%bc%98%e5%8a%bf"> ## </a> LTO 的主要优势 </div> </h3> <ul> <li><strong>跨模块优化</strong>：可以进行跨越多个源文件的优化</li> <li><strong>内联函数</strong>：更强大的函数内联能力，包括跨编译单元边界</li> <li><strong>死代码消除</strong>：更有效地移除未使用的代码</li> <li><strong>更精确的别名分析</strong>：改进指针分析和内存访问优化</li> <li><strong>代码大小减少</strong>：通过移除不必要的代码减小二进制大小</li> </ul> <h3 id="lto-的缺点" > <div> <a href="#lto-%e7%9a%84%e7%bc%ba%e7%82%b9"> ## </a> LTO 的缺点 </div> </h3> <ul> <li><strong>内存消耗大</strong>：处理大型程序时需要大量内存</li> <li><strong>编译时间长</strong>：链接过程变得更加复杂和耗时</li> </ul> <h2 id="thin-lto-轻量级链接时优化" > <div> <a href="#thin-lto-%e8%bd%bb%e9%87%8f%e7%ba%a7%e9%93%be%e6%8e%a5%e6%97%b6%e4%bc%98%e5%8c%96"> # </a> Thin LTO (轻量级链接时优化) </div> </h2> <p>Thin LTO 是 LLVM 编译器基础设施引入的 LTO 变种，旨在解决传统 LTO 的性能和扩展性问题。</p> <h3 id="thin-lto-的工作原理" > <div> <a href="#thin-lto-%e7%9a%84%e5%b7%a5%e4%bd%9c%e5%8e%9f%e7%90%86"> ## </a> Thin LTO 的工作原理 </div> </h3> <ol> <li><strong>索引生成</strong>：每个目标文件都独立生成索引，包含符号和引用信息</li> <li><strong>并行优化</strong>：基于索引信息，将全局优化工作分解成多个可并行执行的任务</li> <li><strong>模块级优化</strong>：在各个模块上并行执行优化，而不是合并所有IR</li> </ol> <h3 id="thin-lto-的主要优势" > <div> <a href="#thin-lto-%e7%9a%84%e4%b8%bb%e8%a6%81%e4%bc%98%e5%8a%bf"> ## </a> Thin LTO 的主要优势 </div> </h3> <ul> <li><strong>减少内存使用</strong>：不需要加载整个程序的IR到内存</li> <li><strong>并行编译</strong>：通过并行化加速编译过程</li> <li><strong>增量编译支持</strong>：更好地支持增量构建</li> <li><strong>保留大部分传统LTO的优化效果</strong>：仍能执行跨模块优化</li> </ul> <table> <thead> <tr> <th>特性</th> <th>LTO</th> <th>Thin LTO</th> </tr> </thead> <tbody> <tr> <td>优化效果</td> <td>最大化</td> <td>接近LTO但略低</td> </tr> <tr> <td>内存使用</td> <td>高</td> <td>中等</td> </tr> <tr> <td>编译速度</td> <td>慢</td> <td>快（尤其在多核系统）</td> </tr> <tr> <td>并行度</td> <td>有限</td> <td>高</td> </tr> <tr> <td>适用场景</td> <td>最终发布构建</td> <td>日常开发和发布</td> </tr> </tbody> </table> <h2 id="rust-中使用" > <div> <a href="#rust-%e4%b8%ad%e4%bd%bf%e7%94%a8"> # </a> Rust 中使用 </div> </h2> <div class="highlight"><pre tabindex="0" style="color:#c6d0f5;background-color:#303446;-moz-tab-size:4;-o-tab-size:4;tab-size:4;-webkit-text-size-adjust:none;"><code class="language-toml" data-lang="toml"><span style="display:flex;"><span>[profile.release] </span></span><span style="display:flex;"><span><span style="color:#737994;font-style:italic"># lto = &#34;off&#34;</span> </span></span><span style="display:flex;"><span><span style="color:#737994;font-style:italic"># lto = &#34;fat&#34; </span> </span></span><span style="display:flex;"><span><span style="color:#737994;font-style:italic"># lto = &#34;thin&#34;</span> </span></span></code></pre></div><p>LTO 通常与其他优化标志一起使用。</p> rust llvm compile /posts/250415_ltothinlto/