5 papers
FlintKV: A Fast Durable Storage Engine for Modern Databases
Sergey Egorov, Gregory Chockler, Brijesh Dongol +2
Byte-addressable non-volatile memory (NVM) offers an opportunity to rethink storage engine architectures. While recent NVM key-value stores achieve high throughput for ingestion an…
Fast TetraBFT: Optimizing Latency Where It Matters
Antonio J. Fernández-Pinto, Manuel Bravo, Gregory Chockler +1
Unauthenticated Byzantine consensus protocols achieve optimal failure resilience while relying only on authenticated point-to-point channels, not authenticated messages. They are a…
A Verified High-Performance Composable Object Library for Remote Direct Memory Access (Extended Version)
Guillaume Ambal, George Hodgkins, Mark Madler +5
Remote Direct Memory Access (RDMA) is a memory technology that allows remote devices to directly write to and read from each other's memory, bypassing components such as the CPU an…
TEE is not a Healer: Rollback-Resistant Reliable Storage (Extended Version)
Sadegh Keshavarzi, Gregory Chockler, Alexey Gotsman
Recent advances in secure hardware technologies, such as Intel SGX or ARM TrustZone, offer an opportunity to substantially reduce the costs of Byzantine fault-tolerance by placing…
What Cannot Be Implemented on Weak Memory?
Armando Castañeda, Gregory Chockler, Brijesh Dongol +1
We present a general methodology for establishing the impossibility of implementing certain concurrent objects on different (weak) memory models. The key idea behind our approach l…