TENET: Memory Safe and Fault Tolerant Persistent Transactional Memory

on YouTube ↗21m

" summary

TENET is a PTM framework built on TimeStone that prevents software and media corruption by making NVM read‑only to applications via Memory Protection Keys (MPK), validating updates through DRAM copies with 8‑bit canary bits, and preventing use‑after‑free with pointer tags (upper 16 bits). It asynchronously replicates durable state to local SSD with a small operation log for consistent, lossless recovery. Evaluation shows ~4% overhead for memory safety only and ~12% with fault tolerance on TimeStone, while prior SafePM slows PMDK ~55%.

AI-written summary · about

" chapters (19)

1. 0:00Intro
2. 0:28Boon and bane of Non-volatile Memory (NVM)
3. 1:14Hardware (Media) errors are a threat too!
4. 2:19Background on types of memory safety violations
5. 3:15Background on types of Media Errors
6. 3:57Summary of prior Persistent Transactional Memory (PTM) works
7. 4:32TENET overview: Goals and Assumptions
8. 5:13TENET overview: Programming Model
9. 5:52Spatial safety design in TENET
10. 6:12Direct NVM writes in the application code is dangerous
11. 7:45Prevent direct NVM writes using Memory Protection Keys (MPK)
12. 8:07Protecting DRAM objects using canary bits
13. 8:55Read-only NVM access can cause temporal safety violations
14. 9:29Enforcing temporal safety for NVM objects using pointer tags
15. 10:57Replicating NVM data for fault tolerance against UME
16. 12:44Evaluation of TENET
17. 13:37Comparison of TENET with the other PTMs
18. 14:55Performance of TENET and SafePM for a concurrent hash table
19. 19:09Conclusion

" related talks

• 46mTPM in TEEJoakim Bech · Linaro Connect Bangkok 2019
• 14mScalable Memory Protection in the PENGLAI EnclaveHaibo Chen, Dong Du, Yubin Xia, Binyu Zang, Erhu Feng, Xu Lu, Bicheng Yang, Xueqiang Jiang · 15th USENIX Symposium on Operating Systems Design and Implementation (OSDI '21)
• 41mPanel: A New Root Of Trust: Changing Computing With TEEHardwear.io USA 2024
• 14mNimble: Rollback Protection for Confidential Cloud ServicesSrinath Setty, Sebastian Angel, Trent Jaeger, Aditya Basu, Weidong Cui, Stella Lau, Sudheesh Singanamalla · OSDI 2023
• 21mOP-TEE: Shared memory between TAsJens Wiklander · Linaro Connect Bangkok 2019
• 15mTimelock Drive: Isolated Time-Based Defense for Storage SystemsSatish Narayanasamy, Jonah Rosenblum, Juechu Dong, Peter Chen · 20th USENIX Symposium on Operating Systems Design and Implementation (OSDI '26)
• 19mSupporting Trusted Virtual Machines with Hardware-based Secure Remote MemoryJaehyuk Huh, Taekyung Heo, Seunghyo Kang, Sanghyeon Lee, Soojin Hwang, Joongun Park · ISMM 2024
• 22mSupporting TEE on x86 Client Platforms with pKVMJason Chen · KVM Forum 2022