$29
Final Project: File System Solution
1. Purpose
In this project, you will build a Unix-like file system on the ThreadOS. Through the use of the file system, user programs will now be able to access persistent data on disk by way of stream-oriented files rather than the more painful direct access to disk blocks with rawread() and rawrite().
2. Collaboration
Given the size of this project, you are encouraged to form a team of two or three students. In working with your partner(s), the workload should divided equally across all members. This project requires much more time to be completed than the previous four assignments. Schedule and pace your design and coding work accordingly. If you are very confident of working independently you may do so.
3. What Files to Use
Use ThreadOS' original files, (i.e., the original classes) except for Kernel.java. For Kernel.java, use the one you got in the assignment 4, (i.e., Kernel_org.java). For simplicity, you should just re-download all readable files from the ThreadOS directory to get started.
4. Interface
The file system should provide user threads with the system calls that will allow them to format, to open, to read from , to write to, to update the seek pointer of, to close, to delete, and to get the size of their files.
For simplicity, the file system being created will consiste of a single level. The "/" root directory is predefined by the file system and permanently available for user threads to store their files. No other directories are provided by the system and created by users dynamically.
Each user thread needs to keep track of all files it has opened. For this purpose, it should maintain a table of those open files in its TCB. This table is called a user file descriptor table. It has 32 entries. Whenever a thread opens a file, it must allocate to this file a new table entry, termed a file descriptor. Each file descriptor includes the file access mode and the reference to the corresponding file (structure) table entry. The file access mode indicates "read only", "write only", "read/write", or "append". The file (structure) table is a system-maintained table shared among all user threads, each entry of which maintains the seek pointer and the inode number of a file. Depending on the access mode, the seek pointer is set to the first or the tail of the file, and keeps track of a next position to read from and to write to the file. It is entirely possible for one thread to open the same file many times, thus having several entries in the corresponding TCB's user file descriptor table. Although each of these user file descriptor table entries refer to a different file (structure) table entry with its own seek pointer, all of them eventually points to the same inode.
The file system you will implement must provide the following eight system calls.
int SysLib.format( int files );
Formats the disk (Disk.java's data contents). The parameter files specifies the maximum number of files to be created (the number of inodes to be allocated) in your file system. The return value is 0 on success, otherwise -1.
int fd = SysLib.open( String fileName, String mode );
Opens the file specified by the fileName string in the given mode (where "r" = ready only, "w" = write only, "w+" = read/write, "a" = append). The call allocates a new file descriptor, fd to this file. The file is created if it does not exist in the mode "w", "w+" or "a". SysLib.open must return a negative number as an error value if the file does not exist in the mode "r". Note that the file descriptors 0, 1, and 2 are reserved as the standard input, output, and error, and therefore a newly opened file must receive a new descriptor numbered in the range between 3 and 31. If the calling thread's user file descriptor table is full, SysLib.open should return an error
http://courses.washington.edu/css430/prog/dimpsey/finalproject.html 1/7
CSS 430 - Final Project: File System
value. The seek pointer is initialized to zero in the mode "r", "w", and "w+", whereas initialized at the end of the file in the mode "a".
int read( int fd, byte buffer[] );
Reads up to buffer.length bytes from the file indicated by fd, starting at the position currently pointed to by the seek pointer. If bytes remaining between the current seek pointer and the end of file are less than buffer.length, SysLib.read reads as many bytes as possible, putting them into the beginning of buffer. It increments the seek pointer by the number of bytes to have been read. The return value is the number of bytes that have been read, or a negative value upon an error.
int write( int fd, byte buffer[] );
Writes the contents of buffer to the file indicated by fd, starting at the position indicated by the seek pointer. The operation may overwrite existing data in the file and/or append to the end of the file. SysLib.write increments the seek pointer by the number of bytes to have been written. The return value is the number of bytes that have been written, or a negative value upon an error.
int seek( int fd, int offset, int whence );
Updates the seek pointer corresponding to fd as follows:
If whence is SEEK_SET (= 0), the file's seek pointer is set to offset bytes from the beginning of the file
If whence is SEEK_CUR (= 1), the file's seek pointer is set to its current value plus the offset. The offset can be positive or negative.
If whence is SEEK_END (= 2), the file's seek pointer is set to the size of the file plus the offset. The offset can be positive or negative.
If the user attempts to set the seek pointer to a negative number you must clamp it to zero. If the user attempts to set the pointer to beyond the file size, you must set the seek pointer to the end of the file. In both cases, you should return success.
int close( int fd );
Closes the file corresponding to fd, commits all file transactions on this file, and unregisters fd from the user file descriptor table of the calling thread's TCB. The return value is 0 in success, otherwise -1.
int delete( String fileName );
Deletes the file specified by fileName. All blocks used by file are freed. If the file is currently open, it is not deleted and the operation returns a -1. If successfully deleted a 0 is returned.
int fsize( int fd );
Returns the size in bytes of the file indicated by fd.
Unless specified otherwise, each of the above system calls returns -1 when detecting an error.
5. Implementation
Superblock
The first disk block, block 0, is called the superblock. It is used to describe
The number of disk blocks.
The number of inodes.
The block number of the head block of the free list.
It is the OS-managed block. No other information must be recorded in and no user threads must be able to get access to the superblock.
class Superblock {
public int totalBlocks; // the number of disk blocks
3public int totalInodes; // the number of inodes
4
public int freeList;
// the block number of the free list's head
5
public SuperBlock( int diskSize ) {
...
}
...
10 }
http://courses.washington.edu/css430/prog/dimpsey/finalproject.html 2/7
CSS 430 - Final Project: File System
Superblock.java hosted with ❤ by GitHub
view raw
Inodes
Starting from the blocks after the superblock will be the inode blocks. Each inode describes one file. Our inode is a simplified version of the Unix inode. It includes 12 pointers of the index block. The first 11 of these pointers point to direct blocks. The last pointer points to an indirect block. In addition, each inode must include (1) the length of the corresponding file, (2) the number of file (structure) table entries that point to this inode, and (3) the flag to indicate if it is unused (= 0), used(= 1), or in some other status (= 2, 3, 4, ...). 16 inodes can be stored in one block.
public class Inode {
2
private final static int iNodeSize = 32;
// fix to 32 bytes
3
private final static int directSize = 11;
// # direct pointers
4
5
public int length;
// file size in bytes
6
public short count;
// # file-table entries pointing to this
7
public short flag;
// 0 = unused, 1 = used, ...
public short direct[] = new short[directSize]; // direct pointers
9
public short indirect;
// a indirect pointer
10
11
Inode( ) {
// a default constructor
length = 0;
count = 0;
flag = 1;
for ( int i = 0; i < directSize; i++ )
direct[i] = -1;
indirect = -1;
}
19
20
Inode( short iNumber ) {
// retrieving inode from disk
// design it by yourself.
}
23
24
int toDisk( short iNumber ) {
// save to disk as the i-th inode
// design it by yourself.
}
}
Inode.java hosted with ❤ by GitHub view raw
You will need a constructor that retrieves an existing inode from the disk into the memory. Given an inode number, termed inumber, this constructor reads the corresponding disk block, locates the corresponding inode information in that block, and initializes a new inode with this information.
The system must avoid any inode inconsistency among different user threads. There are two solutions to maintain the inode consistency:
Before an inode in memory is updated, check the corresponding inode on disk, read it from the disk if the disk has been updated by another thread. Thereafter, you should write back its contents to disk immediately. Note that the inode data to be written back include int length, short count, short flag, short direct[11], and short indirect, thus requiring a space of 32 bytes in total. For this write-back operation, you will need the toDisk method that saves this inode information to the iNumber-th inode in the disk, where iNumber is given as an argument.
Create a Vector< Inode object that maintains all inode on memory, is shared among all threads, and is exclusively access by each thread.
Root Directory
http://courses.washington.edu/css430/prog/dimpsey/finalproject.html 3/7
CSS 430 - Final Project: File System
The "/" root directory maintains each file in a different directory entry that contains its file name (maximum 30 characters; 60 bytes in Java) and the corresponding inode number. The directory receives the maximum number of inodes to be created, (i.e., thus the max. number of files to be created) and keeps track of which inode numbers are in use. Since the directory itself is considered as a file, its contents are maintained by an inode, specifically inode 0. This can be located in the first 32 bytes of the disk block 1.
Upon booting ThreadOS, the file system instantiates the Directory class as the root directory through its constructor, reads the file from the disk that can be found through the inode 0 at 32 bytes of the disk block 1, and initializes the Directory instnace with the file contents. Prior to shutdown, the file system must write back the Directory information onto the disk. The methods bytes2directory( ) and directory2bytes will initialize the Directory instance with a byte array read from the disk and converts the Directory instance into a byte array that will be thereafter written back to the disk.
public class Directory {
private static int maxChars = 30; // max characters of each file name
3
4// Directory entries
5
private int fsize[];
// each element stores a different file size.
6
private char fnames[][];
// each element stores a different file name.
7
public Directory( int maxInumber ) { // directory constructor
9 fsizes = new int[maxInumber]; // maxInumber = max files
for ( int i = 0; i < maxInumber; i++ )
11 fsize[i] = 0; // all file size initialized to 0
fnames = new char[maxInumber][maxChars];
13
String root = "/";
//
entry(inode) 0 is "/"
14
fsize[0] = root.length( );
//
fsize[0] is the size of "/".
root.getChars( 0, fsizes[0], fnames[0], 0 ); // fnames[0] includes "/"
}
17
public int bytes2directory( byte data[] ) {
// assumes data[] received directory information from disk
// initializes the Directory instance with this data[]
}
22
public byte[] directory2bytes( ) {
// converts and return Directory information into a plain byte array
// this byte array will be written back to disk
// note: only meaningfull directory information should be converted
// into bytes.
}
29
public short ialloc( String filename ) {
// filename is the one of a file to be created.
// allocates a new inode number for this filename
}
34
public boolean ifree( short iNumber ) {
// deallocates this inumber (inode number)
// the corresponding file will be deleted.
}
39
public short namei( String filename ) {
// returns the inumber corresponding to this filename
}
}
http://courses.washington.edu/css430/prog/dimpsey/finalproject.html 4/7
CSS 430 - Final Project: File System
Directory.java hosted with ❤ by GitHub
view raw
File (Structure) Table
The file system maintains the file (structure) table shared among all user threads. When a user thread opens a file, it follows the sequence listed below:
The user thread allocates a new entry of the user file descriptor table in its TCB. This entry number itself becomes a file descriptor number. The entry maintains a reference to a file (structure) table entry.
The user thread then requests the file system to allocate a new entry of the system-maintained file (structure) table. This entry includes the seek pointer of this file, a reference to the inode corresponding to the file, the inode number, the count to maintain #threads sharing this file (structure) table, and the access mode. The seek pointer is set to the front or the tail of this file depending on the file access mode.
The file system locates the corresponding inode and records it in this file (structure) table entry.
The user thread finally registers a reference to this file (structure) table entry in its file descriptor table entry of the TCB.
The file (structure) table entry should be:
1
public class FileTableEntry {
// Each
table entry should have
2
public int seekPtr;
//
a
file seek pointer
3
public final Inode inode;
//
a reference to its inode
4
public final short iNumber;
//
this inode number
5
public int count;
//
# threads sharing this entry
6
public final String mode;
//
"r", "w", "w+", or "a"
public FileTableEntry ( Inode i, short inumber, String m ) {
8 seekPtr = 0; // the seek pointer is set to the file top
inode = i;
iNumber = inumber;
11
count = 1;
//
at least on
thread is using
this entry
12
mode = m;
//
once access
mode is set, it
never changes
if ( mode.compareTo( "a" ) == 0 ) // if mode is append,
14 seekPtr = inode.length; // seekPtr points to the end of file
}
}
FileTableEntry.java hosted with ❤ by GitHub view raw
The file (structure) table is defined as follows:
public class FileTable {
2
3
private Vector table;
// the actual entity of this file table
4
private Directory dir;
// the root directory
5
public FileTable( Directory directory ) { // constructor
7
table = new Vector( );
// instantiate a file (structure) table
8
dir = directory;
// receive a reference to the Director
9
}
// from the file system
10
// major public methods
public synchronized FileTableEntry falloc( String filename, String mode ) {
// allocate a new file (structure) table entry for this file name
// allocate/retrieve and register the corresponding inode using dir
// increment this inode's count
// immediately write back this inode to the disk
// return a reference to this file (structure) table entry
http://courses.washington.edu/css430/prog/dimpsey/finalproject.html 5/7
CSS 430 - Final Project: File System
}
public synchronized boolean ffree( FileTableEntry e ) {
// receive a file table entry reference
// save the corresponding inode to the disk
// free this file table entry.
// return true if this file table entry found in my table
}
public synchronized boolean fempty( ) {
return table.isEmpty( ); // return if table is empty
29 } // should be called before starting a format
}
FileTable.java hosted with ❤ by GitHub view raw
File Descriptor Table
Each user thread maintains a user file descriptor table in its own TCB. Every time it opens a file, it allocates a new entry table including a reference to the corresponding file (structure) table entry. Whenever a thread spawns a new child thread, it passes a copy of its TCB to this child which thus has a copy of its parent's user file descriptor table.
This in turn means the both the parent and the child refer to the same file (structure) table entries and eventually share the same files.
public class TCB {
private Thread thread = null;
3private int tid = 0;
4private int pid = 0;
5private boolean terminate = false;
6
7// User file descriptor table:
8// each entry pointing to a file (structure) table entry
9public FileTableEntry[] ftEnt = null;
10
public TCB( Thread newThread, int myTid, int parentTid ) {
thread = newThread;
tid = myTid;
pid = parentTid;
terminated = false;
16
// The following code is added for the file system
ftEnt = new FileTableEntry[32];
for ( int i = 0; i < 32; i++ )
ftEnt[i] = null;// all entries initialized to null
// fd[0], fd[1], and fd[2] are kept null.
}
}
TCB.java hosted with ❤ by GitHub view raw
Note that the file descriptors 0, 1, and 2 are reserved for the standard input, output, and error, and thus those entires must remain null.
6. Statement of Work
Design and implement the file system in ThreadOS as specified above. Run Test5.java which is found in the ThreadOS directory. This test program will test the functionality of every feature and system call listed above and check the data consistency of your file system. Some of the things that are tested include:
http://courses.washington.edu/css430/prog/dimpsey/finalproject.html 6/7
CSS 430 - Final Project: File System
Does the filesystem allow one to read the same data from a file that was previously written?
Are malicious operations handled appropriately and proper error codes returned? Those operations include file accesses with a negative seek pointer, too many files to be opened at a time per a thread and over the system, etc.
Does the file system synchronize all data on memory with disk before a shutdown and reload those data from the disk upon the next boot?
What to Turn In
Softcopy (file uploads):
Please turn in one report per collaboration group:
All source code you have modified and created
Results when you run your own test program
Your file system specification including your assumptions and limitations
Descriptions on internal design including inode, file table, etc.
Consideration on performance estimation, current functionality, and possible extended functionality
gradeguide5.txt is the grade guide for the final project.
8. FAQ
This website could answer your questions. Please click here before emailing the professor :-).
9. Additional Materials
Click here. (Typo collection in this pdf: Note that bytes2directory should return int rather than void.)
http://courses.washington.edu/css430/prog/dimpsey/finalproject.html 7/7
