Page Not Found
Page not found. Your pixels are in another canvas.
Sitemap
A list of all the posts and pages found on the site. For you robots out there is an XML version available for digesting as well.
Pages
Page not in menu
This is a page not in th emain menu
Posts
CV
blog
Getting Things Done
Published:
Getting Thins Done (GTD): the framework to keep focus and organize our TODOs.
Programming: Reader-Writer Semaphore
Published:
The motivation and implementation of reader-writer semaphore.
Getting Things Done 尽管去做
Published:
Getting Thins Done (GTD): 保持注意力和组织我们的任务清单的框架. 这是 Tyler DeVries的博客 的基于DeepL的翻译。
Programming: Per-CPU Reader-Writer Semaphore
Published:
The motivation and implementation of the per-CPU reader-writer semaphore.
Programming: Process Context and Interrupt Context
Published:
The comparison between process and interrupt contexts.
Programming: Memory Barrier
Published:
Memory barrier is an instruction to cause the CPU or compiler to enforce an ordering constraint on memory operations before and after it.
eBPF: User-Defined Codes in Kernel
Published:
eBPF allows user-defined codes to run safelly in Linux kernel, opening new opportunities for “exo-kernel”.
The Fault in Our Stars / 星运里的错 / 生命中的美好缺憾
Published:
It is a lesson about how to love and live.
Personal Blog on OCI and GitHub
Published:
- Duration: from 2022
Campus Heatmap
Published:
- Duration: June to August 2018
- Location: The Chinese University of Hong Kong, Shenzhen
Linux cgroup Scalability
Published:
- Duration: September 2021 to June 2022
- Location: EPFL
eBPF-Based Build Provenance for Software Dependency Analysis
Published:
- Duration: September 2023 to March 2024
- Location: Oracle Labs Zurich
Graduation Album
Published:
- Duration: May 2021 to July 2021
- Location: Apartsa, Shenzhen, China
Infrastructure as Code: Composition and Visualization (Terraform)
Published:
- Duration: July 2022 to December 2022
- Location: Oracle Labs Zurich
Bucket-Based Expiration Algorithm: Improving Eviction Efficiency for In-Memory Key-Value Database (Redis)
Published:
- Duration: February to June 2020
- Location: The Chinese University of Hong Kong, Shenzhen
publications
Bucket-Based Expiration Algorithm: Improving Eviction Efficiency for In-Memory Key-Value Database
Published in The International Symposium on Memory Systems (MEMSYS) 2020, 2020
In this paper, we present a novel approach, a hybrid algorithm combining a deterministic one using buckets and a randomized one inherited from Redis expiration algorithm, to improve the efficiency of eviction of expired keys. For the main part, we adopt a deterministic algorithm to discretize the expiration timestamps into buckets and evict keys bucket by bucket; if time permitted, we also run the Redis expiration algorithm after finishing the deterministic part. Furthermore, our experiment using Redis randomized algorithm as the baseline shows that our algorithm is more effective in reducing memory usage with an acceptable impact on the overall throughputs.
Recommended citation: https://dl.acm.org/doi/10.1145/3422575.3422797
schedule
teaching
USTF: ERG3010 Data and Knowledge Management
Undergraduate course, The Chinese University of Hong Kong, Shenzhen, 2019
The Undergraduate Student Teaching Fellow of ERG3010 Data and Knowledge Management.
USTF: CSC1002 Computational Laboratory
Undergraduate course, The Chinese University of Hong Kong, Shenzhen, 2020
The Undergraduate Student Teaching Fellow of CSC1002 Computational Laboratory.
USTF: CSC3002 Programming Paradigms
Undergraduate course, The Chinese University of Hong Kong, Shenzhen, 2020
The Undergraduate Student Teaching Fellow of CSC3002 Programming Paradigms (C++).
USTF: CSC3100 Data Structures
Undergraduate course, The Chinese University of Hong Kong, Shenzhen, 2020
The Undergraduate Student Teaching Fellow of CSC3100 Data Structures.
USTF: CSC3050 Computer Architecture
Undergraduate course, The Chinese University of Hong Kong, Shenzhen, 2021
The Undergraduate Student Teaching Fellow of CSC3050 Computer Architecture.