blob: b2e131d11cf8b9cff11eaee69676521b8b053707 [file] [log] [blame]
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00001// SPDX-License-Identifier: GPL-2.0
2/*
3 * linux/fs/ext4/namei.c
4 *
5 * Copyright (C) 1992, 1993, 1994, 1995
6 * Remy Card (card@masi.ibp.fr)
7 * Laboratoire MASI - Institut Blaise Pascal
8 * Universite Pierre et Marie Curie (Paris VI)
9 *
10 * from
11 *
12 * linux/fs/minix/namei.c
13 *
14 * Copyright (C) 1991, 1992 Linus Torvalds
15 *
16 * Big-endian to little-endian byte-swapping/bitmaps by
17 * David S. Miller (davem@caip.rutgers.edu), 1995
18 * Directory entry file type support and forward compatibility hooks
19 * for B-tree directories by Theodore Ts'o (tytso@mit.edu), 1998
20 * Hash Tree Directory indexing (c)
21 * Daniel Phillips, 2001
22 * Hash Tree Directory indexing porting
23 * Christopher Li, 2002
24 * Hash Tree Directory indexing cleanup
25 * Theodore Ts'o, 2002
26 */
27
28#include <linux/fs.h>
29#include <linux/pagemap.h>
30#include <linux/time.h>
31#include <linux/fcntl.h>
32#include <linux/stat.h>
33#include <linux/string.h>
34#include <linux/quotaops.h>
35#include <linux/buffer_head.h>
36#include <linux/bio.h>
37#include <linux/iversion.h>
David Brazdil0f672f62019-12-10 10:32:29 +000038#include <linux/unicode.h>
Andrew Scullb4b6d4a2019-01-02 15:54:55 +000039#include "ext4.h"
40#include "ext4_jbd2.h"
41
42#include "xattr.h"
43#include "acl.h"
44
45#include <trace/events/ext4.h>
46/*
47 * define how far ahead to read directories while searching them.
48 */
49#define NAMEI_RA_CHUNKS 2
50#define NAMEI_RA_BLOCKS 4
51#define NAMEI_RA_SIZE (NAMEI_RA_CHUNKS * NAMEI_RA_BLOCKS)
52
53static struct buffer_head *ext4_append(handle_t *handle,
54 struct inode *inode,
55 ext4_lblk_t *block)
56{
Olivier Deprez92d4c212022-12-06 15:05:30 +010057 struct ext4_map_blocks map;
Andrew Scullb4b6d4a2019-01-02 15:54:55 +000058 struct buffer_head *bh;
59 int err;
60
61 if (unlikely(EXT4_SB(inode->i_sb)->s_max_dir_size_kb &&
62 ((inode->i_size >> 10) >=
63 EXT4_SB(inode->i_sb)->s_max_dir_size_kb)))
64 return ERR_PTR(-ENOSPC);
65
66 *block = inode->i_size >> inode->i_sb->s_blocksize_bits;
Olivier Deprez92d4c212022-12-06 15:05:30 +010067 map.m_lblk = *block;
68 map.m_len = 1;
69
70 /*
71 * We're appending new directory block. Make sure the block is not
72 * allocated yet, otherwise we will end up corrupting the
73 * directory.
74 */
75 err = ext4_map_blocks(NULL, inode, &map, 0);
76 if (err < 0)
77 return ERR_PTR(err);
78 if (err) {
79 EXT4_ERROR_INODE(inode, "Logical block already allocated");
80 return ERR_PTR(-EFSCORRUPTED);
81 }
Andrew Scullb4b6d4a2019-01-02 15:54:55 +000082
83 bh = ext4_bread(handle, inode, *block, EXT4_GET_BLOCKS_CREATE);
84 if (IS_ERR(bh))
85 return bh;
86 inode->i_size += inode->i_sb->s_blocksize;
87 EXT4_I(inode)->i_disksize = inode->i_size;
88 BUFFER_TRACE(bh, "get_write_access");
89 err = ext4_journal_get_write_access(handle, bh);
90 if (err) {
91 brelse(bh);
92 ext4_std_error(inode->i_sb, err);
93 return ERR_PTR(err);
94 }
95 return bh;
96}
97
98static int ext4_dx_csum_verify(struct inode *inode,
99 struct ext4_dir_entry *dirent);
100
David Brazdil0f672f62019-12-10 10:32:29 +0000101/*
102 * Hints to ext4_read_dirblock regarding whether we expect a directory
103 * block being read to be an index block, or a block containing
104 * directory entries (and if the latter, whether it was found via a
105 * logical block in an htree index block). This is used to control
106 * what sort of sanity checkinig ext4_read_dirblock() will do on the
107 * directory block read from the storage device. EITHER will means
108 * the caller doesn't know what kind of directory block will be read,
109 * so no specific verification will be done.
110 */
Andrew Scullb4b6d4a2019-01-02 15:54:55 +0000111typedef enum {
David Brazdil0f672f62019-12-10 10:32:29 +0000112 EITHER, INDEX, DIRENT, DIRENT_HTREE
Andrew Scullb4b6d4a2019-01-02 15:54:55 +0000113} dirblock_type_t;
114
115#define ext4_read_dirblock(inode, block, type) \
116 __ext4_read_dirblock((inode), (block), (type), __func__, __LINE__)
117
118static struct buffer_head *__ext4_read_dirblock(struct inode *inode,
119 ext4_lblk_t block,
120 dirblock_type_t type,
121 const char *func,
122 unsigned int line)
123{
124 struct buffer_head *bh;
125 struct ext4_dir_entry *dirent;
126 int is_dx_block = 0;
127
Olivier Deprez92d4c212022-12-06 15:05:30 +0100128 if (block >= inode->i_size >> inode->i_blkbits) {
129 ext4_error_inode(inode, func, line, block,
130 "Attempting to read directory block (%u) that is past i_size (%llu)",
131 block, inode->i_size);
132 return ERR_PTR(-EFSCORRUPTED);
133 }
134
Olivier Deprez157378f2022-04-04 15:47:50 +0200135 if (ext4_simulate_fail(inode->i_sb, EXT4_SIM_DIRBLOCK_EIO))
136 bh = ERR_PTR(-EIO);
137 else
138 bh = ext4_bread(NULL, inode, block, 0);
Andrew Scullb4b6d4a2019-01-02 15:54:55 +0000139 if (IS_ERR(bh)) {
140 __ext4_warning(inode->i_sb, func, line,
141 "inode #%lu: lblock %lu: comm %s: "
142 "error %ld reading directory block",
143 inode->i_ino, (unsigned long)block,
144 current->comm, PTR_ERR(bh));
145
146 return bh;
147 }
David Brazdil0f672f62019-12-10 10:32:29 +0000148 if (!bh && (type == INDEX || type == DIRENT_HTREE)) {
Andrew Scullb4b6d4a2019-01-02 15:54:55 +0000149 ext4_error_inode(inode, func, line, block,
David Brazdil0f672f62019-12-10 10:32:29 +0000150 "Directory hole found for htree %s block",
151 (type == INDEX) ? "index" : "leaf");
Andrew Scullb4b6d4a2019-01-02 15:54:55 +0000152 return ERR_PTR(-EFSCORRUPTED);
153 }
David Brazdil0f672f62019-12-10 10:32:29 +0000154 if (!bh)
155 return NULL;
Andrew Scullb4b6d4a2019-01-02 15:54:55 +0000156 dirent = (struct ext4_dir_entry *) bh->b_data;
157 /* Determine whether or not we have an index block */
158 if (is_dx(inode)) {
159 if (block == 0)
160 is_dx_block = 1;
161 else if (ext4_rec_len_from_disk(dirent->rec_len,
162 inode->i_sb->s_blocksize) ==
163 inode->i_sb->s_blocksize)
164 is_dx_block = 1;
165 }
166 if (!is_dx_block && type == INDEX) {
167 ext4_error_inode(inode, func, line, block,
168 "directory leaf block found instead of index block");
169 brelse(bh);
170 return ERR_PTR(-EFSCORRUPTED);
171 }
172 if (!ext4_has_metadata_csum(inode->i_sb) ||
173 buffer_verified(bh))
174 return bh;
175
176 /*
177 * An empty leaf block can get mistaken for a index block; for
178 * this reason, we can only check the index checksum when the
179 * caller is sure it should be an index block.
180 */
181 if (is_dx_block && type == INDEX) {
Olivier Deprez157378f2022-04-04 15:47:50 +0200182 if (ext4_dx_csum_verify(inode, dirent) &&
183 !ext4_simulate_fail(inode->i_sb, EXT4_SIM_DIRBLOCK_CRC))
Andrew Scullb4b6d4a2019-01-02 15:54:55 +0000184 set_buffer_verified(bh);
185 else {
Olivier Deprez157378f2022-04-04 15:47:50 +0200186 ext4_error_inode_err(inode, func, line, block,
187 EFSBADCRC,
188 "Directory index failed checksum");
Andrew Scullb4b6d4a2019-01-02 15:54:55 +0000189 brelse(bh);
190 return ERR_PTR(-EFSBADCRC);
191 }
192 }
193 if (!is_dx_block) {
Olivier Deprez157378f2022-04-04 15:47:50 +0200194 if (ext4_dirblock_csum_verify(inode, bh) &&
195 !ext4_simulate_fail(inode->i_sb, EXT4_SIM_DIRBLOCK_CRC))
Andrew Scullb4b6d4a2019-01-02 15:54:55 +0000196 set_buffer_verified(bh);
197 else {
Olivier Deprez157378f2022-04-04 15:47:50 +0200198 ext4_error_inode_err(inode, func, line, block,
199 EFSBADCRC,
200 "Directory block failed checksum");
Andrew Scullb4b6d4a2019-01-02 15:54:55 +0000201 brelse(bh);
202 return ERR_PTR(-EFSBADCRC);
203 }
204 }
205 return bh;
206}
207
208#ifndef assert
209#define assert(test) J_ASSERT(test)
210#endif
211
212#ifdef DX_DEBUG
213#define dxtrace(command) command
214#else
215#define dxtrace(command)
216#endif
217
218struct fake_dirent
219{
220 __le32 inode;
221 __le16 rec_len;
222 u8 name_len;
223 u8 file_type;
224};
225
226struct dx_countlimit
227{
228 __le16 limit;
229 __le16 count;
230};
231
232struct dx_entry
233{
234 __le32 hash;
235 __le32 block;
236};
237
238/*
239 * dx_root_info is laid out so that if it should somehow get overlaid by a
240 * dirent the two low bits of the hash version will be zero. Therefore, the
241 * hash version mod 4 should never be 0. Sincerely, the paranoia department.
242 */
243
244struct dx_root
245{
246 struct fake_dirent dot;
247 char dot_name[4];
248 struct fake_dirent dotdot;
249 char dotdot_name[4];
250 struct dx_root_info
251 {
252 __le32 reserved_zero;
253 u8 hash_version;
254 u8 info_length; /* 8 */
255 u8 indirect_levels;
256 u8 unused_flags;
257 }
258 info;
Olivier Deprez157378f2022-04-04 15:47:50 +0200259 struct dx_entry entries[];
Andrew Scullb4b6d4a2019-01-02 15:54:55 +0000260};
261
262struct dx_node
263{
264 struct fake_dirent fake;
Olivier Deprez157378f2022-04-04 15:47:50 +0200265 struct dx_entry entries[];
Andrew Scullb4b6d4a2019-01-02 15:54:55 +0000266};
267
268
269struct dx_frame
270{
271 struct buffer_head *bh;
272 struct dx_entry *entries;
273 struct dx_entry *at;
274};
275
276struct dx_map_entry
277{
278 u32 hash;
279 u16 offs;
280 u16 size;
281};
282
283/*
284 * This goes at the end of each htree block.
285 */
286struct dx_tail {
287 u32 dt_reserved;
288 __le32 dt_checksum; /* crc32c(uuid+inum+dirblock) */
289};
290
291static inline ext4_lblk_t dx_get_block(struct dx_entry *entry);
292static void dx_set_block(struct dx_entry *entry, ext4_lblk_t value);
293static inline unsigned dx_get_hash(struct dx_entry *entry);
294static void dx_set_hash(struct dx_entry *entry, unsigned value);
295static unsigned dx_get_count(struct dx_entry *entries);
296static unsigned dx_get_limit(struct dx_entry *entries);
297static void dx_set_count(struct dx_entry *entries, unsigned value);
298static void dx_set_limit(struct dx_entry *entries, unsigned value);
299static unsigned dx_root_limit(struct inode *dir, unsigned infosize);
300static unsigned dx_node_limit(struct inode *dir);
301static struct dx_frame *dx_probe(struct ext4_filename *fname,
302 struct inode *dir,
303 struct dx_hash_info *hinfo,
304 struct dx_frame *frame);
305static void dx_release(struct dx_frame *frames);
Olivier Deprez92d4c212022-12-06 15:05:30 +0100306static int dx_make_map(struct inode *dir, struct buffer_head *bh,
307 struct dx_hash_info *hinfo,
308 struct dx_map_entry *map_tail);
Andrew Scullb4b6d4a2019-01-02 15:54:55 +0000309static void dx_sort_map(struct dx_map_entry *map, unsigned count);
310static struct ext4_dir_entry_2 *dx_move_dirents(char *from, char *to,
311 struct dx_map_entry *offsets, int count, unsigned blocksize);
312static struct ext4_dir_entry_2* dx_pack_dirents(char *base, unsigned blocksize);
313static void dx_insert_block(struct dx_frame *frame,
314 u32 hash, ext4_lblk_t block);
315static int ext4_htree_next_block(struct inode *dir, __u32 hash,
316 struct dx_frame *frame,
317 struct dx_frame *frames,
318 __u32 *start_hash);
319static struct buffer_head * ext4_dx_find_entry(struct inode *dir,
320 struct ext4_filename *fname,
321 struct ext4_dir_entry_2 **res_dir);
322static int ext4_dx_add_entry(handle_t *handle, struct ext4_filename *fname,
323 struct inode *dir, struct inode *inode);
324
325/* checksumming functions */
David Brazdil0f672f62019-12-10 10:32:29 +0000326void ext4_initialize_dirent_tail(struct buffer_head *bh,
327 unsigned int blocksize)
Andrew Scullb4b6d4a2019-01-02 15:54:55 +0000328{
David Brazdil0f672f62019-12-10 10:32:29 +0000329 struct ext4_dir_entry_tail *t = EXT4_DIRENT_TAIL(bh->b_data, blocksize);
330
Andrew Scullb4b6d4a2019-01-02 15:54:55 +0000331 memset(t, 0, sizeof(struct ext4_dir_entry_tail));
332 t->det_rec_len = ext4_rec_len_to_disk(
333 sizeof(struct ext4_dir_entry_tail), blocksize);
334 t->det_reserved_ft = EXT4_FT_DIR_CSUM;
335}
336
337/* Walk through a dirent block to find a checksum "dirent" at the tail */
338static struct ext4_dir_entry_tail *get_dirent_tail(struct inode *inode,
David Brazdil0f672f62019-12-10 10:32:29 +0000339 struct buffer_head *bh)
Andrew Scullb4b6d4a2019-01-02 15:54:55 +0000340{
341 struct ext4_dir_entry_tail *t;
342
343#ifdef PARANOID
344 struct ext4_dir_entry *d, *top;
345
David Brazdil0f672f62019-12-10 10:32:29 +0000346 d = (struct ext4_dir_entry *)bh->b_data;
347 top = (struct ext4_dir_entry *)(bh->b_data +
Andrew Scullb4b6d4a2019-01-02 15:54:55 +0000348 (EXT4_BLOCK_SIZE(inode->i_sb) -
David Brazdil0f672f62019-12-10 10:32:29 +0000349 sizeof(struct ext4_dir_entry_tail)));
Andrew Scullb4b6d4a2019-01-02 15:54:55 +0000350 while (d < top && d->rec_len)
351 d = (struct ext4_dir_entry *)(((void *)d) +
352 le16_to_cpu(d->rec_len));
353
354 if (d != top)
355 return NULL;
356
357 t = (struct ext4_dir_entry_tail *)d;
358#else
David Brazdil0f672f62019-12-10 10:32:29 +0000359 t = EXT4_DIRENT_TAIL(bh->b_data, EXT4_BLOCK_SIZE(inode->i_sb));
Andrew Scullb4b6d4a2019-01-02 15:54:55 +0000360#endif
361
362 if (t->det_reserved_zero1 ||
363 le16_to_cpu(t->det_rec_len) != sizeof(struct ext4_dir_entry_tail) ||
364 t->det_reserved_zero2 ||
365 t->det_reserved_ft != EXT4_FT_DIR_CSUM)
366 return NULL;
367
368 return t;
369}
370
David Brazdil0f672f62019-12-10 10:32:29 +0000371static __le32 ext4_dirblock_csum(struct inode *inode, void *dirent, int size)
Andrew Scullb4b6d4a2019-01-02 15:54:55 +0000372{
373 struct ext4_sb_info *sbi = EXT4_SB(inode->i_sb);
374 struct ext4_inode_info *ei = EXT4_I(inode);
375 __u32 csum;
376
377 csum = ext4_chksum(sbi, ei->i_csum_seed, (__u8 *)dirent, size);
378 return cpu_to_le32(csum);
379}
380
381#define warn_no_space_for_csum(inode) \
382 __warn_no_space_for_csum((inode), __func__, __LINE__)
383
384static void __warn_no_space_for_csum(struct inode *inode, const char *func,
385 unsigned int line)
386{
387 __ext4_warning_inode(inode, func, line,
388 "No space for directory leaf checksum. Please run e2fsck -D.");
389}
390
David Brazdil0f672f62019-12-10 10:32:29 +0000391int ext4_dirblock_csum_verify(struct inode *inode, struct buffer_head *bh)
Andrew Scullb4b6d4a2019-01-02 15:54:55 +0000392{
393 struct ext4_dir_entry_tail *t;
394
395 if (!ext4_has_metadata_csum(inode->i_sb))
396 return 1;
397
David Brazdil0f672f62019-12-10 10:32:29 +0000398 t = get_dirent_tail(inode, bh);
Andrew Scullb4b6d4a2019-01-02 15:54:55 +0000399 if (!t) {
400 warn_no_space_for_csum(inode);
401 return 0;
402 }
403
David Brazdil0f672f62019-12-10 10:32:29 +0000404 if (t->det_checksum != ext4_dirblock_csum(inode, bh->b_data,
405 (char *)t - bh->b_data))
Andrew Scullb4b6d4a2019-01-02 15:54:55 +0000406 return 0;
407
408 return 1;
409}
410
David Brazdil0f672f62019-12-10 10:32:29 +0000411static void ext4_dirblock_csum_set(struct inode *inode,
412 struct buffer_head *bh)
Andrew Scullb4b6d4a2019-01-02 15:54:55 +0000413{
414 struct ext4_dir_entry_tail *t;
415
416 if (!ext4_has_metadata_csum(inode->i_sb))
417 return;
418
David Brazdil0f672f62019-12-10 10:32:29 +0000419 t = get_dirent_tail(inode, bh);
Andrew Scullb4b6d4a2019-01-02 15:54:55 +0000420 if (!t) {
421 warn_no_space_for_csum(inode);
422 return;
423 }
424
David Brazdil0f672f62019-12-10 10:32:29 +0000425 t->det_checksum = ext4_dirblock_csum(inode, bh->b_data,
426 (char *)t - bh->b_data);
Andrew Scullb4b6d4a2019-01-02 15:54:55 +0000427}
428
David Brazdil0f672f62019-12-10 10:32:29 +0000429int ext4_handle_dirty_dirblock(handle_t *handle,
430 struct inode *inode,
431 struct buffer_head *bh)
Andrew Scullb4b6d4a2019-01-02 15:54:55 +0000432{
David Brazdil0f672f62019-12-10 10:32:29 +0000433 ext4_dirblock_csum_set(inode, bh);
Andrew Scullb4b6d4a2019-01-02 15:54:55 +0000434 return ext4_handle_dirty_metadata(handle, inode, bh);
435}
436
437static struct dx_countlimit *get_dx_countlimit(struct inode *inode,
438 struct ext4_dir_entry *dirent,
439 int *offset)
440{
441 struct ext4_dir_entry *dp;
442 struct dx_root_info *root;
443 int count_offset;
444
445 if (le16_to_cpu(dirent->rec_len) == EXT4_BLOCK_SIZE(inode->i_sb))
446 count_offset = 8;
447 else if (le16_to_cpu(dirent->rec_len) == 12) {
448 dp = (struct ext4_dir_entry *)(((void *)dirent) + 12);
449 if (le16_to_cpu(dp->rec_len) !=
450 EXT4_BLOCK_SIZE(inode->i_sb) - 12)
451 return NULL;
452 root = (struct dx_root_info *)(((void *)dp + 12));
453 if (root->reserved_zero ||
454 root->info_length != sizeof(struct dx_root_info))
455 return NULL;
456 count_offset = 32;
457 } else
458 return NULL;
459
460 if (offset)
461 *offset = count_offset;
462 return (struct dx_countlimit *)(((void *)dirent) + count_offset);
463}
464
465static __le32 ext4_dx_csum(struct inode *inode, struct ext4_dir_entry *dirent,
466 int count_offset, int count, struct dx_tail *t)
467{
468 struct ext4_sb_info *sbi = EXT4_SB(inode->i_sb);
469 struct ext4_inode_info *ei = EXT4_I(inode);
470 __u32 csum;
471 int size;
472 __u32 dummy_csum = 0;
473 int offset = offsetof(struct dx_tail, dt_checksum);
474
475 size = count_offset + (count * sizeof(struct dx_entry));
476 csum = ext4_chksum(sbi, ei->i_csum_seed, (__u8 *)dirent, size);
477 csum = ext4_chksum(sbi, csum, (__u8 *)t, offset);
478 csum = ext4_chksum(sbi, csum, (__u8 *)&dummy_csum, sizeof(dummy_csum));
479
480 return cpu_to_le32(csum);
481}
482
483static int ext4_dx_csum_verify(struct inode *inode,
484 struct ext4_dir_entry *dirent)
485{
486 struct dx_countlimit *c;
487 struct dx_tail *t;
488 int count_offset, limit, count;
489
490 if (!ext4_has_metadata_csum(inode->i_sb))
491 return 1;
492
493 c = get_dx_countlimit(inode, dirent, &count_offset);
494 if (!c) {
495 EXT4_ERROR_INODE(inode, "dir seems corrupt? Run e2fsck -D.");
496 return 0;
497 }
498 limit = le16_to_cpu(c->limit);
499 count = le16_to_cpu(c->count);
500 if (count_offset + (limit * sizeof(struct dx_entry)) >
501 EXT4_BLOCK_SIZE(inode->i_sb) - sizeof(struct dx_tail)) {
502 warn_no_space_for_csum(inode);
503 return 0;
504 }
505 t = (struct dx_tail *)(((struct dx_entry *)c) + limit);
506
507 if (t->dt_checksum != ext4_dx_csum(inode, dirent, count_offset,
508 count, t))
509 return 0;
510 return 1;
511}
512
513static void ext4_dx_csum_set(struct inode *inode, struct ext4_dir_entry *dirent)
514{
515 struct dx_countlimit *c;
516 struct dx_tail *t;
517 int count_offset, limit, count;
518
519 if (!ext4_has_metadata_csum(inode->i_sb))
520 return;
521
522 c = get_dx_countlimit(inode, dirent, &count_offset);
523 if (!c) {
524 EXT4_ERROR_INODE(inode, "dir seems corrupt? Run e2fsck -D.");
525 return;
526 }
527 limit = le16_to_cpu(c->limit);
528 count = le16_to_cpu(c->count);
529 if (count_offset + (limit * sizeof(struct dx_entry)) >
530 EXT4_BLOCK_SIZE(inode->i_sb) - sizeof(struct dx_tail)) {
531 warn_no_space_for_csum(inode);
532 return;
533 }
534 t = (struct dx_tail *)(((struct dx_entry *)c) + limit);
535
536 t->dt_checksum = ext4_dx_csum(inode, dirent, count_offset, count, t);
537}
538
539static inline int ext4_handle_dirty_dx_node(handle_t *handle,
540 struct inode *inode,
541 struct buffer_head *bh)
542{
543 ext4_dx_csum_set(inode, (struct ext4_dir_entry *)bh->b_data);
544 return ext4_handle_dirty_metadata(handle, inode, bh);
545}
546
547/*
548 * p is at least 6 bytes before the end of page
549 */
550static inline struct ext4_dir_entry_2 *
551ext4_next_entry(struct ext4_dir_entry_2 *p, unsigned long blocksize)
552{
553 return (struct ext4_dir_entry_2 *)((char *)p +
554 ext4_rec_len_from_disk(p->rec_len, blocksize));
555}
556
557/*
558 * Future: use high four bits of block for coalesce-on-delete flags
559 * Mask them off for now.
560 */
561
562static inline ext4_lblk_t dx_get_block(struct dx_entry *entry)
563{
564 return le32_to_cpu(entry->block) & 0x0fffffff;
565}
566
567static inline void dx_set_block(struct dx_entry *entry, ext4_lblk_t value)
568{
569 entry->block = cpu_to_le32(value);
570}
571
572static inline unsigned dx_get_hash(struct dx_entry *entry)
573{
574 return le32_to_cpu(entry->hash);
575}
576
577static inline void dx_set_hash(struct dx_entry *entry, unsigned value)
578{
579 entry->hash = cpu_to_le32(value);
580}
581
582static inline unsigned dx_get_count(struct dx_entry *entries)
583{
584 return le16_to_cpu(((struct dx_countlimit *) entries)->count);
585}
586
587static inline unsigned dx_get_limit(struct dx_entry *entries)
588{
589 return le16_to_cpu(((struct dx_countlimit *) entries)->limit);
590}
591
592static inline void dx_set_count(struct dx_entry *entries, unsigned value)
593{
594 ((struct dx_countlimit *) entries)->count = cpu_to_le16(value);
595}
596
597static inline void dx_set_limit(struct dx_entry *entries, unsigned value)
598{
599 ((struct dx_countlimit *) entries)->limit = cpu_to_le16(value);
600}
601
602static inline unsigned dx_root_limit(struct inode *dir, unsigned infosize)
603{
604 unsigned entry_space = dir->i_sb->s_blocksize - EXT4_DIR_REC_LEN(1) -
605 EXT4_DIR_REC_LEN(2) - infosize;
606
607 if (ext4_has_metadata_csum(dir->i_sb))
608 entry_space -= sizeof(struct dx_tail);
609 return entry_space / sizeof(struct dx_entry);
610}
611
612static inline unsigned dx_node_limit(struct inode *dir)
613{
614 unsigned entry_space = dir->i_sb->s_blocksize - EXT4_DIR_REC_LEN(0);
615
616 if (ext4_has_metadata_csum(dir->i_sb))
617 entry_space -= sizeof(struct dx_tail);
618 return entry_space / sizeof(struct dx_entry);
619}
620
621/*
622 * Debug
623 */
624#ifdef DX_DEBUG
625static void dx_show_index(char * label, struct dx_entry *entries)
626{
627 int i, n = dx_get_count (entries);
628 printk(KERN_DEBUG "%s index", label);
629 for (i = 0; i < n; i++) {
630 printk(KERN_CONT " %x->%lu",
631 i ? dx_get_hash(entries + i) : 0,
632 (unsigned long)dx_get_block(entries + i));
633 }
634 printk(KERN_CONT "\n");
635}
636
637struct stats
638{
639 unsigned names;
640 unsigned space;
641 unsigned bcount;
642};
643
644static struct stats dx_show_leaf(struct inode *dir,
645 struct dx_hash_info *hinfo,
646 struct ext4_dir_entry_2 *de,
647 int size, int show_names)
648{
649 unsigned names = 0, space = 0;
650 char *base = (char *) de;
651 struct dx_hash_info h = *hinfo;
652
653 printk("names: ");
654 while ((char *) de < base + size)
655 {
656 if (de->inode)
657 {
658 if (show_names)
659 {
David Brazdil0f672f62019-12-10 10:32:29 +0000660#ifdef CONFIG_FS_ENCRYPTION
Andrew Scullb4b6d4a2019-01-02 15:54:55 +0000661 int len;
662 char *name;
663 struct fscrypt_str fname_crypto_str =
664 FSTR_INIT(NULL, 0);
665 int res = 0;
666
667 name = de->name;
668 len = de->name_len;
David Brazdil0f672f62019-12-10 10:32:29 +0000669 if (IS_ENCRYPTED(dir))
Andrew Scullb4b6d4a2019-01-02 15:54:55 +0000670 res = fscrypt_get_encryption_info(dir);
671 if (res) {
672 printk(KERN_WARNING "Error setting up"
673 " fname crypto: %d\n", res);
674 }
675 if (!fscrypt_has_encryption_key(dir)) {
676 /* Directory is not encrypted */
David Brazdil0f672f62019-12-10 10:32:29 +0000677 ext4fs_dirhash(dir, de->name,
Andrew Scullb4b6d4a2019-01-02 15:54:55 +0000678 de->name_len, &h);
679 printk("%*.s:(U)%x.%u ", len,
680 name, h.hash,
681 (unsigned) ((char *) de
682 - base));
683 } else {
684 struct fscrypt_str de_name =
685 FSTR_INIT(name, len);
686
687 /* Directory is encrypted */
688 res = fscrypt_fname_alloc_buffer(
Olivier Deprez157378f2022-04-04 15:47:50 +0200689 len, &fname_crypto_str);
Andrew Scullb4b6d4a2019-01-02 15:54:55 +0000690 if (res)
691 printk(KERN_WARNING "Error "
692 "allocating crypto "
693 "buffer--skipping "
694 "crypto\n");
695 res = fscrypt_fname_disk_to_usr(dir,
696 0, 0, &de_name,
697 &fname_crypto_str);
698 if (res) {
699 printk(KERN_WARNING "Error "
700 "converting filename "
701 "from disk to usr"
702 "\n");
703 name = "??";
704 len = 2;
705 } else {
706 name = fname_crypto_str.name;
707 len = fname_crypto_str.len;
708 }
David Brazdil0f672f62019-12-10 10:32:29 +0000709 ext4fs_dirhash(dir, de->name,
710 de->name_len, &h);
Andrew Scullb4b6d4a2019-01-02 15:54:55 +0000711 printk("%*.s:(E)%x.%u ", len, name,
712 h.hash, (unsigned) ((char *) de
713 - base));
714 fscrypt_fname_free_buffer(
715 &fname_crypto_str);
716 }
717#else
718 int len = de->name_len;
719 char *name = de->name;
David Brazdil0f672f62019-12-10 10:32:29 +0000720 ext4fs_dirhash(dir, de->name, de->name_len, &h);
Andrew Scullb4b6d4a2019-01-02 15:54:55 +0000721 printk("%*.s:%x.%u ", len, name, h.hash,
722 (unsigned) ((char *) de - base));
723#endif
724 }
725 space += EXT4_DIR_REC_LEN(de->name_len);
726 names++;
727 }
728 de = ext4_next_entry(de, size);
729 }
730 printk(KERN_CONT "(%i)\n", names);
731 return (struct stats) { names, space, 1 };
732}
733
734struct stats dx_show_entries(struct dx_hash_info *hinfo, struct inode *dir,
735 struct dx_entry *entries, int levels)
736{
737 unsigned blocksize = dir->i_sb->s_blocksize;
738 unsigned count = dx_get_count(entries), names = 0, space = 0, i;
739 unsigned bcount = 0;
740 struct buffer_head *bh;
741 printk("%i indexed blocks...\n", count);
742 for (i = 0; i < count; i++, entries++)
743 {
744 ext4_lblk_t block = dx_get_block(entries);
745 ext4_lblk_t hash = i ? dx_get_hash(entries): 0;
746 u32 range = i < count - 1? (dx_get_hash(entries + 1) - hash): ~hash;
747 struct stats stats;
748 printk("%s%3u:%03u hash %8x/%8x ",levels?"":" ", i, block, hash, range);
749 bh = ext4_bread(NULL,dir, block, 0);
750 if (!bh || IS_ERR(bh))
751 continue;
752 stats = levels?
753 dx_show_entries(hinfo, dir, ((struct dx_node *) bh->b_data)->entries, levels - 1):
754 dx_show_leaf(dir, hinfo, (struct ext4_dir_entry_2 *)
755 bh->b_data, blocksize, 0);
756 names += stats.names;
757 space += stats.space;
758 bcount += stats.bcount;
759 brelse(bh);
760 }
761 if (bcount)
762 printk(KERN_DEBUG "%snames %u, fullness %u (%u%%)\n",
763 levels ? "" : " ", names, space/bcount,
764 (space/bcount)*100/blocksize);
765 return (struct stats) { names, space, bcount};
766}
767#endif /* DX_DEBUG */
768
769/*
770 * Probe for a directory leaf block to search.
771 *
772 * dx_probe can return ERR_BAD_DX_DIR, which means there was a format
773 * error in the directory index, and the caller should fall back to
774 * searching the directory normally. The callers of dx_probe **MUST**
775 * check for this error code, and make sure it never gets reflected
776 * back to userspace.
777 */
778static struct dx_frame *
779dx_probe(struct ext4_filename *fname, struct inode *dir,
780 struct dx_hash_info *hinfo, struct dx_frame *frame_in)
781{
Olivier Deprez92d4c212022-12-06 15:05:30 +0100782 unsigned count, indirect, level, i;
Andrew Scullb4b6d4a2019-01-02 15:54:55 +0000783 struct dx_entry *at, *entries, *p, *q, *m;
784 struct dx_root *root;
785 struct dx_frame *frame = frame_in;
786 struct dx_frame *ret_err = ERR_PTR(ERR_BAD_DX_DIR);
787 u32 hash;
Olivier Deprez92d4c212022-12-06 15:05:30 +0100788 ext4_lblk_t block;
789 ext4_lblk_t blocks[EXT4_HTREE_LEVEL];
Andrew Scullb4b6d4a2019-01-02 15:54:55 +0000790
791 memset(frame_in, 0, EXT4_HTREE_LEVEL * sizeof(frame_in[0]));
792 frame->bh = ext4_read_dirblock(dir, 0, INDEX);
793 if (IS_ERR(frame->bh))
794 return (struct dx_frame *) frame->bh;
795
796 root = (struct dx_root *) frame->bh->b_data;
797 if (root->info.hash_version != DX_HASH_TEA &&
798 root->info.hash_version != DX_HASH_HALF_MD4 &&
799 root->info.hash_version != DX_HASH_LEGACY) {
800 ext4_warning_inode(dir, "Unrecognised inode hash code %u",
801 root->info.hash_version);
802 goto fail;
803 }
804 if (fname)
805 hinfo = &fname->hinfo;
806 hinfo->hash_version = root->info.hash_version;
807 if (hinfo->hash_version <= DX_HASH_TEA)
808 hinfo->hash_version += EXT4_SB(dir->i_sb)->s_hash_unsigned;
809 hinfo->seed = EXT4_SB(dir->i_sb)->s_hash_seed;
810 if (fname && fname_name(fname))
David Brazdil0f672f62019-12-10 10:32:29 +0000811 ext4fs_dirhash(dir, fname_name(fname), fname_len(fname), hinfo);
Andrew Scullb4b6d4a2019-01-02 15:54:55 +0000812 hash = hinfo->hash;
813
814 if (root->info.unused_flags & 1) {
815 ext4_warning_inode(dir, "Unimplemented hash flags: %#06x",
816 root->info.unused_flags);
817 goto fail;
818 }
819
820 indirect = root->info.indirect_levels;
821 if (indirect >= ext4_dir_htree_level(dir->i_sb)) {
822 ext4_warning(dir->i_sb,
823 "Directory (ino: %lu) htree depth %#06x exceed"
824 "supported value", dir->i_ino,
825 ext4_dir_htree_level(dir->i_sb));
826 if (ext4_dir_htree_level(dir->i_sb) < EXT4_HTREE_LEVEL) {
827 ext4_warning(dir->i_sb, "Enable large directory "
828 "feature to access it");
829 }
830 goto fail;
831 }
832
833 entries = (struct dx_entry *)(((char *)&root->info) +
834 root->info.info_length);
835
836 if (dx_get_limit(entries) != dx_root_limit(dir,
837 root->info.info_length)) {
838 ext4_warning_inode(dir, "dx entry: limit %u != root limit %u",
839 dx_get_limit(entries),
840 dx_root_limit(dir, root->info.info_length));
841 goto fail;
842 }
843
844 dxtrace(printk("Look up %x", hash));
Olivier Deprez92d4c212022-12-06 15:05:30 +0100845 level = 0;
846 blocks[0] = 0;
Andrew Scullb4b6d4a2019-01-02 15:54:55 +0000847 while (1) {
848 count = dx_get_count(entries);
849 if (!count || count > dx_get_limit(entries)) {
850 ext4_warning_inode(dir,
851 "dx entry: count %u beyond limit %u",
852 count, dx_get_limit(entries));
853 goto fail;
854 }
855
856 p = entries + 1;
857 q = entries + count - 1;
858 while (p <= q) {
859 m = p + (q - p) / 2;
860 dxtrace(printk(KERN_CONT "."));
861 if (dx_get_hash(m) > hash)
862 q = m - 1;
863 else
864 p = m + 1;
865 }
866
867 if (0) { // linear search cross check
868 unsigned n = count - 1;
869 at = entries;
870 while (n--)
871 {
872 dxtrace(printk(KERN_CONT ","));
873 if (dx_get_hash(++at) > hash)
874 {
875 at--;
876 break;
877 }
878 }
879 assert (at == p - 1);
880 }
881
882 at = p - 1;
883 dxtrace(printk(KERN_CONT " %x->%u\n",
884 at == entries ? 0 : dx_get_hash(at),
885 dx_get_block(at)));
886 frame->entries = entries;
887 frame->at = at;
Olivier Deprez92d4c212022-12-06 15:05:30 +0100888
889 block = dx_get_block(at);
890 for (i = 0; i <= level; i++) {
891 if (blocks[i] == block) {
892 ext4_warning_inode(dir,
893 "dx entry: tree cycle block %u points back to block %u",
894 blocks[level], block);
895 goto fail;
896 }
897 }
898 if (++level > indirect)
Andrew Scullb4b6d4a2019-01-02 15:54:55 +0000899 return frame;
Olivier Deprez92d4c212022-12-06 15:05:30 +0100900 blocks[level] = block;
Andrew Scullb4b6d4a2019-01-02 15:54:55 +0000901 frame++;
Olivier Deprez92d4c212022-12-06 15:05:30 +0100902 frame->bh = ext4_read_dirblock(dir, block, INDEX);
Andrew Scullb4b6d4a2019-01-02 15:54:55 +0000903 if (IS_ERR(frame->bh)) {
904 ret_err = (struct dx_frame *) frame->bh;
905 frame->bh = NULL;
906 goto fail;
907 }
Olivier Deprez92d4c212022-12-06 15:05:30 +0100908
Andrew Scullb4b6d4a2019-01-02 15:54:55 +0000909 entries = ((struct dx_node *) frame->bh->b_data)->entries;
910
911 if (dx_get_limit(entries) != dx_node_limit(dir)) {
912 ext4_warning_inode(dir,
913 "dx entry: limit %u != node limit %u",
914 dx_get_limit(entries), dx_node_limit(dir));
915 goto fail;
916 }
917 }
918fail:
919 while (frame >= frame_in) {
920 brelse(frame->bh);
921 frame--;
922 }
923
924 if (ret_err == ERR_PTR(ERR_BAD_DX_DIR))
925 ext4_warning_inode(dir,
926 "Corrupt directory, running e2fsck is recommended");
927 return ret_err;
928}
929
930static void dx_release(struct dx_frame *frames)
931{
932 struct dx_root_info *info;
933 int i;
David Brazdil0f672f62019-12-10 10:32:29 +0000934 unsigned int indirect_levels;
Andrew Scullb4b6d4a2019-01-02 15:54:55 +0000935
936 if (frames[0].bh == NULL)
937 return;
938
939 info = &((struct dx_root *)frames[0].bh->b_data)->info;
David Brazdil0f672f62019-12-10 10:32:29 +0000940 /* save local copy, "info" may be freed after brelse() */
941 indirect_levels = info->indirect_levels;
942 for (i = 0; i <= indirect_levels; i++) {
Andrew Scullb4b6d4a2019-01-02 15:54:55 +0000943 if (frames[i].bh == NULL)
944 break;
945 brelse(frames[i].bh);
946 frames[i].bh = NULL;
947 }
948}
949
950/*
951 * This function increments the frame pointer to search the next leaf
952 * block, and reads in the necessary intervening nodes if the search
953 * should be necessary. Whether or not the search is necessary is
954 * controlled by the hash parameter. If the hash value is even, then
955 * the search is only continued if the next block starts with that
956 * hash value. This is used if we are searching for a specific file.
957 *
958 * If the hash value is HASH_NB_ALWAYS, then always go to the next block.
959 *
960 * This function returns 1 if the caller should continue to search,
961 * or 0 if it should not. If there is an error reading one of the
962 * index blocks, it will a negative error code.
963 *
964 * If start_hash is non-null, it will be filled in with the starting
965 * hash of the next page.
966 */
967static int ext4_htree_next_block(struct inode *dir, __u32 hash,
968 struct dx_frame *frame,
969 struct dx_frame *frames,
970 __u32 *start_hash)
971{
972 struct dx_frame *p;
973 struct buffer_head *bh;
974 int num_frames = 0;
975 __u32 bhash;
976
977 p = frame;
978 /*
979 * Find the next leaf page by incrementing the frame pointer.
980 * If we run out of entries in the interior node, loop around and
981 * increment pointer in the parent node. When we break out of
982 * this loop, num_frames indicates the number of interior
983 * nodes need to be read.
984 */
985 while (1) {
986 if (++(p->at) < p->entries + dx_get_count(p->entries))
987 break;
988 if (p == frames)
989 return 0;
990 num_frames++;
991 p--;
992 }
993
994 /*
995 * If the hash is 1, then continue only if the next page has a
996 * continuation hash of any value. This is used for readdir
997 * handling. Otherwise, check to see if the hash matches the
998 * desired contiuation hash. If it doesn't, return since
999 * there's no point to read in the successive index pages.
1000 */
1001 bhash = dx_get_hash(p->at);
1002 if (start_hash)
1003 *start_hash = bhash;
1004 if ((hash & 1) == 0) {
1005 if ((bhash & ~1) != hash)
1006 return 0;
1007 }
1008 /*
1009 * If the hash is HASH_NB_ALWAYS, we always go to the next
1010 * block so no check is necessary
1011 */
1012 while (num_frames--) {
1013 bh = ext4_read_dirblock(dir, dx_get_block(p->at), INDEX);
1014 if (IS_ERR(bh))
1015 return PTR_ERR(bh);
1016 p++;
1017 brelse(p->bh);
1018 p->bh = bh;
1019 p->at = p->entries = ((struct dx_node *) bh->b_data)->entries;
1020 }
1021 return 1;
1022}
1023
1024
1025/*
1026 * This function fills a red-black tree with information from a
1027 * directory block. It returns the number directory entries loaded
1028 * into the tree. If there is an error it is returned in err.
1029 */
1030static int htree_dirblock_to_tree(struct file *dir_file,
1031 struct inode *dir, ext4_lblk_t block,
1032 struct dx_hash_info *hinfo,
1033 __u32 start_hash, __u32 start_minor_hash)
1034{
1035 struct buffer_head *bh;
1036 struct ext4_dir_entry_2 *de, *top;
1037 int err = 0, count = 0;
1038 struct fscrypt_str fname_crypto_str = FSTR_INIT(NULL, 0), tmp_str;
1039
1040 dxtrace(printk(KERN_INFO "In htree dirblock_to_tree: block %lu\n",
1041 (unsigned long)block));
David Brazdil0f672f62019-12-10 10:32:29 +00001042 bh = ext4_read_dirblock(dir, block, DIRENT_HTREE);
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00001043 if (IS_ERR(bh))
1044 return PTR_ERR(bh);
1045
1046 de = (struct ext4_dir_entry_2 *) bh->b_data;
1047 top = (struct ext4_dir_entry_2 *) ((char *) de +
1048 dir->i_sb->s_blocksize -
1049 EXT4_DIR_REC_LEN(0));
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00001050 /* Check if the directory is encrypted */
David Brazdil0f672f62019-12-10 10:32:29 +00001051 if (IS_ENCRYPTED(dir)) {
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00001052 err = fscrypt_get_encryption_info(dir);
1053 if (err < 0) {
1054 brelse(bh);
1055 return err;
1056 }
Olivier Deprez157378f2022-04-04 15:47:50 +02001057 err = fscrypt_fname_alloc_buffer(EXT4_NAME_LEN,
1058 &fname_crypto_str);
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00001059 if (err < 0) {
1060 brelse(bh);
1061 return err;
1062 }
1063 }
Olivier Deprez157378f2022-04-04 15:47:50 +02001064
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00001065 for (; de < top; de = ext4_next_entry(de, dir->i_sb->s_blocksize)) {
1066 if (ext4_check_dir_entry(dir, NULL, de, bh,
1067 bh->b_data, bh->b_size,
1068 (block<<EXT4_BLOCK_SIZE_BITS(dir->i_sb))
1069 + ((char *)de - bh->b_data))) {
1070 /* silently ignore the rest of the block */
1071 break;
1072 }
David Brazdil0f672f62019-12-10 10:32:29 +00001073 ext4fs_dirhash(dir, de->name, de->name_len, hinfo);
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00001074 if ((hinfo->hash < start_hash) ||
1075 ((hinfo->hash == start_hash) &&
1076 (hinfo->minor_hash < start_minor_hash)))
1077 continue;
1078 if (de->inode == 0)
1079 continue;
David Brazdil0f672f62019-12-10 10:32:29 +00001080 if (!IS_ENCRYPTED(dir)) {
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00001081 tmp_str.name = de->name;
1082 tmp_str.len = de->name_len;
1083 err = ext4_htree_store_dirent(dir_file,
1084 hinfo->hash, hinfo->minor_hash, de,
1085 &tmp_str);
1086 } else {
1087 int save_len = fname_crypto_str.len;
1088 struct fscrypt_str de_name = FSTR_INIT(de->name,
1089 de->name_len);
1090
1091 /* Directory is encrypted */
1092 err = fscrypt_fname_disk_to_usr(dir, hinfo->hash,
1093 hinfo->minor_hash, &de_name,
1094 &fname_crypto_str);
1095 if (err) {
1096 count = err;
1097 goto errout;
1098 }
1099 err = ext4_htree_store_dirent(dir_file,
1100 hinfo->hash, hinfo->minor_hash, de,
1101 &fname_crypto_str);
1102 fname_crypto_str.len = save_len;
1103 }
1104 if (err != 0) {
1105 count = err;
1106 goto errout;
1107 }
1108 count++;
1109 }
1110errout:
1111 brelse(bh);
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00001112 fscrypt_fname_free_buffer(&fname_crypto_str);
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00001113 return count;
1114}
1115
1116
1117/*
1118 * This function fills a red-black tree with information from a
1119 * directory. We start scanning the directory in hash order, starting
1120 * at start_hash and start_minor_hash.
1121 *
1122 * This function returns the number of entries inserted into the tree,
1123 * or a negative error code.
1124 */
1125int ext4_htree_fill_tree(struct file *dir_file, __u32 start_hash,
1126 __u32 start_minor_hash, __u32 *next_hash)
1127{
1128 struct dx_hash_info hinfo;
1129 struct ext4_dir_entry_2 *de;
1130 struct dx_frame frames[EXT4_HTREE_LEVEL], *frame;
1131 struct inode *dir;
1132 ext4_lblk_t block;
1133 int count = 0;
1134 int ret, err;
1135 __u32 hashval;
1136 struct fscrypt_str tmp_str;
1137
1138 dxtrace(printk(KERN_DEBUG "In htree_fill_tree, start hash: %x:%x\n",
1139 start_hash, start_minor_hash));
1140 dir = file_inode(dir_file);
1141 if (!(ext4_test_inode_flag(dir, EXT4_INODE_INDEX))) {
1142 hinfo.hash_version = EXT4_SB(dir->i_sb)->s_def_hash_version;
1143 if (hinfo.hash_version <= DX_HASH_TEA)
1144 hinfo.hash_version +=
1145 EXT4_SB(dir->i_sb)->s_hash_unsigned;
1146 hinfo.seed = EXT4_SB(dir->i_sb)->s_hash_seed;
1147 if (ext4_has_inline_data(dir)) {
1148 int has_inline_data = 1;
David Brazdil0f672f62019-12-10 10:32:29 +00001149 count = ext4_inlinedir_to_tree(dir_file, dir, 0,
1150 &hinfo, start_hash,
1151 start_minor_hash,
1152 &has_inline_data);
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00001153 if (has_inline_data) {
1154 *next_hash = ~0;
1155 return count;
1156 }
1157 }
1158 count = htree_dirblock_to_tree(dir_file, dir, 0, &hinfo,
1159 start_hash, start_minor_hash);
1160 *next_hash = ~0;
1161 return count;
1162 }
1163 hinfo.hash = start_hash;
1164 hinfo.minor_hash = 0;
1165 frame = dx_probe(NULL, dir, &hinfo, frames);
1166 if (IS_ERR(frame))
1167 return PTR_ERR(frame);
1168
1169 /* Add '.' and '..' from the htree header */
1170 if (!start_hash && !start_minor_hash) {
1171 de = (struct ext4_dir_entry_2 *) frames[0].bh->b_data;
1172 tmp_str.name = de->name;
1173 tmp_str.len = de->name_len;
1174 err = ext4_htree_store_dirent(dir_file, 0, 0,
1175 de, &tmp_str);
1176 if (err != 0)
1177 goto errout;
1178 count++;
1179 }
1180 if (start_hash < 2 || (start_hash ==2 && start_minor_hash==0)) {
1181 de = (struct ext4_dir_entry_2 *) frames[0].bh->b_data;
1182 de = ext4_next_entry(de, dir->i_sb->s_blocksize);
1183 tmp_str.name = de->name;
1184 tmp_str.len = de->name_len;
1185 err = ext4_htree_store_dirent(dir_file, 2, 0,
1186 de, &tmp_str);
1187 if (err != 0)
1188 goto errout;
1189 count++;
1190 }
1191
1192 while (1) {
1193 if (fatal_signal_pending(current)) {
1194 err = -ERESTARTSYS;
1195 goto errout;
1196 }
1197 cond_resched();
1198 block = dx_get_block(frame->at);
1199 ret = htree_dirblock_to_tree(dir_file, dir, block, &hinfo,
1200 start_hash, start_minor_hash);
1201 if (ret < 0) {
1202 err = ret;
1203 goto errout;
1204 }
1205 count += ret;
1206 hashval = ~0;
1207 ret = ext4_htree_next_block(dir, HASH_NB_ALWAYS,
1208 frame, frames, &hashval);
1209 *next_hash = hashval;
1210 if (ret < 0) {
1211 err = ret;
1212 goto errout;
1213 }
1214 /*
1215 * Stop if: (a) there are no more entries, or
1216 * (b) we have inserted at least one entry and the
1217 * next hash value is not a continuation
1218 */
1219 if ((ret == 0) ||
1220 (count && ((hashval & 1) == 0)))
1221 break;
1222 }
1223 dx_release(frames);
1224 dxtrace(printk(KERN_DEBUG "Fill tree: returned %d entries, "
1225 "next hash: %x\n", count, *next_hash));
1226 return count;
1227errout:
1228 dx_release(frames);
1229 return (err);
1230}
1231
1232static inline int search_dirblock(struct buffer_head *bh,
1233 struct inode *dir,
1234 struct ext4_filename *fname,
1235 unsigned int offset,
1236 struct ext4_dir_entry_2 **res_dir)
1237{
1238 return ext4_search_dir(bh, bh->b_data, dir->i_sb->s_blocksize, dir,
1239 fname, offset, res_dir);
1240}
1241
1242/*
1243 * Directory block splitting, compacting
1244 */
1245
1246/*
1247 * Create map of hash values, offsets, and sizes, stored at end of block.
1248 * Returns number of entries mapped.
1249 */
Olivier Deprez92d4c212022-12-06 15:05:30 +01001250static int dx_make_map(struct inode *dir, struct buffer_head *bh,
1251 struct dx_hash_info *hinfo,
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00001252 struct dx_map_entry *map_tail)
1253{
1254 int count = 0;
Olivier Deprez92d4c212022-12-06 15:05:30 +01001255 struct ext4_dir_entry_2 *de = (struct ext4_dir_entry_2 *)bh->b_data;
1256 unsigned int buflen = bh->b_size;
1257 char *base = bh->b_data;
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00001258 struct dx_hash_info h = *hinfo;
1259
Olivier Deprez92d4c212022-12-06 15:05:30 +01001260 if (ext4_has_metadata_csum(dir->i_sb))
1261 buflen -= sizeof(struct ext4_dir_entry_tail);
1262
1263 while ((char *) de < base + buflen) {
1264 if (ext4_check_dir_entry(dir, NULL, de, bh, base, buflen,
1265 ((char *)de) - base))
1266 return -EFSCORRUPTED;
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00001267 if (de->name_len && de->inode) {
David Brazdil0f672f62019-12-10 10:32:29 +00001268 ext4fs_dirhash(dir, de->name, de->name_len, &h);
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00001269 map_tail--;
1270 map_tail->hash = h.hash;
1271 map_tail->offs = ((char *) de - base)>>2;
1272 map_tail->size = le16_to_cpu(de->rec_len);
1273 count++;
1274 cond_resched();
1275 }
Olivier Deprez92d4c212022-12-06 15:05:30 +01001276 de = ext4_next_entry(de, dir->i_sb->s_blocksize);
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00001277 }
1278 return count;
1279}
1280
1281/* Sort map by hash value */
1282static void dx_sort_map (struct dx_map_entry *map, unsigned count)
1283{
1284 struct dx_map_entry *p, *q, *top = map + count - 1;
1285 int more;
1286 /* Combsort until bubble sort doesn't suck */
1287 while (count > 2) {
1288 count = count*10/13;
1289 if (count - 9 < 2) /* 9, 10 -> 11 */
1290 count = 11;
1291 for (p = top, q = p - count; q >= map; p--, q--)
1292 if (p->hash < q->hash)
1293 swap(*p, *q);
1294 }
1295 /* Garden variety bubble sort */
1296 do {
1297 more = 0;
1298 q = top;
1299 while (q-- > map) {
1300 if (q[1].hash >= q[0].hash)
1301 continue;
1302 swap(*(q+1), *q);
1303 more = 1;
1304 }
1305 } while(more);
1306}
1307
1308static void dx_insert_block(struct dx_frame *frame, u32 hash, ext4_lblk_t block)
1309{
1310 struct dx_entry *entries = frame->entries;
1311 struct dx_entry *old = frame->at, *new = old + 1;
1312 int count = dx_get_count(entries);
1313
1314 assert(count < dx_get_limit(entries));
1315 assert(old < entries + count);
1316 memmove(new + 1, new, (char *)(entries + count) - (char *)(new));
1317 dx_set_hash(new, hash);
1318 dx_set_block(new, block);
1319 dx_set_count(entries, count + 1);
1320}
1321
David Brazdil0f672f62019-12-10 10:32:29 +00001322#ifdef CONFIG_UNICODE
1323/*
1324 * Test whether a case-insensitive directory entry matches the filename
1325 * being searched for. If quick is set, assume the name being looked up
1326 * is already in the casefolded form.
1327 *
1328 * Returns: 0 if the directory entry matches, more than 0 if it
1329 * doesn't match or less than zero on error.
1330 */
1331int ext4_ci_compare(const struct inode *parent, const struct qstr *name,
1332 const struct qstr *entry, bool quick)
1333{
Olivier Deprez157378f2022-04-04 15:47:50 +02001334 const struct super_block *sb = parent->i_sb;
1335 const struct unicode_map *um = sb->s_encoding;
David Brazdil0f672f62019-12-10 10:32:29 +00001336 int ret;
1337
1338 if (quick)
1339 ret = utf8_strncasecmp_folded(um, name, entry);
1340 else
1341 ret = utf8_strncasecmp(um, name, entry);
1342
1343 if (ret < 0) {
1344 /* Handle invalid character sequence as either an error
1345 * or as an opaque byte sequence.
1346 */
Olivier Deprez157378f2022-04-04 15:47:50 +02001347 if (sb_has_strict_encoding(sb))
David Brazdil0f672f62019-12-10 10:32:29 +00001348 return -EINVAL;
1349
1350 if (name->len != entry->len)
1351 return 1;
1352
1353 return !!memcmp(name->name, entry->name, name->len);
1354 }
1355
1356 return ret;
1357}
1358
1359void ext4_fname_setup_ci_filename(struct inode *dir, const struct qstr *iname,
1360 struct fscrypt_str *cf_name)
1361{
1362 int len;
1363
Olivier Deprez157378f2022-04-04 15:47:50 +02001364 if (!IS_CASEFOLDED(dir) || !dir->i_sb->s_encoding) {
David Brazdil0f672f62019-12-10 10:32:29 +00001365 cf_name->name = NULL;
1366 return;
1367 }
1368
1369 cf_name->name = kmalloc(EXT4_NAME_LEN, GFP_NOFS);
1370 if (!cf_name->name)
1371 return;
1372
Olivier Deprez157378f2022-04-04 15:47:50 +02001373 len = utf8_casefold(dir->i_sb->s_encoding,
David Brazdil0f672f62019-12-10 10:32:29 +00001374 iname, cf_name->name,
1375 EXT4_NAME_LEN);
1376 if (len <= 0) {
1377 kfree(cf_name->name);
1378 cf_name->name = NULL;
1379 return;
1380 }
1381 cf_name->len = (unsigned) len;
1382
1383}
1384#endif
1385
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00001386/*
1387 * Test whether a directory entry matches the filename being searched for.
1388 *
1389 * Return: %true if the directory entry matches, otherwise %false.
1390 */
David Brazdil0f672f62019-12-10 10:32:29 +00001391static inline bool ext4_match(const struct inode *parent,
1392 const struct ext4_filename *fname,
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00001393 const struct ext4_dir_entry_2 *de)
1394{
1395 struct fscrypt_name f;
David Brazdil0f672f62019-12-10 10:32:29 +00001396#ifdef CONFIG_UNICODE
1397 const struct qstr entry = {.name = de->name, .len = de->name_len};
1398#endif
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00001399
1400 if (!de->inode)
1401 return false;
1402
1403 f.usr_fname = fname->usr_fname;
1404 f.disk_name = fname->disk_name;
David Brazdil0f672f62019-12-10 10:32:29 +00001405#ifdef CONFIG_FS_ENCRYPTION
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00001406 f.crypto_buf = fname->crypto_buf;
1407#endif
David Brazdil0f672f62019-12-10 10:32:29 +00001408
1409#ifdef CONFIG_UNICODE
Olivier Deprez157378f2022-04-04 15:47:50 +02001410 if (parent->i_sb->s_encoding && IS_CASEFOLDED(parent)) {
David Brazdil0f672f62019-12-10 10:32:29 +00001411 if (fname->cf_name.name) {
1412 struct qstr cf = {.name = fname->cf_name.name,
1413 .len = fname->cf_name.len};
1414 return !ext4_ci_compare(parent, &cf, &entry, true);
1415 }
1416 return !ext4_ci_compare(parent, fname->usr_fname, &entry,
1417 false);
1418 }
1419#endif
1420
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00001421 return fscrypt_match_name(&f, de->name, de->name_len);
1422}
1423
1424/*
1425 * Returns 0 if not found, -1 on failure, and 1 on success
1426 */
1427int ext4_search_dir(struct buffer_head *bh, char *search_buf, int buf_size,
1428 struct inode *dir, struct ext4_filename *fname,
1429 unsigned int offset, struct ext4_dir_entry_2 **res_dir)
1430{
1431 struct ext4_dir_entry_2 * de;
1432 char * dlimit;
1433 int de_len;
1434
1435 de = (struct ext4_dir_entry_2 *)search_buf;
1436 dlimit = search_buf + buf_size;
Olivier Deprez92d4c212022-12-06 15:05:30 +01001437 while ((char *) de < dlimit - EXT4_BASE_DIR_LEN) {
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00001438 /* this code is executed quadratically often */
1439 /* do minimal checking `by hand' */
Olivier Deprez92d4c212022-12-06 15:05:30 +01001440 if (de->name + de->name_len <= dlimit &&
David Brazdil0f672f62019-12-10 10:32:29 +00001441 ext4_match(dir, fname, de)) {
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00001442 /* found a match - just to be sure, do
1443 * a full check */
Olivier Deprez0e641232021-09-23 10:07:05 +02001444 if (ext4_check_dir_entry(dir, NULL, de, bh, search_buf,
1445 buf_size, offset))
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00001446 return -1;
1447 *res_dir = de;
1448 return 1;
1449 }
1450 /* prevent looping on a bad block */
1451 de_len = ext4_rec_len_from_disk(de->rec_len,
1452 dir->i_sb->s_blocksize);
1453 if (de_len <= 0)
1454 return -1;
1455 offset += de_len;
1456 de = (struct ext4_dir_entry_2 *) ((char *) de + de_len);
1457 }
1458 return 0;
1459}
1460
1461static int is_dx_internal_node(struct inode *dir, ext4_lblk_t block,
1462 struct ext4_dir_entry *de)
1463{
1464 struct super_block *sb = dir->i_sb;
1465
1466 if (!is_dx(dir))
1467 return 0;
1468 if (block == 0)
1469 return 1;
1470 if (de->inode == 0 &&
1471 ext4_rec_len_from_disk(de->rec_len, sb->s_blocksize) ==
1472 sb->s_blocksize)
1473 return 1;
1474 return 0;
1475}
1476
1477/*
David Brazdil0f672f62019-12-10 10:32:29 +00001478 * __ext4_find_entry()
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00001479 *
1480 * finds an entry in the specified directory with the wanted name. It
1481 * returns the cache buffer in which the entry was found, and the entry
1482 * itself (as a parameter - res_dir). It does NOT read the inode of the
1483 * entry - you'll have to do that yourself if you want to.
1484 *
1485 * The returned buffer_head has ->b_count elevated. The caller is expected
1486 * to brelse() it when appropriate.
1487 */
David Brazdil0f672f62019-12-10 10:32:29 +00001488static struct buffer_head *__ext4_find_entry(struct inode *dir,
1489 struct ext4_filename *fname,
1490 struct ext4_dir_entry_2 **res_dir,
1491 int *inlined)
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00001492{
1493 struct super_block *sb;
1494 struct buffer_head *bh_use[NAMEI_RA_SIZE];
1495 struct buffer_head *bh, *ret = NULL;
1496 ext4_lblk_t start, block;
David Brazdil0f672f62019-12-10 10:32:29 +00001497 const u8 *name = fname->usr_fname->name;
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00001498 size_t ra_max = 0; /* Number of bh's in the readahead
1499 buffer, bh_use[] */
1500 size_t ra_ptr = 0; /* Current index into readahead
1501 buffer */
1502 ext4_lblk_t nblocks;
1503 int i, namelen, retval;
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00001504
1505 *res_dir = NULL;
1506 sb = dir->i_sb;
David Brazdil0f672f62019-12-10 10:32:29 +00001507 namelen = fname->usr_fname->len;
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00001508 if (namelen > EXT4_NAME_LEN)
1509 return NULL;
1510
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00001511 if (ext4_has_inline_data(dir)) {
1512 int has_inline_data = 1;
David Brazdil0f672f62019-12-10 10:32:29 +00001513 ret = ext4_find_inline_entry(dir, fname, res_dir,
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00001514 &has_inline_data);
1515 if (has_inline_data) {
1516 if (inlined)
1517 *inlined = 1;
1518 goto cleanup_and_exit;
1519 }
1520 }
1521
1522 if ((namelen <= 2) && (name[0] == '.') &&
1523 (name[1] == '.' || name[1] == '\0')) {
1524 /*
1525 * "." or ".." will only be in the first block
1526 * NFS may look up ".."; "." should be handled by the VFS
1527 */
1528 block = start = 0;
1529 nblocks = 1;
1530 goto restart;
1531 }
1532 if (is_dx(dir)) {
David Brazdil0f672f62019-12-10 10:32:29 +00001533 ret = ext4_dx_find_entry(dir, fname, res_dir);
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00001534 /*
1535 * On success, or if the error was file not found,
1536 * return. Otherwise, fall back to doing a search the
1537 * old fashioned way.
1538 */
1539 if (!IS_ERR(ret) || PTR_ERR(ret) != ERR_BAD_DX_DIR)
1540 goto cleanup_and_exit;
1541 dxtrace(printk(KERN_DEBUG "ext4_find_entry: dx failed, "
1542 "falling back\n"));
1543 ret = NULL;
1544 }
1545 nblocks = dir->i_size >> EXT4_BLOCK_SIZE_BITS(sb);
1546 if (!nblocks) {
1547 ret = NULL;
1548 goto cleanup_and_exit;
1549 }
1550 start = EXT4_I(dir)->i_dir_start_lookup;
1551 if (start >= nblocks)
1552 start = 0;
1553 block = start;
1554restart:
1555 do {
1556 /*
1557 * We deal with the read-ahead logic here.
1558 */
Olivier Deprez0e641232021-09-23 10:07:05 +02001559 cond_resched();
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00001560 if (ra_ptr >= ra_max) {
1561 /* Refill the readahead buffer */
1562 ra_ptr = 0;
1563 if (block < start)
1564 ra_max = start - block;
1565 else
1566 ra_max = nblocks - block;
1567 ra_max = min(ra_max, ARRAY_SIZE(bh_use));
1568 retval = ext4_bread_batch(dir, block, ra_max,
1569 false /* wait */, bh_use);
1570 if (retval) {
1571 ret = ERR_PTR(retval);
1572 ra_max = 0;
1573 goto cleanup_and_exit;
1574 }
1575 }
1576 if ((bh = bh_use[ra_ptr++]) == NULL)
1577 goto next;
1578 wait_on_buffer(bh);
1579 if (!buffer_uptodate(bh)) {
Olivier Deprez157378f2022-04-04 15:47:50 +02001580 EXT4_ERROR_INODE_ERR(dir, EIO,
1581 "reading directory lblock %lu",
1582 (unsigned long) block);
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00001583 brelse(bh);
1584 ret = ERR_PTR(-EIO);
1585 goto cleanup_and_exit;
1586 }
1587 if (!buffer_verified(bh) &&
1588 !is_dx_internal_node(dir, block,
1589 (struct ext4_dir_entry *)bh->b_data) &&
David Brazdil0f672f62019-12-10 10:32:29 +00001590 !ext4_dirblock_csum_verify(dir, bh)) {
Olivier Deprez157378f2022-04-04 15:47:50 +02001591 EXT4_ERROR_INODE_ERR(dir, EFSBADCRC,
1592 "checksumming directory "
1593 "block %lu", (unsigned long)block);
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00001594 brelse(bh);
1595 ret = ERR_PTR(-EFSBADCRC);
1596 goto cleanup_and_exit;
1597 }
1598 set_buffer_verified(bh);
David Brazdil0f672f62019-12-10 10:32:29 +00001599 i = search_dirblock(bh, dir, fname,
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00001600 block << EXT4_BLOCK_SIZE_BITS(sb), res_dir);
1601 if (i == 1) {
1602 EXT4_I(dir)->i_dir_start_lookup = block;
1603 ret = bh;
1604 goto cleanup_and_exit;
1605 } else {
1606 brelse(bh);
1607 if (i < 0)
1608 goto cleanup_and_exit;
1609 }
1610 next:
1611 if (++block >= nblocks)
1612 block = 0;
1613 } while (block != start);
1614
1615 /*
1616 * If the directory has grown while we were searching, then
1617 * search the last part of the directory before giving up.
1618 */
1619 block = nblocks;
1620 nblocks = dir->i_size >> EXT4_BLOCK_SIZE_BITS(sb);
1621 if (block < nblocks) {
1622 start = 0;
1623 goto restart;
1624 }
1625
1626cleanup_and_exit:
1627 /* Clean up the read-ahead blocks */
1628 for (; ra_ptr < ra_max; ra_ptr++)
1629 brelse(bh_use[ra_ptr]);
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00001630 return ret;
1631}
1632
David Brazdil0f672f62019-12-10 10:32:29 +00001633static struct buffer_head *ext4_find_entry(struct inode *dir,
1634 const struct qstr *d_name,
1635 struct ext4_dir_entry_2 **res_dir,
1636 int *inlined)
1637{
1638 int err;
1639 struct ext4_filename fname;
1640 struct buffer_head *bh;
1641
1642 err = ext4_fname_setup_filename(dir, d_name, 1, &fname);
1643 if (err == -ENOENT)
1644 return NULL;
1645 if (err)
1646 return ERR_PTR(err);
1647
1648 bh = __ext4_find_entry(dir, &fname, res_dir, inlined);
1649
1650 ext4_fname_free_filename(&fname);
1651 return bh;
1652}
1653
1654static struct buffer_head *ext4_lookup_entry(struct inode *dir,
1655 struct dentry *dentry,
1656 struct ext4_dir_entry_2 **res_dir)
1657{
1658 int err;
1659 struct ext4_filename fname;
1660 struct buffer_head *bh;
1661
1662 err = ext4_fname_prepare_lookup(dir, dentry, &fname);
1663 if (err == -ENOENT)
1664 return NULL;
1665 if (err)
1666 return ERR_PTR(err);
1667
1668 bh = __ext4_find_entry(dir, &fname, res_dir, NULL);
1669
1670 ext4_fname_free_filename(&fname);
1671 return bh;
1672}
1673
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00001674static struct buffer_head * ext4_dx_find_entry(struct inode *dir,
1675 struct ext4_filename *fname,
1676 struct ext4_dir_entry_2 **res_dir)
1677{
1678 struct super_block * sb = dir->i_sb;
1679 struct dx_frame frames[EXT4_HTREE_LEVEL], *frame;
1680 struct buffer_head *bh;
1681 ext4_lblk_t block;
1682 int retval;
1683
David Brazdil0f672f62019-12-10 10:32:29 +00001684#ifdef CONFIG_FS_ENCRYPTION
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00001685 *res_dir = NULL;
1686#endif
1687 frame = dx_probe(fname, dir, NULL, frames);
1688 if (IS_ERR(frame))
1689 return (struct buffer_head *) frame;
1690 do {
1691 block = dx_get_block(frame->at);
David Brazdil0f672f62019-12-10 10:32:29 +00001692 bh = ext4_read_dirblock(dir, block, DIRENT_HTREE);
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00001693 if (IS_ERR(bh))
1694 goto errout;
1695
1696 retval = search_dirblock(bh, dir, fname,
1697 block << EXT4_BLOCK_SIZE_BITS(sb),
1698 res_dir);
1699 if (retval == 1)
1700 goto success;
1701 brelse(bh);
1702 if (retval == -1) {
1703 bh = ERR_PTR(ERR_BAD_DX_DIR);
1704 goto errout;
1705 }
1706
1707 /* Check to see if we should continue to search */
1708 retval = ext4_htree_next_block(dir, fname->hinfo.hash, frame,
1709 frames, NULL);
1710 if (retval < 0) {
1711 ext4_warning_inode(dir,
1712 "error %d reading directory index block",
1713 retval);
1714 bh = ERR_PTR(retval);
1715 goto errout;
1716 }
1717 } while (retval == 1);
1718
1719 bh = NULL;
1720errout:
1721 dxtrace(printk(KERN_DEBUG "%s not found\n", fname->usr_fname->name));
1722success:
1723 dx_release(frames);
1724 return bh;
1725}
1726
1727static struct dentry *ext4_lookup(struct inode *dir, struct dentry *dentry, unsigned int flags)
1728{
1729 struct inode *inode;
1730 struct ext4_dir_entry_2 *de;
1731 struct buffer_head *bh;
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00001732
1733 if (dentry->d_name.len > EXT4_NAME_LEN)
1734 return ERR_PTR(-ENAMETOOLONG);
1735
David Brazdil0f672f62019-12-10 10:32:29 +00001736 bh = ext4_lookup_entry(dir, dentry, &de);
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00001737 if (IS_ERR(bh))
David Brazdil0f672f62019-12-10 10:32:29 +00001738 return ERR_CAST(bh);
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00001739 inode = NULL;
1740 if (bh) {
1741 __u32 ino = le32_to_cpu(de->inode);
1742 brelse(bh);
1743 if (!ext4_valid_inum(dir->i_sb, ino)) {
1744 EXT4_ERROR_INODE(dir, "bad inode number: %u", ino);
1745 return ERR_PTR(-EFSCORRUPTED);
1746 }
1747 if (unlikely(ino == dir->i_ino)) {
1748 EXT4_ERROR_INODE(dir, "'%pd' linked to parent dir",
1749 dentry);
1750 return ERR_PTR(-EFSCORRUPTED);
1751 }
David Brazdil0f672f62019-12-10 10:32:29 +00001752 inode = ext4_iget(dir->i_sb, ino, EXT4_IGET_NORMAL);
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00001753 if (inode == ERR_PTR(-ESTALE)) {
1754 EXT4_ERROR_INODE(dir,
1755 "deleted inode referenced: %u",
1756 ino);
1757 return ERR_PTR(-EFSCORRUPTED);
1758 }
David Brazdil0f672f62019-12-10 10:32:29 +00001759 if (!IS_ERR(inode) && IS_ENCRYPTED(dir) &&
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00001760 (S_ISDIR(inode->i_mode) || S_ISLNK(inode->i_mode)) &&
1761 !fscrypt_has_permitted_context(dir, inode)) {
1762 ext4_warning(inode->i_sb,
1763 "Inconsistent encryption contexts: %lu/%lu",
1764 dir->i_ino, inode->i_ino);
1765 iput(inode);
1766 return ERR_PTR(-EPERM);
1767 }
1768 }
David Brazdil0f672f62019-12-10 10:32:29 +00001769
1770#ifdef CONFIG_UNICODE
1771 if (!inode && IS_CASEFOLDED(dir)) {
1772 /* Eventually we want to call d_add_ci(dentry, NULL)
1773 * for negative dentries in the encoding case as
1774 * well. For now, prevent the negative dentry
1775 * from being cached.
1776 */
1777 return NULL;
1778 }
1779#endif
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00001780 return d_splice_alias(inode, dentry);
1781}
1782
1783
1784struct dentry *ext4_get_parent(struct dentry *child)
1785{
1786 __u32 ino;
1787 static const struct qstr dotdot = QSTR_INIT("..", 2);
1788 struct ext4_dir_entry_2 * de;
1789 struct buffer_head *bh;
1790
1791 bh = ext4_find_entry(d_inode(child), &dotdot, &de, NULL);
1792 if (IS_ERR(bh))
David Brazdil0f672f62019-12-10 10:32:29 +00001793 return ERR_CAST(bh);
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00001794 if (!bh)
1795 return ERR_PTR(-ENOENT);
1796 ino = le32_to_cpu(de->inode);
1797 brelse(bh);
1798
1799 if (!ext4_valid_inum(child->d_sb, ino)) {
1800 EXT4_ERROR_INODE(d_inode(child),
1801 "bad parent inode number: %u", ino);
1802 return ERR_PTR(-EFSCORRUPTED);
1803 }
1804
David Brazdil0f672f62019-12-10 10:32:29 +00001805 return d_obtain_alias(ext4_iget(child->d_sb, ino, EXT4_IGET_NORMAL));
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00001806}
1807
1808/*
1809 * Move count entries from end of map between two memory locations.
1810 * Returns pointer to last entry moved.
1811 */
1812static struct ext4_dir_entry_2 *
1813dx_move_dirents(char *from, char *to, struct dx_map_entry *map, int count,
1814 unsigned blocksize)
1815{
1816 unsigned rec_len = 0;
1817
1818 while (count--) {
1819 struct ext4_dir_entry_2 *de = (struct ext4_dir_entry_2 *)
1820 (from + (map->offs<<2));
1821 rec_len = EXT4_DIR_REC_LEN(de->name_len);
1822 memcpy (to, de, rec_len);
1823 ((struct ext4_dir_entry_2 *) to)->rec_len =
1824 ext4_rec_len_to_disk(rec_len, blocksize);
1825 de->inode = 0;
1826 map++;
1827 to += rec_len;
1828 }
1829 return (struct ext4_dir_entry_2 *) (to - rec_len);
1830}
1831
1832/*
1833 * Compact each dir entry in the range to the minimal rec_len.
1834 * Returns pointer to last entry in range.
1835 */
1836static struct ext4_dir_entry_2* dx_pack_dirents(char *base, unsigned blocksize)
1837{
1838 struct ext4_dir_entry_2 *next, *to, *prev, *de = (struct ext4_dir_entry_2 *) base;
1839 unsigned rec_len = 0;
1840
1841 prev = to = de;
1842 while ((char*)de < base + blocksize) {
1843 next = ext4_next_entry(de, blocksize);
1844 if (de->inode && de->name_len) {
1845 rec_len = EXT4_DIR_REC_LEN(de->name_len);
1846 if (de > to)
1847 memmove(to, de, rec_len);
1848 to->rec_len = ext4_rec_len_to_disk(rec_len, blocksize);
1849 prev = to;
1850 to = (struct ext4_dir_entry_2 *) (((char *) to) + rec_len);
1851 }
1852 de = next;
1853 }
1854 return prev;
1855}
1856
1857/*
1858 * Split a full leaf block to make room for a new dir entry.
1859 * Allocate a new block, and move entries so that they are approx. equally full.
1860 * Returns pointer to de in block into which the new entry will be inserted.
1861 */
1862static struct ext4_dir_entry_2 *do_split(handle_t *handle, struct inode *dir,
1863 struct buffer_head **bh,struct dx_frame *frame,
1864 struct dx_hash_info *hinfo)
1865{
1866 unsigned blocksize = dir->i_sb->s_blocksize;
Olivier Deprez92d4c212022-12-06 15:05:30 +01001867 unsigned continued;
1868 int count;
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00001869 struct buffer_head *bh2;
1870 ext4_lblk_t newblock;
1871 u32 hash2;
1872 struct dx_map_entry *map;
1873 char *data1 = (*bh)->b_data, *data2;
1874 unsigned split, move, size;
1875 struct ext4_dir_entry_2 *de = NULL, *de2;
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00001876 int csum_size = 0;
1877 int err = 0, i;
1878
1879 if (ext4_has_metadata_csum(dir->i_sb))
1880 csum_size = sizeof(struct ext4_dir_entry_tail);
1881
1882 bh2 = ext4_append(handle, dir, &newblock);
1883 if (IS_ERR(bh2)) {
1884 brelse(*bh);
1885 *bh = NULL;
1886 return (struct ext4_dir_entry_2 *) bh2;
1887 }
1888
1889 BUFFER_TRACE(*bh, "get_write_access");
1890 err = ext4_journal_get_write_access(handle, *bh);
1891 if (err)
1892 goto journal_error;
1893
1894 BUFFER_TRACE(frame->bh, "get_write_access");
1895 err = ext4_journal_get_write_access(handle, frame->bh);
1896 if (err)
1897 goto journal_error;
1898
1899 data2 = bh2->b_data;
1900
1901 /* create map in the end of data2 block */
1902 map = (struct dx_map_entry *) (data2 + blocksize);
Olivier Deprez92d4c212022-12-06 15:05:30 +01001903 count = dx_make_map(dir, *bh, hinfo, map);
1904 if (count < 0) {
1905 err = count;
1906 goto journal_error;
1907 }
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00001908 map -= count;
1909 dx_sort_map(map, count);
Olivier Deprez0e641232021-09-23 10:07:05 +02001910 /* Ensure that neither split block is over half full */
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00001911 size = 0;
1912 move = 0;
1913 for (i = count-1; i >= 0; i--) {
1914 /* is more than half of this entry in 2nd half of the block? */
1915 if (size + map[i].size/2 > blocksize/2)
1916 break;
1917 size += map[i].size;
1918 move++;
1919 }
Olivier Deprez0e641232021-09-23 10:07:05 +02001920 /*
1921 * map index at which we will split
1922 *
1923 * If the sum of active entries didn't exceed half the block size, just
1924 * split it in half by count; each resulting block will have at least
1925 * half the space free.
1926 */
1927 if (i > 0)
1928 split = count - move;
1929 else
1930 split = count/2;
1931
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00001932 hash2 = map[split].hash;
1933 continued = hash2 == map[split - 1].hash;
1934 dxtrace(printk(KERN_INFO "Split block %lu at %x, %i/%i\n",
1935 (unsigned long)dx_get_block(frame->at),
1936 hash2, split, count-split));
1937
1938 /* Fancy dance to stay within two buffers */
1939 de2 = dx_move_dirents(data1, data2, map + split, count - split,
1940 blocksize);
1941 de = dx_pack_dirents(data1, blocksize);
1942 de->rec_len = ext4_rec_len_to_disk(data1 + (blocksize - csum_size) -
1943 (char *) de,
1944 blocksize);
1945 de2->rec_len = ext4_rec_len_to_disk(data2 + (blocksize - csum_size) -
1946 (char *) de2,
1947 blocksize);
1948 if (csum_size) {
David Brazdil0f672f62019-12-10 10:32:29 +00001949 ext4_initialize_dirent_tail(*bh, blocksize);
1950 ext4_initialize_dirent_tail(bh2, blocksize);
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00001951 }
1952
1953 dxtrace(dx_show_leaf(dir, hinfo, (struct ext4_dir_entry_2 *) data1,
1954 blocksize, 1));
1955 dxtrace(dx_show_leaf(dir, hinfo, (struct ext4_dir_entry_2 *) data2,
1956 blocksize, 1));
1957
1958 /* Which block gets the new entry? */
1959 if (hinfo->hash >= hash2) {
1960 swap(*bh, bh2);
1961 de = de2;
1962 }
1963 dx_insert_block(frame, hash2 + continued, newblock);
David Brazdil0f672f62019-12-10 10:32:29 +00001964 err = ext4_handle_dirty_dirblock(handle, dir, bh2);
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00001965 if (err)
1966 goto journal_error;
1967 err = ext4_handle_dirty_dx_node(handle, dir, frame->bh);
1968 if (err)
1969 goto journal_error;
1970 brelse(bh2);
1971 dxtrace(dx_show_index("frame", frame->entries));
1972 return de;
1973
1974journal_error:
1975 brelse(*bh);
1976 brelse(bh2);
1977 *bh = NULL;
1978 ext4_std_error(dir->i_sb, err);
1979 return ERR_PTR(err);
1980}
1981
1982int ext4_find_dest_de(struct inode *dir, struct inode *inode,
1983 struct buffer_head *bh,
1984 void *buf, int buf_size,
1985 struct ext4_filename *fname,
1986 struct ext4_dir_entry_2 **dest_de)
1987{
1988 struct ext4_dir_entry_2 *de;
1989 unsigned short reclen = EXT4_DIR_REC_LEN(fname_len(fname));
1990 int nlen, rlen;
1991 unsigned int offset = 0;
1992 char *top;
1993
1994 de = (struct ext4_dir_entry_2 *)buf;
1995 top = buf + buf_size - reclen;
1996 while ((char *) de <= top) {
1997 if (ext4_check_dir_entry(dir, NULL, de, bh,
1998 buf, buf_size, offset))
1999 return -EFSCORRUPTED;
David Brazdil0f672f62019-12-10 10:32:29 +00002000 if (ext4_match(dir, fname, de))
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00002001 return -EEXIST;
2002 nlen = EXT4_DIR_REC_LEN(de->name_len);
2003 rlen = ext4_rec_len_from_disk(de->rec_len, buf_size);
2004 if ((de->inode ? rlen - nlen : rlen) >= reclen)
2005 break;
2006 de = (struct ext4_dir_entry_2 *)((char *)de + rlen);
2007 offset += rlen;
2008 }
2009 if ((char *) de > top)
2010 return -ENOSPC;
2011
2012 *dest_de = de;
2013 return 0;
2014}
2015
2016void ext4_insert_dentry(struct inode *inode,
2017 struct ext4_dir_entry_2 *de,
2018 int buf_size,
2019 struct ext4_filename *fname)
2020{
2021
2022 int nlen, rlen;
2023
2024 nlen = EXT4_DIR_REC_LEN(de->name_len);
2025 rlen = ext4_rec_len_from_disk(de->rec_len, buf_size);
2026 if (de->inode) {
2027 struct ext4_dir_entry_2 *de1 =
2028 (struct ext4_dir_entry_2 *)((char *)de + nlen);
2029 de1->rec_len = ext4_rec_len_to_disk(rlen - nlen, buf_size);
2030 de->rec_len = ext4_rec_len_to_disk(nlen, buf_size);
2031 de = de1;
2032 }
2033 de->file_type = EXT4_FT_UNKNOWN;
2034 de->inode = cpu_to_le32(inode->i_ino);
2035 ext4_set_de_type(inode->i_sb, de, inode->i_mode);
2036 de->name_len = fname_len(fname);
2037 memcpy(de->name, fname_name(fname), fname_len(fname));
2038}
2039
2040/*
2041 * Add a new entry into a directory (leaf) block. If de is non-NULL,
2042 * it points to a directory entry which is guaranteed to be large
2043 * enough for new directory entry. If de is NULL, then
2044 * add_dirent_to_buf will attempt search the directory block for
2045 * space. It will return -ENOSPC if no space is available, and -EIO
2046 * and -EEXIST if directory entry already exists.
2047 */
2048static int add_dirent_to_buf(handle_t *handle, struct ext4_filename *fname,
2049 struct inode *dir,
2050 struct inode *inode, struct ext4_dir_entry_2 *de,
2051 struct buffer_head *bh)
2052{
2053 unsigned int blocksize = dir->i_sb->s_blocksize;
2054 int csum_size = 0;
Olivier Deprez157378f2022-04-04 15:47:50 +02002055 int err, err2;
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00002056
2057 if (ext4_has_metadata_csum(inode->i_sb))
2058 csum_size = sizeof(struct ext4_dir_entry_tail);
2059
2060 if (!de) {
2061 err = ext4_find_dest_de(dir, inode, bh, bh->b_data,
2062 blocksize - csum_size, fname, &de);
2063 if (err)
2064 return err;
2065 }
2066 BUFFER_TRACE(bh, "get_write_access");
2067 err = ext4_journal_get_write_access(handle, bh);
2068 if (err) {
2069 ext4_std_error(dir->i_sb, err);
2070 return err;
2071 }
2072
2073 /* By now the buffer is marked for journaling */
2074 ext4_insert_dentry(inode, de, blocksize, fname);
2075
2076 /*
2077 * XXX shouldn't update any times until successful
2078 * completion of syscall, but too many callers depend
2079 * on this.
2080 *
2081 * XXX similarly, too many callers depend on
2082 * ext4_new_inode() setting the times, but error
2083 * recovery deletes the inode, so the worst that can
2084 * happen is that the times are slightly out of date
2085 * and/or different from the directory change time.
2086 */
2087 dir->i_mtime = dir->i_ctime = current_time(dir);
2088 ext4_update_dx_flag(dir);
2089 inode_inc_iversion(dir);
Olivier Deprez157378f2022-04-04 15:47:50 +02002090 err2 = ext4_mark_inode_dirty(handle, dir);
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00002091 BUFFER_TRACE(bh, "call ext4_handle_dirty_metadata");
David Brazdil0f672f62019-12-10 10:32:29 +00002092 err = ext4_handle_dirty_dirblock(handle, dir, bh);
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00002093 if (err)
2094 ext4_std_error(dir->i_sb, err);
Olivier Deprez157378f2022-04-04 15:47:50 +02002095 return err ? err : err2;
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00002096}
2097
2098/*
2099 * This converts a one block unindexed directory to a 3 block indexed
2100 * directory, and adds the dentry to the indexed directory.
2101 */
2102static int make_indexed_dir(handle_t *handle, struct ext4_filename *fname,
2103 struct inode *dir,
2104 struct inode *inode, struct buffer_head *bh)
2105{
2106 struct buffer_head *bh2;
2107 struct dx_root *root;
2108 struct dx_frame frames[EXT4_HTREE_LEVEL], *frame;
2109 struct dx_entry *entries;
2110 struct ext4_dir_entry_2 *de, *de2;
David Brazdil0f672f62019-12-10 10:32:29 +00002111 char *data2, *top;
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00002112 unsigned len;
2113 int retval;
2114 unsigned blocksize;
2115 ext4_lblk_t block;
2116 struct fake_dirent *fde;
2117 int csum_size = 0;
2118
2119 if (ext4_has_metadata_csum(inode->i_sb))
2120 csum_size = sizeof(struct ext4_dir_entry_tail);
2121
2122 blocksize = dir->i_sb->s_blocksize;
2123 dxtrace(printk(KERN_DEBUG "Creating index: inode %lu\n", dir->i_ino));
2124 BUFFER_TRACE(bh, "get_write_access");
2125 retval = ext4_journal_get_write_access(handle, bh);
2126 if (retval) {
2127 ext4_std_error(dir->i_sb, retval);
2128 brelse(bh);
2129 return retval;
2130 }
2131 root = (struct dx_root *) bh->b_data;
2132
2133 /* The 0th block becomes the root, move the dirents out */
2134 fde = &root->dotdot;
2135 de = (struct ext4_dir_entry_2 *)((char *)fde +
2136 ext4_rec_len_from_disk(fde->rec_len, blocksize));
2137 if ((char *) de >= (((char *) root) + blocksize)) {
2138 EXT4_ERROR_INODE(dir, "invalid rec_len for '..'");
2139 brelse(bh);
2140 return -EFSCORRUPTED;
2141 }
2142 len = ((char *) root) + (blocksize - csum_size) - (char *) de;
2143
2144 /* Allocate new block for the 0th block's dirents */
2145 bh2 = ext4_append(handle, dir, &block);
2146 if (IS_ERR(bh2)) {
2147 brelse(bh);
2148 return PTR_ERR(bh2);
2149 }
2150 ext4_set_inode_flag(dir, EXT4_INODE_INDEX);
David Brazdil0f672f62019-12-10 10:32:29 +00002151 data2 = bh2->b_data;
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00002152
David Brazdil0f672f62019-12-10 10:32:29 +00002153 memcpy(data2, de, len);
2154 de = (struct ext4_dir_entry_2 *) data2;
2155 top = data2 + len;
Olivier Deprez92d4c212022-12-06 15:05:30 +01002156 while ((char *)(de2 = ext4_next_entry(de, blocksize)) < top) {
2157 if (ext4_check_dir_entry(dir, NULL, de, bh2, data2, len,
2158 (data2 + (blocksize - csum_size) -
2159 (char *) de))) {
2160 brelse(bh2);
2161 brelse(bh);
2162 return -EFSCORRUPTED;
2163 }
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00002164 de = de2;
Olivier Deprez92d4c212022-12-06 15:05:30 +01002165 }
David Brazdil0f672f62019-12-10 10:32:29 +00002166 de->rec_len = ext4_rec_len_to_disk(data2 + (blocksize - csum_size) -
2167 (char *) de, blocksize);
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00002168
David Brazdil0f672f62019-12-10 10:32:29 +00002169 if (csum_size)
2170 ext4_initialize_dirent_tail(bh2, blocksize);
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00002171
2172 /* Initialize the root; the dot dirents already exist */
2173 de = (struct ext4_dir_entry_2 *) (&root->dotdot);
2174 de->rec_len = ext4_rec_len_to_disk(blocksize - EXT4_DIR_REC_LEN(2),
2175 blocksize);
2176 memset (&root->info, 0, sizeof(root->info));
2177 root->info.info_length = sizeof(root->info);
2178 root->info.hash_version = EXT4_SB(dir->i_sb)->s_def_hash_version;
2179 entries = root->entries;
2180 dx_set_block(entries, 1);
2181 dx_set_count(entries, 1);
2182 dx_set_limit(entries, dx_root_limit(dir, sizeof(root->info)));
2183
2184 /* Initialize as for dx_probe */
2185 fname->hinfo.hash_version = root->info.hash_version;
2186 if (fname->hinfo.hash_version <= DX_HASH_TEA)
2187 fname->hinfo.hash_version += EXT4_SB(dir->i_sb)->s_hash_unsigned;
2188 fname->hinfo.seed = EXT4_SB(dir->i_sb)->s_hash_seed;
David Brazdil0f672f62019-12-10 10:32:29 +00002189 ext4fs_dirhash(dir, fname_name(fname), fname_len(fname), &fname->hinfo);
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00002190
2191 memset(frames, 0, sizeof(frames));
2192 frame = frames;
2193 frame->entries = entries;
2194 frame->at = entries;
2195 frame->bh = bh;
2196
2197 retval = ext4_handle_dirty_dx_node(handle, dir, frame->bh);
2198 if (retval)
2199 goto out_frames;
David Brazdil0f672f62019-12-10 10:32:29 +00002200 retval = ext4_handle_dirty_dirblock(handle, dir, bh2);
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00002201 if (retval)
2202 goto out_frames;
2203
2204 de = do_split(handle,dir, &bh2, frame, &fname->hinfo);
2205 if (IS_ERR(de)) {
2206 retval = PTR_ERR(de);
2207 goto out_frames;
2208 }
2209
2210 retval = add_dirent_to_buf(handle, fname, dir, inode, de, bh2);
2211out_frames:
2212 /*
2213 * Even if the block split failed, we have to properly write
2214 * out all the changes we did so far. Otherwise we can end up
2215 * with corrupted filesystem.
2216 */
2217 if (retval)
2218 ext4_mark_inode_dirty(handle, dir);
2219 dx_release(frames);
2220 brelse(bh2);
2221 return retval;
2222}
2223
2224/*
2225 * ext4_add_entry()
2226 *
2227 * adds a file entry to the specified directory, using the same
2228 * semantics as ext4_find_entry(). It returns NULL if it failed.
2229 *
2230 * NOTE!! The inode part of 'de' is left at 0 - which means you
2231 * may not sleep between calling this and putting something into
2232 * the entry, as someone else might have used it while you slept.
2233 */
2234static int ext4_add_entry(handle_t *handle, struct dentry *dentry,
2235 struct inode *inode)
2236{
2237 struct inode *dir = d_inode(dentry->d_parent);
2238 struct buffer_head *bh = NULL;
2239 struct ext4_dir_entry_2 *de;
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00002240 struct super_block *sb;
2241 struct ext4_filename fname;
2242 int retval;
2243 int dx_fallback=0;
2244 unsigned blocksize;
2245 ext4_lblk_t block, blocks;
2246 int csum_size = 0;
2247
2248 if (ext4_has_metadata_csum(inode->i_sb))
2249 csum_size = sizeof(struct ext4_dir_entry_tail);
2250
2251 sb = dir->i_sb;
2252 blocksize = sb->s_blocksize;
2253 if (!dentry->d_name.len)
2254 return -EINVAL;
2255
Olivier Deprez0e641232021-09-23 10:07:05 +02002256 if (fscrypt_is_nokey_name(dentry))
2257 return -ENOKEY;
2258
David Brazdil0f672f62019-12-10 10:32:29 +00002259#ifdef CONFIG_UNICODE
Olivier Deprez157378f2022-04-04 15:47:50 +02002260 if (sb_has_strict_encoding(sb) && IS_CASEFOLDED(dir) &&
2261 sb->s_encoding && utf8_validate(sb->s_encoding, &dentry->d_name))
David Brazdil0f672f62019-12-10 10:32:29 +00002262 return -EINVAL;
2263#endif
2264
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00002265 retval = ext4_fname_setup_filename(dir, &dentry->d_name, 0, &fname);
2266 if (retval)
2267 return retval;
2268
2269 if (ext4_has_inline_data(dir)) {
2270 retval = ext4_try_add_inline_entry(handle, &fname, dir, inode);
2271 if (retval < 0)
2272 goto out;
2273 if (retval == 1) {
2274 retval = 0;
2275 goto out;
2276 }
2277 }
2278
2279 if (is_dx(dir)) {
2280 retval = ext4_dx_add_entry(handle, &fname, dir, inode);
2281 if (!retval || (retval != ERR_BAD_DX_DIR))
2282 goto out;
Olivier Deprez0e641232021-09-23 10:07:05 +02002283 /* Can we just ignore htree data? */
2284 if (ext4_has_metadata_csum(sb)) {
2285 EXT4_ERROR_INODE(dir,
2286 "Directory has corrupted htree index.");
2287 retval = -EFSCORRUPTED;
2288 goto out;
2289 }
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00002290 ext4_clear_inode_flag(dir, EXT4_INODE_INDEX);
2291 dx_fallback++;
Olivier Deprez157378f2022-04-04 15:47:50 +02002292 retval = ext4_mark_inode_dirty(handle, dir);
2293 if (unlikely(retval))
2294 goto out;
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00002295 }
2296 blocks = dir->i_size >> sb->s_blocksize_bits;
2297 for (block = 0; block < blocks; block++) {
2298 bh = ext4_read_dirblock(dir, block, DIRENT);
David Brazdil0f672f62019-12-10 10:32:29 +00002299 if (bh == NULL) {
2300 bh = ext4_bread(handle, dir, block,
2301 EXT4_GET_BLOCKS_CREATE);
2302 goto add_to_new_block;
2303 }
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00002304 if (IS_ERR(bh)) {
2305 retval = PTR_ERR(bh);
2306 bh = NULL;
2307 goto out;
2308 }
2309 retval = add_dirent_to_buf(handle, &fname, dir, inode,
2310 NULL, bh);
2311 if (retval != -ENOSPC)
2312 goto out;
2313
2314 if (blocks == 1 && !dx_fallback &&
2315 ext4_has_feature_dir_index(sb)) {
2316 retval = make_indexed_dir(handle, &fname, dir,
2317 inode, bh);
2318 bh = NULL; /* make_indexed_dir releases bh */
2319 goto out;
2320 }
2321 brelse(bh);
2322 }
2323 bh = ext4_append(handle, dir, &block);
David Brazdil0f672f62019-12-10 10:32:29 +00002324add_to_new_block:
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00002325 if (IS_ERR(bh)) {
2326 retval = PTR_ERR(bh);
2327 bh = NULL;
2328 goto out;
2329 }
2330 de = (struct ext4_dir_entry_2 *) bh->b_data;
2331 de->inode = 0;
2332 de->rec_len = ext4_rec_len_to_disk(blocksize - csum_size, blocksize);
2333
David Brazdil0f672f62019-12-10 10:32:29 +00002334 if (csum_size)
2335 ext4_initialize_dirent_tail(bh, blocksize);
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00002336
2337 retval = add_dirent_to_buf(handle, &fname, dir, inode, de, bh);
2338out:
2339 ext4_fname_free_filename(&fname);
2340 brelse(bh);
2341 if (retval == 0)
2342 ext4_set_inode_state(inode, EXT4_STATE_NEWENTRY);
2343 return retval;
2344}
2345
2346/*
2347 * Returns 0 for success, or a negative error value
2348 */
2349static int ext4_dx_add_entry(handle_t *handle, struct ext4_filename *fname,
2350 struct inode *dir, struct inode *inode)
2351{
2352 struct dx_frame frames[EXT4_HTREE_LEVEL], *frame;
2353 struct dx_entry *entries, *at;
2354 struct buffer_head *bh;
2355 struct super_block *sb = dir->i_sb;
2356 struct ext4_dir_entry_2 *de;
2357 int restart;
2358 int err;
2359
2360again:
2361 restart = 0;
2362 frame = dx_probe(fname, dir, NULL, frames);
2363 if (IS_ERR(frame))
2364 return PTR_ERR(frame);
2365 entries = frame->entries;
2366 at = frame->at;
David Brazdil0f672f62019-12-10 10:32:29 +00002367 bh = ext4_read_dirblock(dir, dx_get_block(frame->at), DIRENT_HTREE);
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00002368 if (IS_ERR(bh)) {
2369 err = PTR_ERR(bh);
2370 bh = NULL;
2371 goto cleanup;
2372 }
2373
2374 BUFFER_TRACE(bh, "get_write_access");
2375 err = ext4_journal_get_write_access(handle, bh);
2376 if (err)
2377 goto journal_error;
2378
2379 err = add_dirent_to_buf(handle, fname, dir, inode, NULL, bh);
2380 if (err != -ENOSPC)
2381 goto cleanup;
2382
2383 err = 0;
2384 /* Block full, should compress but for now just split */
2385 dxtrace(printk(KERN_DEBUG "using %u of %u node entries\n",
2386 dx_get_count(entries), dx_get_limit(entries)));
2387 /* Need to split index? */
2388 if (dx_get_count(entries) == dx_get_limit(entries)) {
2389 ext4_lblk_t newblock;
2390 int levels = frame - frames + 1;
2391 unsigned int icount;
2392 int add_level = 1;
2393 struct dx_entry *entries2;
2394 struct dx_node *node2;
2395 struct buffer_head *bh2;
2396
2397 while (frame > frames) {
2398 if (dx_get_count((frame - 1)->entries) <
2399 dx_get_limit((frame - 1)->entries)) {
2400 add_level = 0;
2401 break;
2402 }
2403 frame--; /* split higher index block */
2404 at = frame->at;
2405 entries = frame->entries;
2406 restart = 1;
2407 }
2408 if (add_level && levels == ext4_dir_htree_level(sb)) {
2409 ext4_warning(sb, "Directory (ino: %lu) index full, "
2410 "reach max htree level :%d",
2411 dir->i_ino, levels);
2412 if (ext4_dir_htree_level(sb) < EXT4_HTREE_LEVEL) {
2413 ext4_warning(sb, "Large directory feature is "
2414 "not enabled on this "
2415 "filesystem");
2416 }
2417 err = -ENOSPC;
2418 goto cleanup;
2419 }
2420 icount = dx_get_count(entries);
2421 bh2 = ext4_append(handle, dir, &newblock);
2422 if (IS_ERR(bh2)) {
2423 err = PTR_ERR(bh2);
2424 goto cleanup;
2425 }
2426 node2 = (struct dx_node *)(bh2->b_data);
2427 entries2 = node2->entries;
2428 memset(&node2->fake, 0, sizeof(struct fake_dirent));
2429 node2->fake.rec_len = ext4_rec_len_to_disk(sb->s_blocksize,
2430 sb->s_blocksize);
2431 BUFFER_TRACE(frame->bh, "get_write_access");
2432 err = ext4_journal_get_write_access(handle, frame->bh);
2433 if (err)
2434 goto journal_error;
2435 if (!add_level) {
2436 unsigned icount1 = icount/2, icount2 = icount - icount1;
2437 unsigned hash2 = dx_get_hash(entries + icount1);
2438 dxtrace(printk(KERN_DEBUG "Split index %i/%i\n",
2439 icount1, icount2));
2440
2441 BUFFER_TRACE(frame->bh, "get_write_access"); /* index root */
2442 err = ext4_journal_get_write_access(handle,
2443 (frame - 1)->bh);
2444 if (err)
2445 goto journal_error;
2446
2447 memcpy((char *) entries2, (char *) (entries + icount1),
2448 icount2 * sizeof(struct dx_entry));
2449 dx_set_count(entries, icount1);
2450 dx_set_count(entries2, icount2);
2451 dx_set_limit(entries2, dx_node_limit(dir));
2452
2453 /* Which index block gets the new entry? */
2454 if (at - entries >= icount1) {
2455 frame->at = at = at - entries - icount1 + entries2;
2456 frame->entries = entries = entries2;
2457 swap(frame->bh, bh2);
2458 }
2459 dx_insert_block((frame - 1), hash2, newblock);
2460 dxtrace(dx_show_index("node", frame->entries));
2461 dxtrace(dx_show_index("node",
2462 ((struct dx_node *) bh2->b_data)->entries));
2463 err = ext4_handle_dirty_dx_node(handle, dir, bh2);
2464 if (err)
2465 goto journal_error;
2466 brelse (bh2);
2467 err = ext4_handle_dirty_dx_node(handle, dir,
2468 (frame - 1)->bh);
2469 if (err)
2470 goto journal_error;
Olivier Deprez0e641232021-09-23 10:07:05 +02002471 err = ext4_handle_dirty_dx_node(handle, dir,
2472 frame->bh);
2473 if (restart || err)
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00002474 goto journal_error;
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00002475 } else {
2476 struct dx_root *dxroot;
2477 memcpy((char *) entries2, (char *) entries,
2478 icount * sizeof(struct dx_entry));
2479 dx_set_limit(entries2, dx_node_limit(dir));
2480
2481 /* Set up root */
2482 dx_set_count(entries, 1);
2483 dx_set_block(entries + 0, newblock);
2484 dxroot = (struct dx_root *)frames[0].bh->b_data;
2485 dxroot->info.indirect_levels += 1;
2486 dxtrace(printk(KERN_DEBUG
2487 "Creating %d level index...\n",
David Brazdil0f672f62019-12-10 10:32:29 +00002488 dxroot->info.indirect_levels));
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00002489 err = ext4_handle_dirty_dx_node(handle, dir, frame->bh);
2490 if (err)
2491 goto journal_error;
2492 err = ext4_handle_dirty_dx_node(handle, dir, bh2);
2493 brelse(bh2);
2494 restart = 1;
2495 goto journal_error;
2496 }
2497 }
2498 de = do_split(handle, dir, &bh, frame, &fname->hinfo);
2499 if (IS_ERR(de)) {
2500 err = PTR_ERR(de);
2501 goto cleanup;
2502 }
2503 err = add_dirent_to_buf(handle, fname, dir, inode, de, bh);
2504 goto cleanup;
2505
2506journal_error:
2507 ext4_std_error(dir->i_sb, err); /* this is a no-op if err == 0 */
2508cleanup:
2509 brelse(bh);
2510 dx_release(frames);
2511 /* @restart is true means htree-path has been changed, we need to
2512 * repeat dx_probe() to find out valid htree-path
2513 */
2514 if (restart && err == 0)
2515 goto again;
2516 return err;
2517}
2518
2519/*
2520 * ext4_generic_delete_entry deletes a directory entry by merging it
2521 * with the previous entry
2522 */
Olivier Deprez157378f2022-04-04 15:47:50 +02002523int ext4_generic_delete_entry(struct inode *dir,
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00002524 struct ext4_dir_entry_2 *de_del,
2525 struct buffer_head *bh,
2526 void *entry_buf,
2527 int buf_size,
2528 int csum_size)
2529{
2530 struct ext4_dir_entry_2 *de, *pde;
2531 unsigned int blocksize = dir->i_sb->s_blocksize;
2532 int i;
2533
2534 i = 0;
2535 pde = NULL;
2536 de = (struct ext4_dir_entry_2 *)entry_buf;
2537 while (i < buf_size - csum_size) {
2538 if (ext4_check_dir_entry(dir, NULL, de, bh,
Olivier Deprez0e641232021-09-23 10:07:05 +02002539 entry_buf, buf_size, i))
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00002540 return -EFSCORRUPTED;
2541 if (de == de_del) {
2542 if (pde)
2543 pde->rec_len = ext4_rec_len_to_disk(
2544 ext4_rec_len_from_disk(pde->rec_len,
2545 blocksize) +
2546 ext4_rec_len_from_disk(de->rec_len,
2547 blocksize),
2548 blocksize);
2549 else
2550 de->inode = 0;
2551 inode_inc_iversion(dir);
2552 return 0;
2553 }
2554 i += ext4_rec_len_from_disk(de->rec_len, blocksize);
2555 pde = de;
2556 de = ext4_next_entry(de, blocksize);
2557 }
2558 return -ENOENT;
2559}
2560
2561static int ext4_delete_entry(handle_t *handle,
2562 struct inode *dir,
2563 struct ext4_dir_entry_2 *de_del,
2564 struct buffer_head *bh)
2565{
2566 int err, csum_size = 0;
2567
2568 if (ext4_has_inline_data(dir)) {
2569 int has_inline_data = 1;
2570 err = ext4_delete_inline_entry(handle, dir, de_del, bh,
2571 &has_inline_data);
2572 if (has_inline_data)
2573 return err;
2574 }
2575
2576 if (ext4_has_metadata_csum(dir->i_sb))
2577 csum_size = sizeof(struct ext4_dir_entry_tail);
2578
2579 BUFFER_TRACE(bh, "get_write_access");
2580 err = ext4_journal_get_write_access(handle, bh);
2581 if (unlikely(err))
2582 goto out;
2583
Olivier Deprez157378f2022-04-04 15:47:50 +02002584 err = ext4_generic_delete_entry(dir, de_del, bh, bh->b_data,
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00002585 dir->i_sb->s_blocksize, csum_size);
2586 if (err)
2587 goto out;
2588
2589 BUFFER_TRACE(bh, "call ext4_handle_dirty_metadata");
David Brazdil0f672f62019-12-10 10:32:29 +00002590 err = ext4_handle_dirty_dirblock(handle, dir, bh);
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00002591 if (unlikely(err))
2592 goto out;
2593
2594 return 0;
2595out:
2596 if (err != -ENOENT)
2597 ext4_std_error(dir->i_sb, err);
2598 return err;
2599}
2600
2601/*
2602 * Set directory link count to 1 if nlinks > EXT4_LINK_MAX, or if nlinks == 2
2603 * since this indicates that nlinks count was previously 1 to avoid overflowing
2604 * the 16-bit i_links_count field on disk. Directories with i_nlink == 1 mean
2605 * that subdirectory link counts are not being maintained accurately.
2606 *
2607 * The caller has already checked for i_nlink overflow in case the DIR_LINK
2608 * feature is not enabled and returned -EMLINK. The is_dx() check is a proxy
2609 * for checking S_ISDIR(inode) (since the INODE_INDEX feature will not be set
2610 * on regular files) and to avoid creating huge/slow non-HTREE directories.
2611 */
Olivier Deprez157378f2022-04-04 15:47:50 +02002612static void ext4_inc_count(struct inode *inode)
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00002613{
2614 inc_nlink(inode);
2615 if (is_dx(inode) &&
2616 (inode->i_nlink > EXT4_LINK_MAX || inode->i_nlink == 2))
2617 set_nlink(inode, 1);
2618}
2619
2620/*
2621 * If a directory had nlink == 1, then we should let it be 1. This indicates
2622 * directory has >EXT4_LINK_MAX subdirs.
2623 */
Olivier Deprez157378f2022-04-04 15:47:50 +02002624static void ext4_dec_count(struct inode *inode)
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00002625{
2626 if (!S_ISDIR(inode->i_mode) || inode->i_nlink > 2)
2627 drop_nlink(inode);
2628}
2629
2630
Olivier Deprez157378f2022-04-04 15:47:50 +02002631/*
2632 * Add non-directory inode to a directory. On success, the inode reference is
2633 * consumed by dentry is instantiation. This is also indicated by clearing of
2634 * *inodep pointer. On failure, the caller is responsible for dropping the
2635 * inode reference in the safe context.
2636 */
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00002637static int ext4_add_nondir(handle_t *handle,
Olivier Deprez157378f2022-04-04 15:47:50 +02002638 struct dentry *dentry, struct inode **inodep)
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00002639{
Olivier Deprez157378f2022-04-04 15:47:50 +02002640 struct inode *dir = d_inode(dentry->d_parent);
2641 struct inode *inode = *inodep;
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00002642 int err = ext4_add_entry(handle, dentry, inode);
2643 if (!err) {
Olivier Deprez157378f2022-04-04 15:47:50 +02002644 err = ext4_mark_inode_dirty(handle, inode);
2645 if (IS_DIRSYNC(dir))
2646 ext4_handle_sync(handle);
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00002647 d_instantiate_new(dentry, inode);
Olivier Deprez157378f2022-04-04 15:47:50 +02002648 *inodep = NULL;
2649 return err;
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00002650 }
2651 drop_nlink(inode);
Olivier Deprez157378f2022-04-04 15:47:50 +02002652 ext4_orphan_add(handle, inode);
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00002653 unlock_new_inode(inode);
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00002654 return err;
2655}
2656
2657/*
2658 * By the time this is called, we already have created
2659 * the directory cache entry for the new file, but it
2660 * is so far negative - it has no inode.
2661 *
2662 * If the create succeeds, we fill in the inode information
2663 * with d_instantiate().
2664 */
2665static int ext4_create(struct inode *dir, struct dentry *dentry, umode_t mode,
2666 bool excl)
2667{
2668 handle_t *handle;
2669 struct inode *inode;
2670 int err, credits, retries = 0;
2671
2672 err = dquot_initialize(dir);
2673 if (err)
2674 return err;
2675
2676 credits = (EXT4_DATA_TRANS_BLOCKS(dir->i_sb) +
2677 EXT4_INDEX_EXTRA_TRANS_BLOCKS + 3);
2678retry:
2679 inode = ext4_new_inode_start_handle(dir, mode, &dentry->d_name, 0,
2680 NULL, EXT4_HT_DIR, credits);
2681 handle = ext4_journal_current_handle();
2682 err = PTR_ERR(inode);
2683 if (!IS_ERR(inode)) {
2684 inode->i_op = &ext4_file_inode_operations;
2685 inode->i_fop = &ext4_file_operations;
2686 ext4_set_aops(inode);
Olivier Deprez157378f2022-04-04 15:47:50 +02002687 err = ext4_add_nondir(handle, dentry, &inode);
2688 if (!err)
2689 ext4_fc_track_create(handle, dentry);
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00002690 }
2691 if (handle)
2692 ext4_journal_stop(handle);
Olivier Deprez157378f2022-04-04 15:47:50 +02002693 if (!IS_ERR_OR_NULL(inode))
2694 iput(inode);
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00002695 if (err == -ENOSPC && ext4_should_retry_alloc(dir->i_sb, &retries))
2696 goto retry;
2697 return err;
2698}
2699
2700static int ext4_mknod(struct inode *dir, struct dentry *dentry,
2701 umode_t mode, dev_t rdev)
2702{
2703 handle_t *handle;
2704 struct inode *inode;
2705 int err, credits, retries = 0;
2706
2707 err = dquot_initialize(dir);
2708 if (err)
2709 return err;
2710
2711 credits = (EXT4_DATA_TRANS_BLOCKS(dir->i_sb) +
2712 EXT4_INDEX_EXTRA_TRANS_BLOCKS + 3);
2713retry:
2714 inode = ext4_new_inode_start_handle(dir, mode, &dentry->d_name, 0,
2715 NULL, EXT4_HT_DIR, credits);
2716 handle = ext4_journal_current_handle();
2717 err = PTR_ERR(inode);
2718 if (!IS_ERR(inode)) {
2719 init_special_inode(inode, inode->i_mode, rdev);
2720 inode->i_op = &ext4_special_inode_operations;
Olivier Deprez157378f2022-04-04 15:47:50 +02002721 err = ext4_add_nondir(handle, dentry, &inode);
2722 if (!err)
2723 ext4_fc_track_create(handle, dentry);
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00002724 }
2725 if (handle)
2726 ext4_journal_stop(handle);
Olivier Deprez157378f2022-04-04 15:47:50 +02002727 if (!IS_ERR_OR_NULL(inode))
2728 iput(inode);
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00002729 if (err == -ENOSPC && ext4_should_retry_alloc(dir->i_sb, &retries))
2730 goto retry;
2731 return err;
2732}
2733
2734static int ext4_tmpfile(struct inode *dir, struct dentry *dentry, umode_t mode)
2735{
2736 handle_t *handle;
2737 struct inode *inode;
2738 int err, retries = 0;
2739
2740 err = dquot_initialize(dir);
2741 if (err)
2742 return err;
2743
2744retry:
2745 inode = ext4_new_inode_start_handle(dir, mode,
2746 NULL, 0, NULL,
2747 EXT4_HT_DIR,
2748 EXT4_MAXQUOTAS_INIT_BLOCKS(dir->i_sb) +
2749 4 + EXT4_XATTR_TRANS_BLOCKS);
2750 handle = ext4_journal_current_handle();
2751 err = PTR_ERR(inode);
2752 if (!IS_ERR(inode)) {
2753 inode->i_op = &ext4_file_inode_operations;
2754 inode->i_fop = &ext4_file_operations;
2755 ext4_set_aops(inode);
2756 d_tmpfile(dentry, inode);
2757 err = ext4_orphan_add(handle, inode);
2758 if (err)
2759 goto err_unlock_inode;
2760 mark_inode_dirty(inode);
2761 unlock_new_inode(inode);
2762 }
2763 if (handle)
2764 ext4_journal_stop(handle);
2765 if (err == -ENOSPC && ext4_should_retry_alloc(dir->i_sb, &retries))
2766 goto retry;
2767 return err;
2768err_unlock_inode:
2769 ext4_journal_stop(handle);
2770 unlock_new_inode(inode);
2771 return err;
2772}
2773
2774struct ext4_dir_entry_2 *ext4_init_dot_dotdot(struct inode *inode,
2775 struct ext4_dir_entry_2 *de,
2776 int blocksize, int csum_size,
2777 unsigned int parent_ino, int dotdot_real_len)
2778{
2779 de->inode = cpu_to_le32(inode->i_ino);
2780 de->name_len = 1;
2781 de->rec_len = ext4_rec_len_to_disk(EXT4_DIR_REC_LEN(de->name_len),
2782 blocksize);
2783 strcpy(de->name, ".");
2784 ext4_set_de_type(inode->i_sb, de, S_IFDIR);
2785
2786 de = ext4_next_entry(de, blocksize);
2787 de->inode = cpu_to_le32(parent_ino);
2788 de->name_len = 2;
2789 if (!dotdot_real_len)
2790 de->rec_len = ext4_rec_len_to_disk(blocksize -
2791 (csum_size + EXT4_DIR_REC_LEN(1)),
2792 blocksize);
2793 else
2794 de->rec_len = ext4_rec_len_to_disk(
2795 EXT4_DIR_REC_LEN(de->name_len), blocksize);
2796 strcpy(de->name, "..");
2797 ext4_set_de_type(inode->i_sb, de, S_IFDIR);
2798
2799 return ext4_next_entry(de, blocksize);
2800}
2801
Olivier Deprez157378f2022-04-04 15:47:50 +02002802int ext4_init_new_dir(handle_t *handle, struct inode *dir,
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00002803 struct inode *inode)
2804{
2805 struct buffer_head *dir_block = NULL;
2806 struct ext4_dir_entry_2 *de;
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00002807 ext4_lblk_t block = 0;
2808 unsigned int blocksize = dir->i_sb->s_blocksize;
2809 int csum_size = 0;
2810 int err;
2811
2812 if (ext4_has_metadata_csum(dir->i_sb))
2813 csum_size = sizeof(struct ext4_dir_entry_tail);
2814
2815 if (ext4_test_inode_state(inode, EXT4_STATE_MAY_INLINE_DATA)) {
2816 err = ext4_try_create_inline_dir(handle, dir, inode);
2817 if (err < 0 && err != -ENOSPC)
2818 goto out;
2819 if (!err)
2820 goto out;
2821 }
2822
2823 inode->i_size = 0;
2824 dir_block = ext4_append(handle, inode, &block);
2825 if (IS_ERR(dir_block))
2826 return PTR_ERR(dir_block);
2827 de = (struct ext4_dir_entry_2 *)dir_block->b_data;
2828 ext4_init_dot_dotdot(inode, de, blocksize, csum_size, dir->i_ino, 0);
2829 set_nlink(inode, 2);
David Brazdil0f672f62019-12-10 10:32:29 +00002830 if (csum_size)
2831 ext4_initialize_dirent_tail(dir_block, blocksize);
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00002832
2833 BUFFER_TRACE(dir_block, "call ext4_handle_dirty_metadata");
David Brazdil0f672f62019-12-10 10:32:29 +00002834 err = ext4_handle_dirty_dirblock(handle, inode, dir_block);
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00002835 if (err)
2836 goto out;
2837 set_buffer_verified(dir_block);
2838out:
2839 brelse(dir_block);
2840 return err;
2841}
2842
2843static int ext4_mkdir(struct inode *dir, struct dentry *dentry, umode_t mode)
2844{
2845 handle_t *handle;
2846 struct inode *inode;
Olivier Deprez157378f2022-04-04 15:47:50 +02002847 int err, err2 = 0, credits, retries = 0;
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00002848
2849 if (EXT4_DIR_LINK_MAX(dir))
2850 return -EMLINK;
2851
2852 err = dquot_initialize(dir);
2853 if (err)
2854 return err;
2855
2856 credits = (EXT4_DATA_TRANS_BLOCKS(dir->i_sb) +
2857 EXT4_INDEX_EXTRA_TRANS_BLOCKS + 3);
2858retry:
2859 inode = ext4_new_inode_start_handle(dir, S_IFDIR | mode,
2860 &dentry->d_name,
2861 0, NULL, EXT4_HT_DIR, credits);
2862 handle = ext4_journal_current_handle();
2863 err = PTR_ERR(inode);
2864 if (IS_ERR(inode))
2865 goto out_stop;
2866
2867 inode->i_op = &ext4_dir_inode_operations;
2868 inode->i_fop = &ext4_dir_operations;
2869 err = ext4_init_new_dir(handle, dir, inode);
2870 if (err)
2871 goto out_clear_inode;
2872 err = ext4_mark_inode_dirty(handle, inode);
2873 if (!err)
2874 err = ext4_add_entry(handle, dentry, inode);
2875 if (err) {
2876out_clear_inode:
2877 clear_nlink(inode);
Olivier Deprez157378f2022-04-04 15:47:50 +02002878 ext4_orphan_add(handle, inode);
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00002879 unlock_new_inode(inode);
Olivier Deprez157378f2022-04-04 15:47:50 +02002880 err2 = ext4_mark_inode_dirty(handle, inode);
2881 if (unlikely(err2))
2882 err = err2;
2883 ext4_journal_stop(handle);
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00002884 iput(inode);
Olivier Deprez157378f2022-04-04 15:47:50 +02002885 goto out_retry;
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00002886 }
Olivier Deprez157378f2022-04-04 15:47:50 +02002887 ext4_inc_count(dir);
2888
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00002889 ext4_update_dx_flag(dir);
2890 err = ext4_mark_inode_dirty(handle, dir);
2891 if (err)
2892 goto out_clear_inode;
2893 d_instantiate_new(dentry, inode);
Olivier Deprez157378f2022-04-04 15:47:50 +02002894 ext4_fc_track_create(handle, dentry);
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00002895 if (IS_DIRSYNC(dir))
2896 ext4_handle_sync(handle);
2897
2898out_stop:
2899 if (handle)
2900 ext4_journal_stop(handle);
Olivier Deprez157378f2022-04-04 15:47:50 +02002901out_retry:
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00002902 if (err == -ENOSPC && ext4_should_retry_alloc(dir->i_sb, &retries))
2903 goto retry;
2904 return err;
2905}
2906
2907/*
2908 * routine to check that the specified directory is empty (for rmdir)
2909 */
2910bool ext4_empty_dir(struct inode *inode)
2911{
2912 unsigned int offset;
2913 struct buffer_head *bh;
Olivier Deprez0e641232021-09-23 10:07:05 +02002914 struct ext4_dir_entry_2 *de;
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00002915 struct super_block *sb;
2916
2917 if (ext4_has_inline_data(inode)) {
2918 int has_inline_data = 1;
2919 int ret;
2920
2921 ret = empty_inline_dir(inode, &has_inline_data);
2922 if (has_inline_data)
2923 return ret;
2924 }
2925
2926 sb = inode->i_sb;
2927 if (inode->i_size < EXT4_DIR_REC_LEN(1) + EXT4_DIR_REC_LEN(2)) {
2928 EXT4_ERROR_INODE(inode, "invalid size");
Olivier Deprez92d4c212022-12-06 15:05:30 +01002929 return false;
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00002930 }
David Brazdil0f672f62019-12-10 10:32:29 +00002931 /* The first directory block must not be a hole,
2932 * so treat it as DIRENT_HTREE
2933 */
2934 bh = ext4_read_dirblock(inode, 0, DIRENT_HTREE);
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00002935 if (IS_ERR(bh))
Olivier Deprez92d4c212022-12-06 15:05:30 +01002936 return false;
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00002937
2938 de = (struct ext4_dir_entry_2 *) bh->b_data;
Olivier Deprez0e641232021-09-23 10:07:05 +02002939 if (ext4_check_dir_entry(inode, NULL, de, bh, bh->b_data, bh->b_size,
2940 0) ||
2941 le32_to_cpu(de->inode) != inode->i_ino || strcmp(".", de->name)) {
2942 ext4_warning_inode(inode, "directory missing '.'");
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00002943 brelse(bh);
Olivier Deprez92d4c212022-12-06 15:05:30 +01002944 return false;
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00002945 }
Olivier Deprez0e641232021-09-23 10:07:05 +02002946 offset = ext4_rec_len_from_disk(de->rec_len, sb->s_blocksize);
2947 de = ext4_next_entry(de, sb->s_blocksize);
2948 if (ext4_check_dir_entry(inode, NULL, de, bh, bh->b_data, bh->b_size,
2949 offset) ||
2950 le32_to_cpu(de->inode) == 0 || strcmp("..", de->name)) {
2951 ext4_warning_inode(inode, "directory missing '..'");
2952 brelse(bh);
Olivier Deprez92d4c212022-12-06 15:05:30 +01002953 return false;
Olivier Deprez0e641232021-09-23 10:07:05 +02002954 }
2955 offset += ext4_rec_len_from_disk(de->rec_len, sb->s_blocksize);
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00002956 while (offset < inode->i_size) {
Olivier Deprez0e641232021-09-23 10:07:05 +02002957 if (!(offset & (sb->s_blocksize - 1))) {
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00002958 unsigned int lblock;
2959 brelse(bh);
2960 lblock = offset >> EXT4_BLOCK_SIZE_BITS(sb);
2961 bh = ext4_read_dirblock(inode, lblock, EITHER);
David Brazdil0f672f62019-12-10 10:32:29 +00002962 if (bh == NULL) {
2963 offset += sb->s_blocksize;
2964 continue;
2965 }
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00002966 if (IS_ERR(bh))
Olivier Deprez92d4c212022-12-06 15:05:30 +01002967 return false;
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00002968 }
Olivier Deprez0e641232021-09-23 10:07:05 +02002969 de = (struct ext4_dir_entry_2 *) (bh->b_data +
2970 (offset & (sb->s_blocksize - 1)));
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00002971 if (ext4_check_dir_entry(inode, NULL, de, bh,
Olivier Deprez92d4c212022-12-06 15:05:30 +01002972 bh->b_data, bh->b_size, offset) ||
2973 le32_to_cpu(de->inode)) {
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00002974 brelse(bh);
2975 return false;
2976 }
2977 offset += ext4_rec_len_from_disk(de->rec_len, sb->s_blocksize);
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00002978 }
2979 brelse(bh);
2980 return true;
2981}
2982
2983/*
2984 * ext4_orphan_add() links an unlinked or truncated inode into a list of
2985 * such inodes, starting at the superblock, in case we crash before the
2986 * file is closed/deleted, or in case the inode truncate spans multiple
2987 * transactions and the last transaction is not recovered after a crash.
2988 *
2989 * At filesystem recovery time, we walk this list deleting unlinked
2990 * inodes and truncating linked inodes in ext4_orphan_cleanup().
2991 *
2992 * Orphan list manipulation functions must be called under i_mutex unless
2993 * we are just creating the inode or deleting it.
2994 */
2995int ext4_orphan_add(handle_t *handle, struct inode *inode)
2996{
2997 struct super_block *sb = inode->i_sb;
2998 struct ext4_sb_info *sbi = EXT4_SB(sb);
2999 struct ext4_iloc iloc;
3000 int err = 0, rc;
3001 bool dirty = false;
3002
3003 if (!sbi->s_journal || is_bad_inode(inode))
3004 return 0;
3005
3006 WARN_ON_ONCE(!(inode->i_state & (I_NEW | I_FREEING)) &&
3007 !inode_is_locked(inode));
3008 /*
3009 * Exit early if inode already is on orphan list. This is a big speedup
3010 * since we don't have to contend on the global s_orphan_lock.
3011 */
3012 if (!list_empty(&EXT4_I(inode)->i_orphan))
3013 return 0;
3014
3015 /*
3016 * Orphan handling is only valid for files with data blocks
3017 * being truncated, or files being unlinked. Note that we either
3018 * hold i_mutex, or the inode can not be referenced from outside,
3019 * so i_nlink should not be bumped due to race
3020 */
3021 J_ASSERT((S_ISREG(inode->i_mode) || S_ISDIR(inode->i_mode) ||
3022 S_ISLNK(inode->i_mode)) || inode->i_nlink == 0);
3023
3024 BUFFER_TRACE(sbi->s_sbh, "get_write_access");
3025 err = ext4_journal_get_write_access(handle, sbi->s_sbh);
3026 if (err)
3027 goto out;
3028
3029 err = ext4_reserve_inode_write(handle, inode, &iloc);
3030 if (err)
3031 goto out;
3032
3033 mutex_lock(&sbi->s_orphan_lock);
3034 /*
3035 * Due to previous errors inode may be already a part of on-disk
3036 * orphan list. If so skip on-disk list modification.
3037 */
3038 if (!NEXT_ORPHAN(inode) || NEXT_ORPHAN(inode) >
3039 (le32_to_cpu(sbi->s_es->s_inodes_count))) {
3040 /* Insert this inode at the head of the on-disk orphan list */
3041 NEXT_ORPHAN(inode) = le32_to_cpu(sbi->s_es->s_last_orphan);
3042 sbi->s_es->s_last_orphan = cpu_to_le32(inode->i_ino);
3043 dirty = true;
3044 }
3045 list_add(&EXT4_I(inode)->i_orphan, &sbi->s_orphan);
3046 mutex_unlock(&sbi->s_orphan_lock);
3047
3048 if (dirty) {
3049 err = ext4_handle_dirty_super(handle, sb);
3050 rc = ext4_mark_iloc_dirty(handle, inode, &iloc);
3051 if (!err)
3052 err = rc;
3053 if (err) {
3054 /*
3055 * We have to remove inode from in-memory list if
3056 * addition to on disk orphan list failed. Stray orphan
3057 * list entries can cause panics at unmount time.
3058 */
3059 mutex_lock(&sbi->s_orphan_lock);
3060 list_del_init(&EXT4_I(inode)->i_orphan);
3061 mutex_unlock(&sbi->s_orphan_lock);
3062 }
3063 } else
3064 brelse(iloc.bh);
3065
3066 jbd_debug(4, "superblock will point to %lu\n", inode->i_ino);
3067 jbd_debug(4, "orphan inode %lu will point to %d\n",
3068 inode->i_ino, NEXT_ORPHAN(inode));
3069out:
3070 ext4_std_error(sb, err);
3071 return err;
3072}
3073
3074/*
3075 * ext4_orphan_del() removes an unlinked or truncated inode from the list
3076 * of such inodes stored on disk, because it is finally being cleaned up.
3077 */
3078int ext4_orphan_del(handle_t *handle, struct inode *inode)
3079{
3080 struct list_head *prev;
3081 struct ext4_inode_info *ei = EXT4_I(inode);
3082 struct ext4_sb_info *sbi = EXT4_SB(inode->i_sb);
3083 __u32 ino_next;
3084 struct ext4_iloc iloc;
3085 int err = 0;
3086
3087 if (!sbi->s_journal && !(sbi->s_mount_state & EXT4_ORPHAN_FS))
3088 return 0;
3089
3090 WARN_ON_ONCE(!(inode->i_state & (I_NEW | I_FREEING)) &&
3091 !inode_is_locked(inode));
3092 /* Do this quick check before taking global s_orphan_lock. */
3093 if (list_empty(&ei->i_orphan))
3094 return 0;
3095
3096 if (handle) {
3097 /* Grab inode buffer early before taking global s_orphan_lock */
3098 err = ext4_reserve_inode_write(handle, inode, &iloc);
3099 }
3100
3101 mutex_lock(&sbi->s_orphan_lock);
3102 jbd_debug(4, "remove inode %lu from orphan list\n", inode->i_ino);
3103
3104 prev = ei->i_orphan.prev;
3105 list_del_init(&ei->i_orphan);
3106
3107 /* If we're on an error path, we may not have a valid
3108 * transaction handle with which to update the orphan list on
3109 * disk, but we still need to remove the inode from the linked
3110 * list in memory. */
3111 if (!handle || err) {
3112 mutex_unlock(&sbi->s_orphan_lock);
3113 goto out_err;
3114 }
3115
3116 ino_next = NEXT_ORPHAN(inode);
3117 if (prev == &sbi->s_orphan) {
3118 jbd_debug(4, "superblock will point to %u\n", ino_next);
3119 BUFFER_TRACE(sbi->s_sbh, "get_write_access");
3120 err = ext4_journal_get_write_access(handle, sbi->s_sbh);
3121 if (err) {
3122 mutex_unlock(&sbi->s_orphan_lock);
3123 goto out_brelse;
3124 }
3125 sbi->s_es->s_last_orphan = cpu_to_le32(ino_next);
3126 mutex_unlock(&sbi->s_orphan_lock);
3127 err = ext4_handle_dirty_super(handle, inode->i_sb);
3128 } else {
3129 struct ext4_iloc iloc2;
3130 struct inode *i_prev =
3131 &list_entry(prev, struct ext4_inode_info, i_orphan)->vfs_inode;
3132
3133 jbd_debug(4, "orphan inode %lu will point to %u\n",
3134 i_prev->i_ino, ino_next);
3135 err = ext4_reserve_inode_write(handle, i_prev, &iloc2);
3136 if (err) {
3137 mutex_unlock(&sbi->s_orphan_lock);
3138 goto out_brelse;
3139 }
3140 NEXT_ORPHAN(i_prev) = ino_next;
3141 err = ext4_mark_iloc_dirty(handle, i_prev, &iloc2);
3142 mutex_unlock(&sbi->s_orphan_lock);
3143 }
3144 if (err)
3145 goto out_brelse;
3146 NEXT_ORPHAN(inode) = 0;
3147 err = ext4_mark_iloc_dirty(handle, inode, &iloc);
3148out_err:
3149 ext4_std_error(inode->i_sb, err);
3150 return err;
3151
3152out_brelse:
3153 brelse(iloc.bh);
3154 goto out_err;
3155}
3156
3157static int ext4_rmdir(struct inode *dir, struct dentry *dentry)
3158{
3159 int retval;
3160 struct inode *inode;
3161 struct buffer_head *bh;
3162 struct ext4_dir_entry_2 *de;
3163 handle_t *handle = NULL;
3164
3165 if (unlikely(ext4_forced_shutdown(EXT4_SB(dir->i_sb))))
3166 return -EIO;
3167
3168 /* Initialize quotas before so that eventual writes go in
3169 * separate transaction */
3170 retval = dquot_initialize(dir);
3171 if (retval)
3172 return retval;
3173 retval = dquot_initialize(d_inode(dentry));
3174 if (retval)
3175 return retval;
3176
3177 retval = -ENOENT;
3178 bh = ext4_find_entry(dir, &dentry->d_name, &de, NULL);
3179 if (IS_ERR(bh))
3180 return PTR_ERR(bh);
3181 if (!bh)
3182 goto end_rmdir;
3183
3184 inode = d_inode(dentry);
3185
3186 retval = -EFSCORRUPTED;
3187 if (le32_to_cpu(de->inode) != inode->i_ino)
3188 goto end_rmdir;
3189
3190 retval = -ENOTEMPTY;
3191 if (!ext4_empty_dir(inode))
3192 goto end_rmdir;
3193
3194 handle = ext4_journal_start(dir, EXT4_HT_DIR,
3195 EXT4_DATA_TRANS_BLOCKS(dir->i_sb));
3196 if (IS_ERR(handle)) {
3197 retval = PTR_ERR(handle);
3198 handle = NULL;
3199 goto end_rmdir;
3200 }
3201
3202 if (IS_DIRSYNC(dir))
3203 ext4_handle_sync(handle);
3204
3205 retval = ext4_delete_entry(handle, dir, de, bh);
3206 if (retval)
3207 goto end_rmdir;
3208 if (!EXT4_DIR_LINK_EMPTY(inode))
3209 ext4_warning_inode(inode,
3210 "empty directory '%.*s' has too many links (%u)",
3211 dentry->d_name.len, dentry->d_name.name,
3212 inode->i_nlink);
3213 inode_inc_iversion(inode);
3214 clear_nlink(inode);
3215 /* There's no need to set i_disksize: the fact that i_nlink is
3216 * zero will ensure that the right thing happens during any
3217 * recovery. */
3218 inode->i_size = 0;
3219 ext4_orphan_add(handle, inode);
3220 inode->i_ctime = dir->i_ctime = dir->i_mtime = current_time(inode);
Olivier Deprez157378f2022-04-04 15:47:50 +02003221 retval = ext4_mark_inode_dirty(handle, inode);
3222 if (retval)
3223 goto end_rmdir;
3224 ext4_dec_count(dir);
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00003225 ext4_update_dx_flag(dir);
Olivier Deprez157378f2022-04-04 15:47:50 +02003226 ext4_fc_track_unlink(handle, dentry);
3227 retval = ext4_mark_inode_dirty(handle, dir);
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00003228
David Brazdil0f672f62019-12-10 10:32:29 +00003229#ifdef CONFIG_UNICODE
3230 /* VFS negative dentries are incompatible with Encoding and
3231 * Case-insensitiveness. Eventually we'll want avoid
3232 * invalidating the dentries here, alongside with returning the
3233 * negative dentries at ext4_lookup(), when it is better
3234 * supported by the VFS for the CI case.
3235 */
3236 if (IS_CASEFOLDED(dir))
3237 d_invalidate(dentry);
3238#endif
3239
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00003240end_rmdir:
3241 brelse(bh);
3242 if (handle)
3243 ext4_journal_stop(handle);
3244 return retval;
3245}
3246
Olivier Deprez157378f2022-04-04 15:47:50 +02003247int __ext4_unlink(handle_t *handle, struct inode *dir, const struct qstr *d_name,
3248 struct inode *inode)
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00003249{
Olivier Deprez157378f2022-04-04 15:47:50 +02003250 int retval = -ENOENT;
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00003251 struct buffer_head *bh;
3252 struct ext4_dir_entry_2 *de;
Olivier Deprez157378f2022-04-04 15:47:50 +02003253 int skip_remove_dentry = 0;
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00003254
Olivier Deprez157378f2022-04-04 15:47:50 +02003255 bh = ext4_find_entry(dir, d_name, &de, NULL);
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00003256 if (IS_ERR(bh))
3257 return PTR_ERR(bh);
Olivier Deprez157378f2022-04-04 15:47:50 +02003258
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00003259 if (!bh)
Olivier Deprez157378f2022-04-04 15:47:50 +02003260 return -ENOENT;
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00003261
Olivier Deprez157378f2022-04-04 15:47:50 +02003262 if (le32_to_cpu(de->inode) != inode->i_ino) {
3263 /*
3264 * It's okay if we find dont find dentry which matches
3265 * the inode. That's because it might have gotten
3266 * renamed to a different inode number
3267 */
3268 if (EXT4_SB(inode->i_sb)->s_mount_state & EXT4_FC_REPLAY)
3269 skip_remove_dentry = 1;
3270 else
3271 goto out;
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00003272 }
3273
3274 if (IS_DIRSYNC(dir))
3275 ext4_handle_sync(handle);
3276
Olivier Deprez157378f2022-04-04 15:47:50 +02003277 if (!skip_remove_dentry) {
3278 retval = ext4_delete_entry(handle, dir, de, bh);
3279 if (retval)
3280 goto out;
3281 dir->i_ctime = dir->i_mtime = current_time(dir);
3282 ext4_update_dx_flag(dir);
3283 retval = ext4_mark_inode_dirty(handle, dir);
3284 if (retval)
3285 goto out;
3286 } else {
3287 retval = 0;
3288 }
Olivier Deprez0e641232021-09-23 10:07:05 +02003289 if (inode->i_nlink == 0)
3290 ext4_warning_inode(inode, "Deleting file '%.*s' with no links",
Olivier Deprez157378f2022-04-04 15:47:50 +02003291 d_name->len, d_name->name);
Olivier Deprez0e641232021-09-23 10:07:05 +02003292 else
3293 drop_nlink(inode);
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00003294 if (!inode->i_nlink)
3295 ext4_orphan_add(handle, inode);
3296 inode->i_ctime = current_time(inode);
Olivier Deprez157378f2022-04-04 15:47:50 +02003297 retval = ext4_mark_inode_dirty(handle, inode);
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00003298
Olivier Deprez157378f2022-04-04 15:47:50 +02003299out:
3300 brelse(bh);
3301 return retval;
3302}
3303
3304static int ext4_unlink(struct inode *dir, struct dentry *dentry)
3305{
3306 handle_t *handle;
3307 int retval;
3308
3309 if (unlikely(ext4_forced_shutdown(EXT4_SB(dir->i_sb))))
3310 return -EIO;
3311
3312 trace_ext4_unlink_enter(dir, dentry);
3313 /*
3314 * Initialize quotas before so that eventual writes go
3315 * in separate transaction
3316 */
3317 retval = dquot_initialize(dir);
3318 if (retval)
3319 goto out_trace;
3320 retval = dquot_initialize(d_inode(dentry));
3321 if (retval)
3322 goto out_trace;
3323
3324 handle = ext4_journal_start(dir, EXT4_HT_DIR,
3325 EXT4_DATA_TRANS_BLOCKS(dir->i_sb));
3326 if (IS_ERR(handle)) {
3327 retval = PTR_ERR(handle);
3328 goto out_trace;
3329 }
3330
3331 retval = __ext4_unlink(handle, dir, &dentry->d_name, d_inode(dentry));
3332 if (!retval)
3333 ext4_fc_track_unlink(handle, dentry);
David Brazdil0f672f62019-12-10 10:32:29 +00003334#ifdef CONFIG_UNICODE
3335 /* VFS negative dentries are incompatible with Encoding and
3336 * Case-insensitiveness. Eventually we'll want avoid
3337 * invalidating the dentries here, alongside with returning the
3338 * negative dentries at ext4_lookup(), when it is better
3339 * supported by the VFS for the CI case.
3340 */
3341 if (IS_CASEFOLDED(dir))
3342 d_invalidate(dentry);
3343#endif
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00003344 if (handle)
3345 ext4_journal_stop(handle);
Olivier Deprez157378f2022-04-04 15:47:50 +02003346
3347out_trace:
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00003348 trace_ext4_unlink_exit(dentry, retval);
3349 return retval;
3350}
3351
3352static int ext4_symlink(struct inode *dir,
3353 struct dentry *dentry, const char *symname)
3354{
3355 handle_t *handle;
3356 struct inode *inode;
3357 int err, len = strlen(symname);
3358 int credits;
3359 struct fscrypt_str disk_link;
3360
3361 if (unlikely(ext4_forced_shutdown(EXT4_SB(dir->i_sb))))
3362 return -EIO;
3363
3364 err = fscrypt_prepare_symlink(dir, symname, len, dir->i_sb->s_blocksize,
3365 &disk_link);
3366 if (err)
3367 return err;
3368
3369 err = dquot_initialize(dir);
3370 if (err)
3371 return err;
3372
3373 if ((disk_link.len > EXT4_N_BLOCKS * 4)) {
3374 /*
3375 * For non-fast symlinks, we just allocate inode and put it on
3376 * orphan list in the first transaction => we need bitmap,
3377 * group descriptor, sb, inode block, quota blocks, and
3378 * possibly selinux xattr blocks.
3379 */
3380 credits = 4 + EXT4_MAXQUOTAS_INIT_BLOCKS(dir->i_sb) +
3381 EXT4_XATTR_TRANS_BLOCKS;
3382 } else {
3383 /*
3384 * Fast symlink. We have to add entry to directory
3385 * (EXT4_DATA_TRANS_BLOCKS + EXT4_INDEX_EXTRA_TRANS_BLOCKS),
3386 * allocate new inode (bitmap, group descriptor, inode block,
3387 * quota blocks, sb is already counted in previous macros).
3388 */
3389 credits = EXT4_DATA_TRANS_BLOCKS(dir->i_sb) +
3390 EXT4_INDEX_EXTRA_TRANS_BLOCKS + 3;
3391 }
3392
3393 inode = ext4_new_inode_start_handle(dir, S_IFLNK|S_IRWXUGO,
3394 &dentry->d_name, 0, NULL,
3395 EXT4_HT_DIR, credits);
3396 handle = ext4_journal_current_handle();
3397 if (IS_ERR(inode)) {
3398 if (handle)
3399 ext4_journal_stop(handle);
3400 return PTR_ERR(inode);
3401 }
3402
3403 if (IS_ENCRYPTED(inode)) {
3404 err = fscrypt_encrypt_symlink(inode, symname, len, &disk_link);
3405 if (err)
3406 goto err_drop_inode;
3407 inode->i_op = &ext4_encrypted_symlink_inode_operations;
3408 }
3409
3410 if ((disk_link.len > EXT4_N_BLOCKS * 4)) {
3411 if (!IS_ENCRYPTED(inode))
3412 inode->i_op = &ext4_symlink_inode_operations;
3413 inode_nohighmem(inode);
3414 ext4_set_aops(inode);
3415 /*
3416 * We cannot call page_symlink() with transaction started
3417 * because it calls into ext4_write_begin() which can wait
3418 * for transaction commit if we are running out of space
3419 * and thus we deadlock. So we have to stop transaction now
3420 * and restart it when symlink contents is written.
3421 *
3422 * To keep fs consistent in case of crash, we have to put inode
3423 * to orphan list in the mean time.
3424 */
3425 drop_nlink(inode);
3426 err = ext4_orphan_add(handle, inode);
Olivier Deprez157378f2022-04-04 15:47:50 +02003427 if (handle)
3428 ext4_journal_stop(handle);
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00003429 handle = NULL;
3430 if (err)
3431 goto err_drop_inode;
3432 err = __page_symlink(inode, disk_link.name, disk_link.len, 1);
3433 if (err)
3434 goto err_drop_inode;
3435 /*
3436 * Now inode is being linked into dir (EXT4_DATA_TRANS_BLOCKS
3437 * + EXT4_INDEX_EXTRA_TRANS_BLOCKS), inode is also modified
3438 */
3439 handle = ext4_journal_start(dir, EXT4_HT_DIR,
3440 EXT4_DATA_TRANS_BLOCKS(dir->i_sb) +
3441 EXT4_INDEX_EXTRA_TRANS_BLOCKS + 1);
3442 if (IS_ERR(handle)) {
3443 err = PTR_ERR(handle);
3444 handle = NULL;
3445 goto err_drop_inode;
3446 }
3447 set_nlink(inode, 1);
3448 err = ext4_orphan_del(handle, inode);
3449 if (err)
3450 goto err_drop_inode;
3451 } else {
3452 /* clear the extent format for fast symlink */
3453 ext4_clear_inode_flag(inode, EXT4_INODE_EXTENTS);
3454 if (!IS_ENCRYPTED(inode)) {
3455 inode->i_op = &ext4_fast_symlink_inode_operations;
3456 inode->i_link = (char *)&EXT4_I(inode)->i_data;
3457 }
3458 memcpy((char *)&EXT4_I(inode)->i_data, disk_link.name,
3459 disk_link.len);
3460 inode->i_size = disk_link.len - 1;
3461 }
3462 EXT4_I(inode)->i_disksize = inode->i_size;
Olivier Deprez157378f2022-04-04 15:47:50 +02003463 err = ext4_add_nondir(handle, dentry, &inode);
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00003464 if (handle)
3465 ext4_journal_stop(handle);
Olivier Deprez157378f2022-04-04 15:47:50 +02003466 if (inode)
3467 iput(inode);
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00003468 goto out_free_encrypted_link;
3469
3470err_drop_inode:
3471 if (handle)
3472 ext4_journal_stop(handle);
3473 clear_nlink(inode);
3474 unlock_new_inode(inode);
3475 iput(inode);
3476out_free_encrypted_link:
3477 if (disk_link.name != (unsigned char *)symname)
3478 kfree(disk_link.name);
3479 return err;
3480}
3481
Olivier Deprez157378f2022-04-04 15:47:50 +02003482int __ext4_link(struct inode *dir, struct inode *inode, struct dentry *dentry)
3483{
3484 handle_t *handle;
3485 int err, retries = 0;
3486retry:
3487 handle = ext4_journal_start(dir, EXT4_HT_DIR,
3488 (EXT4_DATA_TRANS_BLOCKS(dir->i_sb) +
3489 EXT4_INDEX_EXTRA_TRANS_BLOCKS) + 1);
3490 if (IS_ERR(handle))
3491 return PTR_ERR(handle);
3492
3493 if (IS_DIRSYNC(dir))
3494 ext4_handle_sync(handle);
3495
3496 inode->i_ctime = current_time(inode);
3497 ext4_inc_count(inode);
3498 ihold(inode);
3499
3500 err = ext4_add_entry(handle, dentry, inode);
3501 if (!err) {
3502 err = ext4_mark_inode_dirty(handle, inode);
3503 /* this can happen only for tmpfile being
3504 * linked the first time
3505 */
3506 if (inode->i_nlink == 1)
3507 ext4_orphan_del(handle, inode);
3508 d_instantiate(dentry, inode);
3509 ext4_fc_track_link(handle, dentry);
3510 } else {
3511 drop_nlink(inode);
3512 iput(inode);
3513 }
3514 ext4_journal_stop(handle);
3515 if (err == -ENOSPC && ext4_should_retry_alloc(dir->i_sb, &retries))
3516 goto retry;
3517 return err;
3518}
3519
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00003520static int ext4_link(struct dentry *old_dentry,
3521 struct inode *dir, struct dentry *dentry)
3522{
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00003523 struct inode *inode = d_inode(old_dentry);
Olivier Deprez157378f2022-04-04 15:47:50 +02003524 int err;
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00003525
3526 if (inode->i_nlink >= EXT4_LINK_MAX)
3527 return -EMLINK;
3528
3529 err = fscrypt_prepare_link(old_dentry, dir, dentry);
3530 if (err)
3531 return err;
3532
3533 if ((ext4_test_inode_flag(dir, EXT4_INODE_PROJINHERIT)) &&
3534 (!projid_eq(EXT4_I(dir)->i_projid,
3535 EXT4_I(old_dentry->d_inode)->i_projid)))
3536 return -EXDEV;
3537
3538 err = dquot_initialize(dir);
3539 if (err)
3540 return err;
Olivier Deprez157378f2022-04-04 15:47:50 +02003541 return __ext4_link(dir, inode, dentry);
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00003542}
3543
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00003544/*
3545 * Try to find buffer head where contains the parent block.
3546 * It should be the inode block if it is inlined or the 1st block
3547 * if it is a normal dir.
3548 */
3549static struct buffer_head *ext4_get_first_dir_block(handle_t *handle,
3550 struct inode *inode,
3551 int *retval,
3552 struct ext4_dir_entry_2 **parent_de,
3553 int *inlined)
3554{
3555 struct buffer_head *bh;
3556
3557 if (!ext4_has_inline_data(inode)) {
Olivier Deprez92d4c212022-12-06 15:05:30 +01003558 struct ext4_dir_entry_2 *de;
3559 unsigned int offset;
3560
David Brazdil0f672f62019-12-10 10:32:29 +00003561 /* The first directory block must not be a hole, so
3562 * treat it as DIRENT_HTREE
3563 */
3564 bh = ext4_read_dirblock(inode, 0, DIRENT_HTREE);
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00003565 if (IS_ERR(bh)) {
3566 *retval = PTR_ERR(bh);
3567 return NULL;
3568 }
Olivier Deprez92d4c212022-12-06 15:05:30 +01003569
3570 de = (struct ext4_dir_entry_2 *) bh->b_data;
3571 if (ext4_check_dir_entry(inode, NULL, de, bh, bh->b_data,
3572 bh->b_size, 0) ||
3573 le32_to_cpu(de->inode) != inode->i_ino ||
3574 strcmp(".", de->name)) {
3575 EXT4_ERROR_INODE(inode, "directory missing '.'");
3576 brelse(bh);
3577 *retval = -EFSCORRUPTED;
3578 return NULL;
3579 }
3580 offset = ext4_rec_len_from_disk(de->rec_len,
3581 inode->i_sb->s_blocksize);
3582 de = ext4_next_entry(de, inode->i_sb->s_blocksize);
3583 if (ext4_check_dir_entry(inode, NULL, de, bh, bh->b_data,
3584 bh->b_size, offset) ||
3585 le32_to_cpu(de->inode) == 0 || strcmp("..", de->name)) {
3586 EXT4_ERROR_INODE(inode, "directory missing '..'");
3587 brelse(bh);
3588 *retval = -EFSCORRUPTED;
3589 return NULL;
3590 }
3591 *parent_de = de;
3592
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00003593 return bh;
3594 }
3595
3596 *inlined = 1;
3597 return ext4_get_first_inline_block(inode, parent_de, retval);
3598}
3599
3600struct ext4_renament {
3601 struct inode *dir;
3602 struct dentry *dentry;
3603 struct inode *inode;
3604 bool is_dir;
3605 int dir_nlink_delta;
3606
3607 /* entry for "dentry" */
3608 struct buffer_head *bh;
3609 struct ext4_dir_entry_2 *de;
3610 int inlined;
3611
3612 /* entry for ".." in inode if it's a directory */
3613 struct buffer_head *dir_bh;
3614 struct ext4_dir_entry_2 *parent_de;
3615 int dir_inlined;
3616};
3617
3618static int ext4_rename_dir_prepare(handle_t *handle, struct ext4_renament *ent)
3619{
3620 int retval;
3621
3622 ent->dir_bh = ext4_get_first_dir_block(handle, ent->inode,
3623 &retval, &ent->parent_de,
3624 &ent->dir_inlined);
3625 if (!ent->dir_bh)
3626 return retval;
3627 if (le32_to_cpu(ent->parent_de->inode) != ent->dir->i_ino)
3628 return -EFSCORRUPTED;
3629 BUFFER_TRACE(ent->dir_bh, "get_write_access");
3630 return ext4_journal_get_write_access(handle, ent->dir_bh);
3631}
3632
3633static int ext4_rename_dir_finish(handle_t *handle, struct ext4_renament *ent,
3634 unsigned dir_ino)
3635{
3636 int retval;
3637
3638 ent->parent_de->inode = cpu_to_le32(dir_ino);
3639 BUFFER_TRACE(ent->dir_bh, "call ext4_handle_dirty_metadata");
3640 if (!ent->dir_inlined) {
3641 if (is_dx(ent->inode)) {
3642 retval = ext4_handle_dirty_dx_node(handle,
3643 ent->inode,
3644 ent->dir_bh);
3645 } else {
David Brazdil0f672f62019-12-10 10:32:29 +00003646 retval = ext4_handle_dirty_dirblock(handle, ent->inode,
3647 ent->dir_bh);
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00003648 }
3649 } else {
3650 retval = ext4_mark_inode_dirty(handle, ent->inode);
3651 }
3652 if (retval) {
3653 ext4_std_error(ent->dir->i_sb, retval);
3654 return retval;
3655 }
3656 return 0;
3657}
3658
3659static int ext4_setent(handle_t *handle, struct ext4_renament *ent,
3660 unsigned ino, unsigned file_type)
3661{
Olivier Deprez157378f2022-04-04 15:47:50 +02003662 int retval, retval2;
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00003663
3664 BUFFER_TRACE(ent->bh, "get write access");
3665 retval = ext4_journal_get_write_access(handle, ent->bh);
3666 if (retval)
3667 return retval;
3668 ent->de->inode = cpu_to_le32(ino);
3669 if (ext4_has_feature_filetype(ent->dir->i_sb))
3670 ent->de->file_type = file_type;
3671 inode_inc_iversion(ent->dir);
3672 ent->dir->i_ctime = ent->dir->i_mtime =
3673 current_time(ent->dir);
Olivier Deprez157378f2022-04-04 15:47:50 +02003674 retval = ext4_mark_inode_dirty(handle, ent->dir);
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00003675 BUFFER_TRACE(ent->bh, "call ext4_handle_dirty_metadata");
3676 if (!ent->inlined) {
Olivier Deprez157378f2022-04-04 15:47:50 +02003677 retval2 = ext4_handle_dirty_dirblock(handle, ent->dir, ent->bh);
3678 if (unlikely(retval2)) {
3679 ext4_std_error(ent->dir->i_sb, retval2);
3680 return retval2;
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00003681 }
3682 }
Olivier Deprez157378f2022-04-04 15:47:50 +02003683 return retval;
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00003684}
3685
Olivier Deprez0e641232021-09-23 10:07:05 +02003686static void ext4_resetent(handle_t *handle, struct ext4_renament *ent,
3687 unsigned ino, unsigned file_type)
3688{
3689 struct ext4_renament old = *ent;
3690 int retval = 0;
3691
3692 /*
3693 * old->de could have moved from under us during make indexed dir,
3694 * so the old->de may no longer valid and need to find it again
3695 * before reset old inode info.
3696 */
3697 old.bh = ext4_find_entry(old.dir, &old.dentry->d_name, &old.de, NULL);
3698 if (IS_ERR(old.bh))
3699 retval = PTR_ERR(old.bh);
3700 if (!old.bh)
3701 retval = -ENOENT;
3702 if (retval) {
3703 ext4_std_error(old.dir->i_sb, retval);
3704 return;
3705 }
3706
3707 ext4_setent(handle, &old, ino, file_type);
3708 brelse(old.bh);
3709}
3710
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00003711static int ext4_find_delete_entry(handle_t *handle, struct inode *dir,
3712 const struct qstr *d_name)
3713{
3714 int retval = -ENOENT;
3715 struct buffer_head *bh;
3716 struct ext4_dir_entry_2 *de;
3717
3718 bh = ext4_find_entry(dir, d_name, &de, NULL);
3719 if (IS_ERR(bh))
3720 return PTR_ERR(bh);
3721 if (bh) {
3722 retval = ext4_delete_entry(handle, dir, de, bh);
3723 brelse(bh);
3724 }
3725 return retval;
3726}
3727
3728static void ext4_rename_delete(handle_t *handle, struct ext4_renament *ent,
3729 int force_reread)
3730{
3731 int retval;
3732 /*
3733 * ent->de could have moved from under us during htree split, so make
3734 * sure that we are deleting the right entry. We might also be pointing
3735 * to a stale entry in the unused part of ent->bh so just checking inum
3736 * and the name isn't enough.
3737 */
3738 if (le32_to_cpu(ent->de->inode) != ent->inode->i_ino ||
3739 ent->de->name_len != ent->dentry->d_name.len ||
3740 strncmp(ent->de->name, ent->dentry->d_name.name,
3741 ent->de->name_len) ||
3742 force_reread) {
3743 retval = ext4_find_delete_entry(handle, ent->dir,
3744 &ent->dentry->d_name);
3745 } else {
3746 retval = ext4_delete_entry(handle, ent->dir, ent->de, ent->bh);
3747 if (retval == -ENOENT) {
3748 retval = ext4_find_delete_entry(handle, ent->dir,
3749 &ent->dentry->d_name);
3750 }
3751 }
3752
3753 if (retval) {
3754 ext4_warning_inode(ent->dir,
3755 "Deleting old file: nlink %d, error=%d",
3756 ent->dir->i_nlink, retval);
3757 }
3758}
3759
3760static void ext4_update_dir_count(handle_t *handle, struct ext4_renament *ent)
3761{
3762 if (ent->dir_nlink_delta) {
3763 if (ent->dir_nlink_delta == -1)
Olivier Deprez157378f2022-04-04 15:47:50 +02003764 ext4_dec_count(ent->dir);
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00003765 else
Olivier Deprez157378f2022-04-04 15:47:50 +02003766 ext4_inc_count(ent->dir);
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00003767 ext4_mark_inode_dirty(handle, ent->dir);
3768 }
3769}
3770
3771static struct inode *ext4_whiteout_for_rename(struct ext4_renament *ent,
3772 int credits, handle_t **h)
3773{
3774 struct inode *wh;
3775 handle_t *handle;
3776 int retries = 0;
3777
3778 /*
3779 * for inode block, sb block, group summaries,
3780 * and inode bitmap
3781 */
3782 credits += (EXT4_MAXQUOTAS_TRANS_BLOCKS(ent->dir->i_sb) +
3783 EXT4_XATTR_TRANS_BLOCKS + 4);
3784retry:
3785 wh = ext4_new_inode_start_handle(ent->dir, S_IFCHR | WHITEOUT_MODE,
3786 &ent->dentry->d_name, 0, NULL,
3787 EXT4_HT_DIR, credits);
3788
3789 handle = ext4_journal_current_handle();
3790 if (IS_ERR(wh)) {
3791 if (handle)
3792 ext4_journal_stop(handle);
3793 if (PTR_ERR(wh) == -ENOSPC &&
3794 ext4_should_retry_alloc(ent->dir->i_sb, &retries))
3795 goto retry;
3796 } else {
3797 *h = handle;
3798 init_special_inode(wh, wh->i_mode, WHITEOUT_DEV);
3799 wh->i_op = &ext4_special_inode_operations;
3800 }
3801 return wh;
3802}
3803
3804/*
3805 * Anybody can rename anything with this: the permission checks are left to the
3806 * higher-level routines.
3807 *
3808 * n.b. old_{dentry,inode) refers to the source dentry/inode
3809 * while new_{dentry,inode) refers to the destination dentry/inode
3810 * This comes from rename(const char *oldpath, const char *newpath)
3811 */
3812static int ext4_rename(struct inode *old_dir, struct dentry *old_dentry,
3813 struct inode *new_dir, struct dentry *new_dentry,
3814 unsigned int flags)
3815{
3816 handle_t *handle = NULL;
3817 struct ext4_renament old = {
3818 .dir = old_dir,
3819 .dentry = old_dentry,
3820 .inode = d_inode(old_dentry),
3821 };
3822 struct ext4_renament new = {
3823 .dir = new_dir,
3824 .dentry = new_dentry,
3825 .inode = d_inode(new_dentry),
3826 };
3827 int force_reread;
3828 int retval;
3829 struct inode *whiteout = NULL;
3830 int credits;
3831 u8 old_file_type;
3832
3833 if (new.inode && new.inode->i_nlink == 0) {
3834 EXT4_ERROR_INODE(new.inode,
3835 "target of rename is already freed");
3836 return -EFSCORRUPTED;
3837 }
3838
3839 if ((ext4_test_inode_flag(new_dir, EXT4_INODE_PROJINHERIT)) &&
3840 (!projid_eq(EXT4_I(new_dir)->i_projid,
3841 EXT4_I(old_dentry->d_inode)->i_projid)))
3842 return -EXDEV;
3843
3844 retval = dquot_initialize(old.dir);
3845 if (retval)
3846 return retval;
3847 retval = dquot_initialize(new.dir);
3848 if (retval)
3849 return retval;
3850
3851 /* Initialize quotas before so that eventual writes go
3852 * in separate transaction */
3853 if (new.inode) {
3854 retval = dquot_initialize(new.inode);
3855 if (retval)
3856 return retval;
3857 }
3858
3859 old.bh = ext4_find_entry(old.dir, &old.dentry->d_name, &old.de, NULL);
3860 if (IS_ERR(old.bh))
3861 return PTR_ERR(old.bh);
3862 /*
3863 * Check for inode number is _not_ due to possible IO errors.
3864 * We might rmdir the source, keep it as pwd of some process
3865 * and merrily kill the link to whatever was created under the
3866 * same name. Goodbye sticky bit ;-<
3867 */
3868 retval = -ENOENT;
3869 if (!old.bh || le32_to_cpu(old.de->inode) != old.inode->i_ino)
Olivier Deprez0e641232021-09-23 10:07:05 +02003870 goto release_bh;
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00003871
3872 new.bh = ext4_find_entry(new.dir, &new.dentry->d_name,
3873 &new.de, &new.inlined);
3874 if (IS_ERR(new.bh)) {
3875 retval = PTR_ERR(new.bh);
3876 new.bh = NULL;
Olivier Deprez0e641232021-09-23 10:07:05 +02003877 goto release_bh;
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00003878 }
3879 if (new.bh) {
3880 if (!new.inode) {
3881 brelse(new.bh);
3882 new.bh = NULL;
3883 }
3884 }
3885 if (new.inode && !test_opt(new.dir->i_sb, NO_AUTO_DA_ALLOC))
3886 ext4_alloc_da_blocks(old.inode);
3887
3888 credits = (2 * EXT4_DATA_TRANS_BLOCKS(old.dir->i_sb) +
3889 EXT4_INDEX_EXTRA_TRANS_BLOCKS + 2);
3890 if (!(flags & RENAME_WHITEOUT)) {
3891 handle = ext4_journal_start(old.dir, EXT4_HT_DIR, credits);
3892 if (IS_ERR(handle)) {
3893 retval = PTR_ERR(handle);
Olivier Deprez0e641232021-09-23 10:07:05 +02003894 goto release_bh;
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00003895 }
3896 } else {
3897 whiteout = ext4_whiteout_for_rename(&old, credits, &handle);
3898 if (IS_ERR(whiteout)) {
3899 retval = PTR_ERR(whiteout);
Olivier Deprez0e641232021-09-23 10:07:05 +02003900 goto release_bh;
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00003901 }
3902 }
3903
Olivier Deprez0e641232021-09-23 10:07:05 +02003904 old_file_type = old.de->file_type;
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00003905 if (IS_DIRSYNC(old.dir) || IS_DIRSYNC(new.dir))
3906 ext4_handle_sync(handle);
3907
3908 if (S_ISDIR(old.inode->i_mode)) {
3909 if (new.inode) {
3910 retval = -ENOTEMPTY;
3911 if (!ext4_empty_dir(new.inode))
3912 goto end_rename;
3913 } else {
3914 retval = -EMLINK;
3915 if (new.dir != old.dir && EXT4_DIR_LINK_MAX(new.dir))
3916 goto end_rename;
3917 }
3918 retval = ext4_rename_dir_prepare(handle, &old);
3919 if (retval)
3920 goto end_rename;
3921 }
3922 /*
3923 * If we're renaming a file within an inline_data dir and adding or
3924 * setting the new dirent causes a conversion from inline_data to
3925 * extents/blockmap, we need to force the dirent delete code to
3926 * re-read the directory, or else we end up trying to delete a dirent
3927 * from what is now the extent tree root (or a block map).
3928 */
3929 force_reread = (new.dir->i_ino == old.dir->i_ino &&
3930 ext4_test_inode_flag(new.dir, EXT4_INODE_INLINE_DATA));
3931
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00003932 if (whiteout) {
3933 /*
3934 * Do this before adding a new entry, so the old entry is sure
3935 * to be still pointing to the valid old entry.
3936 */
3937 retval = ext4_setent(handle, &old, whiteout->i_ino,
3938 EXT4_FT_CHRDEV);
3939 if (retval)
3940 goto end_rename;
Olivier Deprez157378f2022-04-04 15:47:50 +02003941 retval = ext4_mark_inode_dirty(handle, whiteout);
3942 if (unlikely(retval))
3943 goto end_rename;
3944
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00003945 }
3946 if (!new.bh) {
3947 retval = ext4_add_entry(handle, new.dentry, old.inode);
3948 if (retval)
3949 goto end_rename;
3950 } else {
3951 retval = ext4_setent(handle, &new,
3952 old.inode->i_ino, old_file_type);
3953 if (retval)
3954 goto end_rename;
3955 }
3956 if (force_reread)
3957 force_reread = !ext4_test_inode_flag(new.dir,
3958 EXT4_INODE_INLINE_DATA);
3959
3960 /*
3961 * Like most other Unix systems, set the ctime for inodes on a
3962 * rename.
3963 */
3964 old.inode->i_ctime = current_time(old.inode);
Olivier Deprez157378f2022-04-04 15:47:50 +02003965 retval = ext4_mark_inode_dirty(handle, old.inode);
3966 if (unlikely(retval))
3967 goto end_rename;
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00003968
3969 if (!whiteout) {
3970 /*
3971 * ok, that's it
3972 */
3973 ext4_rename_delete(handle, &old, force_reread);
3974 }
3975
3976 if (new.inode) {
Olivier Deprez157378f2022-04-04 15:47:50 +02003977 ext4_dec_count(new.inode);
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00003978 new.inode->i_ctime = current_time(new.inode);
3979 }
3980 old.dir->i_ctime = old.dir->i_mtime = current_time(old.dir);
3981 ext4_update_dx_flag(old.dir);
3982 if (old.dir_bh) {
3983 retval = ext4_rename_dir_finish(handle, &old, new.dir->i_ino);
3984 if (retval)
3985 goto end_rename;
3986
Olivier Deprez157378f2022-04-04 15:47:50 +02003987 ext4_dec_count(old.dir);
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00003988 if (new.inode) {
3989 /* checked ext4_empty_dir above, can't have another
3990 * parent, ext4_dec_count() won't work for many-linked
3991 * dirs */
3992 clear_nlink(new.inode);
3993 } else {
Olivier Deprez157378f2022-04-04 15:47:50 +02003994 ext4_inc_count(new.dir);
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00003995 ext4_update_dx_flag(new.dir);
Olivier Deprez157378f2022-04-04 15:47:50 +02003996 retval = ext4_mark_inode_dirty(handle, new.dir);
3997 if (unlikely(retval))
3998 goto end_rename;
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00003999 }
4000 }
Olivier Deprez157378f2022-04-04 15:47:50 +02004001 retval = ext4_mark_inode_dirty(handle, old.dir);
4002 if (unlikely(retval))
4003 goto end_rename;
4004
4005 if (S_ISDIR(old.inode->i_mode)) {
4006 /*
4007 * We disable fast commits here that's because the
4008 * replay code is not yet capable of changing dot dot
4009 * dirents in directories.
4010 */
4011 ext4_fc_mark_ineligible(old.inode->i_sb,
4012 EXT4_FC_REASON_RENAME_DIR);
4013 } else {
4014 if (new.inode)
4015 ext4_fc_track_unlink(handle, new.dentry);
4016 __ext4_fc_track_link(handle, old.inode, new.dentry);
4017 __ext4_fc_track_unlink(handle, old.inode, old.dentry);
4018 if (whiteout)
4019 __ext4_fc_track_create(handle, whiteout, old.dentry);
4020 }
4021
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00004022 if (new.inode) {
Olivier Deprez157378f2022-04-04 15:47:50 +02004023 retval = ext4_mark_inode_dirty(handle, new.inode);
4024 if (unlikely(retval))
4025 goto end_rename;
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00004026 if (!new.inode->i_nlink)
4027 ext4_orphan_add(handle, new.inode);
4028 }
4029 retval = 0;
4030
4031end_rename:
Olivier Deprez0e641232021-09-23 10:07:05 +02004032 if (whiteout) {
4033 if (retval) {
4034 ext4_resetent(handle, &old,
4035 old.inode->i_ino, old_file_type);
4036 drop_nlink(whiteout);
4037 ext4_orphan_add(handle, whiteout);
4038 }
4039 unlock_new_inode(whiteout);
4040 ext4_journal_stop(handle);
4041 iput(whiteout);
4042 } else {
4043 ext4_journal_stop(handle);
4044 }
4045release_bh:
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00004046 brelse(old.dir_bh);
4047 brelse(old.bh);
4048 brelse(new.bh);
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00004049 return retval;
4050}
4051
4052static int ext4_cross_rename(struct inode *old_dir, struct dentry *old_dentry,
4053 struct inode *new_dir, struct dentry *new_dentry)
4054{
4055 handle_t *handle = NULL;
4056 struct ext4_renament old = {
4057 .dir = old_dir,
4058 .dentry = old_dentry,
4059 .inode = d_inode(old_dentry),
4060 };
4061 struct ext4_renament new = {
4062 .dir = new_dir,
4063 .dentry = new_dentry,
4064 .inode = d_inode(new_dentry),
4065 };
4066 u8 new_file_type;
4067 int retval;
4068 struct timespec64 ctime;
4069
4070 if ((ext4_test_inode_flag(new_dir, EXT4_INODE_PROJINHERIT) &&
4071 !projid_eq(EXT4_I(new_dir)->i_projid,
4072 EXT4_I(old_dentry->d_inode)->i_projid)) ||
4073 (ext4_test_inode_flag(old_dir, EXT4_INODE_PROJINHERIT) &&
4074 !projid_eq(EXT4_I(old_dir)->i_projid,
4075 EXT4_I(new_dentry->d_inode)->i_projid)))
4076 return -EXDEV;
4077
4078 retval = dquot_initialize(old.dir);
4079 if (retval)
4080 return retval;
4081 retval = dquot_initialize(new.dir);
4082 if (retval)
4083 return retval;
4084
4085 old.bh = ext4_find_entry(old.dir, &old.dentry->d_name,
4086 &old.de, &old.inlined);
4087 if (IS_ERR(old.bh))
4088 return PTR_ERR(old.bh);
4089 /*
4090 * Check for inode number is _not_ due to possible IO errors.
4091 * We might rmdir the source, keep it as pwd of some process
4092 * and merrily kill the link to whatever was created under the
4093 * same name. Goodbye sticky bit ;-<
4094 */
4095 retval = -ENOENT;
4096 if (!old.bh || le32_to_cpu(old.de->inode) != old.inode->i_ino)
4097 goto end_rename;
4098
4099 new.bh = ext4_find_entry(new.dir, &new.dentry->d_name,
4100 &new.de, &new.inlined);
4101 if (IS_ERR(new.bh)) {
4102 retval = PTR_ERR(new.bh);
4103 new.bh = NULL;
4104 goto end_rename;
4105 }
4106
4107 /* RENAME_EXCHANGE case: old *and* new must both exist */
4108 if (!new.bh || le32_to_cpu(new.de->inode) != new.inode->i_ino)
4109 goto end_rename;
4110
4111 handle = ext4_journal_start(old.dir, EXT4_HT_DIR,
4112 (2 * EXT4_DATA_TRANS_BLOCKS(old.dir->i_sb) +
4113 2 * EXT4_INDEX_EXTRA_TRANS_BLOCKS + 2));
4114 if (IS_ERR(handle)) {
4115 retval = PTR_ERR(handle);
4116 handle = NULL;
4117 goto end_rename;
4118 }
4119
4120 if (IS_DIRSYNC(old.dir) || IS_DIRSYNC(new.dir))
4121 ext4_handle_sync(handle);
4122
4123 if (S_ISDIR(old.inode->i_mode)) {
4124 old.is_dir = true;
4125 retval = ext4_rename_dir_prepare(handle, &old);
4126 if (retval)
4127 goto end_rename;
4128 }
4129 if (S_ISDIR(new.inode->i_mode)) {
4130 new.is_dir = true;
4131 retval = ext4_rename_dir_prepare(handle, &new);
4132 if (retval)
4133 goto end_rename;
4134 }
4135
4136 /*
4137 * Other than the special case of overwriting a directory, parents'
4138 * nlink only needs to be modified if this is a cross directory rename.
4139 */
4140 if (old.dir != new.dir && old.is_dir != new.is_dir) {
4141 old.dir_nlink_delta = old.is_dir ? -1 : 1;
4142 new.dir_nlink_delta = -old.dir_nlink_delta;
4143 retval = -EMLINK;
4144 if ((old.dir_nlink_delta > 0 && EXT4_DIR_LINK_MAX(old.dir)) ||
4145 (new.dir_nlink_delta > 0 && EXT4_DIR_LINK_MAX(new.dir)))
4146 goto end_rename;
4147 }
4148
4149 new_file_type = new.de->file_type;
4150 retval = ext4_setent(handle, &new, old.inode->i_ino, old.de->file_type);
4151 if (retval)
4152 goto end_rename;
4153
4154 retval = ext4_setent(handle, &old, new.inode->i_ino, new_file_type);
4155 if (retval)
4156 goto end_rename;
4157
4158 /*
4159 * Like most other Unix systems, set the ctime for inodes on a
4160 * rename.
4161 */
4162 ctime = current_time(old.inode);
4163 old.inode->i_ctime = ctime;
4164 new.inode->i_ctime = ctime;
Olivier Deprez157378f2022-04-04 15:47:50 +02004165 retval = ext4_mark_inode_dirty(handle, old.inode);
4166 if (unlikely(retval))
4167 goto end_rename;
4168 retval = ext4_mark_inode_dirty(handle, new.inode);
4169 if (unlikely(retval))
4170 goto end_rename;
4171 ext4_fc_mark_ineligible(new.inode->i_sb,
4172 EXT4_FC_REASON_CROSS_RENAME);
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00004173 if (old.dir_bh) {
4174 retval = ext4_rename_dir_finish(handle, &old, new.dir->i_ino);
4175 if (retval)
4176 goto end_rename;
4177 }
4178 if (new.dir_bh) {
4179 retval = ext4_rename_dir_finish(handle, &new, old.dir->i_ino);
4180 if (retval)
4181 goto end_rename;
4182 }
4183 ext4_update_dir_count(handle, &old);
4184 ext4_update_dir_count(handle, &new);
4185 retval = 0;
4186
4187end_rename:
4188 brelse(old.dir_bh);
4189 brelse(new.dir_bh);
4190 brelse(old.bh);
4191 brelse(new.bh);
4192 if (handle)
4193 ext4_journal_stop(handle);
4194 return retval;
4195}
4196
4197static int ext4_rename2(struct inode *old_dir, struct dentry *old_dentry,
4198 struct inode *new_dir, struct dentry *new_dentry,
4199 unsigned int flags)
4200{
4201 int err;
4202
4203 if (unlikely(ext4_forced_shutdown(EXT4_SB(old_dir->i_sb))))
4204 return -EIO;
4205
4206 if (flags & ~(RENAME_NOREPLACE | RENAME_EXCHANGE | RENAME_WHITEOUT))
4207 return -EINVAL;
4208
4209 err = fscrypt_prepare_rename(old_dir, old_dentry, new_dir, new_dentry,
4210 flags);
4211 if (err)
4212 return err;
4213
4214 if (flags & RENAME_EXCHANGE) {
4215 return ext4_cross_rename(old_dir, old_dentry,
4216 new_dir, new_dentry);
4217 }
4218
4219 return ext4_rename(old_dir, old_dentry, new_dir, new_dentry, flags);
4220}
4221
4222/*
4223 * directories can handle most operations...
4224 */
4225const struct inode_operations ext4_dir_inode_operations = {
4226 .create = ext4_create,
4227 .lookup = ext4_lookup,
4228 .link = ext4_link,
4229 .unlink = ext4_unlink,
4230 .symlink = ext4_symlink,
4231 .mkdir = ext4_mkdir,
4232 .rmdir = ext4_rmdir,
4233 .mknod = ext4_mknod,
4234 .tmpfile = ext4_tmpfile,
4235 .rename = ext4_rename2,
4236 .setattr = ext4_setattr,
4237 .getattr = ext4_getattr,
4238 .listxattr = ext4_listxattr,
4239 .get_acl = ext4_get_acl,
4240 .set_acl = ext4_set_acl,
4241 .fiemap = ext4_fiemap,
4242};
4243
4244const struct inode_operations ext4_special_inode_operations = {
4245 .setattr = ext4_setattr,
4246 .getattr = ext4_getattr,
4247 .listxattr = ext4_listxattr,
4248 .get_acl = ext4_get_acl,
4249 .set_acl = ext4_set_acl,
4250};