Projects

analytical modeling

A TTL-Based Analysis of Counter-Driven Circular Cache Replacement

We extend TTL-approximations to a family of CLOCK-like cache policies termed CLOCK(K), deriving a tractable matrix-analytic solution for steady-state miss ratios under phase-type renewal processes and establishing a Schur-concavity property of CLOCK(K=0)/FIFO.

Caching Under Uncertainty: Randomized CLOCK/SIEVE replacement

We introduce a randomized, scan-resistant variant of SIEVE/CLOCK that uses a single circular array and only ⌈log2(K+1)⌉ ≥ 1 access bits per cached item. We also present a heterogeneous mean-field approximation of its performance.

microbenchmarks

A Cache-Accurate Storage Microbenchmark (EuroSys'26)

2DIO is a configurable I/O trace generator capable of producing cache-accurate workloads with tunable performance cliffs and plateaus.

A library for cache simulation

High-performance cache simulators including several Sigmetrics' algorithms and a new array-based LRU algorithm.

Generating high-fidelity I/O traces with GAN

Reproduction of LSTM-based GAN synthetic I/O generation proposed by Zhang et al. (2024).

distributed systems

QoS, Fairness and Isolation in One Formula

A unified linear programming formula for optimal per-VM IOPS allocation under QoS and device constraints.

A Distributed Object Store built on Conventional File System

This is an emulation of a distributed store system built on Zoned Namespace SSDs. The system guarantees strong consistency and fault tolerant.