Award Abstract # 0614784
CSR---PDOS: Support for Atomic Sequences of File System Operations

NSF Org: CNS
Division Of Computer and Network Systems
Recipient: THE RESEARCH FOUNDATION FOR THE STATE UNIVERSITY OF NEW YORK
Initial Amendment Date: June 12, 2006
Latest Amendment Date: June 12, 2006
Award Number: 0614784
Award Instrument: Standard Grant
Program Manager: Mohamed G. Gouda
CNS
 Division Of Computer and Network Systems
CSE
 Direct For Computer & Info Scie & Enginr
Start Date: August 1, 2006
End Date: July 31, 2010 (Estimated)
Total Intended Award Amount: $561,727.00
Total Awarded Amount to Date: $561,727.00
Funds Obligated to Date: FY 2006 = $561,727.00
History of Investigator:
  • Erez Zadok (Principal Investigator)
    ezk@cs.stonybrook.edu
  • Margo Seltzer (Co-Principal Investigator)
Recipient Sponsored Research Office: SUNY at Stony Brook
W5510 FRANKS MELVILLE MEMORIAL L
STONY BROOK
NY  US  11794-0001
(631)632-9949
Sponsor Congressional District: 01
Primary Place of Performance: SUNY at Stony Brook
W5510 FRANKS MELVILLE MEMORIAL L
STONY BROOK
NY  US  11794-0001
Primary Place of Performance
Congressional District:
01
Unique Entity Identifier (UEI): M746VC6XMNH9
Parent UEI: M746VC6XMNH9
NSF Program(s): CSR-Computer Systems Research
Primary Program Source:
Program Reference Code(s): 7354, 9218, HPCC
Program Element Code(s): 735400
Award Agency Code: 4900
Fund Agency Code: 4900
Assistance Listing Number(s): 47.070

ABSTRACT

Data stored on computers is the most precious, irreplaceable component.
File systems and databases are the two most common ways to provide regulated access to the data. Databases provide transactions, which allow arbitrary sequences of operations to be applied atomically; but databases use a wide variety of incompatible APIs. File systems, however, provide a standard POSIX API to data, but are less reliable because they do not provide facilities to apply a sequence of operations atomically.

This project integrates full database (ACID) properties into commodity
operating systems, while offering user-level applications a POSIX-compliant API with transactions support. We are porting the Berkeley Database (BDB) to commodity kernels---a highly portable, efficient, and versatile embeddable database. Aside from integrated kernel support, we are also developing two file systems with ACID semantics.

We are developing several highly practical applications: a Provenance-Aware Storage System (PASS) that tracks the origin and history of file ownership; a transaction-aware wrapper shared library that provides transaction capabilities to unmodified legacy applications; and a mail-delivery server that atomically updates mailboxes, access control lists, and more.

The end goal of this project is to develop and evaluate a new operating
system architecture that offers transactions all the way to user
applications, even unmodified applications; the resulting increase in
application reliability and security will help society's ever-growing use of software. This will allow developers to write safer software more rapidly. The long term impact will be that society as a whole will benefit from more reliable, secure, and robust software.

PUBLICATIONS PRODUCED AS A RESULT OF THIS RESEARCH

Note:  When clicking on a Digital Object Identifier (DOI) number, you will be taken to an external site maintained by the publisher. Some full text articles may not yet be available without a charge during the embargo (administrative interval).

Some links on this page may take you to non-federal websites. Their policies may differ from this site.

(Showing: 1 - 10 of 17)
R. Spillane, C. P. Wright, G. Sivathanu, and E. Zadok "Rapid File System Development Using ptrace" Proceedings of the 2007 Workshop on Experimental Computer Science, in conjunction with the 2007 Federated Computing Research Conference (ExpCS 2007). , 2007 , p.1
C. P. Wright, R. P. Spillane, G. Sivathanu, and E. Zadok. "Extending ACID Semantics to the File System" ACM Transactions on Storage (TOS) , v.3 , 2007 , p.1
D. Holland, K.K. Muniswamy-Reddy, U. Braun, and M. Seltzer "PASSing the Provenance Challenge" Concurrency and Computation: Practice and Experience, Special Issue on Concurrency and Computation, Wiley. , 2007 , p.1
David A. Holland, Uri Braun, Diana Maclean, Kiran-Kumar Muniswamy-Reddy, and Margo I. Seltzer "A data model and Query Language Suitable for Provenance" In proceedings of the 2008 International Provenance and Annotation Workshop , 2008 , p.1
Richard Spillane, Russel Sears, Chaitainya Yalamanchili, Sachin Gaikwad, Manjunath Chinni, and Erez Zadok "Story Book: An Efficient Extensible Provenance Framework" Proceedings of the first workshop on the theory and practice of provenance (TAPP '09) , 2009
Richard. P. Spillane, Sachin Gaikwad, Erez Zadok, Charles P. Wright, and Manjunath Chinni. "Enabling transactional file access via lightweight kernel extensions" Proceedings of the seventh usenix conference on file and storage technologies (FAST '09) , 2009 , p.29
Kiran-Kumar Muniswamy-Reddy, David A. Holland, "Causality-Based Versioning" Proceedings of the seventh usenix conference on file and storage technologies (FAST '09) , 2009 , p.15
Kiran-Kumar Muniswamy-Reddy, Peter Macko, and Margo Seltzer "Making a Cloud Provenance-Aware" Proceedings of the first workshop on the theory and practice of provenance (TAPP '09) , 2009
Daniel Margo, and Margo Seltzer "The Case for Browser Provenance" Proceedings of the first workshop on the theory and practice of provenance (TAPP '09) , 2009
Kiran-Kumar Muniswamy-Reddy, Uri Braun, David A. Holland, Peter Macko, Diana Maclean, Daniel Margo, Margo Seltzer, and Robin Smogor "Layering in Provenance Systems" Proceedings of the 2009 USENIX Annual Technical Conference , 2009
David A. Holland, Uri Braun, Diana Maclean, Kiran-Kumar Muniswamy-Reddy, and Margo I. Seltzer "A data model and Query Language Suitable for Provenance" In proceedings of the 2008 International Provenance and Annotation Workshop , 2008 , p.1 http://www.sci.utah.edu/ipaw2008/papers/Paper%2013/paper-as-submitted.pdf
(Showing: 1 - 10 of 17)

Please report errors in award information by writing to: awardsearch@nsf.gov.

Print this page

Back to Top of page