在网上看到一个有趣的讨论，关于 x86 指令集是否应该消亡，对于分歧点，本文简单记录一下，作为吃瓜群众学到不少。

读到一篇动态内存分配优化的论文，HALO 与 jemalloc 相比，减少了 L1 data-cache miss 达 23%，总执行时间减少 28%，显著地提升了性能。

本文简单解读一下 该论文 《HALO: Post-Link Heap-Layout Optimisation》。

编译器本身是可能有 bug 的，会导致引入错误编译问题(miscompilation)，这对于安全要求高、容错率低的任务是很难接受的。

我们会希望编译器生成的代码，其语义与我们所写的源代码语义完全一致，不会被编译器误编译本身所影响，本文简单了解一下通过了形式化验证的编译器 CompCert，其保证了编译的正确性和语义一致性。

接上篇文章，outline 不仅仅是用作减少代码体积的优化技术，还可以用来优化性能，可以有 2% 左右的提升，本文简单介绍一下。

outline 可以作为优化代码体积的利器，大致可以优化 12%-37% 的大小，但也可能带来 2%-6% 的性能劣化，本文简单介绍一下这项优化技术。