forked from torvalds/linux
-
Notifications
You must be signed in to change notification settings - Fork 0
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
This is a new flash file system. See Documentation/filesystems/logfs.txt Signed-off-by: Joern Engel <[email protected]>
- Loading branch information
Joern Engel
committed
Nov 20, 2009
1 parent
66b00a7
commit 5db53f3
Showing
25 changed files
with
10,446 additions
and
0 deletions.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,241 @@ | ||
|
||
The LogFS Flash Filesystem | ||
========================== | ||
|
||
Specification | ||
============= | ||
|
||
Superblocks | ||
----------- | ||
|
||
Two superblocks exist at the beginning and end of the filesystem. | ||
Each superblock is 256 Bytes large, with another 3840 Bytes reserved | ||
for future purposes, making a total of 4096 Bytes. | ||
|
||
Superblock locations may differ for MTD and block devices. On MTD the | ||
first non-bad block contains a superblock in the first 4096 Bytes and | ||
the last non-bad block contains a superblock in the last 4096 Bytes. | ||
On block devices, the first 4096 Bytes of the device contain the first | ||
superblock and the last aligned 4096 Byte-block contains the second | ||
superblock. | ||
|
||
For the most part, the superblocks can be considered read-only. They | ||
are written only to correct errors detected within the superblocks, | ||
move the journal and change the filesystem parameters through tunefs. | ||
As a result, the superblock does not contain any fields that require | ||
constant updates, like the amount of free space, etc. | ||
|
||
Segments | ||
-------- | ||
|
||
The space in the device is split up into equal-sized segments. | ||
Segments are the primary write unit of LogFS. Within each segments, | ||
writes happen from front (low addresses) to back (high addresses. If | ||
only a partial segment has been written, the segment number, the | ||
current position within and optionally a write buffer are stored in | ||
the journal. | ||
|
||
Segments are erased as a whole. Therefore Garbage Collection may be | ||
required to completely free a segment before doing so. | ||
|
||
Journal | ||
-------- | ||
|
||
The journal contains all global information about the filesystem that | ||
is subject to frequent change. At mount time, it has to be scanned | ||
for the most recent commit entry, which contains a list of pointers to | ||
all currently valid entries. | ||
|
||
Object Store | ||
------------ | ||
|
||
All space except for the superblocks and journal is part of the object | ||
store. Each segment contains a segment header and a number of | ||
objects, each consisting of the object header and the payload. | ||
Objects are either inodes, directory entries (dentries), file data | ||
blocks or indirect blocks. | ||
|
||
Levels | ||
------ | ||
|
||
Garbage collection (GC) may fail if all data is written | ||
indiscriminately. One requirement of GC is that data is seperated | ||
roughly according to the distance between the tree root and the data. | ||
Effectively that means all file data is on level 0, indirect blocks | ||
are on levels 1, 2, 3 4 or 5 for 1x, 2x, 3x, 4x or 5x indirect blocks, | ||
respectively. Inode file data is on level 6 for the inodes and 7-11 | ||
for indirect blocks. | ||
|
||
Each segment contains objects of a single level only. As a result, | ||
each level requires its own seperate segment to be open for writing. | ||
|
||
Inode File | ||
---------- | ||
|
||
All inodes are stored in a special file, the inode file. Single | ||
exception is the inode file's inode (master inode) which for obvious | ||
reasons is stored in the journal instead. Instead of data blocks, the | ||
leaf nodes of the inode files are inodes. | ||
|
||
Aliases | ||
------- | ||
|
||
Writes in LogFS are done by means of a wandering tree. A naïve | ||
implementation would require that for each write or a block, all | ||
parent blocks are written as well, since the block pointers have | ||
changed. Such an implementation would not be very efficient. | ||
|
||
In LogFS, the block pointer changes are cached in the journal by means | ||
of alias entries. Each alias consists of its logical address - inode | ||
number, block index, level and child number (index into block) - and | ||
the changed data. Any 8-byte word can be changes in this manner. | ||
|
||
Currently aliases are used for block pointers, file size, file used | ||
bytes and the height of an inodes indirect tree. | ||
|
||
Segment Aliases | ||
--------------- | ||
|
||
Related to regular aliases, these are used to handle bad blocks. | ||
Initially, bad blocks are handled by moving the affected segment | ||
content to a spare segment and noting this move in the journal with a | ||
segment alias, a simple (to, from) tupel. GC will later empty this | ||
segment and the alias can be removed again. This is used on MTD only. | ||
|
||
Vim | ||
--- | ||
|
||
By cleverly predicting the life time of data, it is possible to | ||
seperate long-living data from short-living data and thereby reduce | ||
the GC overhead later. Each type of distinc life expectency (vim) can | ||
have a seperate segment open for writing. Each (level, vim) tupel can | ||
be open just once. If an open segment with unknown vim is encountered | ||
at mount time, it is closed and ignored henceforth. | ||
|
||
Indirect Tree | ||
------------- | ||
|
||
Inodes in LogFS are similar to FFS-style filesystems with direct and | ||
indirect block pointers. One difference is that LogFS uses a single | ||
indirect pointer that can be either a 1x, 2x, etc. indirect pointer. | ||
A height field in the inode defines the height of the indirect tree | ||
and thereby the indirection of the pointer. | ||
|
||
Another difference is the addressing of indirect blocks. In LogFS, | ||
the first 16 pointers in the first indirect block are left empty, | ||
corresponding to the 16 direct pointers in the inode. In ext2 (maybe | ||
others as well) the first pointer in the first indirect block | ||
corresponds to logical block 12, skipping the 12 direct pointers. | ||
So where ext2 is using arithmetic to better utilize space, LogFS keeps | ||
arithmetic simple and uses compression to save space. | ||
|
||
Compression | ||
----------- | ||
|
||
Both file data and metadata can be compressed. Compression for file | ||
data can be enabled with chattr +c and disabled with chattr -c. Doing | ||
so has no effect on existing data, but new data will be stored | ||
accordingly. New inodes will inherit the compression flag of the | ||
parent directory. | ||
|
||
Metadata is always compressed. However, the space accounting ignores | ||
this and charges for the uncompressed size. Failing to do so could | ||
result in GC failures when, after moving some data, indirect blocks | ||
compress worse than previously. Even on a 100% full medium, GC may | ||
not consume any extra space, so the compression gains are lost space | ||
to the user. | ||
|
||
However, they are not lost space to the filesystem internals. By | ||
cheating the user for those bytes, the filesystem gained some slack | ||
space and GC will run less often and faster. | ||
|
||
Garbage Collection and Wear Leveling | ||
------------------------------------ | ||
|
||
Garbage collection is invoked whenever the number of free segments | ||
falls below a threshold. The best (known) candidate is picked based | ||
on the least amount of valid data contained in the segment. All | ||
remaining valid data is copied elsewhere, thereby invalidating it. | ||
|
||
The GC code also checks for aliases and writes then back if their | ||
number gets too large. | ||
|
||
Wear leveling is done by occasionally picking a suboptimal segment for | ||
garbage collection. If a stale segments erase count is significantly | ||
lower than the active segments' erase counts, it will be picked. Wear | ||
leveling is rate limited, so it will never monopolize the device for | ||
more than one segment worth at a time. | ||
|
||
Values for "occasionally", "significantly lower" are compile time | ||
constants. | ||
|
||
Hashed directories | ||
------------------ | ||
|
||
To satisfy efficient lookup(), directory entries are hashed and | ||
located based on the hash. In order to both support large directories | ||
and not be overly inefficient for small directories, several hash | ||
tables of increasing size are used. For each table, the hash value | ||
modulo the table size gives the table index. | ||
|
||
Tables sizes are chosen to limit the number of indirect blocks with a | ||
fully populated table to 0, 1, 2 or 3 respectively. So the first | ||
table contains 16 entries, the second 512-16, etc. | ||
|
||
The last table is special in several ways. First its size depends on | ||
the effective 32bit limit on telldir/seekdir cookies. Since logfs | ||
uses the upper half of the address space for indirect blocks, the size | ||
is limited to 2^31. Secondly the table contains hash buckets with 16 | ||
entries each. | ||
|
||
Using single-entry buckets would result in birthday "attacks". At | ||
just 2^16 used entries, hash collisions would be likely (P >= 0.5). | ||
My math skills are insufficient to do the combinatorics for the 17x | ||
collisions necessary to overflow a bucket, but testing showed that in | ||
10,000 runs the lowest directory fill before a bucket overflow was | ||
188,057,130 entries with an average of 315,149,915 entries. So for | ||
directory sizes of up to a million, bucket overflows should be | ||
virtually impossible under normal circumstances. | ||
|
||
With carefully chosen filenames, it is obviously possible to cause an | ||
overflow with just 21 entries (4 higher tables + 16 entries + 1). So | ||
there may be a security concern if a malicious user has write access | ||
to a directory. | ||
|
||
Open For Discussion | ||
=================== | ||
|
||
Device Address Space | ||
-------------------- | ||
|
||
A device address space is used for caching. Both block devices and | ||
MTD provide functions to either read a single page or write a segment. | ||
Partial segments may be written for data integrity, but where possible | ||
complete segments are written for performance on simple block device | ||
flash media. | ||
|
||
Meta Inodes | ||
----------- | ||
|
||
Inodes are stored in the inode file, which is just a regular file for | ||
most purposes. At umount time, however, the inode file needs to | ||
remain open until all dirty inodes are written. So | ||
generic_shutdown_super() may not close this inode, but shouldn't | ||
complain about remaining inodes due to the inode file either. Same | ||
goes for mapping inode of the device address space. | ||
|
||
Currently logfs uses a hack that essentially copies part of fs/inode.c | ||
code over. A general solution would be preferred. | ||
|
||
Indirect block mapping | ||
---------------------- | ||
|
||
With compression, the block device (or mapping inode) cannot be used | ||
to cache indirect blocks. Some other place is required. Currently | ||
logfs uses the top half of each inode's address space. The low 8TB | ||
(on 32bit) are filled with file data, the high 8TB are used for | ||
indirect blocks. | ||
|
||
One problem is that 16TB files created on 64bit systems actually have | ||
data in the top 8TB. But files >16TB would cause problems anyway, so | ||
only the limit has changed. |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,17 @@ | ||
config LOGFS | ||
tristate "LogFS file system (EXPERIMENTAL)" | ||
depends on (MTD || BLOCK) && EXPERIMENTAL | ||
select ZLIB_INFLATE | ||
select ZLIB_DEFLATE | ||
select CRC32 | ||
select BTREE | ||
help | ||
Flash filesystem aimed to scale efficiently to large devices. | ||
In comparison to JFFS2 it offers significantly faster mount | ||
times and potentially less RAM usage, although the latter has | ||
not been measured yet. | ||
|
||
In its current state it is still very experimental and should | ||
not be used for other than testing purposes. | ||
|
||
If unsure, say N. |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,13 @@ | ||
obj-$(CONFIG_LOGFS) += logfs.o | ||
|
||
logfs-y += compr.o | ||
logfs-y += dir.o | ||
logfs-y += file.o | ||
logfs-y += gc.o | ||
logfs-y += inode.o | ||
logfs-y += journal.o | ||
logfs-y += readwrite.o | ||
logfs-y += segment.o | ||
logfs-y += super.o | ||
logfs-$(CONFIG_BLOCK) += dev_bdev.o | ||
logfs-$(CONFIG_MTD) += dev_mtd.o |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,95 @@ | ||
/* | ||
* fs/logfs/compr.c - compression routines | ||
* | ||
* As should be obvious for Linux kernel code, license is GPLv2 | ||
* | ||
* Copyright (c) 2005-2008 Joern Engel <[email protected]> | ||
*/ | ||
#include "logfs.h" | ||
#include <linux/vmalloc.h> | ||
#include <linux/zlib.h> | ||
|
||
#define COMPR_LEVEL 3 | ||
|
||
static DEFINE_MUTEX(compr_mutex); | ||
static struct z_stream_s stream; | ||
|
||
int logfs_compress(void *in, void *out, size_t inlen, size_t outlen) | ||
{ | ||
int err, ret; | ||
|
||
ret = -EIO; | ||
mutex_lock(&compr_mutex); | ||
err = zlib_deflateInit(&stream, COMPR_LEVEL); | ||
if (err != Z_OK) | ||
goto error; | ||
|
||
stream.next_in = in; | ||
stream.avail_in = inlen; | ||
stream.total_in = 0; | ||
stream.next_out = out; | ||
stream.avail_out = outlen; | ||
stream.total_out = 0; | ||
|
||
err = zlib_deflate(&stream, Z_FINISH); | ||
if (err != Z_STREAM_END) | ||
goto error; | ||
|
||
err = zlib_deflateEnd(&stream); | ||
if (err != Z_OK) | ||
goto error; | ||
|
||
if (stream.total_out >= stream.total_in) | ||
goto error; | ||
|
||
ret = stream.total_out; | ||
error: | ||
mutex_unlock(&compr_mutex); | ||
return ret; | ||
} | ||
|
||
int logfs_uncompress(void *in, void *out, size_t inlen, size_t outlen) | ||
{ | ||
int err, ret; | ||
|
||
ret = -EIO; | ||
mutex_lock(&compr_mutex); | ||
err = zlib_inflateInit(&stream); | ||
if (err != Z_OK) | ||
goto error; | ||
|
||
stream.next_in = in; | ||
stream.avail_in = inlen; | ||
stream.total_in = 0; | ||
stream.next_out = out; | ||
stream.avail_out = outlen; | ||
stream.total_out = 0; | ||
|
||
err = zlib_inflate(&stream, Z_FINISH); | ||
if (err != Z_STREAM_END) | ||
goto error; | ||
|
||
err = zlib_inflateEnd(&stream); | ||
if (err != Z_OK) | ||
goto error; | ||
|
||
ret = 0; | ||
error: | ||
mutex_unlock(&compr_mutex); | ||
return ret; | ||
} | ||
|
||
int __init logfs_compr_init(void) | ||
{ | ||
size_t size = max(zlib_deflate_workspacesize(), | ||
zlib_inflate_workspacesize()); | ||
stream.workspace = vmalloc(size); | ||
if (!stream.workspace) | ||
return -ENOMEM; | ||
return 0; | ||
} | ||
|
||
void logfs_compr_exit(void) | ||
{ | ||
vfree(stream.workspace); | ||
} |
Oops, something went wrong.