Publications de Sanidhya Kashyap

Publications associées (17)

Using Local Cache Coherence for Disaggregated Memory Systems

Disaggregated memory provides many cost savings and resource provisioning benefits for current datacenters, but software systems enabling disaggregated memory access result in high performance penalties. These systems require intrusive code changes to port ...

ASSOC COMPUTING MACHINERY2023

MONARCH: a fuzzing framework for distributed file systems

Mathias Josef Payer, Sanidhya Kashyap, Yueyang Pan, Tao Lyu, Zhiyao Feng

Distributed file systems (DFSes) are prone to bugs. Although numerous bug-finding techniques have been applied to DFSes, static analysis does not scalewell with the sheer complexity of DFS codebases while dynamic methods (e.g., regression testing) are limi ...

USENIX Association2024

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

NrOS: Effective Replication and Sharing in an Operating System

Sanidhya Kashyap

Writing a correct operating system kernel is notoriously hard. Kernel code requires manual memory management and type-unsafe code and must efficiently handle complex, asynchronous events. In addition, increasing CPU core counts further complicate kernel de ...

USENIX ASSOC2021

Context-aware Prefetching for Near-Storage Accelerators

Sanidhya Kashyap

We present ContextPrefetcher, a host-guided high-performant prefetching framework for near-storage accelerators that prefetches data blocks from storage (e.g., NAND) to devicelevel RAM. Efficiently prefetching data blocks to device-level RAM reduces storag ...

ACM2024

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

Rethinking Software Runtimes for Disaggregated Memory

Sanidhya Kashyap

Disaggregated memory can address resource provisioning inefficiencies in current datacenters. Multiple software runtimes for disaggregated memory have been proposed in an attempt to make disaggregated memory practical. These systems rely on the virtual mem ...

ASSOC COMPUTING MACHINERY2021

Fast, Flexible, and Practical Kernel Extensions

Kumar Kartikeya Dwivedi, Sanidhya Kashyap

The ability to safely extend OS kernel functionality is a longstanding goal in OS design, with the widespread use of the eBPF framework in Linux and Windows demonstrating the benefits of such extensibility. However, existing solutions for kernel extensibil ...

Association for Computing Machinery, Inc2024

Skadi: Building a Distributed Runtime for Data Systems in Disaggregated Data Centers

Sanidhya Kashyap

Data-intensive systems are the backbone of today's computing and are responsible for shaping data centers. Over the years, cloud providers have relied on three principles to maintain cost-effective data systems: use disaggregation to decouple scaling, use ...

Assoc Computing Machinery2023

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

Preventing Use-After-Free Attacks with Fast Forward Allocation

Sanidhya Kashyap

Memory-unsafe languages are widely used to implement critical systems like kernels and browsers, leading to thousands of memory safety issues every year. A use-after-free bug is a temporal memory error where the program accidentally visits a freed memory l ...

USENIX ASSOC2021

Single-Address-Space FaaS with Jord

Madhur Kumar, Babak Falsafi, Mathias Josef Payer, Sanidhya Kashyap, Atri Bhattacharyya, Yuanlong Li, Abhishek Bhattacharjee

Function-as-a-Service (FaaS) has emerged as a popular cloud paradigm that simplifies software development and deployment by providing scalable and event-driven function execution without the burden of managing servers. FaaS was originally created with a fu ...

ACM2025

Tolerate It if You Cannot Reduce It: Handling Latency in Tiered Memory

Sanidhya Kashyap, Vishal Gupta, Yueyang Pan, Musa Sadik Ünal, Yujie Ren

Current memory tiering systems mitigate asymmetric latency through page migration between tiers. While this approach effectively h ides l atency, i t overlooks scenarios where latency could potentially be tolerated. We propose that an efficient system shou ...

ACM2025

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

PolyStore: Exploiting Combined Capabilities of Heterogeneous Storage

Sanidhya Kashyap, Yujie Ren

With the "non-hierarchical" trend in emerging storage media, the philosophy of hierarchy inevitably falls short in fully leveraging the combined bandwidth of multiple devices. In this paper, we propose a horizontally structured storage architecture that le ...

USENIX Association2025