文件名称:micro-mitten:您可能不需要垃圾收集器
文件大小:110KB
文件格式:ZIP
更新时间:2024-04-07 21:08:32
compilers memory-management data-flow-analysis compile-time-garbage-collection Rust
micro-mitten 金属太热了吗?戴手套! micro-mitten micro-mitten是一种类似于Rust的基本编程语言,其目的是简化控制流结构和类型系统。 像Rust一样, micro-mitten提供了一种静态的内存管理方法。但是, micro-mitten的方法与Rust的方法明显不同。 micro-mitten依赖单一所有权和复杂的生存期系统,而是使用一系列数据流分析来静态地估算堆的活动性。这意味着它保持了在适当的程序点插入释放代码的能力,而不会限制您编写代码的方式。该论文背后的理论已在(Proust 2017)。 长话短说,这是尝试看看我们是否真的可以进行无限制的编译时垃圾回收。 我该如何使用?! 该项目取决于libgc和LLVM-8工具链。克隆此存储库并运行以下内容应该可以使您使用mmtnc ( micro-mitten编译器)的工作副本进行mmtnc 。 .
【文件预览】:
micro-mitten-master
----.gitignore(101B)
----src()
--------pp.rs(2KB)
--------rt()
--------ty.rs(6KB)
--------main.rs(42B)
--------middle()
--------tools()
--------common()
--------back()
--------syntax()
--------test()
--------driver()
--------lib.rs(3KB)
----.travis.yml(1KB)
----Cargo.lock(12KB)
----LICENSE(18KB)
----Cargo.toml(357B)
----.github()
--------FUNDING.yml(18B)
----README.md(2KB)
----tools.sh(315B)
----.gitattributes(64B)