Sanidhya Kashyap
Towards Evolving OS with Fast, Flexible, and Practical Extensions
In this talk, I will present our ongoing effort to dynamically
specialize the OS kernel based on the application requirements.
In the first part of the talk, I will propose a new synchronization paradigm,
contextual concurrency control (C3), that enables applications to tune
concurrency control in the kernel. C3 allows developers to change the
behavior and parameters of kernel locks, switch between different lock
implementations, and dynamically profile one or multiple locks for a
specific scenario of interest. This approach opens up a plethora of
opportunities to fine-tune concurrency control mechanisms on the fly.
In the later part, I will present a new approach to designing a storage stack that allows file system developers to design userspace file systems without compromising file system security guarantees while at the same time ensuring direct access to non-volatile memory (NVM) hardware. I will present a new file system architecture called Trio that decouples file system design, access control, and metadata integrity enforcement. The key insight is that other state (i.e., auxiliary state) in a file system can be regenerated from its “ground truth” state (i.e, core state). This approach can pave the way for providing a clean structure to design file systems.
In the later part, I will present a new approach to designing a storage stack that allows file system developers to design userspace file systems without compromising file system security guarantees while at the same time ensuring direct access to non-volatile memory (NVM) hardware. I will present a new file system architecture called Trio that decouples file system design, access control, and metadata integrity enforcement. The key insight is that other state (i.e., auxiliary state) in a file system can be regenerated from its “ground truth” state (i.e, core state). This approach can pave the way for providing a clean structure to design file systems.
back to overview
