4 * Copyright (C) 1992, 1993, 1994, 1995
5 * Remy Card (card@masi.ibp.fr)
6 * Laboratoire MASI - Institut Blaise Pascal
7 * Universite Pierre et Marie Curie (Paris VI)
11 * linux/fs/minix/dir.c
13 * Copyright (C) 1991, 1992 Linus Torvalds
15 * ext4 directory handling functions
17 * Big-endian to little-endian byte-swapping/bitmaps by
18 * David S. Miller (davem@caip.rutgers.edu), 1995
20 * Hash Tree Directory indexing (c) 2001 Daniel Phillips
25 #include <linux/jbd2.h>
26 #include <linux/buffer_head.h>
27 #include <linux/slab.h>
28 #include <linux/rbtree.h>
31 static unsigned char ext4_filetype_table[] = {
32 DT_UNKNOWN, DT_REG, DT_DIR, DT_CHR, DT_BLK, DT_FIFO, DT_SOCK, DT_LNK
35 static int ext4_dx_readdir(struct file *filp,
36 void *dirent, filldir_t filldir);
38 static unsigned char get_dtype(struct super_block *sb, int filetype)
40 if (!EXT4_HAS_INCOMPAT_FEATURE(sb, EXT4_FEATURE_INCOMPAT_FILETYPE) ||
41 (filetype >= EXT4_FT_MAX))
44 return (ext4_filetype_table[filetype]);
48 * Check if the given dir-inode refers to an htree-indexed directory
49 * (or a directory which chould potentially get coverted to use htree
52 * Return 1 if it is a dx dir, 0 if not
54 static int is_dx_dir(struct inode *inode)
56 struct super_block *sb = inode->i_sb;
58 if (EXT4_HAS_COMPAT_FEATURE(inode->i_sb,
59 EXT4_FEATURE_COMPAT_DIR_INDEX) &&
60 ((ext4_test_inode_flag(inode, EXT4_INODE_INDEX)) ||
61 ((inode->i_size >> sb->s_blocksize_bits) == 1)))
68 * Return 0 if the directory entry is OK, and 1 if there is a problem
70 * Note: this is the opposite of what ext2 and ext3 historically returned...
72 int __ext4_check_dir_entry(const char *function, unsigned int line,
73 struct inode *dir, struct file *filp,
74 struct ext4_dir_entry_2 *de,
75 struct buffer_head *bh,
78 const char *error_msg = NULL;
79 const int rlen = ext4_rec_len_from_disk(de->rec_len,
80 dir->i_sb->s_blocksize);
82 if (unlikely(rlen < EXT4_DIR_REC_LEN(1)))
83 error_msg = "rec_len is smaller than minimal";
84 else if (unlikely(rlen % 4 != 0))
85 error_msg = "rec_len % 4 != 0";
86 else if (unlikely(rlen < EXT4_DIR_REC_LEN(de->name_len)))
87 error_msg = "rec_len is too small for name_len";
88 else if (unlikely(((char *) de - bh->b_data) + rlen >
89 dir->i_sb->s_blocksize))
90 error_msg = "directory entry across blocks";
91 else if (unlikely(le32_to_cpu(de->inode) >
92 le32_to_cpu(EXT4_SB(dir->i_sb)->s_es->s_inodes_count)))
93 error_msg = "inode out of bounds";
98 ext4_error_file(filp, function, line, bh->b_blocknr,
99 "bad entry in directory: %s - offset=%u(%u), "
100 "inode=%u, rec_len=%d, name_len=%d",
101 error_msg, (unsigned) (offset % bh->b_size),
102 offset, le32_to_cpu(de->inode),
105 ext4_error_inode(dir, function, line, bh->b_blocknr,
106 "bad entry in directory: %s - offset=%u(%u), "
107 "inode=%u, rec_len=%d, name_len=%d",
108 error_msg, (unsigned) (offset % bh->b_size),
109 offset, le32_to_cpu(de->inode),
115 static int ext4_readdir(struct file *filp,
116 void *dirent, filldir_t filldir)
121 struct ext4_dir_entry_2 *de;
123 struct inode *inode = filp->f_path.dentry->d_inode;
124 struct super_block *sb = inode->i_sb;
126 int dir_has_error = 0;
128 if (is_dx_dir(inode)) {
129 err = ext4_dx_readdir(filp, dirent, filldir);
130 if (err != ERR_BAD_DX_DIR) {
135 * We don't set the inode dirty flag since it's not
136 * critical that it get flushed back to the disk.
138 ext4_clear_inode_flag(filp->f_path.dentry->d_inode,
142 offset = filp->f_pos & (sb->s_blocksize - 1);
144 while (!error && !stored && filp->f_pos < inode->i_size) {
145 struct ext4_map_blocks map;
146 struct buffer_head *bh = NULL;
148 map.m_lblk = filp->f_pos >> EXT4_BLOCK_SIZE_BITS(sb);
150 err = ext4_map_blocks(NULL, inode, &map, 0);
152 pgoff_t index = map.m_pblk >>
153 (PAGE_CACHE_SHIFT - inode->i_blkbits);
154 if (!ra_has_index(&filp->f_ra, index))
155 page_cache_sync_readahead(
156 sb->s_bdev->bd_inode->i_mapping,
159 filp->f_ra.prev_pos = (loff_t)index << PAGE_CACHE_SHIFT;
160 bh = ext4_bread(NULL, inode, map.m_lblk, 0, &err);
164 * We ignore I/O errors on directories so users have a chance
165 * of recovering data when there's a bad sector
168 if (!dir_has_error) {
169 EXT4_ERROR_FILE(filp, 0,
170 "directory contains a "
171 "hole at offset %llu",
172 (unsigned long long) filp->f_pos);
175 /* corrupt size? Maybe no more blocks to read */
176 if (filp->f_pos > inode->i_blocks << 9)
178 filp->f_pos += sb->s_blocksize - offset;
182 /* Check the checksum */
183 if (!buffer_verified(bh) &&
184 !ext4_dirent_csum_verify(inode,
185 (struct ext4_dir_entry *)bh->b_data)) {
186 EXT4_ERROR_FILE(filp, 0, "directory fails checksum "
188 (unsigned long long)filp->f_pos);
189 filp->f_pos += sb->s_blocksize - offset;
192 set_buffer_verified(bh);
195 /* If the dir block has changed since the last call to
196 * readdir(2), then we might be pointing to an invalid
197 * dirent right now. Scan from the start of the block
199 if (filp->f_version != inode->i_version) {
200 for (i = 0; i < sb->s_blocksize && i < offset; ) {
201 de = (struct ext4_dir_entry_2 *)
203 /* It's too expensive to do a full
204 * dirent test each time round this
205 * loop, but we do have to test at
206 * least that it is non-zero. A
207 * failure will be detected in the
208 * dirent test below. */
209 if (ext4_rec_len_from_disk(de->rec_len,
210 sb->s_blocksize) < EXT4_DIR_REC_LEN(1))
212 i += ext4_rec_len_from_disk(de->rec_len,
216 filp->f_pos = (filp->f_pos & ~(sb->s_blocksize - 1))
218 filp->f_version = inode->i_version;
221 while (!error && filp->f_pos < inode->i_size
222 && offset < sb->s_blocksize) {
223 de = (struct ext4_dir_entry_2 *) (bh->b_data + offset);
224 if (ext4_check_dir_entry(inode, filp, de,
227 * On error, skip the f_pos to the next block
229 filp->f_pos = (filp->f_pos |
230 (sb->s_blocksize - 1)) + 1;
235 offset += ext4_rec_len_from_disk(de->rec_len,
237 if (le32_to_cpu(de->inode)) {
238 /* We might block in the next section
239 * if the data destination is
240 * currently swapped out. So, use a
241 * version stamp to detect whether or
242 * not the directory has been modified
243 * during the copy operation.
245 u64 version = filp->f_version;
247 error = filldir(dirent, de->name,
250 le32_to_cpu(de->inode),
251 get_dtype(sb, de->file_type));
254 if (version != filp->f_version)
258 filp->f_pos += ext4_rec_len_from_disk(de->rec_len,
268 static inline int is_32bit_api(void)
271 return is_compat_task();
273 return (BITS_PER_LONG == 32);
278 * These functions convert from the major/minor hash to an f_pos
279 * value for dx directories
281 * Upper layer (for example NFS) should specify FMODE_32BITHASH or
282 * FMODE_64BITHASH explicitly. On the other hand, we allow ext4 to be mounted
283 * directly on both 32-bit and 64-bit nodes, under such case, neither
284 * FMODE_32BITHASH nor FMODE_64BITHASH is specified.
286 static inline loff_t hash2pos(struct file *filp, __u32 major, __u32 minor)
288 if ((filp->f_mode & FMODE_32BITHASH) ||
289 (!(filp->f_mode & FMODE_64BITHASH) && is_32bit_api()))
292 return ((__u64)(major >> 1) << 32) | (__u64)minor;
295 static inline __u32 pos2maj_hash(struct file *filp, loff_t pos)
297 if ((filp->f_mode & FMODE_32BITHASH) ||
298 (!(filp->f_mode & FMODE_64BITHASH) && is_32bit_api()))
299 return (pos << 1) & 0xffffffff;
301 return ((pos >> 32) << 1) & 0xffffffff;
304 static inline __u32 pos2min_hash(struct file *filp, loff_t pos)
306 if ((filp->f_mode & FMODE_32BITHASH) ||
307 (!(filp->f_mode & FMODE_64BITHASH) && is_32bit_api()))
310 return pos & 0xffffffff;
314 * Return 32- or 64-bit end-of-file for dx directories
316 static inline loff_t ext4_get_htree_eof(struct file *filp)
318 if ((filp->f_mode & FMODE_32BITHASH) ||
319 (!(filp->f_mode & FMODE_64BITHASH) && is_32bit_api()))
320 return EXT4_HTREE_EOF_32BIT;
322 return EXT4_HTREE_EOF_64BIT;
327 * ext4_dir_llseek() calls generic_file_llseek_size to handle htree
328 * directories, where the "offset" is in terms of the filename hash
329 * value instead of the byte offset.
331 * Because we may return a 64-bit hash that is well beyond offset limits,
332 * we need to pass the max hash as the maximum allowable offset in
333 * the htree directory case.
335 * For non-htree, ext4_llseek already chooses the proper max offset.
337 loff_t ext4_dir_llseek(struct file *file, loff_t offset, int origin)
339 struct inode *inode = file->f_mapping->host;
340 int dx_dir = is_dx_dir(inode);
341 loff_t htree_max = ext4_get_htree_eof(file);
344 return generic_file_llseek_size(file, offset, origin,
345 htree_max, htree_max);
347 return ext4_llseek(file, offset, origin);
351 * This structure holds the nodes of the red-black tree used to store
352 * the directory entry in hash order.
357 struct rb_node rb_hash;
366 * This functoin implements a non-recursive way of freeing all of the
367 * nodes in the red-black tree.
369 static void free_rb_tree_fname(struct rb_root *root)
371 struct rb_node *n = root->rb_node;
372 struct rb_node *parent;
376 /* Do the node's children first */
386 * The node has no children; free it, and then zero
387 * out parent's link to it. Finally go to the
388 * beginning of the loop and try to free the parent
391 parent = rb_parent(n);
392 fname = rb_entry(n, struct fname, rb_hash);
394 struct fname *old = fname;
400 else if (parent->rb_left == n)
401 parent->rb_left = NULL;
402 else if (parent->rb_right == n)
403 parent->rb_right = NULL;
409 static struct dir_private_info *ext4_htree_create_dir_info(struct file *filp,
412 struct dir_private_info *p;
414 p = kzalloc(sizeof(struct dir_private_info), GFP_KERNEL);
417 p->curr_hash = pos2maj_hash(filp, pos);
418 p->curr_minor_hash = pos2min_hash(filp, pos);
422 void ext4_htree_free_dir_info(struct dir_private_info *p)
424 free_rb_tree_fname(&p->root);
429 * Given a directory entry, enter it into the fname rb tree.
431 int ext4_htree_store_dirent(struct file *dir_file, __u32 hash,
433 struct ext4_dir_entry_2 *dirent)
435 struct rb_node **p, *parent = NULL;
436 struct fname *fname, *new_fn;
437 struct dir_private_info *info;
440 info = dir_file->private_data;
441 p = &info->root.rb_node;
443 /* Create and allocate the fname structure */
444 len = sizeof(struct fname) + dirent->name_len + 1;
445 new_fn = kzalloc(len, GFP_KERNEL);
449 new_fn->minor_hash = minor_hash;
450 new_fn->inode = le32_to_cpu(dirent->inode);
451 new_fn->name_len = dirent->name_len;
452 new_fn->file_type = dirent->file_type;
453 memcpy(new_fn->name, dirent->name, dirent->name_len);
454 new_fn->name[dirent->name_len] = 0;
458 fname = rb_entry(parent, struct fname, rb_hash);
461 * If the hash and minor hash match up, then we put
462 * them on a linked list. This rarely happens...
464 if ((new_fn->hash == fname->hash) &&
465 (new_fn->minor_hash == fname->minor_hash)) {
466 new_fn->next = fname->next;
467 fname->next = new_fn;
471 if (new_fn->hash < fname->hash)
473 else if (new_fn->hash > fname->hash)
475 else if (new_fn->minor_hash < fname->minor_hash)
477 else /* if (new_fn->minor_hash > fname->minor_hash) */
481 rb_link_node(&new_fn->rb_hash, parent, p);
482 rb_insert_color(&new_fn->rb_hash, &info->root);
489 * This is a helper function for ext4_dx_readdir. It calls filldir
490 * for all entres on the fname linked list. (Normally there is only
491 * one entry on the linked list, unless there are 62 bit hash collisions.)
493 static int call_filldir(struct file *filp, void *dirent,
494 filldir_t filldir, struct fname *fname)
496 struct dir_private_info *info = filp->private_data;
498 struct inode *inode = filp->f_path.dentry->d_inode;
499 struct super_block *sb;
505 ext4_msg(sb, KERN_ERR, "%s:%d: inode #%lu: comm %s: "
506 "called with null fname?!?", __func__, __LINE__,
507 inode->i_ino, current->comm);
510 curr_pos = hash2pos(filp, fname->hash, fname->minor_hash);
512 error = filldir(dirent, fname->name,
513 fname->name_len, curr_pos,
515 get_dtype(sb, fname->file_type));
517 filp->f_pos = curr_pos;
518 info->extra_fname = fname;
526 static int ext4_dx_readdir(struct file *filp,
527 void *dirent, filldir_t filldir)
529 struct dir_private_info *info = filp->private_data;
530 struct inode *inode = filp->f_path.dentry->d_inode;
535 info = ext4_htree_create_dir_info(filp, filp->f_pos);
538 filp->private_data = info;
541 if (filp->f_pos == ext4_get_htree_eof(filp))
544 /* Some one has messed with f_pos; reset the world */
545 if (info->last_pos != filp->f_pos) {
546 free_rb_tree_fname(&info->root);
547 info->curr_node = NULL;
548 info->extra_fname = NULL;
549 info->curr_hash = pos2maj_hash(filp, filp->f_pos);
550 info->curr_minor_hash = pos2min_hash(filp, filp->f_pos);
554 * If there are any leftover names on the hash collision
555 * chain, return them first.
557 if (info->extra_fname) {
558 if (call_filldir(filp, dirent, filldir, info->extra_fname))
560 info->extra_fname = NULL;
562 } else if (!info->curr_node)
563 info->curr_node = rb_first(&info->root);
567 * Fill the rbtree if we have no more entries,
568 * or the inode has changed since we last read in the
571 if ((!info->curr_node) ||
572 (filp->f_version != inode->i_version)) {
573 info->curr_node = NULL;
574 free_rb_tree_fname(&info->root);
575 filp->f_version = inode->i_version;
576 ret = ext4_htree_fill_tree(filp, info->curr_hash,
577 info->curr_minor_hash,
582 filp->f_pos = ext4_get_htree_eof(filp);
585 info->curr_node = rb_first(&info->root);
588 fname = rb_entry(info->curr_node, struct fname, rb_hash);
589 info->curr_hash = fname->hash;
590 info->curr_minor_hash = fname->minor_hash;
591 if (call_filldir(filp, dirent, filldir, fname))
594 info->curr_node = rb_next(info->curr_node);
595 if (info->curr_node) {
596 fname = rb_entry(info->curr_node, struct fname,
598 info->curr_hash = fname->hash;
599 info->curr_minor_hash = fname->minor_hash;
601 if (info->next_hash == ~0) {
602 filp->f_pos = ext4_get_htree_eof(filp);
605 info->curr_hash = info->next_hash;
606 info->curr_minor_hash = 0;
610 info->last_pos = filp->f_pos;
614 static int ext4_release_dir(struct inode *inode, struct file *filp)
616 if (filp->private_data)
617 ext4_htree_free_dir_info(filp->private_data);
622 const struct file_operations ext4_dir_operations = {
623 .llseek = ext4_dir_llseek,
624 .read = generic_read_dir,
625 .readdir = ext4_readdir,
626 .unlocked_ioctl = ext4_ioctl,
628 .compat_ioctl = ext4_compat_ioctl,
630 .fsync = ext4_sync_file,
631 .release = ext4_release_dir,