热门标签：
Mac 多显示器 显示器扩展 requests patch 并发 Alpine Linux BSD Linux 电动汽车 全部标签

Go语言的内存安全：线程安全缺失引发的隐患

2025-07-25

本文探讨了Go语言内存安全性的误区。作者指出，单纯的内存安全（例如避免越界访问）不足以保证程序的健壮性，真正的安全在于避免未定义行为（UB）。文章通过一个Go程序的例子说明，即使没有使用`unsafe`操作，数据竞争也可能导致未定义行为，从而引发程序崩溃。作者认为，Go语言对数据竞争的处理方式不够严格，与其声称的内存安全相悖，这使得Go程序更容易受到安全漏洞的攻击。文章最后总结，语言的安全级别并非二元对立，但清晰地认识到语言提供的安全保证以及权衡取舍之处至关重要。

阅读更多
(www.ralfj.de)
开发 数据竞争

指针的复杂性：LLVM 优化器中的细微错误

2025-02-02

本文探讨了编译器中间表示 (IR) 的精确语义的重要性，特别是对于像 C、C++ 和 Rust 这样的允许不安全指针操作的语言。作者通过三个看似合理的 LLVM 编译器优化步骤，展示了如何导致最终程序行为与初始程序行为不一致的错误。问题的根源在于指针的“出处”（provenance），即指针不仅仅是内存地址，还包含其计算方式的信息。这需要更精确的 LLVM IR 规范，包括未定义行为 (UB) 的精确定义。作者认为，将编译器 IR 视为独立的编程语言，并对其进行严格规范，是解决此类问题的关键。

阅读更多
(www.ralfj.de)
开发 指针语义