4 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…
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…
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…