Type-safe disks

Gopalan Sivathanu; Swaminathan Sundararaman; Erez Zadok

Type-safe disks

Gopalan Sivathanu
, Swaminathan Sundararaman
, Erez Zadok

Computer Science

Stony Brook University

Research output: Contribution to conference › Paper › peer-review

34 Scopus citations

Abstract

We present the notion of a type-safe disk (TSD). Unlike a traditional disk system, a TSD is aware of the pointer relationships between disk blocks that are imposed by higher layers such as the file system. A TSD utilizes this knowledge in two key ways. First, it enables active enforcement of invariants on data access based on the pointer relationships, resulting in better security and integrity. Second, it enables semantics-aware optimizations within the disk system. Through case studies, we demonstrate the benefits of TSDs and show that a TSD presents a simple yet effective general interface to build the next generation of storage systems.

Original language	English
Pages	15-28
Number of pages	14
State	Published - 2006
Event	7th USENIX Symposium on Operating Systems Design and Implementation, OSDI 2006 - Seattle, United States Duration: Nov 6 2006 → Nov 8 2006

Conference

Conference	7th USENIX Symposium on Operating Systems Design and Implementation, OSDI 2006
Country/Territory	United States
City	Seattle
Period	11/6/06 → 11/8/06

Cite this

@conference{68320cb1d3254acebb24c8476fbe65c9,

title = "Type-safe disks",

abstract = "We present the notion of a type-safe disk (TSD). Unlike a traditional disk system, a TSD is aware of the pointer relationships between disk blocks that are imposed by higher layers such as the file system. A TSD utilizes this knowledge in two key ways. First, it enables active enforcement of invariants on data access based on the pointer relationships, resulting in better security and integrity. Second, it enables semantics-aware optimizations within the disk system. Through case studies, we demonstrate the benefits of TSDs and show that a TSD presents a simple yet effective general interface to build the next generation of storage systems.",

author = "Gopalan Sivathanu and Swaminathan Sundararaman and Erez Zadok",

note = "Publisher Copyright: {\textcopyright} OSDI 2006 - 7th USENIX Symposium on Operating Systems Design and Implementation. All rights reserved.; 7th USENIX Symposium on Operating Systems Design and Implementation, OSDI 2006 ; Conference date: 06-11-2006 Through 08-11-2006",

year = "2006",

language = "English",

pages = "15--28",

}

TY - CONF

T1 - Type-safe disks

AU - Sivathanu, Gopalan

AU - Sundararaman, Swaminathan

AU - Zadok, Erez

PY - 2006

Y1 - 2006

N2 - We present the notion of a type-safe disk (TSD). Unlike a traditional disk system, a TSD is aware of the pointer relationships between disk blocks that are imposed by higher layers such as the file system. A TSD utilizes this knowledge in two key ways. First, it enables active enforcement of invariants on data access based on the pointer relationships, resulting in better security and integrity. Second, it enables semantics-aware optimizations within the disk system. Through case studies, we demonstrate the benefits of TSDs and show that a TSD presents a simple yet effective general interface to build the next generation of storage systems.

AB - We present the notion of a type-safe disk (TSD). Unlike a traditional disk system, a TSD is aware of the pointer relationships between disk blocks that are imposed by higher layers such as the file system. A TSD utilizes this knowledge in two key ways. First, it enables active enforcement of invariants on data access based on the pointer relationships, resulting in better security and integrity. Second, it enables semantics-aware optimizations within the disk system. Through case studies, we demonstrate the benefits of TSDs and show that a TSD presents a simple yet effective general interface to build the next generation of storage systems.

UR - https://www.scopus.com/pages/publications/84929602531

M3 - Paper

AN - SCOPUS:84929602531

SP - 15

EP - 28

T2 - 7th USENIX Symposium on Operating Systems Design and Implementation, OSDI 2006

Y2 - 6 November 2006 through 8 November 2006

ER -

Type-safe disks

Abstract

Conference

Other files and links

Fingerprint

Cite this