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://microvm.org）上建立，这是一种具有商业兴趣的虚拟机。持续的虚拟机将节省开发工作，并鼓励在应用程序中创造持久性。这将有助于软件的创新，可靠性和可信赖性。项目团队将继续参与来自代表性不足的小组的招聘学生，包括指导未来的申请人和对历史上少数群体机构的访问。该项目的产品将驻留在一个存储库中，网址为https://github.com/umass-moss-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.