Colloquium Details

Towards Reliable Storage Systems

Speaker: Haryadi Gunawi, University of Wisconsin, Madison

Location: Warren Weaver Hall 1302

Date: April 6, 2009, 11:30 a.m.

Host: Michael Overton


Three trends will dominate the storage systems of tomorrow: users are storing increasingly massive amounts of data, storage software complexity is growing, and the use of cheap and less reliable hardware is increasing. These trends present us with a terrific challenge: How can we promise users that storage systems work robustly in spite of their massive software complexity and the broad range of disk failures that can arise? Unfortunately, current approaches describe recovery in thousands of lines of intricate, low-level C code and it is scattered throughout. As a result, current storage systems are not reliable.

In this talk, I will present how we build a new generation of more robust and reliable storage systems by adhering to the idea that complexity is the enemy of reliability. Specifically, I will present new online and offline reliability frameworks (I/O Shepherding and SQCK) that advocate a higher-level strategy where the logic of reliability policies can be described clearly and concisely. With I/O shepherding, file system administrators can write disk-failure policies (such as retry, parity, mirrors, checksums, sanity checks, and data structure repairs) in a few lines of code in a single locale. With SQCK, file system developers can separate the logic of hundreds of data structure repairs from their low-level implementation. I will also discuss other interesting findings that show how storage system reliability is difficult to achieve in current approaches.

Speaker Bio:

Haryadi Gunawi is a Ph.D. candidate at University of Wisconsin, Madison under the supervision of Prof. Andrea Arpaci-Dusseau and Prof. Remzi Arpaci-Dusseau. His research focuses on file systems and operating systems. Beyond that, his research experience also spans cross-disciplinary areas such as software engineering, distributed systems, networking, and databases. Haryadi earned a B.S. in Computer Engineering, a B.S. in Computer Science, and an M.S. in Computer Science, all from University of Wisconsin.


Refreshments will be offered starting 15 minutes prior to the scheduled start of the talk.

How to Subscribe