ACT-PM
Persistent Memory (PM) provides a novel point in the traditional memory hierarchy that promises to improve the performance and efficiency of applications. However, to fully exploit these capabilities, novel tools to assess the correctness of these applications under faults are needed. The goal of this project is to research techniques and develop tools to help programmers build more reliable crash-consistency programs that can fully leverage the capabilities of PM hardware.
Publications
BDUS: Implementing Block Devices in User Space. ACM International Systems and Storage Conference (SYSTOR) Faria A, Macedo R, Pereira J, Paulo J.
Finding Crash Consistency Bugs in Persistent Memory File Systems Eurosys 2021 Doctoral Workshop Hayley LeBanc
Realistic Assessment of Faults in Storage Systems. Workshop on High-Performance and Reliable Big Data (HPBD), co-located with SRDS Borges C, Paulo J.
ReFI - Reproducible Fault Injection in Distributed Systems. ApPLIED’21: Advanced tools, programming languages, and PLatforms for Implementing and Evaluating algorithms for Distributed systems. Held in conjunction with PODC-2021 Daniel Castro, Shady Issa, Miguel Matos
Software
Team
- Miguel Matos, Project PI, Coordinator at INESC-ID
- Vijay Chidambaram, Project Coordinator at UT Austin
- João Paulo, Project Coordinator at INESC-TEC
Funding
This work is funded by National Funds through the FCT - Fundação para a Ciência e a Tecnologia (Portuguese Foundation for Science and Technology) within project UTA-EXPL/CA/0080/2019.
