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>
32 static int ext4_dx_readdir(struct file
*filp
,
33 void *dirent
, filldir_t filldir
);
36 * Check if the given dir-inode refers to an htree-indexed directory
37 * (or a directory which chould potentially get coverted to use htree
40 * Return 1 if it is a dx dir, 0 if not
42 static int is_dx_dir(struct inode
*inode
)
44 struct super_block
*sb
= inode
->i_sb
;
46 if (EXT4_HAS_COMPAT_FEATURE(inode
->i_sb
,
47 EXT4_FEATURE_COMPAT_DIR_INDEX
) &&
48 ((ext4_test_inode_flag(inode
, EXT4_INODE_INDEX
)) ||
49 ((inode
->i_size
>> sb
->s_blocksize_bits
) == 1)))
56 * Return 0 if the directory entry is OK, and 1 if there is a problem
58 * Note: this is the opposite of what ext2 and ext3 historically returned...
60 * bh passed here can be an inode block or a dir data block, depending
61 * on the inode inline data flag.
63 int __ext4_check_dir_entry(const char *function
, unsigned int line
,
64 struct inode
*dir
, struct file
*filp
,
65 struct ext4_dir_entry_2
*de
,
66 struct buffer_head
*bh
, char *buf
, int size
,
69 const char *error_msg
= NULL
;
70 const int rlen
= ext4_rec_len_from_disk(de
->rec_len
,
71 dir
->i_sb
->s_blocksize
);
73 if (unlikely(rlen
< EXT4_DIR_REC_LEN(1)))
74 error_msg
= "rec_len is smaller than minimal";
75 else if (unlikely(rlen
% 4 != 0))
76 error_msg
= "rec_len % 4 != 0";
77 else if (unlikely(rlen
< EXT4_DIR_REC_LEN(de
->name_len
)))
78 error_msg
= "rec_len is too small for name_len";
79 else if (unlikely(((char *) de
- buf
) + rlen
> size
))
80 error_msg
= "directory entry across range";
81 else if (unlikely(le32_to_cpu(de
->inode
) >
82 le32_to_cpu(EXT4_SB(dir
->i_sb
)->s_es
->s_inodes_count
)))
83 error_msg
= "inode out of bounds";
88 ext4_error_file(filp
, function
, line
, bh
->b_blocknr
,
89 "bad entry in directory: %s - offset=%u(%u), "
90 "inode=%u, rec_len=%d, name_len=%d",
91 error_msg
, (unsigned) (offset
% size
),
92 offset
, le32_to_cpu(de
->inode
),
95 ext4_error_inode(dir
, function
, line
, bh
->b_blocknr
,
96 "bad entry in directory: %s - offset=%u(%u), "
97 "inode=%u, rec_len=%d, name_len=%d",
98 error_msg
, (unsigned) (offset
% size
),
99 offset
, le32_to_cpu(de
->inode
),
105 static int ext4_readdir(struct file
*filp
,
106 void *dirent
, filldir_t filldir
)
111 struct ext4_dir_entry_2
*de
;
113 struct inode
*inode
= filp
->f_path
.dentry
->d_inode
;
114 struct super_block
*sb
= inode
->i_sb
;
116 int dir_has_error
= 0;
118 if (ext4_has_inline_data(inode
)) {
119 int has_inline_data
= 1;
120 ret
= ext4_read_inline_dir(filp
, dirent
, filldir
,
126 if (is_dx_dir(inode
)) {
127 err
= ext4_dx_readdir(filp
, dirent
, filldir
);
128 if (err
!= ERR_BAD_DX_DIR
) {
133 * We don't set the inode dirty flag since it's not
134 * critical that it get flushed back to the disk.
136 ext4_clear_inode_flag(filp
->f_path
.dentry
->d_inode
,
140 offset
= filp
->f_pos
& (sb
->s_blocksize
- 1);
142 while (!error
&& !stored
&& filp
->f_pos
< inode
->i_size
) {
143 struct ext4_map_blocks map
;
144 struct buffer_head
*bh
= NULL
;
146 map
.m_lblk
= filp
->f_pos
>> EXT4_BLOCK_SIZE_BITS(sb
);
148 err
= ext4_map_blocks(NULL
, inode
, &map
, 0);
150 pgoff_t index
= map
.m_pblk
>>
151 (PAGE_CACHE_SHIFT
- inode
->i_blkbits
);
152 if (!ra_has_index(&filp
->f_ra
, index
))
153 page_cache_sync_readahead(
154 sb
->s_bdev
->bd_inode
->i_mapping
,
157 filp
->f_ra
.prev_pos
= (loff_t
)index
<< PAGE_CACHE_SHIFT
;
158 bh
= ext4_bread(NULL
, inode
, map
.m_lblk
, 0, &err
);
162 * We ignore I/O errors on directories so users have a chance
163 * of recovering data when there's a bad sector
166 if (!dir_has_error
) {
167 EXT4_ERROR_FILE(filp
, 0,
168 "directory contains a "
169 "hole at offset %llu",
170 (unsigned long long) filp
->f_pos
);
173 /* corrupt size? Maybe no more blocks to read */
174 if (filp
->f_pos
> inode
->i_blocks
<< 9)
176 filp
->f_pos
+= sb
->s_blocksize
- offset
;
180 /* Check the checksum */
181 if (!buffer_verified(bh
) &&
182 !ext4_dirent_csum_verify(inode
,
183 (struct ext4_dir_entry
*)bh
->b_data
)) {
184 EXT4_ERROR_FILE(filp
, 0, "directory fails checksum "
186 (unsigned long long)filp
->f_pos
);
187 filp
->f_pos
+= sb
->s_blocksize
- offset
;
190 set_buffer_verified(bh
);
193 /* If the dir block has changed since the last call to
194 * readdir(2), then we might be pointing to an invalid
195 * dirent right now. Scan from the start of the block
197 if (filp
->f_version
!= inode
->i_version
) {
198 for (i
= 0; i
< sb
->s_blocksize
&& i
< offset
; ) {
199 de
= (struct ext4_dir_entry_2
*)
201 /* It's too expensive to do a full
202 * dirent test each time round this
203 * loop, but we do have to test at
204 * least that it is non-zero. A
205 * failure will be detected in the
206 * dirent test below. */
207 if (ext4_rec_len_from_disk(de
->rec_len
,
208 sb
->s_blocksize
) < EXT4_DIR_REC_LEN(1))
210 i
+= ext4_rec_len_from_disk(de
->rec_len
,
214 filp
->f_pos
= (filp
->f_pos
& ~(sb
->s_blocksize
- 1))
216 filp
->f_version
= inode
->i_version
;
219 while (!error
&& filp
->f_pos
< inode
->i_size
220 && offset
< sb
->s_blocksize
) {
221 de
= (struct ext4_dir_entry_2
*) (bh
->b_data
+ offset
);
222 if (ext4_check_dir_entry(inode
, filp
, de
, bh
,
223 bh
->b_data
, bh
->b_size
,
226 * On error, skip the f_pos to the next block
228 filp
->f_pos
= (filp
->f_pos
|
229 (sb
->s_blocksize
- 1)) + 1;
234 offset
+= ext4_rec_len_from_disk(de
->rec_len
,
236 if (le32_to_cpu(de
->inode
)) {
237 /* We might block in the next section
238 * if the data destination is
239 * currently swapped out. So, use a
240 * version stamp to detect whether or
241 * not the directory has been modified
242 * during the copy operation.
244 u64 version
= filp
->f_version
;
246 error
= filldir(dirent
, de
->name
,
249 le32_to_cpu(de
->inode
),
250 get_dtype(sb
, de
->file_type
));
253 if (version
!= filp
->f_version
)
257 filp
->f_pos
+= ext4_rec_len_from_disk(de
->rec_len
,
267 static inline int is_32bit_api(void)
270 return is_compat_task();
272 return (BITS_PER_LONG
== 32);
277 * These functions convert from the major/minor hash to an f_pos
278 * value for dx directories
280 * Upper layer (for example NFS) should specify FMODE_32BITHASH or
281 * FMODE_64BITHASH explicitly. On the other hand, we allow ext4 to be mounted
282 * directly on both 32-bit and 64-bit nodes, under such case, neither
283 * FMODE_32BITHASH nor FMODE_64BITHASH is specified.
285 static inline loff_t
hash2pos(struct file
*filp
, __u32 major
, __u32 minor
)
287 if ((filp
->f_mode
& FMODE_32BITHASH
) ||
288 (!(filp
->f_mode
& FMODE_64BITHASH
) && is_32bit_api()))
291 return ((__u64
)(major
>> 1) << 32) | (__u64
)minor
;
294 static inline __u32
pos2maj_hash(struct file
*filp
, loff_t pos
)
296 if ((filp
->f_mode
& FMODE_32BITHASH
) ||
297 (!(filp
->f_mode
& FMODE_64BITHASH
) && is_32bit_api()))
298 return (pos
<< 1) & 0xffffffff;
300 return ((pos
>> 32) << 1) & 0xffffffff;
303 static inline __u32
pos2min_hash(struct file
*filp
, loff_t pos
)
305 if ((filp
->f_mode
& FMODE_32BITHASH
) ||
306 (!(filp
->f_mode
& FMODE_64BITHASH
) && is_32bit_api()))
309 return pos
& 0xffffffff;
313 * Return 32- or 64-bit end-of-file for dx directories
315 static inline loff_t
ext4_get_htree_eof(struct file
*filp
)
317 if ((filp
->f_mode
& FMODE_32BITHASH
) ||
318 (!(filp
->f_mode
& FMODE_64BITHASH
) && is_32bit_api()))
319 return EXT4_HTREE_EOF_32BIT
;
321 return EXT4_HTREE_EOF_64BIT
;
326 * ext4_dir_llseek() calls generic_file_llseek_size to handle htree
327 * directories, where the "offset" is in terms of the filename hash
328 * value instead of the byte offset.
330 * Because we may return a 64-bit hash that is well beyond offset limits,
331 * we need to pass the max hash as the maximum allowable offset in
332 * the htree directory case.
334 * For non-htree, ext4_llseek already chooses the proper max offset.
336 loff_t
ext4_dir_llseek(struct file
*file
, loff_t offset
, int whence
)
338 struct inode
*inode
= file
->f_mapping
->host
;
339 int dx_dir
= is_dx_dir(inode
);
340 loff_t htree_max
= ext4_get_htree_eof(file
);
343 return generic_file_llseek_size(file
, offset
, whence
,
344 htree_max
, htree_max
);
346 return ext4_llseek(file
, offset
, whence
);
350 * This structure holds the nodes of the red-black tree used to store
351 * the directory entry in hash order.
356 struct rb_node rb_hash
;
365 * This functoin implements a non-recursive way of freeing all of the
366 * nodes in the red-black tree.
368 static void free_rb_tree_fname(struct rb_root
*root
)
370 struct rb_node
*n
= root
->rb_node
;
371 struct rb_node
*parent
;
375 /* Do the node's children first */
385 * The node has no children; free it, and then zero
386 * out parent's link to it. Finally go to the
387 * beginning of the loop and try to free the parent
390 parent
= rb_parent(n
);
391 fname
= rb_entry(n
, struct fname
, rb_hash
);
393 struct fname
*old
= fname
;
399 else if (parent
->rb_left
== n
)
400 parent
->rb_left
= NULL
;
401 else if (parent
->rb_right
== n
)
402 parent
->rb_right
= NULL
;
408 static struct dir_private_info
*ext4_htree_create_dir_info(struct file
*filp
,
411 struct dir_private_info
*p
;
413 p
= kzalloc(sizeof(struct dir_private_info
), GFP_KERNEL
);
416 p
->curr_hash
= pos2maj_hash(filp
, pos
);
417 p
->curr_minor_hash
= pos2min_hash(filp
, pos
);
421 void ext4_htree_free_dir_info(struct dir_private_info
*p
)
423 free_rb_tree_fname(&p
->root
);
428 * Given a directory entry, enter it into the fname rb tree.
430 int ext4_htree_store_dirent(struct file
*dir_file
, __u32 hash
,
432 struct ext4_dir_entry_2
*dirent
)
434 struct rb_node
**p
, *parent
= NULL
;
435 struct fname
*fname
, *new_fn
;
436 struct dir_private_info
*info
;
439 info
= dir_file
->private_data
;
440 p
= &info
->root
.rb_node
;
442 /* Create and allocate the fname structure */
443 len
= sizeof(struct fname
) + dirent
->name_len
+ 1;
444 new_fn
= kzalloc(len
, GFP_KERNEL
);
448 new_fn
->minor_hash
= minor_hash
;
449 new_fn
->inode
= le32_to_cpu(dirent
->inode
);
450 new_fn
->name_len
= dirent
->name_len
;
451 new_fn
->file_type
= dirent
->file_type
;
452 memcpy(new_fn
->name
, dirent
->name
, dirent
->name_len
);
453 new_fn
->name
[dirent
->name_len
] = 0;
457 fname
= rb_entry(parent
, struct fname
, rb_hash
);
460 * If the hash and minor hash match up, then we put
461 * them on a linked list. This rarely happens...
463 if ((new_fn
->hash
== fname
->hash
) &&
464 (new_fn
->minor_hash
== fname
->minor_hash
)) {
465 new_fn
->next
= fname
->next
;
466 fname
->next
= new_fn
;
470 if (new_fn
->hash
< fname
->hash
)
472 else if (new_fn
->hash
> fname
->hash
)
474 else if (new_fn
->minor_hash
< fname
->minor_hash
)
476 else /* if (new_fn->minor_hash > fname->minor_hash) */
480 rb_link_node(&new_fn
->rb_hash
, parent
, p
);
481 rb_insert_color(&new_fn
->rb_hash
, &info
->root
);
488 * This is a helper function for ext4_dx_readdir. It calls filldir
489 * for all entres on the fname linked list. (Normally there is only
490 * one entry on the linked list, unless there are 62 bit hash collisions.)
492 static int call_filldir(struct file
*filp
, void *dirent
,
493 filldir_t filldir
, struct fname
*fname
)
495 struct dir_private_info
*info
= filp
->private_data
;
497 struct inode
*inode
= filp
->f_path
.dentry
->d_inode
;
498 struct super_block
*sb
;
504 ext4_msg(sb
, KERN_ERR
, "%s:%d: inode #%lu: comm %s: "
505 "called with null fname?!?", __func__
, __LINE__
,
506 inode
->i_ino
, current
->comm
);
509 curr_pos
= hash2pos(filp
, fname
->hash
, fname
->minor_hash
);
511 error
= filldir(dirent
, fname
->name
,
512 fname
->name_len
, curr_pos
,
514 get_dtype(sb
, fname
->file_type
));
516 filp
->f_pos
= curr_pos
;
517 info
->extra_fname
= fname
;
525 static int ext4_dx_readdir(struct file
*filp
,
526 void *dirent
, filldir_t filldir
)
528 struct dir_private_info
*info
= filp
->private_data
;
529 struct inode
*inode
= filp
->f_path
.dentry
->d_inode
;
534 info
= ext4_htree_create_dir_info(filp
, filp
->f_pos
);
537 filp
->private_data
= info
;
540 if (filp
->f_pos
== ext4_get_htree_eof(filp
))
543 /* Some one has messed with f_pos; reset the world */
544 if (info
->last_pos
!= filp
->f_pos
) {
545 free_rb_tree_fname(&info
->root
);
546 info
->curr_node
= NULL
;
547 info
->extra_fname
= NULL
;
548 info
->curr_hash
= pos2maj_hash(filp
, filp
->f_pos
);
549 info
->curr_minor_hash
= pos2min_hash(filp
, filp
->f_pos
);
553 * If there are any leftover names on the hash collision
554 * chain, return them first.
556 if (info
->extra_fname
) {
557 if (call_filldir(filp
, dirent
, filldir
, info
->extra_fname
))
559 info
->extra_fname
= NULL
;
561 } else if (!info
->curr_node
)
562 info
->curr_node
= rb_first(&info
->root
);
566 * Fill the rbtree if we have no more entries,
567 * or the inode has changed since we last read in the
570 if ((!info
->curr_node
) ||
571 (filp
->f_version
!= inode
->i_version
)) {
572 info
->curr_node
= NULL
;
573 free_rb_tree_fname(&info
->root
);
574 filp
->f_version
= inode
->i_version
;
575 ret
= ext4_htree_fill_tree(filp
, info
->curr_hash
,
576 info
->curr_minor_hash
,
581 filp
->f_pos
= ext4_get_htree_eof(filp
);
584 info
->curr_node
= rb_first(&info
->root
);
587 fname
= rb_entry(info
->curr_node
, struct fname
, rb_hash
);
588 info
->curr_hash
= fname
->hash
;
589 info
->curr_minor_hash
= fname
->minor_hash
;
590 if (call_filldir(filp
, dirent
, filldir
, fname
))
593 info
->curr_node
= rb_next(info
->curr_node
);
594 if (info
->curr_node
) {
595 fname
= rb_entry(info
->curr_node
, struct fname
,
597 info
->curr_hash
= fname
->hash
;
598 info
->curr_minor_hash
= fname
->minor_hash
;
600 if (info
->next_hash
== ~0) {
601 filp
->f_pos
= ext4_get_htree_eof(filp
);
604 info
->curr_hash
= info
->next_hash
;
605 info
->curr_minor_hash
= 0;
609 info
->last_pos
= filp
->f_pos
;
613 static int ext4_release_dir(struct inode
*inode
, struct file
*filp
)
615 if (filp
->private_data
)
616 ext4_htree_free_dir_info(filp
->private_data
);
621 const struct file_operations ext4_dir_operations
= {
622 .llseek
= ext4_dir_llseek
,
623 .read
= generic_read_dir
,
624 .readdir
= ext4_readdir
,
625 .unlocked_ioctl
= ext4_ioctl
,
627 .compat_ioctl
= ext4_compat_ioctl
,
629 .fsync
= ext4_sync_file
,
630 .release
= ext4_release_dir
,