In-Kernel Berkeley DB Databases

We have implemented several prototype transactional file systems (EXPCS 2007, ACM TOS 2008, and an FSL Tech Report in 2008). The most optimal design is one that utilizes an approach that requires minimal changes to the kernel, yet provides the full range of functionality expected of a transactional file system. This work was published in FAST 2009. We explore the impact of a transactional file system on other existing or potential components of the operating system. We have looked at a provenance aware storage system that utilizes a write-optimized logging approach published in TAPP 2009. Currently we are exploring grey-boxing techniques to better define and guarantee recovery semantics for user-land database implementations. We are also exploring the use of a cache-oblivious file system implementation so that a more scalable design for new storage technologies (i.e., flash, phase changing RAM, etc...) are more easily inserted into the operating system's caching mechanism.

Download software.

Conference and Workshop Papers:

# Title (click for html version) Formats Published In Date Comments
1 Exporting Kernel Page Caching for Efficient User-Level I/O BibTeX IEEE Conference on Mass Storage Systems and Technologies (MSST 2010) May 2010  
2 Story Book: An Efficient Extensible Provenance Framework PS PDF BibTeX 1st Workshop on the Theory and Practice of Provenance (TAPP 2009) Feb 2009  
3 Enabling Transactional File Access via Lightweight Kernel Extensions PS PDF BibTeX Seventh USENIX Conference on File and Storage Technologies (FAST 2009) Feb 2009  
4 Rapid File System Development Using ptrace PS PDF BibTeX Proceedings of the Workshop on Experimental Computer Science (EXPCS 2007), in conjunction with ACM FCRC Jun 2007  
5 I3FS: An In-Kernel Integrity Checker and Intrusion Detection File System PS PDF BibTeX Usenix Large Installation Systems Administration Conference (LISA 18) Nov 2004  

Technical Reports:

# Title (click for html version) Formats Published In Date Comments
1 SAMT Performace Proof PS PDF BibTeX Stony Brook U. CS TechReport FSL-09-03 Jun 2009  
2 Protecting Control Files With File System Transactions PS PDF BibTeX Stony Brook U. CS TechReport FSL-08-05 Aug 2008  
3 Extending ACID Semantics to the File System via ptrace PS PDF BibTeX Stony Brook U. CS TechReport FSL-06-04 May 2006 Ph.D. Thesis
4 File System Extensibility and Reliability Using an in-Kernel Database PS PDF BibTeX Stony Brook U. CS TechReport FSL-04-06 Dec 2004 M.S. Thesis
5 Enhancing File System Integrity Through Checksums PS PDF BibTeX Stony Brook U. CS TechReport FSL-04-04 May 2004  

Current Students:

# Name (click for home page) Program Member Since
1 Zhichao Li PhD Sep 2009
2 Rick Spillane PhD Jan 2008
3 Shrikar Archak MS Sep 2009
4 Sagar Dixit MS Sep 2009

Past Students:

# Name (click for home page) Program Period Current Location
1 Nikolai Joukov PhD Jan 2004 - Dec 2006 Research Staff Member, Storage and Data Services Research group, IBM T. J. Watson Research Center (Hawthorne, NY)
2 Abhishek Rai PhD Sep 2003 - Aug 2005 Member of the Technical Staff, Structured Data Access group, VMware, Inc. (Palo Alto, CA)
3 Gopalan Sivathanu PhD Sep 2003 - May 2008 Software Engineer, Systems Infrastructure group, Google (Mountain View, CA)
4 Avishay Traeger PhD Sep 2003 - Aug 2008 Research Staff Member, Storage Systems and Performance Management group, IBM Tel Aviv Research Lab (Tel-Aviv, Israel)
5 Charles P. Wright PhD May 2003 - May 2006 Research Staff Member, High Performance Systems Software group, IBM T. J. Watson Research Center (Hawthorne, NY)
6 Manjunath Chinni MS Jan 2008 - Dec 2008 Member of Technical Staff, Engineering Development, Riverbed Technology (Sunnyvale, CA)
7 Jay Pradip Dave MS May 2003 - Dec 2003 Software Design Engineer in Test (SDET), Windows Security and Access Control team (WSAC), Windows Security group, Core Operating Systems Division (COSD), Microsoft (Seattle, WA)
8 Ramya Edara MS Jan 2007 - Dec 2007 Member of Technical Staff, Arista Networks (Menlo Park, California)
9 Sachin Gaikwad MS Sep 2007 - Dec 2008 Member of Technical Staff, Engineering Development, Riverbed Technology (Sunnyvale, CA)
10 Aditya Kashyap MS Sep 2003 - Dec 2004 Senior Analyst, Fixed Income Research group, Lehman Brothers (New York, NY)
11 Harikesavan Pathangi Krishnan MS Jan 2003 - Dec 2003 Software Engineer, Engineering department for WAFS product line, Packeteer, Inc. (South Plainfield, NJ)
12 Devaki Kulkarni MS Sep 2003 - Dec 2004 Staff Engineer, Performance and Storage groups, VMware, Inc. (Palo Alto, CA)
13 Karthikeyan Srinaivasan MS Jan 2009 - Dec 2009 Software Dev Engineer, Y! Mail Backend (Metadata) group, Yahoo! Inc., (Sunnyvale, CA)
14 Gopala Suryanarayana MS Sep 2006 - Dec 2007 Member of the Technical Staff, Core Devices group (storage), VMware, Inc. (Palo Alto, CA)
15 Mohammad Nayyer Zubair MS Jan 2004 - Dec 2004 Software Developer, Bloomberg (New York, NY)
16 Rick Spillane BS/MS Jan 2005 - Dec 2007 Stony Brook U. CS Ph.D. program (Stony Brook, NY)
17 Ryan Leif Walsh BS (Honors) Jan 2009 - May 2009 Internship in France
18 Mohammad Nayyer Zubair BS May 2003 - Dec 2003 Software Developer, Bloomberg (New York, NY)

Sponsors:

# Sponsor Amount Period Type Title (click for award abstract)
1 NSF CSR--PDOS $561,727 2006-2009 PI Support for Atomic Sequences of File System Operations
2 NSF Trusted Computing (TC) $400,000 2003-2006 Sole PI A Layered Approach to Securing Network File Systems

(Last updated: Sat Jul 17 13:07:38 EDT 2010)