Verifying concurrent, crash-safe systems with Perennial

Verifying concurrent, crash-safe systems with Perennial

This paper introduces Perennial, a framework for verifying concurrent, crash-safe systems. Perennial extends the Iris concurrency framework with three techniques to enable crash-safety reasoning: recovery leases, recovery helping, and versioned memory. To ease development and deployment of applicati...

Full description

Bibliographic Details
Main Authors: Chajed, Tej (Author), Tassarotti, Joseph (Author), Kaashoek, M. Frans (Author), Zeldovich, Nickolai (Author)
Other Authors: Massachusetts Institute of Technology. Computer Science and Artificial Intelligence Laboratory (Contributor)
Format: Article
Language:English
Published: Association for Computing Machinery (ACM), 2021-02-23T22:14:55Z.
Subjects:
Article
Online Access:Get fulltext

Internet

Get fulltext

Similar Items