Year: 2025
Type: conference-paper
Abstract: Byte-addressable non-volatile memory, provided by novel technologies such as Intel Optane and CXL, has presented opportunities for developing high-performance concurrent objects (including concurrent data structures) with the added benefits of durability and recov-erability. However, developing such data structures while preserving high performance still remains challenging due to the latency and bandwidth gaps between volatile and non-volatile memory. In this paper, we investigate the construction of durably linearizable objects using our recently developed Mangosteen framework.
Authors: Sergey Egorov, Gregory Chockler, Brijesh Dongol, Dan O'Keeffe
Institutions: University of Surrey, Royal Holloway University of London
Language: English
Subfield: Computer Networks and Communications
Field: Computer Science
Domain: Physical Sciences
Open Access status: gold
Awards: G5159454702, RoboTest: Systematic Model-Based Testing and Simulation of Mobile Autonomous Robots, G6135913923, Safe and secure COncurrent programming for adVancEd aRchiTectures (COVERT), REDONDA: A Next-Generation State-Machine Replication Protocol for Blockchain, Redonda: A Next-Generation State-Machine Replication Protocol for Blockchain, Verifiably Correct Swarm Attestation, SACRED-MA: Safe And seCure REmote Direct Memory Access
OpenAlex ID: W4411979452