Publications by Diyu Zhou | EPFL Graph Search

Related publications (8)

Ship your Critical Section, Not Your Data: Enabling Transparent Delegation with TCLocks

Yugesh Ajit Kothari, Sanidhya Kashyap, Diyu Zhou, Vishal Gupta, Yueyang Pan

Today's high-performance applications heavily rely on various synchronization mechanisms, such as locks. While locks ensure mutual exclusion of shared data, their design impacts application scalability. Locks, as used in practice, move the lock-guarded sha ...

USENIX ASSOC2023

Enabling High-Performance and Secure Userspace NVM File Systems with the Trio Architecture

Sanidhya Kashyap, Diyu Zhou, Vojtech Aschenbrenner, Tao Lyu

Userspace library file systems (LibFSes) promise to unleash the performance potential of non-volatile memory (NVM) by directly accessing it and enabling unprivileged applications to customize their LibFSes to their workloads. Unfortunately, such benefits p ...

Assoc Computing Machinery2023

Application-Informed Kernel Synchronization Primitives

Sanidhya Kashyap, Diyu Zhou, Yuchen Qian

Kernel synchronization primitives are the backbone of any OS design. Kernel locks, for instance, are crucial for both application performance and correctness. However, unlike application locks, kernel locks are far from the reach of application developers, ...

Usenix Assoc2022

Transparent Multicore Scaling of Single-threaded Network Functions

George Candea, Sanidhya Kashyap, Diyu Zhou, Yueyang Pan, Lei Yan

This paper presents NFOS, a programming model, runtime, and profiler for productively developing software network functions (NFs) that scale on multicore machines. Writing shared-state concurrent systems that are both correct and scalable is still a seriou ...

Assoc Computing Machinery2024

Practical Verification of System-Software Components Written in Standard C

Yonghao Zou, George Candea, Clément Pit-Claudel, Diyu Zhou, Can Cebeci

Systems code is challenging to verify, because it uses constructs (like raw pointers, pointer arithmetic, and bit twiddling) that are hard for tools to reason about. Existing approaches either sacrifice programmer friendliness, by demanding significant man ...

Association for Computing Machinery, Inc2024

TENET: Memory Safe and Fault Tolerant Persistent Transactional Memory

Sanidhya Kashyap, Diyu Zhou

Byte-addressable non-volatile memory (NVM) allows programs to directly access storage using memory interface without going through the expensive conventional storage stack. However, direct access to NVM makes the NVM data vulnerable to software bugs and ha ...

USENIX ASSOC2023

RRC: Responsive Replicated Containers

Diyu Zhou

Replication is the basic mechanism for providing application-transparent reliability through fault tolerance. The design and implementation of replication mechanisms is particularly challenging for general multithreaded services, where high latency overhea ...

USENIX ASSOC2022

ODINFS: Scaling PM Performance with Opportunistic Delegation

Zhifei Yang, Sanidhya Kashyap, Diyu Zhou, Vishal Gupta, Yuchen Qian

Existing file systems for persistent memory (PM) exploit its byte-addressable non-volatile access with low latency and high bandwidth. However, they do not utilize two unique PM properties effectively. The first one is contention awareness, i.e., a small n ...

Usenix Assoc2022