memory-safety

这篇文章讨论了一个雄心勃勃的项目，旨在复兴Vale编程语言并创建一种名为Valen的新语言，目标是实现与Rust的无缝集成，以支持跨语言泛型和内存安全。

Ubuntu 26.10 已完成迁移至基于 Rust 的核心工具，解决了之前的安全问题并增强了内存安全性，且用户功能无变化。

本文讨论了三种编程语言特性：用于在Crystal和TypeScript等静态语言中实现动态感觉的流类型、用于确保Rust内存安全的借用检查，以及用于D语言中不变性检查的契约编程。

本文探讨了静态分配策略，以防止释放后使用、类型混淆等内存安全问题，讨论了对象池和代际索引，并介绍了来自TigerStyle的技巧，以在初始化后避免动态内存分配。

Zig 的开发日志介绍了 ArrayLists 的指针稳定性，以防止在重新分配过程中因指针失效而导致的内存安全错误。

本文探讨编程语言语义及其在内存安全中的关键作用，以教育背景解释操作语义、指称语义和公理语义方法。

本文介绍了一种零开销、多厂商的 GPU 编译框架，该框架内置于 Rust 编译器中，利用 Rust 的所有权模型确保内存安全，并实现与原生 CUDA 和 HIP 基准相媲美的性能。

本文探讨了C++社区内部关于ABI破坏和内存安全性的冲突，同时涉及政府警告以及大型科技公司转向Rust的趋势。

本文评估了2026年的‘Rewrite It In Rust’运动，讨论了现实世界中的性能提升、诸如新错误和平台支持等挑战，并提倡增量重写而非完全重写。

作者主张一种讲 Fil-C ABI 的 Rust FFI，使其能够与重新编译的 C/C++ 库安全互操作，并呼吁 Rust、Fil-C、Zig 和 Nix/filnix 社区之间进行跨生态协作。

David Chisnall 介绍了 CHERI，一种硬件能力架构，通过 ARM Morello、RISC-V 和 CHERIoT 微控制器等 ISA 扩展实现内存安全和细粒度隔离。该演讲强调了实用编程模型对于安全隔离的重要性。

文章讨论了最近通过 Fil-C 提出的 Zig 内存安全方案，比较了 Fil-C 与 Rust 对内存安全的定义，并主张内存安全是一个具有实用定义的频谱，同时使用了一个 Fil-C 仍然不安全的具体示例。

SCI Semiconductor 宣布首款基于CHERIoT的硅实现，CHERIoT是一种基于RISC-V的安全架构，提供确定性的内存安全性和隔离性。ICENI芯片运行频率高达250 MHz，将在Embedded World上展示。

英特尔强调其控制流强制技术（CET）如何阻止对FreeBSD中一个存在17年的远程代码执行漏洞的利用，该漏洞由Anthropic的AI系统Mythos自主发现并利用。

C++26 引入了减少未定义行为的更改，特别是使删除指向不完整类型的指针成为格式错误，从而提高了程序安全性。

本文讨论了将C/C++项目迁移到Rust的策略，强调增量迁移而非全面重写，并引用了Luca Palmieri和JetBrains的见解。

本文批评了编程语言辩论中的内存安全绝对主义，认为像 Fil-C 这样的新方法也有权衡，而将 Rust 视为不安全忽略了实际好处。

Fil-C 是一个完全内存安全的 C/C++ 实现，通过 LLVM IR 阶段的不可见能力（invisicaps）将指针值与边界信息捆绑，实现高兼容性，性能损失约 4 倍。

描述了 Fil-C 的 InvisiCaps 能力模型，该模型通过跟踪指针权限来确保 C 和 C++ 的内存安全，同时追求极致的兼容性和合理的性能。

本文介绍了一种针对 Morello 能力硬件架构修改的 Rust 编译器，通过利用硬件能力，实现即使在非安全代码中也始终在线内存安全。