CNS Core: Small: Managed Languages: From Non-volatile Memory to Persistence

CNS 核心：小型：托管语言：从非易失性内存到持久性

• 批准号: 1909731
• 负责人: J. Eliot Moss
• 金额: $ 50万
• 依托单位: University of Massachusetts Amherst
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 2019
• 资助国家: 美国
• 起止时间: 2019-07-01 至 2024-06-30
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=1909731&HistoricalAwards=false
• 关键词: CNS; Core; Small; Managed; Languages

Soon, computer main memories will likely use new technology, non-volatile memory (NVM). While current memories lose their contents when power is removed, NVM will retain its contents. However, computers keep some recent information inside the processor. That data will still be lost. So, NVM will not by itself enable users to get back to exactly where they were. To make full recovery possible, programs will need to use NVM carefully. Doing this well for modern programming languages (such as Java and Python) is hard. This project will provide a common base of support for NVM for such languages.Clean language semantics for non-volatility is called persistence. Managed languages (ones with garbage collection and threads) require both appropriate persistence semantics and a robust performant implementation. Adding clean persistence in the presence of threads and garbage collection is hard, and modern multi-core machines present additional challenge because of their weak memory consistency models. The project will extend a language-independent virtual machine with flexible persistence semantics. This will help avoid having every language project build its own support from scratch. The project direction is to support transactions over a persistent heap of containers and versioned objects.The project will build on Mu (http://microvm.org), an existing virtual machine that has commercial interest. A persistent virtual machine will save development effort and encourage creative use of persistence in applications. This will contribute to innovation, reliability, and trustworthiness of software. The project team will continue to engage in recruiting students from under-represented groups, including mentoring of future applicants and visits to historically minority institutions.The project's products will reside in a repository at https://github.com/umass-moss-lab/persistent-mu, which will continue to be available for at least three years after the project concludes. The repository will contain released code, data, etc. Non-code materials will be available under the Creative Commons license, and code under the Apache open source license, subject to the University of Massachusetts policy on intellectual property.This award reflects NSF's statutory mission and has been deemed worthy of support through evaluation using the Foundation's intellectual merit and broader impacts review criteria.

很快，计算机主存储器将可能使用新技术，即非易失性存储器（NVM）。虽然当前的存储器在断电时会丢失其内容，但NVM将保留其内容。然而，计算机在处理器中保存了一些最近的信息。这些数据仍然会丢失。因此，NVM本身并不能使用户回到原来的位置。为了使完全恢复成为可能，程序需要小心使用NVM。对于现代编程语言（如Java和Python）来说，很难做到这一点。这个项目将为这些语言提供一个支持NVM的公共基础。非易失性的干净语言语义被称为持久性。托管语言（具有垃圾收集和线程的语言）需要适当的持久性语义和健壮的性能实现。在存在线程和垃圾收集的情况下添加干净的持久性是困难的，并且现代多核机器由于其弱内存一致性模型而带来了额外的挑战。该项目将扩展一个具有灵活持久性语义的独立于语言的虚拟机。这将有助于避免每个语言项目都从头开始构建自己的支持。该项目的方向是支持容器和版本化对象的持久堆上的事务。该项目将建立在Mu（http：//www.example.com）上，Mu是一个现有的具有商业利益的虚拟机。microvm.org持久化虚拟机将节省开发工作，并鼓励在应用程序中创造性地使用持久性。这将有助于软件的创新、可靠性和可信度。项目团队将继续从代表性不足的群体中招募学生，包括指导未来的申请人和访问历史上属于少数群体的机构。项目的产品将存放在https：//github.com/umass-moss-lab/persistent-mu的存储库中，该存储库将在项目结束后至少三年内继续提供。该存储库将包含已发布的代码、数据等。非代码材料将在知识共享许可下提供，代码将在Apache开源许可下提供，并遵守马萨诸塞州大学的知识产权政策。该奖项反映了NSF的法定使命，并通过使用基金会的知识价值和更广泛的影响审查标准进行评估，被认为值得支持。

项目成果

Towards a Model Checking Framework for a New Collector Framework

面向新收集器框架的模型检查框架

• DOI: 10.1145/3546918.3546923
• 发表时间: 2022
• 期刊: MPLR '22: Proceedings of the 19th International Conference on Managed Programming Languages and Runtimes
• 作者: Xu, Bochen;Moss, Eliot;Blackburn, Stephen M.
• 通讯作者: Blackburn, Stephen M.