Contents
Changelog:
- 2 April 2019: consistently use lowercase for function names (like the template code)
- 3/4 April 2019: supply
fat-shell
that fixes some memory errors - 4 April 2019: add some missing paragraph breaks; note (as should be obvious from the structs/hints provided) that the library should not rely on the underlying OS supporting FAT itself
- 4 April 2019: also fix memory error in
fat_shell.cc
where an erroneous lsdir would use-after-free in fat_shell’s code. - 5 April 2019: note that
fat_test
is less thorough about multicluster readdir of/
than it should be. - 8 April 2019: really fix memory error in
fat_shell.cc
where an erroneous lsdir would use-after-free in fat_shell’s code. (mistake uploading file on 5 April?)
Note: a version of
fat_shell.cc
(last update 8 April 2019) that fixes some memory errors present in the originally distributed version is available here
Your Task
-
Download the skeleton code (link — last updated 4 April 2019 (only to change
fat_shell.cc
)) containing library function declarations, the beginnings of some testing code, and a sample Makefile. - Write a C++ library to read from a FAT32 filesystem (without relying on the underlying
OS supporting FAT itself), except that
- You may assume filenames only contain 7-bit ASCII characters.
- You may assume that the filesystem is small enough to map into memory, such as with
mmap
. - You do not need to support “long” filenames (filenames longer than 8 characters plus a 3 character extension).
Your library should support a POSIX-like API (but using “file descriptors” your library tracks internally rather than ones tracked by the OS) including the following functions, which are declared in
fat.h
(and much exactly match these prototypes).Whenever a path within the filesystem is required, paths either
- start with a
/
. These paths are relative to the root directory of the filesystem. - start with a non-
/
character. These paths are relative to the current working directory, which is initially the root directory
Each path consists of directory or filenames separated by
/
. For paths that name a directory (e.g. forfat_readdir
), there may be a trailing/
(as in/
, the path of the root directory, or/FooBar/
, a directory calledFooBar
in the root directory).- (required for checkpoint)
bool fat_mount(const std::string &path)
– open the specified FAT disk image and use it for all subsequentfat_*
calls. In this function onlypath
is a path on the underlying OS’s filesystem instead of a path in the FAT volume. This should return true if the disk image is successfully opened, and false on any error. int fat_open(const std::string &path)
– open the specified file. Directories in the path are seperated by “/”. Returns an integer file descriptor (one used by your library, not a real file descriptor on the underlying OS) that your library will accept for other calls. On failure, returns -1 instead; you must fail if you ask to open a file that does not exist. You must support opening at least 128 files at a time; after 128 files are opened you may return an error if more are opened. You may also return an error when a directory is opened.bool fat_cd(const std::string& name)
– change the current working directory toname
. Returnsfalse
on failure (e.g. no such directory)bool fat_close(int fd)
– close the specified file descriptor returned byfat_open
. Returnsfalse
on failure (e.g. file not open).int fat_pread(int fd, void *buffer, int count, int offset)
– copycount
bytes starting with byte numberoffset
in the previously opened file. Byte offsets start with0
, so reading with an offset of0
and acount
equal to the size of the file will read the entire file. Returns the number of bytes read, which will be less thancount
if the caller asks to read past the end-of-file. Returns -1 if the read fails (e.g.fd
was not opened). Reading 0 bytes succesfully, such as whencount
is 0 or whenoffset
is past the end of file should return0
, not-1
.- (required for checkpoint, but only the path “/” needs to work for checkpoint)
vector<AnyDirEntry> fat_readdir(const std::string & path)
– return an vector of directory entries, whereAnyDirEntry
is a struct declared in the supplied filefat.h
. These directory entries should be exactly as found on disk. Do not filter out unused entries. In the event of an error, return an empty vector.
You should include a Makefile that builds your library as libfat.a, like our sample Makefile will.
- Create a tar.gz archive like the one our supplied Makefile does with
make archive
, and submit it via the submission site.
Reference
-
Refer to the FAT specification. This specification documents FAT32, FAT16, and FAT12, but you are only required to implement FAT32.
-
https://wiki.osdev.org/FAT may be a convenient reference.
-
Here are some disk images to test with:
- sampledisk32.raw
- testdisk1.raw (modified version of sampledisk32.raw, expected by included
fat_test
)
Included files
-
We include a
fat.h
which includes the prototypes necessary forAnyDirEntry
.AnyDirEntry
has the exact same layout in memory that the directory entries have on disk, so you do not need to convert field-by-field. -
We include a
fat_internal.h
which includes a struct that has the same layouts as the Bios Parameter Block to keep you from needing to worry about the details of converting that to a C struct. -
The structs declared in
fat.h
andfat_internal.h
are laid out so that values in memory have the exact same layout that have one disk. This allows you to convert the bytes on disk directly to the struct rather than copying variable-by-variable.To make this work, in addition to setting the size of each variable in the struct, we’ve used
__attribute__((packed))
to tell GCC to not add any extra space between each of the values in the struct. -
We include two testing programs that will be built and linked by the supplied Makefile:
-
one called
fat_shell
that lets you have a shell-like interface to the filesystem.Before 3 April 2019, the supplied version of
fat_shell
leaked some memory from itsread
command and would not pay attention to the size when printing out its buffer. You can download a corrected version offat_shell.cc
hereAmong the commands it supports are:
mount FILENAME
lsdir DIRECTORY
— note that this only looks at the first 1000 entries returned by your readdir() (to avoid spamming with too much output)cp FILENAME OUTPUT-FILENAME SIZE
– copy SIZE bytes from a file from within the FAT filesytem to a normal file on diskopen FILENAME
close FILE-DESCRIPTOR-NUMBER
read FILE-DESCRIPTOR-NUMBER SIZE OFFSET
exit
-
one called
fat_test
that runs some fixed tests for thetestdisk1.raw
image linked above. Note that we may run different tests when grading your submission, including tests that cover functionality not exercised by this test. Some of the tests included in this are:- reading from the multi-cluster root directory in
testdisk1.raw
([added 5 April:] but it does not actually check for files beyond the first cluster being returned fromreaddir
; you can addcheck_root_dir("/", true);
tomounted_tests
to do this.) - reading the single-cluster file
congrats.txt
in the root directory - reading from the contiguous multi-cluster file
gamecopy.txt
in the root directory - reading from the noncontiguous multi-cluster file
gamefrag.txt
in the root directory (which contains the same text asgamecopy.txt
) - reading from files with non-3-character extensions like
foo.a
- reading from files in subdirectories and subsubdirectories which requires traversing multi-cluster directories and directory entries that are marked as deleted
Look at the source code (in particular the
mounted_tests()
function) for complete information. - reading from the multi-cluster root directory in
-
Hints
Viewing FAT filesystems for testing/debugging
-
You may find a hex editor like
bless
(which you can install on your VM withsudo apt install bless
) helpful to examine the contents of a FAT32 disk image. -
You can mount a FAT disk image in your VM with the mount command. After creating a directory like
/mnt
to mount it to run something likesudo mount -o umask=0000 the-fat-disk-image.img /mnt
to mount it. The
umask=0000
option ensures that the files in the filesystem are accessible to all users, which is probably simplest on a VM, but not secure on a multiuser system. Alternately, you could replaceumask=0000
withuid=XXX
whereXXX
is the user ID number printed out with theid
command.You can then unmount it with
sudo umount /mnt
. If you’re worried about accidentally modifying the disk image this way, you can also mount it read-only with a command like
sudo mount -o ro,umask=0000 the-fat-disk-image.img /mnt
Possible order of implementation
This is what I used for my reference implementation, you can do something different.
-
Load the BPB (the “header” indicating where the FAT and root directory are) from the disk into the supplied struct.
-
Write a function to read a particular cluster; use this read the first cluster of the root directory (whose location is specified by information in the BPP) and implement
readdir
. -
Write a function to read a particular entry from the FAT. Use this to implement
readdir
for when the root directory takes up multiple clusters. -
Write code for open and close that handles allocating and deallocating file descriptors, tracked by some global data structure. For now, don’t use a path yet, just open a file based on the number of its first cluster (and whatever else you need to track a file descriptor). The purpose of this step is just to have the code which chooses file descriptor numbers working.
-
Write code for open that handles paths in the root directory only and fails if the filename would be in the root directory but does not exist.
-
Write code for pread that handles reading from the first cluster of files only. You will need to modify your open code to store information needed to find this cluster.
-
Write code for pread that handles reading from more than the first cluster of files.
-
Modify
readdir
andopen
to traverse directories. You will probably want to create a shared utility function that looks up directory entries by pathname for both of these. -
Add support for tracking the current the working directory (probably as a cluster number) and implement relative pathname lookups based on this.
C++ tricks
Handy library functions
-
You may find the std::toupper function in
<cctype>
helpful for comparing filenames. -
std::string
has afind
method andsubstr
method you might consider using (see documentation). Or you can simply iterate through character-by-character for string opertaions. -
You can get the size of a file by seeking to the end and reading the location then seeking back to the beginning. You can also use the POSIX functions
fstat
orstat
.
Reading into structs
- Given a
char*
that contains data read from disk that contains the bytes of an array of structsFoo
, you can convert it into aFoo*
by casting. This is how I would recommend reading the array of directory entries from a directory.
Tracking current working directory
- It is probably easiest to keep track of the current working directory by remembering its cluster number.
On paths with .
and ..
-
FAT directories except the root directories should contain
.
and..
entries that point to the itself and the parent directory, so your filesystem should handle paths likefoo/../bar
as equivalent tobar
“for free” — except that:- you will need to treat these paths specially because they don’t have an extension like
.txt
and don’t use the extension part of the filename field of the directory entry - FAT uses cluster number
0
in directory entries to represent the root directory, even if it is stored in a different cluster number.
We do not care if you handle changing directory to
/..
or/.
(though a real OS would do this, even though the root directory does not contain these directory entries) - you will need to treat these paths specially because they don’t have an extension like
Locating clusters
- Our slides suggested that cluster 0 was located at the beginning of the disk. The way the FAT specification specifies to interpret cluster numbers in the FAT data structure is a bit more complex than this.