From d49d32b56376a5093ac781bad35dae2016fc778e Mon Sep 17 00:00:00 2001 From: zooko <> Date: Thu, 8 May 2008 18:44:18 +0000 Subject: [PATCH] formatting [Imported from Trac: page Bibliography, version 15] --- Bibliography.md | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/Bibliography.md b/Bibliography.md index bca850a..83a3c3c 100644 --- a/Bibliography.md +++ b/Bibliography.md @@ -23,13 +23,13 @@ Here are some papers that are potentially of interest. ## Local Filesystems -Model-Based Failure Analysis of Journaling File Systems [citeseer](http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.78.8911) [PDF](http://www.cs.wisc.edu/wind/Publications/sfa-dsn05.pdf) compares ext3, reiserfs, and JFS under conditions of latent sector errors. (Impatient people: read the Introduction and look at the table on page 9.) +[Model-Based Failure Analysis of Journaling File Systems](http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.78.8911) [PDF](http://www.cs.wisc.edu/wind/Publications/sfa-dsn05.pdf) compares ext3, reiserfs, and JFS under conditions of latent sector errors. (Impatient people: read the Introduction and look at the table on page 9.) -IRON Filesystems [citeseer](http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.66.3785) [PDF](https://www.cs.wisc.edu/wind/Publications/iron-sosp05.pdf), a follow-on by the authors of "Model-Based Failure Analysis of Journaling File Systems" examines how ext3, reiserfs, xfs, and ntfs handle various sorts of errors (impatient people, see table on page 8, "File System Summary" on page 9, and table on page 10). +[IRON Filesystems](http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.66.3785) [PDF](https://www.cs.wisc.edu/wind/Publications/iron-sosp05.pdf), a follow-on by the authors of "Model-Based Failure Analysis of Journaling File Systems" examines how ext3, reiserfs, xfs, and ntfs handle various sorts of errors (impatient people, see table on page 8, "File System Summary" on page 9, and table on page 10). -Using Model Checking to Find Serious File System Errors [citeseer](http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.80.8142) [PDF](https://www.stanford.edu/~engler/osdi04-fisc.pdf) analyzes ext3, JFS, and reiserfs (impatient: page 10). +[Using Model Checking to Find Serious File System Errors ](http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.80.8142) [PDF](https://www.stanford.edu/~engler/osdi04-fisc.pdf) analyzes ext3, JFS, and reiserfs (impatient: page 10). -eXplode: A lightweight, general approach for finding serious errors in storage systems [PDF](https://www.stanford.edu/~engler/explode-osdi06.pdf), a follow-on by the authors of "Using Model Checking to Find Serious File System Errors", compares ext2, ext3, reiserfs, reiser4, jfs, xfs, msdos, vfat, hfs, and hfs+ to see if you sync them and then crash them if your allegedly synced data is actually recoverable (impatient: page 11) +[eXplode: A lightweight, general approach for finding serious errors in storage systems](https://www.stanford.edu/~engler/explode-osdi06.pdf), a follow-on by the authors of "Using Model Checking to Find Serious File System Errors", compares ext2, ext3, reiserfs, reiser4, jfs, xfs, msdos, vfat, hfs, and hfs+ to see if you sync them and then crash them if your allegedly synced data is actually recoverable (impatient: page 11) ## See Also