Introduction

These pages are documentation for the SibylFS project.

These pages document how to use SibylFS. The paper "SibylFS: formal specification and oracle-based testing for POSIX and real-world file systems" http://sigops.org/sosp/sosp15/current/2015-Monterey/printable/102-ridge.pdf should be read first, particularly sections 1 and 2 which give background and an overview of the system, and section 6 which describes the test suite and harness.

Code

SibylFS is hosted on GitHub, see https://github.com/sibylfs/. Read the installation instructions for guidance on how and when to install from source.

Binaries

Binaries can be downloaded from GitHub. See installation for further instructions.

Test suite

The test suite is available from GitHub. See here for further instructions.

Examples

• http://sibylfs.github.io/sibylfs_examples/2015-07-10_KvD/html/index.html - a small example, ext4 on Linux, mkdir tests
• http://sibylfs.github.io/sibylfs_examples/2015-07-24_y2I/html/index.html - a full test run, ext4, Linux
• http://fs.dsheets.name/ - a repository of test runs across many different platforms and file systems

Documentation

This documentation lives in the https://github.com/sibylfs/sibylfs_doc/ repository (subdirectory www). The pages are generated from Markdown, using gitbook https://github.com/GitbookIO/gitbook