{LegoOS}: A disseminated, distributed {OS} for hardware resource disaggregation
The monolithic server model where a server is the unit of deployment, operation, and failure
is meeting its limits in the face of several recent hardware and application trends. To improve …
is meeting its limits in the face of several recent hardware and application trends. To improve …
Semeru: A {Memory-Disaggregated} managed runtime
Resource-disaggregated architectures have risen in popularity for large datacenters.
However, prior disaggregation systems are designed for native applications; in addition, all …
However, prior disaggregation systems are designed for native applications; in addition, all …
Kvell: the design and implementation of a fast persistent key-value store
Modern block-addressable NVMe SSDs provide much higher bandwidth and similar
performance for random and sequential access. Persistent key-value stores (KVs) designed …
performance for random and sequential access. Persistent key-value stores (KVs) designed …
ThyNVM: Enabling software-transparent crash consistency in persistent memory systems
Emerging byte-addressable nonvolatile memories (NVMs) promise persistent memory,
which allows processors to directly access persistent data in main memory. Yet, persistent …
which allows processors to directly access persistent data in main memory. Yet, persistent …
Assise: Performance and availability via client-local {NVM} in a distributed file system
The adoption of low latency persistent memory modules (PMMs) upends the long-
established model of remote storage for distributed file systems. Instead, by colocating …
established model of remote storage for distributed file systems. Instead, by colocating …
Flash storage disaggregation
PCIe-based Flash is commonly deployed to provide datacenter applications with high IO
rates. However, its capacity and bandwidth are often underutilized as it is difficult to design …
rates. However, its capacity and bandwidth are often underutilized as it is difficult to design …
I {Can't} Believe {It's} Not Causal! Scalable Causal Consistency with No Slowdown Cascades
We describe the design, implementation, and evaluation of Occult (Observable Causal
Consistency Using Lossy Timestamps), the first scalable, geo-replicated data store that …
Consistency Using Lossy Timestamps), the first scalable, geo-replicated data store that …
An in-depth analysis of cloud block storage workloads in large-scale production
Cloud block storage systems support diverse types of applications in modern cloud services.
Characterizing their I/O activities is critical for guiding better system designs and …
Characterizing their I/O activities is critical for guiding better system designs and …
Verifying a high-performance crash-safe file system using a tree specification
DFSCQ is the first file system that (1) provides a precise specification for fsync and
fdatasync, which allow applications to achieve high performance and crash safety, and (2) …
fdatasync, which allow applications to achieve high performance and crash safety, and (2) …
Seeing is believing: A client-centric specification of database isolation
This paper introduces the first state-based formalization of isolation guarantees. Our
approach is premised on a simple observation: applications view storage systems as black …
approach is premised on a simple observation: applications view storage systems as black …