Title: Outline for Today
1Outline for Today
- Objective
- Review of basic file system material
- Administrative
- ??
2Review ofFile System Issues
- What is the role of files? What is the file
abstraction? - File naming. How to find the file we
want?Sharing files. Controlling access to
files. - Performance issues - how to deal with the
bottleneck of disks? What is the right way to
optimize file access?
3Role of Files
- Persistance - long-lived - data for posterity
- non-volitile storage media
- semantically meaningful (memorable) names
4Abstractions
User view
Addressbook, record for Duke CPS
Application
addrfile -gtfid, byte range
fid
File System
bytes
block
device, block
Disk Subsystem
surface, cylinder, sector
5Functions of File System
- (Directory subsystem) Map filenames to
fileids-open (create) syscall. Create kernel data
structures.Maintain naming structure (unlink,
mkdir, rmdir) - Determine layout of files and metadata on disk in
terms of blocks. Disk block allocation. Bad
blocks. - Handle read and write system calls
- Initiate I/O operations for movement of blocks
to/from disk. - Maintain buffer cache
6Functions of Device Subsystem
- In general, deal with device characteristics
- Translate block numbers (the abstraction of
device shown to file system) to physical disk
addresses. Device specific (subject to change
with upgrades in technology) intelligent
placement of blocks. - Schedule (reorder?) disk operations
7VFS the Filesystem Switch
- Sun Microsystems introduced the virtual file
system framework in 1985 to accommodate the
Network File System cleanly. - VFS allows diverse specific file systems to
coexist in a file tree, isolating all
FS-dependencies in pluggable filesystem modules.
user space
VFS was an internal kernel restructuring with no
effect on the syscall interface.
syscall layer (file, uio, etc.)
Virtual File System (VFS)
network protocol stack (TCP/IP)
Incorporates object-oriented concepts a generic
procedural interface with multiple
implementations.
NFS
FFS
LFS
ext2.
FS
xfs.
device drivers
Based on abstract objects with dynamic method
binding by type...in C.
Other abstract interfaces in the kernel device
drivers, file objects, executable files, memory
objects.
8Vnodes
- In the VFS framework, every file or directory in
active use is represented by a vnode object in
kernel memory.
syscall layer
Each vnode has a standard file attributes struct.
Generic vnode points at filesystem-specific
struct (e.g., inode, rnode), seen only by the
filesystem.
Active vnodes are reference- counted by the
structures that hold pointers to them, e.g., the
system open file table.
Vnode operations are macros that vector
to filesystem-specific procedures.
Each specific file system maintains a hash of its
resident vnodes.
NFS
UFS
inode object in Linux VFS
9Vnode Operations and Attributes
directories only vop_lookup (OUT vpp,
name) vop_create (OUT vpp, name,
vattr) vop_remove (vp, name) vop_link (vp,
name) vop_rename (vp, name, tdvp, tvp,
name) vop_mkdir (OUT vpp, name, vattr) vop_rmdir
(vp, name) vop_readdir (uio, cookie) vop_symlink
(OUT vpp, name, vattr, contents) vop_readlink
(uio) files only vop_getpages (page, count,
offset) vop_putpages (page, count, sync,
offset) vop_fsync ()
vnode/file attributes (vattr or fattr) type
(VREG, VDIR, VLNK, etc.) mode (9 bits of
permissions) nlink (hard link count) owner user
ID owner group ID filesystem ID unique file
ID file size (bytes and blocks) access
time modify time generation number
generic operations vop_getattr
(vattr) vop_setattr (vattr) vhold() vholdrele()
10Network File System (NFS)
server
client
syscall layer
user programs
VFS
syscall layer
NFS server
VFS
UFS
NFS client
UFS
network
11File Abstractions
- UNIX-like files
- Sequence of bytes
- Operations open (create), close, read, write,
seek - Memory mapped files
- Sequence of bytes
- Mapped into address space
- Page fault mechanism does data transfer
- Named, Possibly typed
12Memory Mapped Files
- fd open (somefile, consistent_mode)
- pa mmap(addr, len, prot, flags, fd, offset)
fd offset
pa
len
len
VAS
Reading performed by Load instr.
13UNIX File System Calls
Open files are named to by an integer file
descriptor.
Pathnames may be relative to process current
directory.
char bufBUFSIZE int fd if ((fd
open(../zot, O_TRUNC O_RDWR) -1)
perror(open failed) exit(1) while(read(0
, buf, BUFSIZE)) if (write(fd, buf, BUFSIZE)
! BUFSIZE) perror(write failed) exit(1)
Process passes status back to parent on exit, to
report success/failure.
Process does not specify current file offset the
system remembers it.
Standard descriptors (0, 1, 2) for input, output,
error messages (stdin, stdout, stderr).
14File Sharing Between Parent/Child (UNIX)
main(int argc, char argv) char c int
fdrd, fdwt if ((fdrd open(argv1,
O_RDONLY)) -1) exit(1) if ((fdwt
creat(argv2, 0666)) -1) exit(1) fork()
for () if (read(fdrd, c, 1) !
1) exit(0) write(fdwt, c, 1)
Bach
15Sharing Open File Instances
shared seek offset in shared file table entry
parent
shared file (inode or vnode)
child
system open file table
process file descriptors
process objects
16Corresponding Linux File Objects
parent
dcache
inodeobject
child
dentryobjects
system open file table
process file descriptors
process objects
file objectscreated on open
per-process files_struct
17Goals of File Naming
- Foremost function - to find files, Map file name
to file object. - To store meta-data about files.
- To allow users to choose their own file names
without undue name conflict problems. - To allow sharing.
- Convenience short names, groupings.
- To avoid implementation complications
18Meta-Data
- File size
- File type
- Protection - access control information
- History creation time, last modification,last
access.
- Location of file - which device
- Location of individual blocks of the file on
disk. - Owner of file
- Group(s) of users associated with file
19Naming Structures
- Flat name space - 1 system-wide table,
- Unique naming with multiple users is hard.Name
conflicts. - Easy sharing, need for protection
- Per-user name space
- Protection by isolation, no sharing
- Easy to avoid name conflicts
- Register identifies with directory to use to
resolve names, possibility of user-settable (cd)
20Naming Structures
- Naming network
- Component names - pathnames
- Absolute pathnames - from a designated root
- Relative pathnames - from a working directory
- Each name carries how to resolve it.
- Short names to files anywhere in the network
produce cycles, but convenience in naming things.
21Naming Network
Terry
A
- /Jamie/joey/project/D
- /Jamie/d
- /Jamie/joey/jaime/proj1/C
- (relative from Terry)A
- (relative from Jamie)d
grp1
root
Joey
TA
Jamie
joey
project
jaime
B
proj1
d
D
E
C
D
project
22Restricting to a Hierarchy
- Problems with full naming network
- What does it mean to delete a file?
- Meta-data interpretation
- Eliminating cycles
- allows use of reference counts for reclaiming
file space - avoids garbage collection
23Garbage Collection
Terry
A
grp1
X
root
Joey
X
TA
Series of unlinks
Jamie
X
joey
project
jaime
B
proj1
d
D
E
C
D
project
24Reclaiming Convenience
- Symbolic links - indirect filesfilename maps,
not to file object, but to another pathname - allows short aliases
- slightly different semantics
- Search path rules
25Operations on Directories (UNIX)
- Link - make entry pointing to file
- Unlink - remove entry pointing to file
- Rename
- Mkdir - create a directory
- Rmdir - remove a directory
26Naming Structures
- Naming Hierarchy
- Component names - pathnames
- Absolute pathnames - from a designated root
- Relative pathnames - from a working directory
- Each name carries how to resolve it.
- No cycles allows reference counting to reclaim
deleted nodes. - Links
- Short names to files anywhere for convenience in
naming things symbolic links map to pathname
27Links
usr
Lynn
Marty
28A Typical Unix File Tree
Each volume is a set of directories and files a
hosts file tree is the set of directories and
files visible to processes on a given host.
/
File trees are built by grafting volumes from
different devices or from network servers.
tmp
usr
etc
bin
vmunix
In Unix, the graft operation is the privileged
mount system call, and each volume is a
filesystem.
ls
sh
project
users
packages
mount point
mount (coveredDir, volume) coveredDir directory
pathname volume device specifier or network
volume volume root contents become visible at
pathname coveredDir
(coverdir)
29A Typical Unix File Tree
Each volume is a set of directories and files a
hosts file tree is the set of directories and
files visible to processes on a given host.
/
File trees are built by grafting volumes from
different devices or from network servers.
tmp
usr
etc
bin
vmunix
In Unix, the graft operation is the privileged
mount system call, and each volume is a
filesystem.
ls
sh
project
users
packages
mount point
mount (coveredDir, volume) coveredDir directory
pathname volume device specifier or network
volume volume root contents become visible at
pathname coveredDir
(volume root)
tex
emacs
/usr/project/packages/coverdir/tex
30Access Control for Files
- Access control lists - detailed list attached to
file of users allowed (denied) access, including
kind of access allowed/denied. - UNIX RWX - owner, group, everyone
31Implementation IssuesUNIX Inodes
3
3
3
3
Data blocks
Block Addr
1
2
2
...
Decoupling meta-data from directory entries
1
2
2
1
32Pathname Resolution
cps210
spr04
Surprisingly, most lookups are multi- component
(in fact, most are Absolute).
proj1 data file
33Linux dcache
cps210dentry
Inodeobject
Hashtable
spr04dentry
Inodeobject
Projdentry
Inodeobject
Inodeobject
proj1dentry
34File System Data Structures
System-wide Open file table
System-wide File descriptor table
Process descriptor
in-memory copy of inode ptr to on-disk inode
stdin
stdout
per-process file ptr array
stderr
forked processs Process descriptor
35File Structure Alternatives
- Contiguous
- 1 block pointer, causes fragmentation, growth is
a problem. - Linked
- each block points to next block, directory points
to first, OK for sequential access - Indexed
- index structure required, better for random
access into file.
36File Allocation Table (FAT)
eof
Lecture.ppt
Pic.jpg
Notes.txt
eof
eof
37Finally Arrive at File
- What do users seem to want from the file
abstraction? - What do these usage patterns mean for file
structure and implementation decisions? - What operations should be optimized 1st?
- How should files be structured?
- Is there temporal locality in file usage?
- How long do files really live?
38Know your Workload!
- File usage patterns should influence design
decisions. Do things differently depending - How large are most files? How long-lived?Read
vs. write activity. Shared often? - Different levels see a different workload.
- Feedback loop
39Generalizations from UNIX Workloads
- Standard Disclaimers that you cant
generalizebut anyway - Most files are small (fit into one disk block)
although most bytes are transferred from longer
files. - Most opens are for read mode, most bytes
transferred are by read operations - Accesses tend to be sequential and 100
40More on Access Patterns
- There is significant reuse (re-opens) - most
opens go to files repeatedly opened quickly.
Directory nodes and executables also exhibit good
temporal locality. - Looks good for caching!
- Use of temp files is significant part of file
system activity in UNIX - very limited reuse,
short lifetimes (less than a minute).
41Implementation IssuesUNIX Inodes
3
3
3
3
Data blocks
Block Addr
1
2
2
...
Decoupling meta-data from directory entries
1
2
2
1
42What to do about long paths?
- Make long lookups cheaper - cluster inodes and
data on disk to make each component resolution
step somewhat cheaper - Immediate files - meta-data and first block of
data co-located - Collapse prefixes of paths - hash table
- Prefix table
- Cache it - in this case, directory info
43What to do about Disks?
- Disk scheduling
- Idea is to reorder outstanding requests to
minimize seeks. - Layout on disk
- Placement to minimize disk overhead
- Build a better disk (or substitute)
- Example RAID
44File Buffer Cache
Proc
- Avoid the disk for as many file operations as
possible. - Cache acts as a filter for the requests seen by
the disk - reads served best. - Delayed writeback will avoid going to disk at all
for temp files.
Memory
File cache
45Handling Updates in the File Cache
- 1. Blocks may be modified in memory once they
have been brought into the cache. - Modified blocks are dirty and must (eventually)
be written back. - 2. Once a block is modified in memory, the write
back to disk may not be immediate (synchronous). - Delayed writes absorb many small updates with one
disk write. - How long should the system hold dirty data in
memory? - Asynchronous writes allow overlapping of
computation and disk update activity
(write-behind). - Do the write call for block n1 while transfer of
block n is in progress.
46Disk Scheduling
- Assuming there are sufficient outstanding
requests in request queue - Focus is on seek time - minimizing physical
movement of head. - Simple model of seek performance
- Seek Time startup time (e.g. 3.0 ms) N
(number of cylinders ) per-cylinder move (e.g.
.04 ms/cyl)
47Policies
- Generally use FCFS as baseline for comparison
- Shortest Seek First (SSTF) -closest
- danger of starvation
- Elevator (SCAN) - sweep in one direction, turn
around when no requests beyond - handle case of constant arrivals at same position
- C-SCAN - sweep in only one direction, return to 0
- less variation in response
1, 3, 2, 4, 3, 5, 0
FCFS
SSTF
SCAN
CSCAN
48Layout on Disk
- Can address both seek and rotational latency
- Cluster related things together (e.g. an inode
and its data, inodes in same directory (ls
command), data blocks of multi-block file, files
in same directory) - Sub-block allocation to reduce fragmentation for
small files - Log-Structure File Systems
49The Problem of Disk Layout
- The level of indirection in the file block maps
allows flexibility in file layout. - File system design is 99 block allocation.
McVoy - Competing goals for block allocation
- allocation cost
- bandwidth for high-volume transfers
- stamina
- efficient directory operations
- Goal reduce disk arm movement and seek overhead.
- metric of merit bandwidth utilization
50FFS and LFS
- Two different approaches to block allocation
- Cylinder groups in the Fast File System (FFS)
McKusick81 - clustering enhancements McVoy91, and improved
cluster allocation McKusick Smith/Seltzer96 - FFS can also be extended with metadata logging
e.g., Episode - Log-Structured File System (LFS)
- proposed in Douglis/Ousterhout90
- implemented/studied in Rosenblum91
- BSD port, sort of maybe Seltzer93
- extended with self-tuning methods
Neefe/Anderson97 - Other approach extent-based file systems
51FFS Cylinder Groups
- FFS defines cylinder groups as the unit of disk
locality, and it factors locality into allocation
choices. - typical thousands of cylinders, dozens of groups
- Strategy place related data blocks in the same
cylinder group whenever possible. - seek latency is proportional to seek distance
- Smear large files across groups
- Place a run of contiguous blocks in each group.
- Reserve inode blocks in each cylinder group.
- This allows inodes to be allocated close to their
directory entries and close to their data blocks
(for small files).
52FFS Allocation Policies
- 1. Allocate file inodes close to their containing
directories. - For mkdir, select a cylinder group with a
more-than-average number of free inodes. - For creat, place inode in the same group as the
parent. - 2. Concentrate related file data blocks in
cylinder groups. - Most files are read and written sequentially.
- Place initial blocks of a file in the same group
as its inode. - How should we handle directory blocks?
- Place adjacent logical blocks in the same
cylinder group. - Logical block n1 goes in the same group as block
n. - Switch to a different group for each indirect
block.
53Allocating a Block
- 1. Try to allocate the rotationally optimal
physical block after the previous logical block
in the file. - Skip rotdelay physical blocks between each
logical block. - (rotdelay is 0 on track-caching disk
controllers.) - 2. If not available, find another block a nearby
rotational position in the same cylinder group - Well need a short seek, but we wont wait for
the rotation. - If not available, pick any other block in the
cylinder group. - 3. If the cylinder group is full, or were
crossing to a new indirect block, go find a new
cylinder group. - Pick a block at the beginning of a run of free
blocks.
54Clustering in FFS
- Clustering improves bandwidth utilization for
large files read and written sequentially. - Allocate clumps/clusters/runs of blocks
contiguously read/write the entire clump in one
operation with at most one seek. - Typical cluster sizes 32KB to 128KB.
- FFS can allocate contiguous runs of blocks most
of the time on disks with sufficient free space. - This (usually) occurs as a side effect of setting
rotdelay 0. - Newer versions may relocate to clusters of
contiguous storage if the initial allocation did
not succeed in placing them well. - Must modify buffer cache to group buffers
together and read/write in contiguous clusters.
55Effect of Clustering
Access time seek time rotational delay
transfer time average seek time 2 ms for an
intra-cylinder group seek, lets say rotational
delay 8 milliseconds for full rotation at 7200
RPM average delay 4 ms transfer time
1 millisecond for an 8KB block at 8 MB/s
8 KB blocks deliver about 15 of disk
bandwidth. 64KB blocks/clusters deliver about
50 of disk bandwidth. 128KB blocks/clusters
deliver about 70 of disk bandwidth.
Actual performance will likely be better with
good disk layout, since most seek/rotate delays
to read the next block/cluster will be better
than average.
56Log-Structured File System (LFS)
- In LFS, all block and metadata allocation is
log-based. - LFS views the disk as one big log (logically).
- All writes are clustered and sequential/contiguous
. - Intermingles metadata and blocks from different
files. - Data is laid out on disk in the order it is
written. - No-overwrite allocation policy if an old block
or inode is modified, write it to a new location
at the tail of the log. - LFS uses (mostly) the same metadata structures as
FFS only the allocation scheme is different. - Cylinder group structures and free block maps are
eliminated. - Inodes are found by indirecting through a new map
(the ifile).
57Writing the Log in LFS
- 1. LFS saves up dirty blocks and dirty inodes
until it has a full segment (e.g., 1 MB). - Dirty inodes are grouped into block-sized clumps.
- Dirty blocks are sorted by (file, logical block
number). - Each log segment includes summary info and a
checksum. - 2. LFS writes each log segment in a single burst,
with at most one seek. - Find a free segment slot on the disk, and write
it. - Store a back pointer to the previous segment.
- Logically the log is sequential, but physically
it consists of a chain of segments, each large
enough to amortize seek overhead.
58Example of log growth
Clean segment
f11
f12
f21
i
i
if
ss
f31
f11
f12
f21
i
59Writing the Log the Rest of the Story
- 1. LFS cannot always delay writes long enough to
accumulate a full segment sometimes it must push
a partial segment. - fsync, update daemon, NFS server, etc.
- Directory operations are synchronous in FFS, and
some must be in LFS as well to preserve failure
semantics and ordering. - 2. LFS allocation and write policies affect the
buffer cache, which is supposed to be
filesystem-independent. - Pin (lock) dirty blocks until the segment is
written dirty blocks cannot be recycled off the
free chain as before. - Endow indirect blocks with permanent logical
block numbers suitable for hashing in the buffer
cache.
60Cleaning in LFS
- What does LFS do when the disk fills up?
- 1. As the log is written, blocks and inodes
written earlier in time are superseded (killed)
by versions written later. - files are overwritten or modified inodes are
updated - when files are removed, blocks and inodes are
deallocated - 2. A cleaner daemon compacts remaining live data
to free up large hunks of free space suitable for
writing segments. - look for segments with little remaining live data
- benefit/cost analysis to choose segments
- write remaining live data to the log tail
- can consume a significant share of bandwidth, and
there are lots of cost/benefit heuristics
involved.
61Evaluation of LFS vs. FFS
- 1. How effective is FFS clustering in
sequentializing disk writes? Do we need LFS
once we have clustering? - How big do files have to be before FFS matches
LFS? - How effective is clustering for bursts of
creates/deletes? - What is the impact of FFS tuning parameters?
- 2. What is the impact of file system age and high
disk space utilization? - LFS pays a higher cleaning overhead.
- In FFS fragmentation compromises clustering
effectiveness. - 3. What about workloads with frequent overwrites
and random access patterns (e.g., transaction
processing)?
62Benchmarks and Conclusions
- 1. For bulk creates/deletes of small files, LFS
is an order of magnitude better than FFS, which
is disk-limited. - LFS gets about 70 of disk bandwidth for creates.
- 2. For bulk creates of large files, both FFS and
LFS are disk-limited. - 3. FFS and LFS are roughly equivalent for reads
of files in create order, but FFS spends more
seek time on large files. - 4. For file overwrites in create order, FFS wins
for large files. - How is this test different from the create test
for FFS?
63TP Performance on FFS and LFS
- Seltzer measured TP performance using a TPC-B
benchmark (banking application) with a separate
log disk. - 1. TPC-B is dominated by random reads/writes of
account file. - 2. LFS wins if there is no cleaner, because it
can sequentialize the random writes. - Journaling log avoids the need for synchronous
writes. - 3. Since the data dies quickly in this
application, LFS cleaner is kept busy, leading to
high overhead. - 4. Claim cleaner consumes 34 of disk bandwidth
at 48 space utilization, removing any advantage
of LFS.
64Build a Better Disk?
- Better has typically meant density to disk
manufacturers - bigger disks are better. - I/O Bottleneck - a speed disparity caused by
processors getting faster more quickly - One idea is to use parallelism of multiple disks
- Striping data across disks
- Reliability issues - introduce redundancy
65RAID
- Redundant Array of Inexpensive Disks
Striped Data
Parity Disk
(RAID Levels 2 and 3)
66Combining Striping and LFS
client1
client2
log
1
2
3
A
C
B
segment
segment
P
A
B
C
1
2
3
P
67Spin-down Disk Model
Spinning Seek
Spinning Access
Spinningup
Request
Triggerrequest or predict
Predictive
NotSpinning
Spinning Ready
Spinningdown
Inactivity Timeout threshold
68Reducing Energy Consumption
- Energy S Poweri x Timei
- To reduce energy used for task
- Reduce power cost of power state I through better
technology. - Reduce time spent in the higher cost power
states. - Amortize transition states (spinning up or down)
if significant. - PdownTdown 2Etransition Pspin Tout lt
PspinTidle - Tdown T idle - (Ttransition Tout)
-
i e powerstates
69Spin-down Disk Model
Etransition Ptransition Ttransition
1- 3s delay
Spinning Seek
Spinning Access
Spinningup
Request
Triggerrequest or predict
Predictive
Tidle
Etransition Ptransition Ttransition
NotSpinning
Spinning Ready
Spinningdown
Pdown
Pspin
ToutInactivity Timeout threshold
Tdown
70Power Specs
- IBM Microdrive (1inch)
- writing 300mA (3.3V)1W
- standby 65mA (3.3V).2W
- IBM TravelStar (2.5inch)
- read/write 2W
- spinning 1.8W
- low power idle .65W
- standby .25W
- sleep .1W
- startup 4.7 W
- seek 2.3W
71Spin-down Disk Model
2.3W
4.7W
2W
Spinning Seek
Spinning Access
Spinningup
Request
Triggerrequest or predict
Predictive
NotSpinning
Spinning Ready
Spinningdown
.2W
.65-1.8W
72Spin-Down Policies
- Fixed Thresholds
- Tout spin-down cost s.t. 2Etransition
PspinTout - Adaptive Thresholds Tout f (recent accesses)
- Exploit burstiness in Tidle
- Minimizing Bumps (user annoyance/latency)
- Predictive spin-ups
- Changing access patterns (making burstiness)
- Caching
- Prefetching