HybridPersist：一种支持用户友好且高效持久化编程（PM Programming）的编译器技术

《Proceedings of the ACM on Programming Languages》：HybridPersist: A Compiler Support for User-Friendly and Efficient PM Programming

持久内存编程中HybridPersist编译器支持通过自动实现崩溃一致性、减少人工标注，同时优化性能和正确性，实验验证其效率优于现有方法。

　　

摘要

持久内存（Persistent Memory, PM）凭借其数据持久性，在众多领域得到了广泛应用。然而，程序员必须手动在代码中标注与持久内存相关的操作，以确保系统在崩溃时仍能保持数据的一致性，这一过程既费时又容易出错。在本文中，为了减轻开发持久内存应用程序的负担，我们开发了HybridPersist——一种支持用户友好且高效持久内存编程的编译器工具。一方面，HybridPersist能够自动实现崩溃时数据的一致性，对程序员的干预极小，几乎不需要额外添加注释；另一方面，它通过一系列专门的分析步骤提升了持久内存程序的性能和正确性。针对知名基准测试的评估结果表明，HybridPersist在编程效率和运行时性能方面均优于现有的最先进技术。