CS 1550 – Project 4: File Systems

Due: Sunday, December 9, 2007, 11:59pm

Description

FUSE (http://fuse.sourceforge.net/) is a Linux kernel extension that allows for a user space program to provide the implementations for the various file-related syscalls.  We will be using FUSE to create our own file system, managed via two files that represent our disk device.  Through FUSE and our implementation, it will be possible to interact with our newly created file system using standard UNIX/Linux programs in a transparent way.

From a user interface perspective, our file system will be a two level directory system, with the following restrictions/simplifications:

  1. The root directory “\” will only contain other subdirectories, and no regular files
  2. The subdirectories will only contain regular files, and no subdirectories of their own
  3. All files will be full access (i.e., chmod 0666), with permissions to be mainly ignored
  4. Many file attributes such as creation and modification times will not be accurately stored
  5. Files cannot be truncated

From an implementation perspective, the file system will keep data on “disk” via a linked allocation strategy, outlined below.

Installation of FUSE

FUSE consists of two major components: A kernel module that has already been installed, and a set of libraries and example programs that you need to install.

First, copy the source code to your /u/OSLab/USERNAME directory

cd /u/OSLab/USERNAME

cp /u/OSLab/original/fuse-2.7.0.tar .

tar xvf fuse-2.7.0.tar

cd fuse-2.7.0

 


Now, we do the normal configure, compile, install procedure on UNIX, but omit the install step since that needs to be done as a superuser and has already been done.

./configure

make

 

(The third step would be make install, but if you try it, you will be met with many access denied errors.)

First FUSE Example

Let us now walk through one of the examples. Enter the following:

cd /u/OSLab/USERNAME/

cd fuse-2.7.0/examples

mkdir testmount

ls -al testmount

./hello testmount

ls -al testmount

 

You should see 3 entries: ., .., and hello.  We just created this directory, and thus it was empty, so where did hello come from?  Obviously the hello application we just ran could have created it, but what it actually did was lie to the operating system when the OS asked for the contents of that directory. So let’s see what happens when we try to display the contents of the file.

cat testmount/hello

 

You should get the familiar hello world quotation.  If we cat a file that doesn’t really exist, how do we get meaningful output?  The answer comes from the fact that the hello application also gets notified of the attempt to read and open the fictional file “hello” and thus can return the data as if it was really there.

Examine the contents of hello.c in your favorite text editor, and look at the implementations of readdir and read to see that it is just returning hard coded data back to the system.

The final thing we always need to do is to unmount the file system we just used when we are done or need to make changes to the program.  Do so by:

fusermount -u testmount

FUSE High-level Description

The hello application we ran in the above example is a particular FUSE file system provided as a sample to demonstrate a few of the main ideas behind FUSE.  The first thing we did was to create an empty directory to serve as a mount point.  A mount point is a location in the UNIX hierarchical file system where a new device or file system is located.  As an analogy, in Windows, “My Computer” is the mount point for your hard disks and CD-ROMs, and if you insert a USB drive or MP3 player, it will show up there as well.  In UNIX, we can have mount points at any location in the tree.

Running the hello application and passing it the location of where we want the new file system mounted initiates FUSE and tells the kernel that any file operations that occur under our now mounted directory will be handled via FUSE and the hello application.  When we are done using this file system, we simply tell the OS that it no longer is mounted by issuing the above fusermount -u command.  At that point the OS goes back to managing that directory by itself.

What You Need to Do

Your job is to create the cs1550 file system as a FUSE application that provides the interface described in the first section. A code skeleton has been provided under the examples directory as cs1550.c.  It is automatically built when you type make in the examples directory.

The cs1550 file system should be implemented using a pair of files, managed by the real file system in the directory that contains the cs1550 application.  The first file should keep track of the directories, and the second should be the disk.  We will consider the disk to have 512 byte blocks.

Directories

Directories should be recorded in a hidden file named .directories that contains a list of cs1550_directory_entry structures.  There is no limit on how many directories we can have.

struct cs1550_directory_entry

{

       char dname[MAX_FILENAME + 1];     //the directory name (plus space for a nul)

       int nFiles;                       //How many files are in this directory.

                                         //Needs to be less than MAX_FILES_IN_DIR

 

       struct cs1550_file_directory

       {

              char fname[MAX_FILENAME + 1];     //filename (plus space for nul)

              char fext[MAX_EXTENSION + 1];     //extension (plus space for nul)

              size_t fsize;                     //file size

              long nStartBlock;                 //where the first block is on disk

       } files[MAX_FILES_IN_DIR];               //There is an array of these

};

 

Each directory entry will contain an 8-character maximum directory name, and then have a list of files that are in the directory.  Since each directory entry can only take up a single disk block, we are limited to a fixed number of files per directory.

Each file entry in the directory has a filename in 8.3 format.  We also need to record the total size of the file, and the location of the file’s first block on disk.

Files

Files will be stored in a virtual disk that is implemented as a single, pre-sized file called .disk with 512 byte blocks of the format:

struct cs1550_disk_block

{

       //Two choices for interpreting size:

       //     1) how many bytes are being used in this block

       //     2) how many bytes are left in the file

       //Either way, size tells us if we need to chase the pointer to the next

       //disk block. Use it however you want.

       size_t size; 

 

       //The next disk block, if needed. This is the next pointer in the linked

       //allocation list

       long nNextBlock;

 

       //And all the rest of the space in the block can be used for actual data

       //storage.

       char data[MAX_DATA_IN_BLOCK];

};

 

This is how the resulting system is logically structured.

Disk Management

In order to manage the free or empty space, you will need to create a bitmap block on the disk that records whether a given block has been previously allocated or not.  You can do this however you like.

To create a 5MB disk image, execute the following:

dd bs=1K count=5K if=/dev/zero of=.disk

 

This will create a file initialized to contain all zeros, named .disk.  You only need to do this once, or every time you want to completely destroy the disk.

Syscalls

To be able to have a simple functioning file system, we need to handle a minimum set of operations on files and directories.  The functions are listed here in the order that I suggest you implement them in.  The last three do not need implemented beyond what the skeleton code has already.

The syscalls need to return success or failure.  Success is indicated by 0 and appropriate errors by the negation of the error code, as listed on the corresponding function’s man page.


cs1550_getattr

Description:

This function should look up the input path to determine if it is a directory or a file.  If it is a directory, return the appropriate permissions.  If it is a file, return the appropriate permissions as well as the actual size.  This size must be accurate since it is used to determine EOF and thus read may not be called.

UNIX Equivalent:

man -s 2 stat

Return values:

0 on success, with a correctly set structure

-ENOENT if the file is not found

 


cs1550_readdir

Description:

This function should look up the input path, ensuring that it is a directory, and then list the contents.

 

To list the contents, you need to use the filler() function.  For example: filler(buf, ".", NULL, 0); adds the current directory to the listing generated by ls -a

 

In general, you will only need to change the second parameter to be the name of the file or directory you want to add to the listing.

UNIX Equivalent:

man -s 2 readdir

 

However it’s not exactly equivalent

Return values:

0 on success

-ENOENT if the directory is not valid or found

 

cs1550_mkdir

Description:

This function should add the new directory to the root level, and should update the .directories file appropriately.

UNIX Equivalent:

man -s 2 mkdir

Return values:

0 on success

-ENAMETOOLONG if the name is beyond 8 chars

-EPERM if the directory is not under the root dir only

-EEXIST if the directory already exists

 

 


cs1550_rmdir

Description:

Deletes an empty directory

UNIX Equivalent:

man -s 2 rmdir

Return values:

0  read on success

-ENOTEMPTY if the directory is not empty

-ENOENT if the directory is not found

-ENOTDIR if the path is not a directory

 

cs1550_mknod

Description:

This function should add a new file to a subdirectory, and should update the .directories file appropriately with the modified directory entry structure.

UNIX Equivalent:

man -s 2 mknod

Return values:

0 on success

-ENAMETOOLONG if the name is beyond 8.3 chars

-EPERM if the file is trying to be created in the root dir

-EEXIST if the file already exists

 

cs1550_write

Description:

This function should write the data in buf into the file denoted by path, starting at offset.

UNIX Equivalent:

man -s 2 write

Return values:

size on success

-EFBIG if the offset is beyond the file size (but handle appends)

 

cs1550_read

Description:

This function should read the data in the file denoted by path into buf, starting at offset.

UNIX Equivalent:

man -s 2 read

Return values:

size read on success

-EISDIR if the path is a directory

 

cs1550_unlink

Description:

Delete a file

UNIX Equivalent:

man -s 2 unlink

Return values:

0  read on success

-EISDIR if the path is a directory

-ENOENT if the file is not found

 

cs1550_open

This function should not be modified, as you get the full path every time any of the other functions are called.

 

cs1550_flush

This function should not be modified.

cs1550_truncate

This function should not be modified.

Building and Testing

The cs1550.c file is included as part of the Makefile in the examples directory, so building your changes is as simple as typing make.

One suggestion for testing is to launch a FUSE application with the -d option (./cs1550 -d testmount).  This will keep the program in the foreground, and it will print out every message that the application receives, and interpret the return values that you’re getting back.  Just open a second terminal window and try your testing procedures.  Note if you do a CTRL+C in this window, you may not need to unmount the file system, but on crashes (transport errors) you definitely need to.

Your first steps will involve simply testing with ls and mkdir.  When that works, try using echo and redirection to write to a file.  cat will read from a file, and you will eventually even be able to launch pico on a file.

Remember that you may want to delete your .directories or .disk files if they become corrupted.  You can use the commands od -x to see the contents in hex of either file, or the command strings to grab human readable text out of a binary file.

Notes and Hints

File Backups

One of the major contributions the university provides for the AFS file system is nightly backups. However, the /u/OSLab/ partition is not part of AFS space.  Thus, any files you modify under your personal directory in /u/OSLab/ are not backed up.  If there is a catastrophic disk failure, all of your work will be irrecoverably lost.  As such, it is my recommendation that you:

Backup all the files you change under /u/OSLab to your ~/private/ directory frequently!

Loss of work not backed up is not grounds for an extension.  You have been warned.

Requirements and Submission

You need to submit:

 

Make a tar.gz file as in the first assignment, named USERNAME-project4.tar.gz

Copy it to ~jrmst106/submit/ by the deadline for credit.