BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Memento EPFL//
BEGIN:VEVENT
SUMMARY:Simply Reliable Storage Systems
DTSTART:20100621T111500
DTSTAMP:20260406T172927Z
UID:2f01caf85e5ebf783fb5557b7fea68a68015f21fe5a5f28dc63b3ed9
CATEGORIES:Conferences - Seminars
DESCRIPTION:Prof. Andrea Arpaci-Dusseau\, University of Wisconsin\nFile an
 d storage systems contain design flaws\, implementation problems\, and sof
 tware bugs that can lead to system crashes\, data loss\, and silent data c
 orruption.  In this talk\, I describe two specific contributions of our gr
 oup at Wisconsin in designing and building more reliable file and storage 
 systems.\n\nFirst\, I describe SQCK\, a new file system checker.  File sys
 tem checkers are necessary in order to fix problems that may occur in file
  system images. However\, existing checkers (such as e2fsck) are overly co
 mplex and fail in significant ways.  The key contribution of SQCK is that 
 it is based on a declarative query language\, which is a natural match for
  the cross-checking that must be performed across the many structures of a
  file system image.  Thus\, SQCK is able to perform more useful checks and
  repairs than existing checkers with surprisingly elegant and compact quer
 ies.\n\nSecond\, I describe the I/O Shepherd.  The main contribution of th
 e I/O shepherd is to make the reliability policy of a file system a first-
 class concern.  With the I/O shepherd\, the reliability policy of the file
  system (e.g.\, retry\, parity\, mirrors\, checksums\, and/or sanity check
 s) can be cleanly specified and encapsulated.  We again show that with the
  right abstraction\, even complex policies can be specified in relatively 
 few lines of code.\n\n  Prof. Arpaci-Dusseau's homepage 
LOCATION:BC 01 https://plan.epfl.ch/?room==BC%2001
STATUS:CONFIRMED
END:VEVENT
END:VCALENDAR