Projects

analytical modeling

TTL Approximations for a Family of CLOCK-Like Cache Replacement Policies

We extend TTL approximations to a family of CLOCK-like cache policies termed CLOCK(K) and establish several structural properties: a) CLOCK(K) miss ratio is Schur-concave over frequency; b) the mean-field limit of CLOCK(K) converges to its randomized counterpart Ran-CLOCK(K) as K tends to infinity.

Performance Analysis of the Randomized SIEVE/CLOCK Cache Replacement Algorithm (SIGMETRICS'26)

We introduce a randomized variant of the SIEVE/CLOCK algorithm that is scan-resistant, which uses only ⌈log2(K+1)⌉ ≥ 1 access bits per cached item, and we 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.