首页
/ 探索安全的内存管理:Shifgrethor

探索安全的内存管理:Shifgrethor

2024-05-21 13:45:15作者:仰钰奇

Shifgrethor 是什么?

Shifgrethor 是一个创新性的实验性项目,旨在为 Rust 提供一种精确且安全的垃圾收集(GC)API。这个库的宗旨是保证在使用 GC 的过程中依然能够保持 Rust 原有的所有安全性保证,防止各种内存错误的发生。

如何访问数据?

与传统的 GC API 不同,Shifgrethor 允许直接对托管堆中的对象进行引用。这包括:

  1. GC 对象可以拥有非托管堆分配的数据,并在这些对象被回收时自动释放。
  2. GC 对象可持有栈引用,确保在栈上的数据超出作用域后在安全代码中无法读取。
  3. 可以在堆或栈上存储指向 GC 对象的指针。

更令人惊讶的是,这些组合可以相互关联,如 GC 对象可以拥有指向栈上的引用向量,该向量又包含其他 GC 对象。

关于 Shifgrethor 的垃圾收集

Shifgrethor 实现了一个简单的标记-清除垃圾收集器,但这并不是其重点。它的设计目标是为了提供一个适用于高效、并发、精确的追踪垃圾收集器的 API。尽管当前实现不支持线程安全,但 API 理论上可适应这一需求,并且能用于支持移动 GC 的情况,只要它们提供了适当的固定机制。

项目状态与未来应用

目前,Shifgrethor 处于研发阶段,可能存在重大问题,不适合实际生产环境。但如果你对探索新的内存管理技术感兴趣,欢迎参与和试验。

名称由来

"Shifgrethor" 来自乌苏拉·K·勒古恩的小说《黑暗左手》中的词汇,代表着一种心灵感应的能力,暗示了该项目想要实现内存管理的新维度。

Shifgrethor 如何工作?

Shifgrethor 使用根跟踪算法,通过跟踪从非托管内存到托管内存的引用(称为“根”),找出所有仍然可以通过这些根访问的对象。根使用侵入式集合跟踪,借助 Rust 的固定 API 保证根在确定的栈顺序中被释放。

  • 扎根(Rooting): 利用宏 letroot! 创建根,根携带生命周期 'root,与创建它的作用域相同。Gc 指针表示已扎根的数据,其生命周期与创建它的根一致。

  • 追踪(Tracing): 需要定义如何通过类型追踪到其他对象。类型需要实现特定的追踪trait,并使用衍生访问器保证安全接口。

此外,Shifgrethor 限制了在析构函数中直接操作 GC 数据,而是提供了一个安全的最终化方法 finalize(),仅允许无 GC 引用的情况执行清理。

总的来说,Shifgrethor 尝试为 Rust 社区提供一种全新的思考方式,以解决复杂的内存管理和安全问题,让开发者能够在享受 GC 带来的便利的同时,依旧保持 Rust 的内存安全性。

现在,是你探索 Shifgrethor 的绝佳时机,一同发掘它在内存管理领域的潜力,为未来的技术进步贡献力量!

热门项目推荐

项目优选

收起
MateChatMateChat
前端智能化场景解决方案UI库,轻松构建你的AI应用,我们将持续完善更新,欢迎你的使用与建议。 官网地址:https://matechat.gitcode.com
383
36
Python-100-DaysPython-100-Days
Python - 100天从新手到大师
Python
611
115
Cangjie-ExamplesCangjie-Examples
本仓将收集和展示高质量的仓颉示例代码,欢迎大家投稿,让全世界看到您的妙趣设计,也让更多人通过您的编码理解和喜爱仓颉语言。
Cangjie
205
58
Ffit-framework
FIT: 企业级AI开发框架,提供多语言函数引擎(FIT)、流式编排引擎(WaterFlow)及Java生态的LangChain替代方案(FEL)。原生/Spring双模运行,支持插件热插拔与智能聚散部署,无缝统一大模型与业务系统。
Java
113
13
RuoYi-Cloud-Vue3RuoYi-Cloud-Vue3
🎉 基于Spring Boot、Spring Cloud & Alibaba、Vue3 & Vite、Element Plus的分布式前后端分离微服务架构权限管理系统
Vue
45
29
cjoycjoy
a fast,lightweight and joy web framework
Cangjie
11
2
HarmonyOS-ExamplesHarmonyOS-Examples
本仓将收集和展示仓颉鸿蒙应用示例代码,欢迎大家投稿,在仓颉鸿蒙社区展现你的妙趣设计!
Cangjie
286
79
hertzhertz
Go 微服务 HTTP 框架,具有高易用性、高性能、高扩展性等特点。
Go
7
1
openHiTLSopenHiTLS
旨在打造算法先进、性能卓越、高效敏捷、安全可靠的密码套件,通过轻量级、可剪裁的软件技术架构满足各行业不同场景的多样化要求,让密码技术应用更简单,同时探索后量子等先进算法创新实践,构建密码前沿技术底座!
C
60
48
open-eBackupopen-eBackup
open-eBackup是一款开源备份软件,采用集群高扩展架构,通过应用备份通用框架、并行备份等技术,为主流数据库、虚拟化、文件系统、大数据等应用提供E2E的数据备份、恢复等能力,帮助用户实现关键数据高效保护。
HTML
90
65