blob: f71de6c1ecf40f05c6a2d4e2b7231807e4d46d65 [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{
57 struct buffer_head *bh;
58 int err;
59
60 if (unlikely(EXT4_SB(inode->i_sb)->s_max_dir_size_kb &&
61 ((inode->i_size >> 10) >=
62 EXT4_SB(inode->i_sb)->s_max_dir_size_kb)))
63 return ERR_PTR(-ENOSPC);
64
65 *block = inode->i_size >> inode->i_sb->s_blocksize_bits;
66
67 bh = ext4_bread(handle, inode, *block, EXT4_GET_BLOCKS_CREATE);
68 if (IS_ERR(bh))
69 return bh;
70 inode->i_size += inode->i_sb->s_blocksize;
71 EXT4_I(inode)->i_disksize = inode->i_size;
72 BUFFER_TRACE(bh, "get_write_access");
73 err = ext4_journal_get_write_access(handle, bh);
74 if (err) {
75 brelse(bh);
76 ext4_std_error(inode->i_sb, err);
77 return ERR_PTR(err);
78 }
79 return bh;
80}
81
82static int ext4_dx_csum_verify(struct inode *inode,
83 struct ext4_dir_entry *dirent);
84
David Brazdil0f672f62019-12-10 10:32:29 +000085/*
86 * Hints to ext4_read_dirblock regarding whether we expect a directory
87 * block being read to be an index block, or a block containing
88 * directory entries (and if the latter, whether it was found via a
89 * logical block in an htree index block). This is used to control
90 * what sort of sanity checkinig ext4_read_dirblock() will do on the
91 * directory block read from the storage device. EITHER will means
92 * the caller doesn't know what kind of directory block will be read,
93 * so no specific verification will be done.
94 */
Andrew Scullb4b6d4a2019-01-02 15:54:55 +000095typedef enum {
David Brazdil0f672f62019-12-10 10:32:29 +000096 EITHER, INDEX, DIRENT, DIRENT_HTREE
Andrew Scullb4b6d4a2019-01-02 15:54:55 +000097} dirblock_type_t;
98
99#define ext4_read_dirblock(inode, block, type) \
100 __ext4_read_dirblock((inode), (block), (type), __func__, __LINE__)
101
102static struct buffer_head *__ext4_read_dirblock(struct inode *inode,
103 ext4_lblk_t block,
104 dirblock_type_t type,
105 const char *func,
106 unsigned int line)
107{
108 struct buffer_head *bh;
109 struct ext4_dir_entry *dirent;
110 int is_dx_block = 0;
111
Olivier Deprez157378f2022-04-04 15:47:50 +0200112 if (ext4_simulate_fail(inode->i_sb, EXT4_SIM_DIRBLOCK_EIO))
113 bh = ERR_PTR(-EIO);
114 else
115 bh = ext4_bread(NULL, inode, block, 0);
Andrew Scullb4b6d4a2019-01-02 15:54:55 +0000116 if (IS_ERR(bh)) {
117 __ext4_warning(inode->i_sb, func, line,
118 "inode #%lu: lblock %lu: comm %s: "
119 "error %ld reading directory block",
120 inode->i_ino, (unsigned long)block,
121 current->comm, PTR_ERR(bh));
122
123 return bh;
124 }
David Brazdil0f672f62019-12-10 10:32:29 +0000125 if (!bh && (type == INDEX || type == DIRENT_HTREE)) {
Andrew Scullb4b6d4a2019-01-02 15:54:55 +0000126 ext4_error_inode(inode, func, line, block,
David Brazdil0f672f62019-12-10 10:32:29 +0000127 "Directory hole found for htree %s block",
128 (type == INDEX) ? "index" : "leaf");
Andrew Scullb4b6d4a2019-01-02 15:54:55 +0000129 return ERR_PTR(-EFSCORRUPTED);
130 }
David Brazdil0f672f62019-12-10 10:32:29 +0000131 if (!bh)
132 return NULL;
Andrew Scullb4b6d4a2019-01-02 15:54:55 +0000133 dirent = (struct ext4_dir_entry *) bh->b_data;
134 /* Determine whether or not we have an index block */
135 if (is_dx(inode)) {
136 if (block == 0)
137 is_dx_block = 1;
138 else if (ext4_rec_len_from_disk(dirent->rec_len,
139 inode->i_sb->s_blocksize) ==
140 inode->i_sb->s_blocksize)
141 is_dx_block = 1;
142 }
143 if (!is_dx_block && type == INDEX) {
144 ext4_error_inode(inode, func, line, block,
145 "directory leaf block found instead of index block");
146 brelse(bh);
147 return ERR_PTR(-EFSCORRUPTED);
148 }
149 if (!ext4_has_metadata_csum(inode->i_sb) ||
150 buffer_verified(bh))
151 return bh;
152
153 /*
154 * An empty leaf block can get mistaken for a index block; for
155 * this reason, we can only check the index checksum when the
156 * caller is sure it should be an index block.
157 */
158 if (is_dx_block && type == INDEX) {
Olivier Deprez157378f2022-04-04 15:47:50 +0200159 if (ext4_dx_csum_verify(inode, dirent) &&
160 !ext4_simulate_fail(inode->i_sb, EXT4_SIM_DIRBLOCK_CRC))
Andrew Scullb4b6d4a2019-01-02 15:54:55 +0000161 set_buffer_verified(bh);
162 else {
Olivier Deprez157378f2022-04-04 15:47:50 +0200163 ext4_error_inode_err(inode, func, line, block,
164 EFSBADCRC,
165 "Directory index failed checksum");
Andrew Scullb4b6d4a2019-01-02 15:54:55 +0000166 brelse(bh);
167 return ERR_PTR(-EFSBADCRC);
168 }
169 }
170 if (!is_dx_block) {
Olivier Deprez157378f2022-04-04 15:47:50 +0200171 if (ext4_dirblock_csum_verify(inode, bh) &&
172 !ext4_simulate_fail(inode->i_sb, EXT4_SIM_DIRBLOCK_CRC))
Andrew Scullb4b6d4a2019-01-02 15:54:55 +0000173 set_buffer_verified(bh);
174 else {
Olivier Deprez157378f2022-04-04 15:47:50 +0200175 ext4_error_inode_err(inode, func, line, block,
176 EFSBADCRC,
177 "Directory block failed checksum");
Andrew Scullb4b6d4a2019-01-02 15:54:55 +0000178 brelse(bh);
179 return ERR_PTR(-EFSBADCRC);
180 }
181 }
182 return bh;
183}
184
185#ifndef assert
186#define assert(test) J_ASSERT(test)
187#endif
188
189#ifdef DX_DEBUG
190#define dxtrace(command) command
191#else
192#define dxtrace(command)
193#endif
194
195struct fake_dirent
196{
197 __le32 inode;
198 __le16 rec_len;
199 u8 name_len;
200 u8 file_type;
201};
202
203struct dx_countlimit
204{
205 __le16 limit;
206 __le16 count;
207};
208
209struct dx_entry
210{
211 __le32 hash;
212 __le32 block;
213};
214
215/*
216 * dx_root_info is laid out so that if it should somehow get overlaid by a
217 * dirent the two low bits of the hash version will be zero. Therefore, the
218 * hash version mod 4 should never be 0. Sincerely, the paranoia department.
219 */
220
221struct dx_root
222{
223 struct fake_dirent dot;
224 char dot_name[4];
225 struct fake_dirent dotdot;
226 char dotdot_name[4];
227 struct dx_root_info
228 {
229 __le32 reserved_zero;
230 u8 hash_version;
231 u8 info_length; /* 8 */
232 u8 indirect_levels;
233 u8 unused_flags;
234 }
235 info;
Olivier Deprez157378f2022-04-04 15:47:50 +0200236 struct dx_entry entries[];
Andrew Scullb4b6d4a2019-01-02 15:54:55 +0000237};
238
239struct dx_node
240{
241 struct fake_dirent fake;
Olivier Deprez157378f2022-04-04 15:47:50 +0200242 struct dx_entry entries[];
Andrew Scullb4b6d4a2019-01-02 15:54:55 +0000243};
244
245
246struct dx_frame
247{
248 struct buffer_head *bh;
249 struct dx_entry *entries;
250 struct dx_entry *at;
251};
252
253struct dx_map_entry
254{
255 u32 hash;
256 u16 offs;
257 u16 size;
258};
259
260/*
261 * This goes at the end of each htree block.
262 */
263struct dx_tail {
264 u32 dt_reserved;
265 __le32 dt_checksum; /* crc32c(uuid+inum+dirblock) */
266};
267
268static inline ext4_lblk_t dx_get_block(struct dx_entry *entry);
269static void dx_set_block(struct dx_entry *entry, ext4_lblk_t value);
270static inline unsigned dx_get_hash(struct dx_entry *entry);
271static void dx_set_hash(struct dx_entry *entry, unsigned value);
272static unsigned dx_get_count(struct dx_entry *entries);
273static unsigned dx_get_limit(struct dx_entry *entries);
274static void dx_set_count(struct dx_entry *entries, unsigned value);
275static void dx_set_limit(struct dx_entry *entries, unsigned value);
276static unsigned dx_root_limit(struct inode *dir, unsigned infosize);
277static unsigned dx_node_limit(struct inode *dir);
278static struct dx_frame *dx_probe(struct ext4_filename *fname,
279 struct inode *dir,
280 struct dx_hash_info *hinfo,
281 struct dx_frame *frame);
282static void dx_release(struct dx_frame *frames);
283static int dx_make_map(struct inode *dir, struct ext4_dir_entry_2 *de,
284 unsigned blocksize, struct dx_hash_info *hinfo,
285 struct dx_map_entry map[]);
286static void dx_sort_map(struct dx_map_entry *map, unsigned count);
287static struct ext4_dir_entry_2 *dx_move_dirents(char *from, char *to,
288 struct dx_map_entry *offsets, int count, unsigned blocksize);
289static struct ext4_dir_entry_2* dx_pack_dirents(char *base, unsigned blocksize);
290static void dx_insert_block(struct dx_frame *frame,
291 u32 hash, ext4_lblk_t block);
292static int ext4_htree_next_block(struct inode *dir, __u32 hash,
293 struct dx_frame *frame,
294 struct dx_frame *frames,
295 __u32 *start_hash);
296static struct buffer_head * ext4_dx_find_entry(struct inode *dir,
297 struct ext4_filename *fname,
298 struct ext4_dir_entry_2 **res_dir);
299static int ext4_dx_add_entry(handle_t *handle, struct ext4_filename *fname,
300 struct inode *dir, struct inode *inode);
301
302/* checksumming functions */
David Brazdil0f672f62019-12-10 10:32:29 +0000303void ext4_initialize_dirent_tail(struct buffer_head *bh,
304 unsigned int blocksize)
Andrew Scullb4b6d4a2019-01-02 15:54:55 +0000305{
David Brazdil0f672f62019-12-10 10:32:29 +0000306 struct ext4_dir_entry_tail *t = EXT4_DIRENT_TAIL(bh->b_data, blocksize);
307
Andrew Scullb4b6d4a2019-01-02 15:54:55 +0000308 memset(t, 0, sizeof(struct ext4_dir_entry_tail));
309 t->det_rec_len = ext4_rec_len_to_disk(
310 sizeof(struct ext4_dir_entry_tail), blocksize);
311 t->det_reserved_ft = EXT4_FT_DIR_CSUM;
312}
313
314/* Walk through a dirent block to find a checksum "dirent" at the tail */
315static struct ext4_dir_entry_tail *get_dirent_tail(struct inode *inode,
David Brazdil0f672f62019-12-10 10:32:29 +0000316 struct buffer_head *bh)
Andrew Scullb4b6d4a2019-01-02 15:54:55 +0000317{
318 struct ext4_dir_entry_tail *t;
319
320#ifdef PARANOID
321 struct ext4_dir_entry *d, *top;
322
David Brazdil0f672f62019-12-10 10:32:29 +0000323 d = (struct ext4_dir_entry *)bh->b_data;
324 top = (struct ext4_dir_entry *)(bh->b_data +
Andrew Scullb4b6d4a2019-01-02 15:54:55 +0000325 (EXT4_BLOCK_SIZE(inode->i_sb) -
David Brazdil0f672f62019-12-10 10:32:29 +0000326 sizeof(struct ext4_dir_entry_tail)));
Andrew Scullb4b6d4a2019-01-02 15:54:55 +0000327 while (d < top && d->rec_len)
328 d = (struct ext4_dir_entry *)(((void *)d) +
329 le16_to_cpu(d->rec_len));
330
331 if (d != top)
332 return NULL;
333
334 t = (struct ext4_dir_entry_tail *)d;
335#else
David Brazdil0f672f62019-12-10 10:32:29 +0000336 t = EXT4_DIRENT_TAIL(bh->b_data, EXT4_BLOCK_SIZE(inode->i_sb));
Andrew Scullb4b6d4a2019-01-02 15:54:55 +0000337#endif
338
339 if (t->det_reserved_zero1 ||
340 le16_to_cpu(t->det_rec_len) != sizeof(struct ext4_dir_entry_tail) ||
341 t->det_reserved_zero2 ||
342 t->det_reserved_ft != EXT4_FT_DIR_CSUM)
343 return NULL;
344
345 return t;
346}
347
David Brazdil0f672f62019-12-10 10:32:29 +0000348static __le32 ext4_dirblock_csum(struct inode *inode, void *dirent, int size)
Andrew Scullb4b6d4a2019-01-02 15:54:55 +0000349{
350 struct ext4_sb_info *sbi = EXT4_SB(inode->i_sb);
351 struct ext4_inode_info *ei = EXT4_I(inode);
352 __u32 csum;
353
354 csum = ext4_chksum(sbi, ei->i_csum_seed, (__u8 *)dirent, size);
355 return cpu_to_le32(csum);
356}
357
358#define warn_no_space_for_csum(inode) \
359 __warn_no_space_for_csum((inode), __func__, __LINE__)
360
361static void __warn_no_space_for_csum(struct inode *inode, const char *func,
362 unsigned int line)
363{
364 __ext4_warning_inode(inode, func, line,
365 "No space for directory leaf checksum. Please run e2fsck -D.");
366}
367
David Brazdil0f672f62019-12-10 10:32:29 +0000368int ext4_dirblock_csum_verify(struct inode *inode, struct buffer_head *bh)
Andrew Scullb4b6d4a2019-01-02 15:54:55 +0000369{
370 struct ext4_dir_entry_tail *t;
371
372 if (!ext4_has_metadata_csum(inode->i_sb))
373 return 1;
374
David Brazdil0f672f62019-12-10 10:32:29 +0000375 t = get_dirent_tail(inode, bh);
Andrew Scullb4b6d4a2019-01-02 15:54:55 +0000376 if (!t) {
377 warn_no_space_for_csum(inode);
378 return 0;
379 }
380
David Brazdil0f672f62019-12-10 10:32:29 +0000381 if (t->det_checksum != ext4_dirblock_csum(inode, bh->b_data,
382 (char *)t - bh->b_data))
Andrew Scullb4b6d4a2019-01-02 15:54:55 +0000383 return 0;
384
385 return 1;
386}
387
David Brazdil0f672f62019-12-10 10:32:29 +0000388static void ext4_dirblock_csum_set(struct inode *inode,
389 struct buffer_head *bh)
Andrew Scullb4b6d4a2019-01-02 15:54:55 +0000390{
391 struct ext4_dir_entry_tail *t;
392
393 if (!ext4_has_metadata_csum(inode->i_sb))
394 return;
395
David Brazdil0f672f62019-12-10 10:32:29 +0000396 t = get_dirent_tail(inode, bh);
Andrew Scullb4b6d4a2019-01-02 15:54:55 +0000397 if (!t) {
398 warn_no_space_for_csum(inode);
399 return;
400 }
401
David Brazdil0f672f62019-12-10 10:32:29 +0000402 t->det_checksum = ext4_dirblock_csum(inode, bh->b_data,
403 (char *)t - bh->b_data);
Andrew Scullb4b6d4a2019-01-02 15:54:55 +0000404}
405
David Brazdil0f672f62019-12-10 10:32:29 +0000406int ext4_handle_dirty_dirblock(handle_t *handle,
407 struct inode *inode,
408 struct buffer_head *bh)
Andrew Scullb4b6d4a2019-01-02 15:54:55 +0000409{
David Brazdil0f672f62019-12-10 10:32:29 +0000410 ext4_dirblock_csum_set(inode, bh);
Andrew Scullb4b6d4a2019-01-02 15:54:55 +0000411 return ext4_handle_dirty_metadata(handle, inode, bh);
412}
413
414static struct dx_countlimit *get_dx_countlimit(struct inode *inode,
415 struct ext4_dir_entry *dirent,
416 int *offset)
417{
418 struct ext4_dir_entry *dp;
419 struct dx_root_info *root;
420 int count_offset;
421
422 if (le16_to_cpu(dirent->rec_len) == EXT4_BLOCK_SIZE(inode->i_sb))
423 count_offset = 8;
424 else if (le16_to_cpu(dirent->rec_len) == 12) {
425 dp = (struct ext4_dir_entry *)(((void *)dirent) + 12);
426 if (le16_to_cpu(dp->rec_len) !=
427 EXT4_BLOCK_SIZE(inode->i_sb) - 12)
428 return NULL;
429 root = (struct dx_root_info *)(((void *)dp + 12));
430 if (root->reserved_zero ||
431 root->info_length != sizeof(struct dx_root_info))
432 return NULL;
433 count_offset = 32;
434 } else
435 return NULL;
436
437 if (offset)
438 *offset = count_offset;
439 return (struct dx_countlimit *)(((void *)dirent) + count_offset);
440}
441
442static __le32 ext4_dx_csum(struct inode *inode, struct ext4_dir_entry *dirent,
443 int count_offset, int count, struct dx_tail *t)
444{
445 struct ext4_sb_info *sbi = EXT4_SB(inode->i_sb);
446 struct ext4_inode_info *ei = EXT4_I(inode);
447 __u32 csum;
448 int size;
449 __u32 dummy_csum = 0;
450 int offset = offsetof(struct dx_tail, dt_checksum);
451
452 size = count_offset + (count * sizeof(struct dx_entry));
453 csum = ext4_chksum(sbi, ei->i_csum_seed, (__u8 *)dirent, size);
454 csum = ext4_chksum(sbi, csum, (__u8 *)t, offset);
455 csum = ext4_chksum(sbi, csum, (__u8 *)&dummy_csum, sizeof(dummy_csum));
456
457 return cpu_to_le32(csum);
458}
459
460static int ext4_dx_csum_verify(struct inode *inode,
461 struct ext4_dir_entry *dirent)
462{
463 struct dx_countlimit *c;
464 struct dx_tail *t;
465 int count_offset, limit, count;
466
467 if (!ext4_has_metadata_csum(inode->i_sb))
468 return 1;
469
470 c = get_dx_countlimit(inode, dirent, &count_offset);
471 if (!c) {
472 EXT4_ERROR_INODE(inode, "dir seems corrupt? Run e2fsck -D.");
473 return 0;
474 }
475 limit = le16_to_cpu(c->limit);
476 count = le16_to_cpu(c->count);
477 if (count_offset + (limit * sizeof(struct dx_entry)) >
478 EXT4_BLOCK_SIZE(inode->i_sb) - sizeof(struct dx_tail)) {
479 warn_no_space_for_csum(inode);
480 return 0;
481 }
482 t = (struct dx_tail *)(((struct dx_entry *)c) + limit);
483
484 if (t->dt_checksum != ext4_dx_csum(inode, dirent, count_offset,
485 count, t))
486 return 0;
487 return 1;
488}
489
490static void ext4_dx_csum_set(struct inode *inode, struct ext4_dir_entry *dirent)
491{
492 struct dx_countlimit *c;
493 struct dx_tail *t;
494 int count_offset, limit, count;
495
496 if (!ext4_has_metadata_csum(inode->i_sb))
497 return;
498
499 c = get_dx_countlimit(inode, dirent, &count_offset);
500 if (!c) {
501 EXT4_ERROR_INODE(inode, "dir seems corrupt? Run e2fsck -D.");
502 return;
503 }
504 limit = le16_to_cpu(c->limit);
505 count = le16_to_cpu(c->count);
506 if (count_offset + (limit * sizeof(struct dx_entry)) >
507 EXT4_BLOCK_SIZE(inode->i_sb) - sizeof(struct dx_tail)) {
508 warn_no_space_for_csum(inode);
509 return;
510 }
511 t = (struct dx_tail *)(((struct dx_entry *)c) + limit);
512
513 t->dt_checksum = ext4_dx_csum(inode, dirent, count_offset, count, t);
514}
515
516static inline int ext4_handle_dirty_dx_node(handle_t *handle,
517 struct inode *inode,
518 struct buffer_head *bh)
519{
520 ext4_dx_csum_set(inode, (struct ext4_dir_entry *)bh->b_data);
521 return ext4_handle_dirty_metadata(handle, inode, bh);
522}
523
524/*
525 * p is at least 6 bytes before the end of page
526 */
527static inline struct ext4_dir_entry_2 *
528ext4_next_entry(struct ext4_dir_entry_2 *p, unsigned long blocksize)
529{
530 return (struct ext4_dir_entry_2 *)((char *)p +
531 ext4_rec_len_from_disk(p->rec_len, blocksize));
532}
533
534/*
535 * Future: use high four bits of block for coalesce-on-delete flags
536 * Mask them off for now.
537 */
538
539static inline ext4_lblk_t dx_get_block(struct dx_entry *entry)
540{
541 return le32_to_cpu(entry->block) & 0x0fffffff;
542}
543
544static inline void dx_set_block(struct dx_entry *entry, ext4_lblk_t value)
545{
546 entry->block = cpu_to_le32(value);
547}
548
549static inline unsigned dx_get_hash(struct dx_entry *entry)
550{
551 return le32_to_cpu(entry->hash);
552}
553
554static inline void dx_set_hash(struct dx_entry *entry, unsigned value)
555{
556 entry->hash = cpu_to_le32(value);
557}
558
559static inline unsigned dx_get_count(struct dx_entry *entries)
560{
561 return le16_to_cpu(((struct dx_countlimit *) entries)->count);
562}
563
564static inline unsigned dx_get_limit(struct dx_entry *entries)
565{
566 return le16_to_cpu(((struct dx_countlimit *) entries)->limit);
567}
568
569static inline void dx_set_count(struct dx_entry *entries, unsigned value)
570{
571 ((struct dx_countlimit *) entries)->count = cpu_to_le16(value);
572}
573
574static inline void dx_set_limit(struct dx_entry *entries, unsigned value)
575{
576 ((struct dx_countlimit *) entries)->limit = cpu_to_le16(value);
577}
578
579static inline unsigned dx_root_limit(struct inode *dir, unsigned infosize)
580{
581 unsigned entry_space = dir->i_sb->s_blocksize - EXT4_DIR_REC_LEN(1) -
582 EXT4_DIR_REC_LEN(2) - infosize;
583
584 if (ext4_has_metadata_csum(dir->i_sb))
585 entry_space -= sizeof(struct dx_tail);
586 return entry_space / sizeof(struct dx_entry);
587}
588
589static inline unsigned dx_node_limit(struct inode *dir)
590{
591 unsigned entry_space = dir->i_sb->s_blocksize - EXT4_DIR_REC_LEN(0);
592
593 if (ext4_has_metadata_csum(dir->i_sb))
594 entry_space -= sizeof(struct dx_tail);
595 return entry_space / sizeof(struct dx_entry);
596}
597
598/*
599 * Debug
600 */
601#ifdef DX_DEBUG
602static void dx_show_index(char * label, struct dx_entry *entries)
603{
604 int i, n = dx_get_count (entries);
605 printk(KERN_DEBUG "%s index", label);
606 for (i = 0; i < n; i++) {
607 printk(KERN_CONT " %x->%lu",
608 i ? dx_get_hash(entries + i) : 0,
609 (unsigned long)dx_get_block(entries + i));
610 }
611 printk(KERN_CONT "\n");
612}
613
614struct stats
615{
616 unsigned names;
617 unsigned space;
618 unsigned bcount;
619};
620
621static struct stats dx_show_leaf(struct inode *dir,
622 struct dx_hash_info *hinfo,
623 struct ext4_dir_entry_2 *de,
624 int size, int show_names)
625{
626 unsigned names = 0, space = 0;
627 char *base = (char *) de;
628 struct dx_hash_info h = *hinfo;
629
630 printk("names: ");
631 while ((char *) de < base + size)
632 {
633 if (de->inode)
634 {
635 if (show_names)
636 {
David Brazdil0f672f62019-12-10 10:32:29 +0000637#ifdef CONFIG_FS_ENCRYPTION
Andrew Scullb4b6d4a2019-01-02 15:54:55 +0000638 int len;
639 char *name;
640 struct fscrypt_str fname_crypto_str =
641 FSTR_INIT(NULL, 0);
642 int res = 0;
643
644 name = de->name;
645 len = de->name_len;
David Brazdil0f672f62019-12-10 10:32:29 +0000646 if (IS_ENCRYPTED(dir))
Andrew Scullb4b6d4a2019-01-02 15:54:55 +0000647 res = fscrypt_get_encryption_info(dir);
648 if (res) {
649 printk(KERN_WARNING "Error setting up"
650 " fname crypto: %d\n", res);
651 }
652 if (!fscrypt_has_encryption_key(dir)) {
653 /* Directory is not encrypted */
David Brazdil0f672f62019-12-10 10:32:29 +0000654 ext4fs_dirhash(dir, de->name,
Andrew Scullb4b6d4a2019-01-02 15:54:55 +0000655 de->name_len, &h);
656 printk("%*.s:(U)%x.%u ", len,
657 name, h.hash,
658 (unsigned) ((char *) de
659 - base));
660 } else {
661 struct fscrypt_str de_name =
662 FSTR_INIT(name, len);
663
664 /* Directory is encrypted */
665 res = fscrypt_fname_alloc_buffer(
Olivier Deprez157378f2022-04-04 15:47:50 +0200666 len, &fname_crypto_str);
Andrew Scullb4b6d4a2019-01-02 15:54:55 +0000667 if (res)
668 printk(KERN_WARNING "Error "
669 "allocating crypto "
670 "buffer--skipping "
671 "crypto\n");
672 res = fscrypt_fname_disk_to_usr(dir,
673 0, 0, &de_name,
674 &fname_crypto_str);
675 if (res) {
676 printk(KERN_WARNING "Error "
677 "converting filename "
678 "from disk to usr"
679 "\n");
680 name = "??";
681 len = 2;
682 } else {
683 name = fname_crypto_str.name;
684 len = fname_crypto_str.len;
685 }
David Brazdil0f672f62019-12-10 10:32:29 +0000686 ext4fs_dirhash(dir, de->name,
687 de->name_len, &h);
Andrew Scullb4b6d4a2019-01-02 15:54:55 +0000688 printk("%*.s:(E)%x.%u ", len, name,
689 h.hash, (unsigned) ((char *) de
690 - base));
691 fscrypt_fname_free_buffer(
692 &fname_crypto_str);
693 }
694#else
695 int len = de->name_len;
696 char *name = de->name;
David Brazdil0f672f62019-12-10 10:32:29 +0000697 ext4fs_dirhash(dir, de->name, de->name_len, &h);
Andrew Scullb4b6d4a2019-01-02 15:54:55 +0000698 printk("%*.s:%x.%u ", len, name, h.hash,
699 (unsigned) ((char *) de - base));
700#endif
701 }
702 space += EXT4_DIR_REC_LEN(de->name_len);
703 names++;
704 }
705 de = ext4_next_entry(de, size);
706 }
707 printk(KERN_CONT "(%i)\n", names);
708 return (struct stats) { names, space, 1 };
709}
710
711struct stats dx_show_entries(struct dx_hash_info *hinfo, struct inode *dir,
712 struct dx_entry *entries, int levels)
713{
714 unsigned blocksize = dir->i_sb->s_blocksize;
715 unsigned count = dx_get_count(entries), names = 0, space = 0, i;
716 unsigned bcount = 0;
717 struct buffer_head *bh;
718 printk("%i indexed blocks...\n", count);
719 for (i = 0; i < count; i++, entries++)
720 {
721 ext4_lblk_t block = dx_get_block(entries);
722 ext4_lblk_t hash = i ? dx_get_hash(entries): 0;
723 u32 range = i < count - 1? (dx_get_hash(entries + 1) - hash): ~hash;
724 struct stats stats;
725 printk("%s%3u:%03u hash %8x/%8x ",levels?"":" ", i, block, hash, range);
726 bh = ext4_bread(NULL,dir, block, 0);
727 if (!bh || IS_ERR(bh))
728 continue;
729 stats = levels?
730 dx_show_entries(hinfo, dir, ((struct dx_node *) bh->b_data)->entries, levels - 1):
731 dx_show_leaf(dir, hinfo, (struct ext4_dir_entry_2 *)
732 bh->b_data, blocksize, 0);
733 names += stats.names;
734 space += stats.space;
735 bcount += stats.bcount;
736 brelse(bh);
737 }
738 if (bcount)
739 printk(KERN_DEBUG "%snames %u, fullness %u (%u%%)\n",
740 levels ? "" : " ", names, space/bcount,
741 (space/bcount)*100/blocksize);
742 return (struct stats) { names, space, bcount};
743}
744#endif /* DX_DEBUG */
745
746/*
747 * Probe for a directory leaf block to search.
748 *
749 * dx_probe can return ERR_BAD_DX_DIR, which means there was a format
750 * error in the directory index, and the caller should fall back to
751 * searching the directory normally. The callers of dx_probe **MUST**
752 * check for this error code, and make sure it never gets reflected
753 * back to userspace.
754 */
755static struct dx_frame *
756dx_probe(struct ext4_filename *fname, struct inode *dir,
757 struct dx_hash_info *hinfo, struct dx_frame *frame_in)
758{
759 unsigned count, indirect;
760 struct dx_entry *at, *entries, *p, *q, *m;
761 struct dx_root *root;
762 struct dx_frame *frame = frame_in;
763 struct dx_frame *ret_err = ERR_PTR(ERR_BAD_DX_DIR);
764 u32 hash;
765
766 memset(frame_in, 0, EXT4_HTREE_LEVEL * sizeof(frame_in[0]));
767 frame->bh = ext4_read_dirblock(dir, 0, INDEX);
768 if (IS_ERR(frame->bh))
769 return (struct dx_frame *) frame->bh;
770
771 root = (struct dx_root *) frame->bh->b_data;
772 if (root->info.hash_version != DX_HASH_TEA &&
773 root->info.hash_version != DX_HASH_HALF_MD4 &&
774 root->info.hash_version != DX_HASH_LEGACY) {
775 ext4_warning_inode(dir, "Unrecognised inode hash code %u",
776 root->info.hash_version);
777 goto fail;
778 }
779 if (fname)
780 hinfo = &fname->hinfo;
781 hinfo->hash_version = root->info.hash_version;
782 if (hinfo->hash_version <= DX_HASH_TEA)
783 hinfo->hash_version += EXT4_SB(dir->i_sb)->s_hash_unsigned;
784 hinfo->seed = EXT4_SB(dir->i_sb)->s_hash_seed;
785 if (fname && fname_name(fname))
David Brazdil0f672f62019-12-10 10:32:29 +0000786 ext4fs_dirhash(dir, fname_name(fname), fname_len(fname), hinfo);
Andrew Scullb4b6d4a2019-01-02 15:54:55 +0000787 hash = hinfo->hash;
788
789 if (root->info.unused_flags & 1) {
790 ext4_warning_inode(dir, "Unimplemented hash flags: %#06x",
791 root->info.unused_flags);
792 goto fail;
793 }
794
795 indirect = root->info.indirect_levels;
796 if (indirect >= ext4_dir_htree_level(dir->i_sb)) {
797 ext4_warning(dir->i_sb,
798 "Directory (ino: %lu) htree depth %#06x exceed"
799 "supported value", dir->i_ino,
800 ext4_dir_htree_level(dir->i_sb));
801 if (ext4_dir_htree_level(dir->i_sb) < EXT4_HTREE_LEVEL) {
802 ext4_warning(dir->i_sb, "Enable large directory "
803 "feature to access it");
804 }
805 goto fail;
806 }
807
808 entries = (struct dx_entry *)(((char *)&root->info) +
809 root->info.info_length);
810
811 if (dx_get_limit(entries) != dx_root_limit(dir,
812 root->info.info_length)) {
813 ext4_warning_inode(dir, "dx entry: limit %u != root limit %u",
814 dx_get_limit(entries),
815 dx_root_limit(dir, root->info.info_length));
816 goto fail;
817 }
818
819 dxtrace(printk("Look up %x", hash));
820 while (1) {
821 count = dx_get_count(entries);
822 if (!count || count > dx_get_limit(entries)) {
823 ext4_warning_inode(dir,
824 "dx entry: count %u beyond limit %u",
825 count, dx_get_limit(entries));
826 goto fail;
827 }
828
829 p = entries + 1;
830 q = entries + count - 1;
831 while (p <= q) {
832 m = p + (q - p) / 2;
833 dxtrace(printk(KERN_CONT "."));
834 if (dx_get_hash(m) > hash)
835 q = m - 1;
836 else
837 p = m + 1;
838 }
839
840 if (0) { // linear search cross check
841 unsigned n = count - 1;
842 at = entries;
843 while (n--)
844 {
845 dxtrace(printk(KERN_CONT ","));
846 if (dx_get_hash(++at) > hash)
847 {
848 at--;
849 break;
850 }
851 }
852 assert (at == p - 1);
853 }
854
855 at = p - 1;
856 dxtrace(printk(KERN_CONT " %x->%u\n",
857 at == entries ? 0 : dx_get_hash(at),
858 dx_get_block(at)));
859 frame->entries = entries;
860 frame->at = at;
861 if (!indirect--)
862 return frame;
863 frame++;
864 frame->bh = ext4_read_dirblock(dir, dx_get_block(at), INDEX);
865 if (IS_ERR(frame->bh)) {
866 ret_err = (struct dx_frame *) frame->bh;
867 frame->bh = NULL;
868 goto fail;
869 }
870 entries = ((struct dx_node *) frame->bh->b_data)->entries;
871
872 if (dx_get_limit(entries) != dx_node_limit(dir)) {
873 ext4_warning_inode(dir,
874 "dx entry: limit %u != node limit %u",
875 dx_get_limit(entries), dx_node_limit(dir));
876 goto fail;
877 }
878 }
879fail:
880 while (frame >= frame_in) {
881 brelse(frame->bh);
882 frame--;
883 }
884
885 if (ret_err == ERR_PTR(ERR_BAD_DX_DIR))
886 ext4_warning_inode(dir,
887 "Corrupt directory, running e2fsck is recommended");
888 return ret_err;
889}
890
891static void dx_release(struct dx_frame *frames)
892{
893 struct dx_root_info *info;
894 int i;
David Brazdil0f672f62019-12-10 10:32:29 +0000895 unsigned int indirect_levels;
Andrew Scullb4b6d4a2019-01-02 15:54:55 +0000896
897 if (frames[0].bh == NULL)
898 return;
899
900 info = &((struct dx_root *)frames[0].bh->b_data)->info;
David Brazdil0f672f62019-12-10 10:32:29 +0000901 /* save local copy, "info" may be freed after brelse() */
902 indirect_levels = info->indirect_levels;
903 for (i = 0; i <= indirect_levels; i++) {
Andrew Scullb4b6d4a2019-01-02 15:54:55 +0000904 if (frames[i].bh == NULL)
905 break;
906 brelse(frames[i].bh);
907 frames[i].bh = NULL;
908 }
909}
910
911/*
912 * This function increments the frame pointer to search the next leaf
913 * block, and reads in the necessary intervening nodes if the search
914 * should be necessary. Whether or not the search is necessary is
915 * controlled by the hash parameter. If the hash value is even, then
916 * the search is only continued if the next block starts with that
917 * hash value. This is used if we are searching for a specific file.
918 *
919 * If the hash value is HASH_NB_ALWAYS, then always go to the next block.
920 *
921 * This function returns 1 if the caller should continue to search,
922 * or 0 if it should not. If there is an error reading one of the
923 * index blocks, it will a negative error code.
924 *
925 * If start_hash is non-null, it will be filled in with the starting
926 * hash of the next page.
927 */
928static int ext4_htree_next_block(struct inode *dir, __u32 hash,
929 struct dx_frame *frame,
930 struct dx_frame *frames,
931 __u32 *start_hash)
932{
933 struct dx_frame *p;
934 struct buffer_head *bh;
935 int num_frames = 0;
936 __u32 bhash;
937
938 p = frame;
939 /*
940 * Find the next leaf page by incrementing the frame pointer.
941 * If we run out of entries in the interior node, loop around and
942 * increment pointer in the parent node. When we break out of
943 * this loop, num_frames indicates the number of interior
944 * nodes need to be read.
945 */
946 while (1) {
947 if (++(p->at) < p->entries + dx_get_count(p->entries))
948 break;
949 if (p == frames)
950 return 0;
951 num_frames++;
952 p--;
953 }
954
955 /*
956 * If the hash is 1, then continue only if the next page has a
957 * continuation hash of any value. This is used for readdir
958 * handling. Otherwise, check to see if the hash matches the
959 * desired contiuation hash. If it doesn't, return since
960 * there's no point to read in the successive index pages.
961 */
962 bhash = dx_get_hash(p->at);
963 if (start_hash)
964 *start_hash = bhash;
965 if ((hash & 1) == 0) {
966 if ((bhash & ~1) != hash)
967 return 0;
968 }
969 /*
970 * If the hash is HASH_NB_ALWAYS, we always go to the next
971 * block so no check is necessary
972 */
973 while (num_frames--) {
974 bh = ext4_read_dirblock(dir, dx_get_block(p->at), INDEX);
975 if (IS_ERR(bh))
976 return PTR_ERR(bh);
977 p++;
978 brelse(p->bh);
979 p->bh = bh;
980 p->at = p->entries = ((struct dx_node *) bh->b_data)->entries;
981 }
982 return 1;
983}
984
985
986/*
987 * This function fills a red-black tree with information from a
988 * directory block. It returns the number directory entries loaded
989 * into the tree. If there is an error it is returned in err.
990 */
991static int htree_dirblock_to_tree(struct file *dir_file,
992 struct inode *dir, ext4_lblk_t block,
993 struct dx_hash_info *hinfo,
994 __u32 start_hash, __u32 start_minor_hash)
995{
996 struct buffer_head *bh;
997 struct ext4_dir_entry_2 *de, *top;
998 int err = 0, count = 0;
999 struct fscrypt_str fname_crypto_str = FSTR_INIT(NULL, 0), tmp_str;
1000
1001 dxtrace(printk(KERN_INFO "In htree dirblock_to_tree: block %lu\n",
1002 (unsigned long)block));
David Brazdil0f672f62019-12-10 10:32:29 +00001003 bh = ext4_read_dirblock(dir, block, DIRENT_HTREE);
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00001004 if (IS_ERR(bh))
1005 return PTR_ERR(bh);
1006
1007 de = (struct ext4_dir_entry_2 *) bh->b_data;
1008 top = (struct ext4_dir_entry_2 *) ((char *) de +
1009 dir->i_sb->s_blocksize -
1010 EXT4_DIR_REC_LEN(0));
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00001011 /* Check if the directory is encrypted */
David Brazdil0f672f62019-12-10 10:32:29 +00001012 if (IS_ENCRYPTED(dir)) {
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00001013 err = fscrypt_get_encryption_info(dir);
1014 if (err < 0) {
1015 brelse(bh);
1016 return err;
1017 }
Olivier Deprez157378f2022-04-04 15:47:50 +02001018 err = fscrypt_fname_alloc_buffer(EXT4_NAME_LEN,
1019 &fname_crypto_str);
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00001020 if (err < 0) {
1021 brelse(bh);
1022 return err;
1023 }
1024 }
Olivier Deprez157378f2022-04-04 15:47:50 +02001025
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00001026 for (; de < top; de = ext4_next_entry(de, dir->i_sb->s_blocksize)) {
1027 if (ext4_check_dir_entry(dir, NULL, de, bh,
1028 bh->b_data, bh->b_size,
1029 (block<<EXT4_BLOCK_SIZE_BITS(dir->i_sb))
1030 + ((char *)de - bh->b_data))) {
1031 /* silently ignore the rest of the block */
1032 break;
1033 }
David Brazdil0f672f62019-12-10 10:32:29 +00001034 ext4fs_dirhash(dir, de->name, de->name_len, hinfo);
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00001035 if ((hinfo->hash < start_hash) ||
1036 ((hinfo->hash == start_hash) &&
1037 (hinfo->minor_hash < start_minor_hash)))
1038 continue;
1039 if (de->inode == 0)
1040 continue;
David Brazdil0f672f62019-12-10 10:32:29 +00001041 if (!IS_ENCRYPTED(dir)) {
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00001042 tmp_str.name = de->name;
1043 tmp_str.len = de->name_len;
1044 err = ext4_htree_store_dirent(dir_file,
1045 hinfo->hash, hinfo->minor_hash, de,
1046 &tmp_str);
1047 } else {
1048 int save_len = fname_crypto_str.len;
1049 struct fscrypt_str de_name = FSTR_INIT(de->name,
1050 de->name_len);
1051
1052 /* Directory is encrypted */
1053 err = fscrypt_fname_disk_to_usr(dir, hinfo->hash,
1054 hinfo->minor_hash, &de_name,
1055 &fname_crypto_str);
1056 if (err) {
1057 count = err;
1058 goto errout;
1059 }
1060 err = ext4_htree_store_dirent(dir_file,
1061 hinfo->hash, hinfo->minor_hash, de,
1062 &fname_crypto_str);
1063 fname_crypto_str.len = save_len;
1064 }
1065 if (err != 0) {
1066 count = err;
1067 goto errout;
1068 }
1069 count++;
1070 }
1071errout:
1072 brelse(bh);
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00001073 fscrypt_fname_free_buffer(&fname_crypto_str);
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00001074 return count;
1075}
1076
1077
1078/*
1079 * This function fills a red-black tree with information from a
1080 * directory. We start scanning the directory in hash order, starting
1081 * at start_hash and start_minor_hash.
1082 *
1083 * This function returns the number of entries inserted into the tree,
1084 * or a negative error code.
1085 */
1086int ext4_htree_fill_tree(struct file *dir_file, __u32 start_hash,
1087 __u32 start_minor_hash, __u32 *next_hash)
1088{
1089 struct dx_hash_info hinfo;
1090 struct ext4_dir_entry_2 *de;
1091 struct dx_frame frames[EXT4_HTREE_LEVEL], *frame;
1092 struct inode *dir;
1093 ext4_lblk_t block;
1094 int count = 0;
1095 int ret, err;
1096 __u32 hashval;
1097 struct fscrypt_str tmp_str;
1098
1099 dxtrace(printk(KERN_DEBUG "In htree_fill_tree, start hash: %x:%x\n",
1100 start_hash, start_minor_hash));
1101 dir = file_inode(dir_file);
1102 if (!(ext4_test_inode_flag(dir, EXT4_INODE_INDEX))) {
1103 hinfo.hash_version = EXT4_SB(dir->i_sb)->s_def_hash_version;
1104 if (hinfo.hash_version <= DX_HASH_TEA)
1105 hinfo.hash_version +=
1106 EXT4_SB(dir->i_sb)->s_hash_unsigned;
1107 hinfo.seed = EXT4_SB(dir->i_sb)->s_hash_seed;
1108 if (ext4_has_inline_data(dir)) {
1109 int has_inline_data = 1;
David Brazdil0f672f62019-12-10 10:32:29 +00001110 count = ext4_inlinedir_to_tree(dir_file, dir, 0,
1111 &hinfo, start_hash,
1112 start_minor_hash,
1113 &has_inline_data);
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00001114 if (has_inline_data) {
1115 *next_hash = ~0;
1116 return count;
1117 }
1118 }
1119 count = htree_dirblock_to_tree(dir_file, dir, 0, &hinfo,
1120 start_hash, start_minor_hash);
1121 *next_hash = ~0;
1122 return count;
1123 }
1124 hinfo.hash = start_hash;
1125 hinfo.minor_hash = 0;
1126 frame = dx_probe(NULL, dir, &hinfo, frames);
1127 if (IS_ERR(frame))
1128 return PTR_ERR(frame);
1129
1130 /* Add '.' and '..' from the htree header */
1131 if (!start_hash && !start_minor_hash) {
1132 de = (struct ext4_dir_entry_2 *) frames[0].bh->b_data;
1133 tmp_str.name = de->name;
1134 tmp_str.len = de->name_len;
1135 err = ext4_htree_store_dirent(dir_file, 0, 0,
1136 de, &tmp_str);
1137 if (err != 0)
1138 goto errout;
1139 count++;
1140 }
1141 if (start_hash < 2 || (start_hash ==2 && start_minor_hash==0)) {
1142 de = (struct ext4_dir_entry_2 *) frames[0].bh->b_data;
1143 de = ext4_next_entry(de, dir->i_sb->s_blocksize);
1144 tmp_str.name = de->name;
1145 tmp_str.len = de->name_len;
1146 err = ext4_htree_store_dirent(dir_file, 2, 0,
1147 de, &tmp_str);
1148 if (err != 0)
1149 goto errout;
1150 count++;
1151 }
1152
1153 while (1) {
1154 if (fatal_signal_pending(current)) {
1155 err = -ERESTARTSYS;
1156 goto errout;
1157 }
1158 cond_resched();
1159 block = dx_get_block(frame->at);
1160 ret = htree_dirblock_to_tree(dir_file, dir, block, &hinfo,
1161 start_hash, start_minor_hash);
1162 if (ret < 0) {
1163 err = ret;
1164 goto errout;
1165 }
1166 count += ret;
1167 hashval = ~0;
1168 ret = ext4_htree_next_block(dir, HASH_NB_ALWAYS,
1169 frame, frames, &hashval);
1170 *next_hash = hashval;
1171 if (ret < 0) {
1172 err = ret;
1173 goto errout;
1174 }
1175 /*
1176 * Stop if: (a) there are no more entries, or
1177 * (b) we have inserted at least one entry and the
1178 * next hash value is not a continuation
1179 */
1180 if ((ret == 0) ||
1181 (count && ((hashval & 1) == 0)))
1182 break;
1183 }
1184 dx_release(frames);
1185 dxtrace(printk(KERN_DEBUG "Fill tree: returned %d entries, "
1186 "next hash: %x\n", count, *next_hash));
1187 return count;
1188errout:
1189 dx_release(frames);
1190 return (err);
1191}
1192
1193static inline int search_dirblock(struct buffer_head *bh,
1194 struct inode *dir,
1195 struct ext4_filename *fname,
1196 unsigned int offset,
1197 struct ext4_dir_entry_2 **res_dir)
1198{
1199 return ext4_search_dir(bh, bh->b_data, dir->i_sb->s_blocksize, dir,
1200 fname, offset, res_dir);
1201}
1202
1203/*
1204 * Directory block splitting, compacting
1205 */
1206
1207/*
1208 * Create map of hash values, offsets, and sizes, stored at end of block.
1209 * Returns number of entries mapped.
1210 */
1211static int dx_make_map(struct inode *dir, struct ext4_dir_entry_2 *de,
1212 unsigned blocksize, struct dx_hash_info *hinfo,
1213 struct dx_map_entry *map_tail)
1214{
1215 int count = 0;
1216 char *base = (char *) de;
1217 struct dx_hash_info h = *hinfo;
1218
1219 while ((char *) de < base + blocksize) {
1220 if (de->name_len && de->inode) {
David Brazdil0f672f62019-12-10 10:32:29 +00001221 ext4fs_dirhash(dir, de->name, de->name_len, &h);
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00001222 map_tail--;
1223 map_tail->hash = h.hash;
1224 map_tail->offs = ((char *) de - base)>>2;
1225 map_tail->size = le16_to_cpu(de->rec_len);
1226 count++;
1227 cond_resched();
1228 }
1229 /* XXX: do we need to check rec_len == 0 case? -Chris */
1230 de = ext4_next_entry(de, blocksize);
1231 }
1232 return count;
1233}
1234
1235/* Sort map by hash value */
1236static void dx_sort_map (struct dx_map_entry *map, unsigned count)
1237{
1238 struct dx_map_entry *p, *q, *top = map + count - 1;
1239 int more;
1240 /* Combsort until bubble sort doesn't suck */
1241 while (count > 2) {
1242 count = count*10/13;
1243 if (count - 9 < 2) /* 9, 10 -> 11 */
1244 count = 11;
1245 for (p = top, q = p - count; q >= map; p--, q--)
1246 if (p->hash < q->hash)
1247 swap(*p, *q);
1248 }
1249 /* Garden variety bubble sort */
1250 do {
1251 more = 0;
1252 q = top;
1253 while (q-- > map) {
1254 if (q[1].hash >= q[0].hash)
1255 continue;
1256 swap(*(q+1), *q);
1257 more = 1;
1258 }
1259 } while(more);
1260}
1261
1262static void dx_insert_block(struct dx_frame *frame, u32 hash, ext4_lblk_t block)
1263{
1264 struct dx_entry *entries = frame->entries;
1265 struct dx_entry *old = frame->at, *new = old + 1;
1266 int count = dx_get_count(entries);
1267
1268 assert(count < dx_get_limit(entries));
1269 assert(old < entries + count);
1270 memmove(new + 1, new, (char *)(entries + count) - (char *)(new));
1271 dx_set_hash(new, hash);
1272 dx_set_block(new, block);
1273 dx_set_count(entries, count + 1);
1274}
1275
David Brazdil0f672f62019-12-10 10:32:29 +00001276#ifdef CONFIG_UNICODE
1277/*
1278 * Test whether a case-insensitive directory entry matches the filename
1279 * being searched for. If quick is set, assume the name being looked up
1280 * is already in the casefolded form.
1281 *
1282 * Returns: 0 if the directory entry matches, more than 0 if it
1283 * doesn't match or less than zero on error.
1284 */
1285int ext4_ci_compare(const struct inode *parent, const struct qstr *name,
1286 const struct qstr *entry, bool quick)
1287{
Olivier Deprez157378f2022-04-04 15:47:50 +02001288 const struct super_block *sb = parent->i_sb;
1289 const struct unicode_map *um = sb->s_encoding;
David Brazdil0f672f62019-12-10 10:32:29 +00001290 int ret;
1291
1292 if (quick)
1293 ret = utf8_strncasecmp_folded(um, name, entry);
1294 else
1295 ret = utf8_strncasecmp(um, name, entry);
1296
1297 if (ret < 0) {
1298 /* Handle invalid character sequence as either an error
1299 * or as an opaque byte sequence.
1300 */
Olivier Deprez157378f2022-04-04 15:47:50 +02001301 if (sb_has_strict_encoding(sb))
David Brazdil0f672f62019-12-10 10:32:29 +00001302 return -EINVAL;
1303
1304 if (name->len != entry->len)
1305 return 1;
1306
1307 return !!memcmp(name->name, entry->name, name->len);
1308 }
1309
1310 return ret;
1311}
1312
1313void ext4_fname_setup_ci_filename(struct inode *dir, const struct qstr *iname,
1314 struct fscrypt_str *cf_name)
1315{
1316 int len;
1317
Olivier Deprez157378f2022-04-04 15:47:50 +02001318 if (!IS_CASEFOLDED(dir) || !dir->i_sb->s_encoding) {
David Brazdil0f672f62019-12-10 10:32:29 +00001319 cf_name->name = NULL;
1320 return;
1321 }
1322
1323 cf_name->name = kmalloc(EXT4_NAME_LEN, GFP_NOFS);
1324 if (!cf_name->name)
1325 return;
1326
Olivier Deprez157378f2022-04-04 15:47:50 +02001327 len = utf8_casefold(dir->i_sb->s_encoding,
David Brazdil0f672f62019-12-10 10:32:29 +00001328 iname, cf_name->name,
1329 EXT4_NAME_LEN);
1330 if (len <= 0) {
1331 kfree(cf_name->name);
1332 cf_name->name = NULL;
1333 return;
1334 }
1335 cf_name->len = (unsigned) len;
1336
1337}
1338#endif
1339
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00001340/*
1341 * Test whether a directory entry matches the filename being searched for.
1342 *
1343 * Return: %true if the directory entry matches, otherwise %false.
1344 */
David Brazdil0f672f62019-12-10 10:32:29 +00001345static inline bool ext4_match(const struct inode *parent,
1346 const struct ext4_filename *fname,
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00001347 const struct ext4_dir_entry_2 *de)
1348{
1349 struct fscrypt_name f;
David Brazdil0f672f62019-12-10 10:32:29 +00001350#ifdef CONFIG_UNICODE
1351 const struct qstr entry = {.name = de->name, .len = de->name_len};
1352#endif
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00001353
1354 if (!de->inode)
1355 return false;
1356
1357 f.usr_fname = fname->usr_fname;
1358 f.disk_name = fname->disk_name;
David Brazdil0f672f62019-12-10 10:32:29 +00001359#ifdef CONFIG_FS_ENCRYPTION
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00001360 f.crypto_buf = fname->crypto_buf;
1361#endif
David Brazdil0f672f62019-12-10 10:32:29 +00001362
1363#ifdef CONFIG_UNICODE
Olivier Deprez157378f2022-04-04 15:47:50 +02001364 if (parent->i_sb->s_encoding && IS_CASEFOLDED(parent)) {
David Brazdil0f672f62019-12-10 10:32:29 +00001365 if (fname->cf_name.name) {
1366 struct qstr cf = {.name = fname->cf_name.name,
1367 .len = fname->cf_name.len};
1368 return !ext4_ci_compare(parent, &cf, &entry, true);
1369 }
1370 return !ext4_ci_compare(parent, fname->usr_fname, &entry,
1371 false);
1372 }
1373#endif
1374
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00001375 return fscrypt_match_name(&f, de->name, de->name_len);
1376}
1377
1378/*
1379 * Returns 0 if not found, -1 on failure, and 1 on success
1380 */
1381int ext4_search_dir(struct buffer_head *bh, char *search_buf, int buf_size,
1382 struct inode *dir, struct ext4_filename *fname,
1383 unsigned int offset, struct ext4_dir_entry_2 **res_dir)
1384{
1385 struct ext4_dir_entry_2 * de;
1386 char * dlimit;
1387 int de_len;
1388
1389 de = (struct ext4_dir_entry_2 *)search_buf;
1390 dlimit = search_buf + buf_size;
1391 while ((char *) de < dlimit) {
1392 /* this code is executed quadratically often */
1393 /* do minimal checking `by hand' */
1394 if ((char *) de + de->name_len <= dlimit &&
David Brazdil0f672f62019-12-10 10:32:29 +00001395 ext4_match(dir, fname, de)) {
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00001396 /* found a match - just to be sure, do
1397 * a full check */
Olivier Deprez0e641232021-09-23 10:07:05 +02001398 if (ext4_check_dir_entry(dir, NULL, de, bh, search_buf,
1399 buf_size, offset))
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00001400 return -1;
1401 *res_dir = de;
1402 return 1;
1403 }
1404 /* prevent looping on a bad block */
1405 de_len = ext4_rec_len_from_disk(de->rec_len,
1406 dir->i_sb->s_blocksize);
1407 if (de_len <= 0)
1408 return -1;
1409 offset += de_len;
1410 de = (struct ext4_dir_entry_2 *) ((char *) de + de_len);
1411 }
1412 return 0;
1413}
1414
1415static int is_dx_internal_node(struct inode *dir, ext4_lblk_t block,
1416 struct ext4_dir_entry *de)
1417{
1418 struct super_block *sb = dir->i_sb;
1419
1420 if (!is_dx(dir))
1421 return 0;
1422 if (block == 0)
1423 return 1;
1424 if (de->inode == 0 &&
1425 ext4_rec_len_from_disk(de->rec_len, sb->s_blocksize) ==
1426 sb->s_blocksize)
1427 return 1;
1428 return 0;
1429}
1430
1431/*
David Brazdil0f672f62019-12-10 10:32:29 +00001432 * __ext4_find_entry()
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00001433 *
1434 * finds an entry in the specified directory with the wanted name. It
1435 * returns the cache buffer in which the entry was found, and the entry
1436 * itself (as a parameter - res_dir). It does NOT read the inode of the
1437 * entry - you'll have to do that yourself if you want to.
1438 *
1439 * The returned buffer_head has ->b_count elevated. The caller is expected
1440 * to brelse() it when appropriate.
1441 */
David Brazdil0f672f62019-12-10 10:32:29 +00001442static struct buffer_head *__ext4_find_entry(struct inode *dir,
1443 struct ext4_filename *fname,
1444 struct ext4_dir_entry_2 **res_dir,
1445 int *inlined)
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00001446{
1447 struct super_block *sb;
1448 struct buffer_head *bh_use[NAMEI_RA_SIZE];
1449 struct buffer_head *bh, *ret = NULL;
1450 ext4_lblk_t start, block;
David Brazdil0f672f62019-12-10 10:32:29 +00001451 const u8 *name = fname->usr_fname->name;
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00001452 size_t ra_max = 0; /* Number of bh's in the readahead
1453 buffer, bh_use[] */
1454 size_t ra_ptr = 0; /* Current index into readahead
1455 buffer */
1456 ext4_lblk_t nblocks;
1457 int i, namelen, retval;
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00001458
1459 *res_dir = NULL;
1460 sb = dir->i_sb;
David Brazdil0f672f62019-12-10 10:32:29 +00001461 namelen = fname->usr_fname->len;
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00001462 if (namelen > EXT4_NAME_LEN)
1463 return NULL;
1464
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00001465 if (ext4_has_inline_data(dir)) {
1466 int has_inline_data = 1;
David Brazdil0f672f62019-12-10 10:32:29 +00001467 ret = ext4_find_inline_entry(dir, fname, res_dir,
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00001468 &has_inline_data);
1469 if (has_inline_data) {
1470 if (inlined)
1471 *inlined = 1;
1472 goto cleanup_and_exit;
1473 }
1474 }
1475
1476 if ((namelen <= 2) && (name[0] == '.') &&
1477 (name[1] == '.' || name[1] == '\0')) {
1478 /*
1479 * "." or ".." will only be in the first block
1480 * NFS may look up ".."; "." should be handled by the VFS
1481 */
1482 block = start = 0;
1483 nblocks = 1;
1484 goto restart;
1485 }
1486 if (is_dx(dir)) {
David Brazdil0f672f62019-12-10 10:32:29 +00001487 ret = ext4_dx_find_entry(dir, fname, res_dir);
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00001488 /*
1489 * On success, or if the error was file not found,
1490 * return. Otherwise, fall back to doing a search the
1491 * old fashioned way.
1492 */
1493 if (!IS_ERR(ret) || PTR_ERR(ret) != ERR_BAD_DX_DIR)
1494 goto cleanup_and_exit;
1495 dxtrace(printk(KERN_DEBUG "ext4_find_entry: dx failed, "
1496 "falling back\n"));
1497 ret = NULL;
1498 }
1499 nblocks = dir->i_size >> EXT4_BLOCK_SIZE_BITS(sb);
1500 if (!nblocks) {
1501 ret = NULL;
1502 goto cleanup_and_exit;
1503 }
1504 start = EXT4_I(dir)->i_dir_start_lookup;
1505 if (start >= nblocks)
1506 start = 0;
1507 block = start;
1508restart:
1509 do {
1510 /*
1511 * We deal with the read-ahead logic here.
1512 */
Olivier Deprez0e641232021-09-23 10:07:05 +02001513 cond_resched();
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00001514 if (ra_ptr >= ra_max) {
1515 /* Refill the readahead buffer */
1516 ra_ptr = 0;
1517 if (block < start)
1518 ra_max = start - block;
1519 else
1520 ra_max = nblocks - block;
1521 ra_max = min(ra_max, ARRAY_SIZE(bh_use));
1522 retval = ext4_bread_batch(dir, block, ra_max,
1523 false /* wait */, bh_use);
1524 if (retval) {
1525 ret = ERR_PTR(retval);
1526 ra_max = 0;
1527 goto cleanup_and_exit;
1528 }
1529 }
1530 if ((bh = bh_use[ra_ptr++]) == NULL)
1531 goto next;
1532 wait_on_buffer(bh);
1533 if (!buffer_uptodate(bh)) {
Olivier Deprez157378f2022-04-04 15:47:50 +02001534 EXT4_ERROR_INODE_ERR(dir, EIO,
1535 "reading directory lblock %lu",
1536 (unsigned long) block);
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00001537 brelse(bh);
1538 ret = ERR_PTR(-EIO);
1539 goto cleanup_and_exit;
1540 }
1541 if (!buffer_verified(bh) &&
1542 !is_dx_internal_node(dir, block,
1543 (struct ext4_dir_entry *)bh->b_data) &&
David Brazdil0f672f62019-12-10 10:32:29 +00001544 !ext4_dirblock_csum_verify(dir, bh)) {
Olivier Deprez157378f2022-04-04 15:47:50 +02001545 EXT4_ERROR_INODE_ERR(dir, EFSBADCRC,
1546 "checksumming directory "
1547 "block %lu", (unsigned long)block);
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00001548 brelse(bh);
1549 ret = ERR_PTR(-EFSBADCRC);
1550 goto cleanup_and_exit;
1551 }
1552 set_buffer_verified(bh);
David Brazdil0f672f62019-12-10 10:32:29 +00001553 i = search_dirblock(bh, dir, fname,
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00001554 block << EXT4_BLOCK_SIZE_BITS(sb), res_dir);
1555 if (i == 1) {
1556 EXT4_I(dir)->i_dir_start_lookup = block;
1557 ret = bh;
1558 goto cleanup_and_exit;
1559 } else {
1560 brelse(bh);
1561 if (i < 0)
1562 goto cleanup_and_exit;
1563 }
1564 next:
1565 if (++block >= nblocks)
1566 block = 0;
1567 } while (block != start);
1568
1569 /*
1570 * If the directory has grown while we were searching, then
1571 * search the last part of the directory before giving up.
1572 */
1573 block = nblocks;
1574 nblocks = dir->i_size >> EXT4_BLOCK_SIZE_BITS(sb);
1575 if (block < nblocks) {
1576 start = 0;
1577 goto restart;
1578 }
1579
1580cleanup_and_exit:
1581 /* Clean up the read-ahead blocks */
1582 for (; ra_ptr < ra_max; ra_ptr++)
1583 brelse(bh_use[ra_ptr]);
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00001584 return ret;
1585}
1586
David Brazdil0f672f62019-12-10 10:32:29 +00001587static struct buffer_head *ext4_find_entry(struct inode *dir,
1588 const struct qstr *d_name,
1589 struct ext4_dir_entry_2 **res_dir,
1590 int *inlined)
1591{
1592 int err;
1593 struct ext4_filename fname;
1594 struct buffer_head *bh;
1595
1596 err = ext4_fname_setup_filename(dir, d_name, 1, &fname);
1597 if (err == -ENOENT)
1598 return NULL;
1599 if (err)
1600 return ERR_PTR(err);
1601
1602 bh = __ext4_find_entry(dir, &fname, res_dir, inlined);
1603
1604 ext4_fname_free_filename(&fname);
1605 return bh;
1606}
1607
1608static struct buffer_head *ext4_lookup_entry(struct inode *dir,
1609 struct dentry *dentry,
1610 struct ext4_dir_entry_2 **res_dir)
1611{
1612 int err;
1613 struct ext4_filename fname;
1614 struct buffer_head *bh;
1615
1616 err = ext4_fname_prepare_lookup(dir, dentry, &fname);
1617 if (err == -ENOENT)
1618 return NULL;
1619 if (err)
1620 return ERR_PTR(err);
1621
1622 bh = __ext4_find_entry(dir, &fname, res_dir, NULL);
1623
1624 ext4_fname_free_filename(&fname);
1625 return bh;
1626}
1627
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00001628static struct buffer_head * ext4_dx_find_entry(struct inode *dir,
1629 struct ext4_filename *fname,
1630 struct ext4_dir_entry_2 **res_dir)
1631{
1632 struct super_block * sb = dir->i_sb;
1633 struct dx_frame frames[EXT4_HTREE_LEVEL], *frame;
1634 struct buffer_head *bh;
1635 ext4_lblk_t block;
1636 int retval;
1637
David Brazdil0f672f62019-12-10 10:32:29 +00001638#ifdef CONFIG_FS_ENCRYPTION
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00001639 *res_dir = NULL;
1640#endif
1641 frame = dx_probe(fname, dir, NULL, frames);
1642 if (IS_ERR(frame))
1643 return (struct buffer_head *) frame;
1644 do {
1645 block = dx_get_block(frame->at);
David Brazdil0f672f62019-12-10 10:32:29 +00001646 bh = ext4_read_dirblock(dir, block, DIRENT_HTREE);
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00001647 if (IS_ERR(bh))
1648 goto errout;
1649
1650 retval = search_dirblock(bh, dir, fname,
1651 block << EXT4_BLOCK_SIZE_BITS(sb),
1652 res_dir);
1653 if (retval == 1)
1654 goto success;
1655 brelse(bh);
1656 if (retval == -1) {
1657 bh = ERR_PTR(ERR_BAD_DX_DIR);
1658 goto errout;
1659 }
1660
1661 /* Check to see if we should continue to search */
1662 retval = ext4_htree_next_block(dir, fname->hinfo.hash, frame,
1663 frames, NULL);
1664 if (retval < 0) {
1665 ext4_warning_inode(dir,
1666 "error %d reading directory index block",
1667 retval);
1668 bh = ERR_PTR(retval);
1669 goto errout;
1670 }
1671 } while (retval == 1);
1672
1673 bh = NULL;
1674errout:
1675 dxtrace(printk(KERN_DEBUG "%s not found\n", fname->usr_fname->name));
1676success:
1677 dx_release(frames);
1678 return bh;
1679}
1680
1681static struct dentry *ext4_lookup(struct inode *dir, struct dentry *dentry, unsigned int flags)
1682{
1683 struct inode *inode;
1684 struct ext4_dir_entry_2 *de;
1685 struct buffer_head *bh;
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00001686
1687 if (dentry->d_name.len > EXT4_NAME_LEN)
1688 return ERR_PTR(-ENAMETOOLONG);
1689
David Brazdil0f672f62019-12-10 10:32:29 +00001690 bh = ext4_lookup_entry(dir, dentry, &de);
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00001691 if (IS_ERR(bh))
David Brazdil0f672f62019-12-10 10:32:29 +00001692 return ERR_CAST(bh);
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00001693 inode = NULL;
1694 if (bh) {
1695 __u32 ino = le32_to_cpu(de->inode);
1696 brelse(bh);
1697 if (!ext4_valid_inum(dir->i_sb, ino)) {
1698 EXT4_ERROR_INODE(dir, "bad inode number: %u", ino);
1699 return ERR_PTR(-EFSCORRUPTED);
1700 }
1701 if (unlikely(ino == dir->i_ino)) {
1702 EXT4_ERROR_INODE(dir, "'%pd' linked to parent dir",
1703 dentry);
1704 return ERR_PTR(-EFSCORRUPTED);
1705 }
David Brazdil0f672f62019-12-10 10:32:29 +00001706 inode = ext4_iget(dir->i_sb, ino, EXT4_IGET_NORMAL);
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00001707 if (inode == ERR_PTR(-ESTALE)) {
1708 EXT4_ERROR_INODE(dir,
1709 "deleted inode referenced: %u",
1710 ino);
1711 return ERR_PTR(-EFSCORRUPTED);
1712 }
David Brazdil0f672f62019-12-10 10:32:29 +00001713 if (!IS_ERR(inode) && IS_ENCRYPTED(dir) &&
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00001714 (S_ISDIR(inode->i_mode) || S_ISLNK(inode->i_mode)) &&
1715 !fscrypt_has_permitted_context(dir, inode)) {
1716 ext4_warning(inode->i_sb,
1717 "Inconsistent encryption contexts: %lu/%lu",
1718 dir->i_ino, inode->i_ino);
1719 iput(inode);
1720 return ERR_PTR(-EPERM);
1721 }
1722 }
David Brazdil0f672f62019-12-10 10:32:29 +00001723
1724#ifdef CONFIG_UNICODE
1725 if (!inode && IS_CASEFOLDED(dir)) {
1726 /* Eventually we want to call d_add_ci(dentry, NULL)
1727 * for negative dentries in the encoding case as
1728 * well. For now, prevent the negative dentry
1729 * from being cached.
1730 */
1731 return NULL;
1732 }
1733#endif
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00001734 return d_splice_alias(inode, dentry);
1735}
1736
1737
1738struct dentry *ext4_get_parent(struct dentry *child)
1739{
1740 __u32 ino;
1741 static const struct qstr dotdot = QSTR_INIT("..", 2);
1742 struct ext4_dir_entry_2 * de;
1743 struct buffer_head *bh;
1744
1745 bh = ext4_find_entry(d_inode(child), &dotdot, &de, NULL);
1746 if (IS_ERR(bh))
David Brazdil0f672f62019-12-10 10:32:29 +00001747 return ERR_CAST(bh);
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00001748 if (!bh)
1749 return ERR_PTR(-ENOENT);
1750 ino = le32_to_cpu(de->inode);
1751 brelse(bh);
1752
1753 if (!ext4_valid_inum(child->d_sb, ino)) {
1754 EXT4_ERROR_INODE(d_inode(child),
1755 "bad parent inode number: %u", ino);
1756 return ERR_PTR(-EFSCORRUPTED);
1757 }
1758
David Brazdil0f672f62019-12-10 10:32:29 +00001759 return d_obtain_alias(ext4_iget(child->d_sb, ino, EXT4_IGET_NORMAL));
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00001760}
1761
1762/*
1763 * Move count entries from end of map between two memory locations.
1764 * Returns pointer to last entry moved.
1765 */
1766static struct ext4_dir_entry_2 *
1767dx_move_dirents(char *from, char *to, struct dx_map_entry *map, int count,
1768 unsigned blocksize)
1769{
1770 unsigned rec_len = 0;
1771
1772 while (count--) {
1773 struct ext4_dir_entry_2 *de = (struct ext4_dir_entry_2 *)
1774 (from + (map->offs<<2));
1775 rec_len = EXT4_DIR_REC_LEN(de->name_len);
1776 memcpy (to, de, rec_len);
1777 ((struct ext4_dir_entry_2 *) to)->rec_len =
1778 ext4_rec_len_to_disk(rec_len, blocksize);
1779 de->inode = 0;
1780 map++;
1781 to += rec_len;
1782 }
1783 return (struct ext4_dir_entry_2 *) (to - rec_len);
1784}
1785
1786/*
1787 * Compact each dir entry in the range to the minimal rec_len.
1788 * Returns pointer to last entry in range.
1789 */
1790static struct ext4_dir_entry_2* dx_pack_dirents(char *base, unsigned blocksize)
1791{
1792 struct ext4_dir_entry_2 *next, *to, *prev, *de = (struct ext4_dir_entry_2 *) base;
1793 unsigned rec_len = 0;
1794
1795 prev = to = de;
1796 while ((char*)de < base + blocksize) {
1797 next = ext4_next_entry(de, blocksize);
1798 if (de->inode && de->name_len) {
1799 rec_len = EXT4_DIR_REC_LEN(de->name_len);
1800 if (de > to)
1801 memmove(to, de, rec_len);
1802 to->rec_len = ext4_rec_len_to_disk(rec_len, blocksize);
1803 prev = to;
1804 to = (struct ext4_dir_entry_2 *) (((char *) to) + rec_len);
1805 }
1806 de = next;
1807 }
1808 return prev;
1809}
1810
1811/*
1812 * Split a full leaf block to make room for a new dir entry.
1813 * Allocate a new block, and move entries so that they are approx. equally full.
1814 * Returns pointer to de in block into which the new entry will be inserted.
1815 */
1816static struct ext4_dir_entry_2 *do_split(handle_t *handle, struct inode *dir,
1817 struct buffer_head **bh,struct dx_frame *frame,
1818 struct dx_hash_info *hinfo)
1819{
1820 unsigned blocksize = dir->i_sb->s_blocksize;
1821 unsigned count, continued;
1822 struct buffer_head *bh2;
1823 ext4_lblk_t newblock;
1824 u32 hash2;
1825 struct dx_map_entry *map;
1826 char *data1 = (*bh)->b_data, *data2;
1827 unsigned split, move, size;
1828 struct ext4_dir_entry_2 *de = NULL, *de2;
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00001829 int csum_size = 0;
1830 int err = 0, i;
1831
1832 if (ext4_has_metadata_csum(dir->i_sb))
1833 csum_size = sizeof(struct ext4_dir_entry_tail);
1834
1835 bh2 = ext4_append(handle, dir, &newblock);
1836 if (IS_ERR(bh2)) {
1837 brelse(*bh);
1838 *bh = NULL;
1839 return (struct ext4_dir_entry_2 *) bh2;
1840 }
1841
1842 BUFFER_TRACE(*bh, "get_write_access");
1843 err = ext4_journal_get_write_access(handle, *bh);
1844 if (err)
1845 goto journal_error;
1846
1847 BUFFER_TRACE(frame->bh, "get_write_access");
1848 err = ext4_journal_get_write_access(handle, frame->bh);
1849 if (err)
1850 goto journal_error;
1851
1852 data2 = bh2->b_data;
1853
1854 /* create map in the end of data2 block */
1855 map = (struct dx_map_entry *) (data2 + blocksize);
1856 count = dx_make_map(dir, (struct ext4_dir_entry_2 *) data1,
1857 blocksize, hinfo, map);
1858 map -= count;
1859 dx_sort_map(map, count);
Olivier Deprez0e641232021-09-23 10:07:05 +02001860 /* Ensure that neither split block is over half full */
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00001861 size = 0;
1862 move = 0;
1863 for (i = count-1; i >= 0; i--) {
1864 /* is more than half of this entry in 2nd half of the block? */
1865 if (size + map[i].size/2 > blocksize/2)
1866 break;
1867 size += map[i].size;
1868 move++;
1869 }
Olivier Deprez0e641232021-09-23 10:07:05 +02001870 /*
1871 * map index at which we will split
1872 *
1873 * If the sum of active entries didn't exceed half the block size, just
1874 * split it in half by count; each resulting block will have at least
1875 * half the space free.
1876 */
1877 if (i > 0)
1878 split = count - move;
1879 else
1880 split = count/2;
1881
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00001882 hash2 = map[split].hash;
1883 continued = hash2 == map[split - 1].hash;
1884 dxtrace(printk(KERN_INFO "Split block %lu at %x, %i/%i\n",
1885 (unsigned long)dx_get_block(frame->at),
1886 hash2, split, count-split));
1887
1888 /* Fancy dance to stay within two buffers */
1889 de2 = dx_move_dirents(data1, data2, map + split, count - split,
1890 blocksize);
1891 de = dx_pack_dirents(data1, blocksize);
1892 de->rec_len = ext4_rec_len_to_disk(data1 + (blocksize - csum_size) -
1893 (char *) de,
1894 blocksize);
1895 de2->rec_len = ext4_rec_len_to_disk(data2 + (blocksize - csum_size) -
1896 (char *) de2,
1897 blocksize);
1898 if (csum_size) {
David Brazdil0f672f62019-12-10 10:32:29 +00001899 ext4_initialize_dirent_tail(*bh, blocksize);
1900 ext4_initialize_dirent_tail(bh2, blocksize);
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00001901 }
1902
1903 dxtrace(dx_show_leaf(dir, hinfo, (struct ext4_dir_entry_2 *) data1,
1904 blocksize, 1));
1905 dxtrace(dx_show_leaf(dir, hinfo, (struct ext4_dir_entry_2 *) data2,
1906 blocksize, 1));
1907
1908 /* Which block gets the new entry? */
1909 if (hinfo->hash >= hash2) {
1910 swap(*bh, bh2);
1911 de = de2;
1912 }
1913 dx_insert_block(frame, hash2 + continued, newblock);
David Brazdil0f672f62019-12-10 10:32:29 +00001914 err = ext4_handle_dirty_dirblock(handle, dir, bh2);
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00001915 if (err)
1916 goto journal_error;
1917 err = ext4_handle_dirty_dx_node(handle, dir, frame->bh);
1918 if (err)
1919 goto journal_error;
1920 brelse(bh2);
1921 dxtrace(dx_show_index("frame", frame->entries));
1922 return de;
1923
1924journal_error:
1925 brelse(*bh);
1926 brelse(bh2);
1927 *bh = NULL;
1928 ext4_std_error(dir->i_sb, err);
1929 return ERR_PTR(err);
1930}
1931
1932int ext4_find_dest_de(struct inode *dir, struct inode *inode,
1933 struct buffer_head *bh,
1934 void *buf, int buf_size,
1935 struct ext4_filename *fname,
1936 struct ext4_dir_entry_2 **dest_de)
1937{
1938 struct ext4_dir_entry_2 *de;
1939 unsigned short reclen = EXT4_DIR_REC_LEN(fname_len(fname));
1940 int nlen, rlen;
1941 unsigned int offset = 0;
1942 char *top;
1943
1944 de = (struct ext4_dir_entry_2 *)buf;
1945 top = buf + buf_size - reclen;
1946 while ((char *) de <= top) {
1947 if (ext4_check_dir_entry(dir, NULL, de, bh,
1948 buf, buf_size, offset))
1949 return -EFSCORRUPTED;
David Brazdil0f672f62019-12-10 10:32:29 +00001950 if (ext4_match(dir, fname, de))
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00001951 return -EEXIST;
1952 nlen = EXT4_DIR_REC_LEN(de->name_len);
1953 rlen = ext4_rec_len_from_disk(de->rec_len, buf_size);
1954 if ((de->inode ? rlen - nlen : rlen) >= reclen)
1955 break;
1956 de = (struct ext4_dir_entry_2 *)((char *)de + rlen);
1957 offset += rlen;
1958 }
1959 if ((char *) de > top)
1960 return -ENOSPC;
1961
1962 *dest_de = de;
1963 return 0;
1964}
1965
1966void ext4_insert_dentry(struct inode *inode,
1967 struct ext4_dir_entry_2 *de,
1968 int buf_size,
1969 struct ext4_filename *fname)
1970{
1971
1972 int nlen, rlen;
1973
1974 nlen = EXT4_DIR_REC_LEN(de->name_len);
1975 rlen = ext4_rec_len_from_disk(de->rec_len, buf_size);
1976 if (de->inode) {
1977 struct ext4_dir_entry_2 *de1 =
1978 (struct ext4_dir_entry_2 *)((char *)de + nlen);
1979 de1->rec_len = ext4_rec_len_to_disk(rlen - nlen, buf_size);
1980 de->rec_len = ext4_rec_len_to_disk(nlen, buf_size);
1981 de = de1;
1982 }
1983 de->file_type = EXT4_FT_UNKNOWN;
1984 de->inode = cpu_to_le32(inode->i_ino);
1985 ext4_set_de_type(inode->i_sb, de, inode->i_mode);
1986 de->name_len = fname_len(fname);
1987 memcpy(de->name, fname_name(fname), fname_len(fname));
1988}
1989
1990/*
1991 * Add a new entry into a directory (leaf) block. If de is non-NULL,
1992 * it points to a directory entry which is guaranteed to be large
1993 * enough for new directory entry. If de is NULL, then
1994 * add_dirent_to_buf will attempt search the directory block for
1995 * space. It will return -ENOSPC if no space is available, and -EIO
1996 * and -EEXIST if directory entry already exists.
1997 */
1998static int add_dirent_to_buf(handle_t *handle, struct ext4_filename *fname,
1999 struct inode *dir,
2000 struct inode *inode, struct ext4_dir_entry_2 *de,
2001 struct buffer_head *bh)
2002{
2003 unsigned int blocksize = dir->i_sb->s_blocksize;
2004 int csum_size = 0;
Olivier Deprez157378f2022-04-04 15:47:50 +02002005 int err, err2;
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00002006
2007 if (ext4_has_metadata_csum(inode->i_sb))
2008 csum_size = sizeof(struct ext4_dir_entry_tail);
2009
2010 if (!de) {
2011 err = ext4_find_dest_de(dir, inode, bh, bh->b_data,
2012 blocksize - csum_size, fname, &de);
2013 if (err)
2014 return err;
2015 }
2016 BUFFER_TRACE(bh, "get_write_access");
2017 err = ext4_journal_get_write_access(handle, bh);
2018 if (err) {
2019 ext4_std_error(dir->i_sb, err);
2020 return err;
2021 }
2022
2023 /* By now the buffer is marked for journaling */
2024 ext4_insert_dentry(inode, de, blocksize, fname);
2025
2026 /*
2027 * XXX shouldn't update any times until successful
2028 * completion of syscall, but too many callers depend
2029 * on this.
2030 *
2031 * XXX similarly, too many callers depend on
2032 * ext4_new_inode() setting the times, but error
2033 * recovery deletes the inode, so the worst that can
2034 * happen is that the times are slightly out of date
2035 * and/or different from the directory change time.
2036 */
2037 dir->i_mtime = dir->i_ctime = current_time(dir);
2038 ext4_update_dx_flag(dir);
2039 inode_inc_iversion(dir);
Olivier Deprez157378f2022-04-04 15:47:50 +02002040 err2 = ext4_mark_inode_dirty(handle, dir);
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00002041 BUFFER_TRACE(bh, "call ext4_handle_dirty_metadata");
David Brazdil0f672f62019-12-10 10:32:29 +00002042 err = ext4_handle_dirty_dirblock(handle, dir, bh);
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00002043 if (err)
2044 ext4_std_error(dir->i_sb, err);
Olivier Deprez157378f2022-04-04 15:47:50 +02002045 return err ? err : err2;
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00002046}
2047
2048/*
2049 * This converts a one block unindexed directory to a 3 block indexed
2050 * directory, and adds the dentry to the indexed directory.
2051 */
2052static int make_indexed_dir(handle_t *handle, struct ext4_filename *fname,
2053 struct inode *dir,
2054 struct inode *inode, struct buffer_head *bh)
2055{
2056 struct buffer_head *bh2;
2057 struct dx_root *root;
2058 struct dx_frame frames[EXT4_HTREE_LEVEL], *frame;
2059 struct dx_entry *entries;
2060 struct ext4_dir_entry_2 *de, *de2;
David Brazdil0f672f62019-12-10 10:32:29 +00002061 char *data2, *top;
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00002062 unsigned len;
2063 int retval;
2064 unsigned blocksize;
2065 ext4_lblk_t block;
2066 struct fake_dirent *fde;
2067 int csum_size = 0;
2068
2069 if (ext4_has_metadata_csum(inode->i_sb))
2070 csum_size = sizeof(struct ext4_dir_entry_tail);
2071
2072 blocksize = dir->i_sb->s_blocksize;
2073 dxtrace(printk(KERN_DEBUG "Creating index: inode %lu\n", dir->i_ino));
2074 BUFFER_TRACE(bh, "get_write_access");
2075 retval = ext4_journal_get_write_access(handle, bh);
2076 if (retval) {
2077 ext4_std_error(dir->i_sb, retval);
2078 brelse(bh);
2079 return retval;
2080 }
2081 root = (struct dx_root *) bh->b_data;
2082
2083 /* The 0th block becomes the root, move the dirents out */
2084 fde = &root->dotdot;
2085 de = (struct ext4_dir_entry_2 *)((char *)fde +
2086 ext4_rec_len_from_disk(fde->rec_len, blocksize));
2087 if ((char *) de >= (((char *) root) + blocksize)) {
2088 EXT4_ERROR_INODE(dir, "invalid rec_len for '..'");
2089 brelse(bh);
2090 return -EFSCORRUPTED;
2091 }
2092 len = ((char *) root) + (blocksize - csum_size) - (char *) de;
2093
2094 /* Allocate new block for the 0th block's dirents */
2095 bh2 = ext4_append(handle, dir, &block);
2096 if (IS_ERR(bh2)) {
2097 brelse(bh);
2098 return PTR_ERR(bh2);
2099 }
2100 ext4_set_inode_flag(dir, EXT4_INODE_INDEX);
David Brazdil0f672f62019-12-10 10:32:29 +00002101 data2 = bh2->b_data;
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00002102
David Brazdil0f672f62019-12-10 10:32:29 +00002103 memcpy(data2, de, len);
2104 de = (struct ext4_dir_entry_2 *) data2;
2105 top = data2 + len;
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00002106 while ((char *)(de2 = ext4_next_entry(de, blocksize)) < top)
2107 de = de2;
David Brazdil0f672f62019-12-10 10:32:29 +00002108 de->rec_len = ext4_rec_len_to_disk(data2 + (blocksize - csum_size) -
2109 (char *) de, blocksize);
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00002110
David Brazdil0f672f62019-12-10 10:32:29 +00002111 if (csum_size)
2112 ext4_initialize_dirent_tail(bh2, blocksize);
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00002113
2114 /* Initialize the root; the dot dirents already exist */
2115 de = (struct ext4_dir_entry_2 *) (&root->dotdot);
2116 de->rec_len = ext4_rec_len_to_disk(blocksize - EXT4_DIR_REC_LEN(2),
2117 blocksize);
2118 memset (&root->info, 0, sizeof(root->info));
2119 root->info.info_length = sizeof(root->info);
2120 root->info.hash_version = EXT4_SB(dir->i_sb)->s_def_hash_version;
2121 entries = root->entries;
2122 dx_set_block(entries, 1);
2123 dx_set_count(entries, 1);
2124 dx_set_limit(entries, dx_root_limit(dir, sizeof(root->info)));
2125
2126 /* Initialize as for dx_probe */
2127 fname->hinfo.hash_version = root->info.hash_version;
2128 if (fname->hinfo.hash_version <= DX_HASH_TEA)
2129 fname->hinfo.hash_version += EXT4_SB(dir->i_sb)->s_hash_unsigned;
2130 fname->hinfo.seed = EXT4_SB(dir->i_sb)->s_hash_seed;
David Brazdil0f672f62019-12-10 10:32:29 +00002131 ext4fs_dirhash(dir, fname_name(fname), fname_len(fname), &fname->hinfo);
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00002132
2133 memset(frames, 0, sizeof(frames));
2134 frame = frames;
2135 frame->entries = entries;
2136 frame->at = entries;
2137 frame->bh = bh;
2138
2139 retval = ext4_handle_dirty_dx_node(handle, dir, frame->bh);
2140 if (retval)
2141 goto out_frames;
David Brazdil0f672f62019-12-10 10:32:29 +00002142 retval = ext4_handle_dirty_dirblock(handle, dir, bh2);
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00002143 if (retval)
2144 goto out_frames;
2145
2146 de = do_split(handle,dir, &bh2, frame, &fname->hinfo);
2147 if (IS_ERR(de)) {
2148 retval = PTR_ERR(de);
2149 goto out_frames;
2150 }
2151
2152 retval = add_dirent_to_buf(handle, fname, dir, inode, de, bh2);
2153out_frames:
2154 /*
2155 * Even if the block split failed, we have to properly write
2156 * out all the changes we did so far. Otherwise we can end up
2157 * with corrupted filesystem.
2158 */
2159 if (retval)
2160 ext4_mark_inode_dirty(handle, dir);
2161 dx_release(frames);
2162 brelse(bh2);
2163 return retval;
2164}
2165
2166/*
2167 * ext4_add_entry()
2168 *
2169 * adds a file entry to the specified directory, using the same
2170 * semantics as ext4_find_entry(). It returns NULL if it failed.
2171 *
2172 * NOTE!! The inode part of 'de' is left at 0 - which means you
2173 * may not sleep between calling this and putting something into
2174 * the entry, as someone else might have used it while you slept.
2175 */
2176static int ext4_add_entry(handle_t *handle, struct dentry *dentry,
2177 struct inode *inode)
2178{
2179 struct inode *dir = d_inode(dentry->d_parent);
2180 struct buffer_head *bh = NULL;
2181 struct ext4_dir_entry_2 *de;
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00002182 struct super_block *sb;
2183 struct ext4_filename fname;
2184 int retval;
2185 int dx_fallback=0;
2186 unsigned blocksize;
2187 ext4_lblk_t block, blocks;
2188 int csum_size = 0;
2189
2190 if (ext4_has_metadata_csum(inode->i_sb))
2191 csum_size = sizeof(struct ext4_dir_entry_tail);
2192
2193 sb = dir->i_sb;
2194 blocksize = sb->s_blocksize;
2195 if (!dentry->d_name.len)
2196 return -EINVAL;
2197
Olivier Deprez0e641232021-09-23 10:07:05 +02002198 if (fscrypt_is_nokey_name(dentry))
2199 return -ENOKEY;
2200
David Brazdil0f672f62019-12-10 10:32:29 +00002201#ifdef CONFIG_UNICODE
Olivier Deprez157378f2022-04-04 15:47:50 +02002202 if (sb_has_strict_encoding(sb) && IS_CASEFOLDED(dir) &&
2203 sb->s_encoding && utf8_validate(sb->s_encoding, &dentry->d_name))
David Brazdil0f672f62019-12-10 10:32:29 +00002204 return -EINVAL;
2205#endif
2206
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00002207 retval = ext4_fname_setup_filename(dir, &dentry->d_name, 0, &fname);
2208 if (retval)
2209 return retval;
2210
2211 if (ext4_has_inline_data(dir)) {
2212 retval = ext4_try_add_inline_entry(handle, &fname, dir, inode);
2213 if (retval < 0)
2214 goto out;
2215 if (retval == 1) {
2216 retval = 0;
2217 goto out;
2218 }
2219 }
2220
2221 if (is_dx(dir)) {
2222 retval = ext4_dx_add_entry(handle, &fname, dir, inode);
2223 if (!retval || (retval != ERR_BAD_DX_DIR))
2224 goto out;
Olivier Deprez0e641232021-09-23 10:07:05 +02002225 /* Can we just ignore htree data? */
2226 if (ext4_has_metadata_csum(sb)) {
2227 EXT4_ERROR_INODE(dir,
2228 "Directory has corrupted htree index.");
2229 retval = -EFSCORRUPTED;
2230 goto out;
2231 }
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00002232 ext4_clear_inode_flag(dir, EXT4_INODE_INDEX);
2233 dx_fallback++;
Olivier Deprez157378f2022-04-04 15:47:50 +02002234 retval = ext4_mark_inode_dirty(handle, dir);
2235 if (unlikely(retval))
2236 goto out;
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00002237 }
2238 blocks = dir->i_size >> sb->s_blocksize_bits;
2239 for (block = 0; block < blocks; block++) {
2240 bh = ext4_read_dirblock(dir, block, DIRENT);
David Brazdil0f672f62019-12-10 10:32:29 +00002241 if (bh == NULL) {
2242 bh = ext4_bread(handle, dir, block,
2243 EXT4_GET_BLOCKS_CREATE);
2244 goto add_to_new_block;
2245 }
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00002246 if (IS_ERR(bh)) {
2247 retval = PTR_ERR(bh);
2248 bh = NULL;
2249 goto out;
2250 }
2251 retval = add_dirent_to_buf(handle, &fname, dir, inode,
2252 NULL, bh);
2253 if (retval != -ENOSPC)
2254 goto out;
2255
2256 if (blocks == 1 && !dx_fallback &&
2257 ext4_has_feature_dir_index(sb)) {
2258 retval = make_indexed_dir(handle, &fname, dir,
2259 inode, bh);
2260 bh = NULL; /* make_indexed_dir releases bh */
2261 goto out;
2262 }
2263 brelse(bh);
2264 }
2265 bh = ext4_append(handle, dir, &block);
David Brazdil0f672f62019-12-10 10:32:29 +00002266add_to_new_block:
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00002267 if (IS_ERR(bh)) {
2268 retval = PTR_ERR(bh);
2269 bh = NULL;
2270 goto out;
2271 }
2272 de = (struct ext4_dir_entry_2 *) bh->b_data;
2273 de->inode = 0;
2274 de->rec_len = ext4_rec_len_to_disk(blocksize - csum_size, blocksize);
2275
David Brazdil0f672f62019-12-10 10:32:29 +00002276 if (csum_size)
2277 ext4_initialize_dirent_tail(bh, blocksize);
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00002278
2279 retval = add_dirent_to_buf(handle, &fname, dir, inode, de, bh);
2280out:
2281 ext4_fname_free_filename(&fname);
2282 brelse(bh);
2283 if (retval == 0)
2284 ext4_set_inode_state(inode, EXT4_STATE_NEWENTRY);
2285 return retval;
2286}
2287
2288/*
2289 * Returns 0 for success, or a negative error value
2290 */
2291static int ext4_dx_add_entry(handle_t *handle, struct ext4_filename *fname,
2292 struct inode *dir, struct inode *inode)
2293{
2294 struct dx_frame frames[EXT4_HTREE_LEVEL], *frame;
2295 struct dx_entry *entries, *at;
2296 struct buffer_head *bh;
2297 struct super_block *sb = dir->i_sb;
2298 struct ext4_dir_entry_2 *de;
2299 int restart;
2300 int err;
2301
2302again:
2303 restart = 0;
2304 frame = dx_probe(fname, dir, NULL, frames);
2305 if (IS_ERR(frame))
2306 return PTR_ERR(frame);
2307 entries = frame->entries;
2308 at = frame->at;
David Brazdil0f672f62019-12-10 10:32:29 +00002309 bh = ext4_read_dirblock(dir, dx_get_block(frame->at), DIRENT_HTREE);
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00002310 if (IS_ERR(bh)) {
2311 err = PTR_ERR(bh);
2312 bh = NULL;
2313 goto cleanup;
2314 }
2315
2316 BUFFER_TRACE(bh, "get_write_access");
2317 err = ext4_journal_get_write_access(handle, bh);
2318 if (err)
2319 goto journal_error;
2320
2321 err = add_dirent_to_buf(handle, fname, dir, inode, NULL, bh);
2322 if (err != -ENOSPC)
2323 goto cleanup;
2324
2325 err = 0;
2326 /* Block full, should compress but for now just split */
2327 dxtrace(printk(KERN_DEBUG "using %u of %u node entries\n",
2328 dx_get_count(entries), dx_get_limit(entries)));
2329 /* Need to split index? */
2330 if (dx_get_count(entries) == dx_get_limit(entries)) {
2331 ext4_lblk_t newblock;
2332 int levels = frame - frames + 1;
2333 unsigned int icount;
2334 int add_level = 1;
2335 struct dx_entry *entries2;
2336 struct dx_node *node2;
2337 struct buffer_head *bh2;
2338
2339 while (frame > frames) {
2340 if (dx_get_count((frame - 1)->entries) <
2341 dx_get_limit((frame - 1)->entries)) {
2342 add_level = 0;
2343 break;
2344 }
2345 frame--; /* split higher index block */
2346 at = frame->at;
2347 entries = frame->entries;
2348 restart = 1;
2349 }
2350 if (add_level && levels == ext4_dir_htree_level(sb)) {
2351 ext4_warning(sb, "Directory (ino: %lu) index full, "
2352 "reach max htree level :%d",
2353 dir->i_ino, levels);
2354 if (ext4_dir_htree_level(sb) < EXT4_HTREE_LEVEL) {
2355 ext4_warning(sb, "Large directory feature is "
2356 "not enabled on this "
2357 "filesystem");
2358 }
2359 err = -ENOSPC;
2360 goto cleanup;
2361 }
2362 icount = dx_get_count(entries);
2363 bh2 = ext4_append(handle, dir, &newblock);
2364 if (IS_ERR(bh2)) {
2365 err = PTR_ERR(bh2);
2366 goto cleanup;
2367 }
2368 node2 = (struct dx_node *)(bh2->b_data);
2369 entries2 = node2->entries;
2370 memset(&node2->fake, 0, sizeof(struct fake_dirent));
2371 node2->fake.rec_len = ext4_rec_len_to_disk(sb->s_blocksize,
2372 sb->s_blocksize);
2373 BUFFER_TRACE(frame->bh, "get_write_access");
2374 err = ext4_journal_get_write_access(handle, frame->bh);
2375 if (err)
2376 goto journal_error;
2377 if (!add_level) {
2378 unsigned icount1 = icount/2, icount2 = icount - icount1;
2379 unsigned hash2 = dx_get_hash(entries + icount1);
2380 dxtrace(printk(KERN_DEBUG "Split index %i/%i\n",
2381 icount1, icount2));
2382
2383 BUFFER_TRACE(frame->bh, "get_write_access"); /* index root */
2384 err = ext4_journal_get_write_access(handle,
2385 (frame - 1)->bh);
2386 if (err)
2387 goto journal_error;
2388
2389 memcpy((char *) entries2, (char *) (entries + icount1),
2390 icount2 * sizeof(struct dx_entry));
2391 dx_set_count(entries, icount1);
2392 dx_set_count(entries2, icount2);
2393 dx_set_limit(entries2, dx_node_limit(dir));
2394
2395 /* Which index block gets the new entry? */
2396 if (at - entries >= icount1) {
2397 frame->at = at = at - entries - icount1 + entries2;
2398 frame->entries = entries = entries2;
2399 swap(frame->bh, bh2);
2400 }
2401 dx_insert_block((frame - 1), hash2, newblock);
2402 dxtrace(dx_show_index("node", frame->entries));
2403 dxtrace(dx_show_index("node",
2404 ((struct dx_node *) bh2->b_data)->entries));
2405 err = ext4_handle_dirty_dx_node(handle, dir, bh2);
2406 if (err)
2407 goto journal_error;
2408 brelse (bh2);
2409 err = ext4_handle_dirty_dx_node(handle, dir,
2410 (frame - 1)->bh);
2411 if (err)
2412 goto journal_error;
Olivier Deprez0e641232021-09-23 10:07:05 +02002413 err = ext4_handle_dirty_dx_node(handle, dir,
2414 frame->bh);
2415 if (restart || err)
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00002416 goto journal_error;
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00002417 } else {
2418 struct dx_root *dxroot;
2419 memcpy((char *) entries2, (char *) entries,
2420 icount * sizeof(struct dx_entry));
2421 dx_set_limit(entries2, dx_node_limit(dir));
2422
2423 /* Set up root */
2424 dx_set_count(entries, 1);
2425 dx_set_block(entries + 0, newblock);
2426 dxroot = (struct dx_root *)frames[0].bh->b_data;
2427 dxroot->info.indirect_levels += 1;
2428 dxtrace(printk(KERN_DEBUG
2429 "Creating %d level index...\n",
David Brazdil0f672f62019-12-10 10:32:29 +00002430 dxroot->info.indirect_levels));
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00002431 err = ext4_handle_dirty_dx_node(handle, dir, frame->bh);
2432 if (err)
2433 goto journal_error;
2434 err = ext4_handle_dirty_dx_node(handle, dir, bh2);
2435 brelse(bh2);
2436 restart = 1;
2437 goto journal_error;
2438 }
2439 }
2440 de = do_split(handle, dir, &bh, frame, &fname->hinfo);
2441 if (IS_ERR(de)) {
2442 err = PTR_ERR(de);
2443 goto cleanup;
2444 }
2445 err = add_dirent_to_buf(handle, fname, dir, inode, de, bh);
2446 goto cleanup;
2447
2448journal_error:
2449 ext4_std_error(dir->i_sb, err); /* this is a no-op if err == 0 */
2450cleanup:
2451 brelse(bh);
2452 dx_release(frames);
2453 /* @restart is true means htree-path has been changed, we need to
2454 * repeat dx_probe() to find out valid htree-path
2455 */
2456 if (restart && err == 0)
2457 goto again;
2458 return err;
2459}
2460
2461/*
2462 * ext4_generic_delete_entry deletes a directory entry by merging it
2463 * with the previous entry
2464 */
Olivier Deprez157378f2022-04-04 15:47:50 +02002465int ext4_generic_delete_entry(struct inode *dir,
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00002466 struct ext4_dir_entry_2 *de_del,
2467 struct buffer_head *bh,
2468 void *entry_buf,
2469 int buf_size,
2470 int csum_size)
2471{
2472 struct ext4_dir_entry_2 *de, *pde;
2473 unsigned int blocksize = dir->i_sb->s_blocksize;
2474 int i;
2475
2476 i = 0;
2477 pde = NULL;
2478 de = (struct ext4_dir_entry_2 *)entry_buf;
2479 while (i < buf_size - csum_size) {
2480 if (ext4_check_dir_entry(dir, NULL, de, bh,
Olivier Deprez0e641232021-09-23 10:07:05 +02002481 entry_buf, buf_size, i))
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00002482 return -EFSCORRUPTED;
2483 if (de == de_del) {
2484 if (pde)
2485 pde->rec_len = ext4_rec_len_to_disk(
2486 ext4_rec_len_from_disk(pde->rec_len,
2487 blocksize) +
2488 ext4_rec_len_from_disk(de->rec_len,
2489 blocksize),
2490 blocksize);
2491 else
2492 de->inode = 0;
2493 inode_inc_iversion(dir);
2494 return 0;
2495 }
2496 i += ext4_rec_len_from_disk(de->rec_len, blocksize);
2497 pde = de;
2498 de = ext4_next_entry(de, blocksize);
2499 }
2500 return -ENOENT;
2501}
2502
2503static int ext4_delete_entry(handle_t *handle,
2504 struct inode *dir,
2505 struct ext4_dir_entry_2 *de_del,
2506 struct buffer_head *bh)
2507{
2508 int err, csum_size = 0;
2509
2510 if (ext4_has_inline_data(dir)) {
2511 int has_inline_data = 1;
2512 err = ext4_delete_inline_entry(handle, dir, de_del, bh,
2513 &has_inline_data);
2514 if (has_inline_data)
2515 return err;
2516 }
2517
2518 if (ext4_has_metadata_csum(dir->i_sb))
2519 csum_size = sizeof(struct ext4_dir_entry_tail);
2520
2521 BUFFER_TRACE(bh, "get_write_access");
2522 err = ext4_journal_get_write_access(handle, bh);
2523 if (unlikely(err))
2524 goto out;
2525
Olivier Deprez157378f2022-04-04 15:47:50 +02002526 err = ext4_generic_delete_entry(dir, de_del, bh, bh->b_data,
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00002527 dir->i_sb->s_blocksize, csum_size);
2528 if (err)
2529 goto out;
2530
2531 BUFFER_TRACE(bh, "call ext4_handle_dirty_metadata");
David Brazdil0f672f62019-12-10 10:32:29 +00002532 err = ext4_handle_dirty_dirblock(handle, dir, bh);
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00002533 if (unlikely(err))
2534 goto out;
2535
2536 return 0;
2537out:
2538 if (err != -ENOENT)
2539 ext4_std_error(dir->i_sb, err);
2540 return err;
2541}
2542
2543/*
2544 * Set directory link count to 1 if nlinks > EXT4_LINK_MAX, or if nlinks == 2
2545 * since this indicates that nlinks count was previously 1 to avoid overflowing
2546 * the 16-bit i_links_count field on disk. Directories with i_nlink == 1 mean
2547 * that subdirectory link counts are not being maintained accurately.
2548 *
2549 * The caller has already checked for i_nlink overflow in case the DIR_LINK
2550 * feature is not enabled and returned -EMLINK. The is_dx() check is a proxy
2551 * for checking S_ISDIR(inode) (since the INODE_INDEX feature will not be set
2552 * on regular files) and to avoid creating huge/slow non-HTREE directories.
2553 */
Olivier Deprez157378f2022-04-04 15:47:50 +02002554static void ext4_inc_count(struct inode *inode)
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00002555{
2556 inc_nlink(inode);
2557 if (is_dx(inode) &&
2558 (inode->i_nlink > EXT4_LINK_MAX || inode->i_nlink == 2))
2559 set_nlink(inode, 1);
2560}
2561
2562/*
2563 * If a directory had nlink == 1, then we should let it be 1. This indicates
2564 * directory has >EXT4_LINK_MAX subdirs.
2565 */
Olivier Deprez157378f2022-04-04 15:47:50 +02002566static void ext4_dec_count(struct inode *inode)
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00002567{
2568 if (!S_ISDIR(inode->i_mode) || inode->i_nlink > 2)
2569 drop_nlink(inode);
2570}
2571
2572
Olivier Deprez157378f2022-04-04 15:47:50 +02002573/*
2574 * Add non-directory inode to a directory. On success, the inode reference is
2575 * consumed by dentry is instantiation. This is also indicated by clearing of
2576 * *inodep pointer. On failure, the caller is responsible for dropping the
2577 * inode reference in the safe context.
2578 */
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00002579static int ext4_add_nondir(handle_t *handle,
Olivier Deprez157378f2022-04-04 15:47:50 +02002580 struct dentry *dentry, struct inode **inodep)
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00002581{
Olivier Deprez157378f2022-04-04 15:47:50 +02002582 struct inode *dir = d_inode(dentry->d_parent);
2583 struct inode *inode = *inodep;
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00002584 int err = ext4_add_entry(handle, dentry, inode);
2585 if (!err) {
Olivier Deprez157378f2022-04-04 15:47:50 +02002586 err = ext4_mark_inode_dirty(handle, inode);
2587 if (IS_DIRSYNC(dir))
2588 ext4_handle_sync(handle);
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00002589 d_instantiate_new(dentry, inode);
Olivier Deprez157378f2022-04-04 15:47:50 +02002590 *inodep = NULL;
2591 return err;
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00002592 }
2593 drop_nlink(inode);
Olivier Deprez157378f2022-04-04 15:47:50 +02002594 ext4_orphan_add(handle, inode);
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00002595 unlock_new_inode(inode);
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00002596 return err;
2597}
2598
2599/*
2600 * By the time this is called, we already have created
2601 * the directory cache entry for the new file, but it
2602 * is so far negative - it has no inode.
2603 *
2604 * If the create succeeds, we fill in the inode information
2605 * with d_instantiate().
2606 */
2607static int ext4_create(struct inode *dir, struct dentry *dentry, umode_t mode,
2608 bool excl)
2609{
2610 handle_t *handle;
2611 struct inode *inode;
2612 int err, credits, retries = 0;
2613
2614 err = dquot_initialize(dir);
2615 if (err)
2616 return err;
2617
2618 credits = (EXT4_DATA_TRANS_BLOCKS(dir->i_sb) +
2619 EXT4_INDEX_EXTRA_TRANS_BLOCKS + 3);
2620retry:
2621 inode = ext4_new_inode_start_handle(dir, mode, &dentry->d_name, 0,
2622 NULL, EXT4_HT_DIR, credits);
2623 handle = ext4_journal_current_handle();
2624 err = PTR_ERR(inode);
2625 if (!IS_ERR(inode)) {
2626 inode->i_op = &ext4_file_inode_operations;
2627 inode->i_fop = &ext4_file_operations;
2628 ext4_set_aops(inode);
Olivier Deprez157378f2022-04-04 15:47:50 +02002629 err = ext4_add_nondir(handle, dentry, &inode);
2630 if (!err)
2631 ext4_fc_track_create(handle, dentry);
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00002632 }
2633 if (handle)
2634 ext4_journal_stop(handle);
Olivier Deprez157378f2022-04-04 15:47:50 +02002635 if (!IS_ERR_OR_NULL(inode))
2636 iput(inode);
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00002637 if (err == -ENOSPC && ext4_should_retry_alloc(dir->i_sb, &retries))
2638 goto retry;
2639 return err;
2640}
2641
2642static int ext4_mknod(struct inode *dir, struct dentry *dentry,
2643 umode_t mode, dev_t rdev)
2644{
2645 handle_t *handle;
2646 struct inode *inode;
2647 int err, credits, retries = 0;
2648
2649 err = dquot_initialize(dir);
2650 if (err)
2651 return err;
2652
2653 credits = (EXT4_DATA_TRANS_BLOCKS(dir->i_sb) +
2654 EXT4_INDEX_EXTRA_TRANS_BLOCKS + 3);
2655retry:
2656 inode = ext4_new_inode_start_handle(dir, mode, &dentry->d_name, 0,
2657 NULL, EXT4_HT_DIR, credits);
2658 handle = ext4_journal_current_handle();
2659 err = PTR_ERR(inode);
2660 if (!IS_ERR(inode)) {
2661 init_special_inode(inode, inode->i_mode, rdev);
2662 inode->i_op = &ext4_special_inode_operations;
Olivier Deprez157378f2022-04-04 15:47:50 +02002663 err = ext4_add_nondir(handle, dentry, &inode);
2664 if (!err)
2665 ext4_fc_track_create(handle, dentry);
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00002666 }
2667 if (handle)
2668 ext4_journal_stop(handle);
Olivier Deprez157378f2022-04-04 15:47:50 +02002669 if (!IS_ERR_OR_NULL(inode))
2670 iput(inode);
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00002671 if (err == -ENOSPC && ext4_should_retry_alloc(dir->i_sb, &retries))
2672 goto retry;
2673 return err;
2674}
2675
2676static int ext4_tmpfile(struct inode *dir, struct dentry *dentry, umode_t mode)
2677{
2678 handle_t *handle;
2679 struct inode *inode;
2680 int err, retries = 0;
2681
2682 err = dquot_initialize(dir);
2683 if (err)
2684 return err;
2685
2686retry:
2687 inode = ext4_new_inode_start_handle(dir, mode,
2688 NULL, 0, NULL,
2689 EXT4_HT_DIR,
2690 EXT4_MAXQUOTAS_INIT_BLOCKS(dir->i_sb) +
2691 4 + EXT4_XATTR_TRANS_BLOCKS);
2692 handle = ext4_journal_current_handle();
2693 err = PTR_ERR(inode);
2694 if (!IS_ERR(inode)) {
2695 inode->i_op = &ext4_file_inode_operations;
2696 inode->i_fop = &ext4_file_operations;
2697 ext4_set_aops(inode);
2698 d_tmpfile(dentry, inode);
2699 err = ext4_orphan_add(handle, inode);
2700 if (err)
2701 goto err_unlock_inode;
2702 mark_inode_dirty(inode);
2703 unlock_new_inode(inode);
2704 }
2705 if (handle)
2706 ext4_journal_stop(handle);
2707 if (err == -ENOSPC && ext4_should_retry_alloc(dir->i_sb, &retries))
2708 goto retry;
2709 return err;
2710err_unlock_inode:
2711 ext4_journal_stop(handle);
2712 unlock_new_inode(inode);
2713 return err;
2714}
2715
2716struct ext4_dir_entry_2 *ext4_init_dot_dotdot(struct inode *inode,
2717 struct ext4_dir_entry_2 *de,
2718 int blocksize, int csum_size,
2719 unsigned int parent_ino, int dotdot_real_len)
2720{
2721 de->inode = cpu_to_le32(inode->i_ino);
2722 de->name_len = 1;
2723 de->rec_len = ext4_rec_len_to_disk(EXT4_DIR_REC_LEN(de->name_len),
2724 blocksize);
2725 strcpy(de->name, ".");
2726 ext4_set_de_type(inode->i_sb, de, S_IFDIR);
2727
2728 de = ext4_next_entry(de, blocksize);
2729 de->inode = cpu_to_le32(parent_ino);
2730 de->name_len = 2;
2731 if (!dotdot_real_len)
2732 de->rec_len = ext4_rec_len_to_disk(blocksize -
2733 (csum_size + EXT4_DIR_REC_LEN(1)),
2734 blocksize);
2735 else
2736 de->rec_len = ext4_rec_len_to_disk(
2737 EXT4_DIR_REC_LEN(de->name_len), blocksize);
2738 strcpy(de->name, "..");
2739 ext4_set_de_type(inode->i_sb, de, S_IFDIR);
2740
2741 return ext4_next_entry(de, blocksize);
2742}
2743
Olivier Deprez157378f2022-04-04 15:47:50 +02002744int ext4_init_new_dir(handle_t *handle, struct inode *dir,
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00002745 struct inode *inode)
2746{
2747 struct buffer_head *dir_block = NULL;
2748 struct ext4_dir_entry_2 *de;
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00002749 ext4_lblk_t block = 0;
2750 unsigned int blocksize = dir->i_sb->s_blocksize;
2751 int csum_size = 0;
2752 int err;
2753
2754 if (ext4_has_metadata_csum(dir->i_sb))
2755 csum_size = sizeof(struct ext4_dir_entry_tail);
2756
2757 if (ext4_test_inode_state(inode, EXT4_STATE_MAY_INLINE_DATA)) {
2758 err = ext4_try_create_inline_dir(handle, dir, inode);
2759 if (err < 0 && err != -ENOSPC)
2760 goto out;
2761 if (!err)
2762 goto out;
2763 }
2764
2765 inode->i_size = 0;
2766 dir_block = ext4_append(handle, inode, &block);
2767 if (IS_ERR(dir_block))
2768 return PTR_ERR(dir_block);
2769 de = (struct ext4_dir_entry_2 *)dir_block->b_data;
2770 ext4_init_dot_dotdot(inode, de, blocksize, csum_size, dir->i_ino, 0);
2771 set_nlink(inode, 2);
David Brazdil0f672f62019-12-10 10:32:29 +00002772 if (csum_size)
2773 ext4_initialize_dirent_tail(dir_block, blocksize);
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00002774
2775 BUFFER_TRACE(dir_block, "call ext4_handle_dirty_metadata");
David Brazdil0f672f62019-12-10 10:32:29 +00002776 err = ext4_handle_dirty_dirblock(handle, inode, dir_block);
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00002777 if (err)
2778 goto out;
2779 set_buffer_verified(dir_block);
2780out:
2781 brelse(dir_block);
2782 return err;
2783}
2784
2785static int ext4_mkdir(struct inode *dir, struct dentry *dentry, umode_t mode)
2786{
2787 handle_t *handle;
2788 struct inode *inode;
Olivier Deprez157378f2022-04-04 15:47:50 +02002789 int err, err2 = 0, credits, retries = 0;
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00002790
2791 if (EXT4_DIR_LINK_MAX(dir))
2792 return -EMLINK;
2793
2794 err = dquot_initialize(dir);
2795 if (err)
2796 return err;
2797
2798 credits = (EXT4_DATA_TRANS_BLOCKS(dir->i_sb) +
2799 EXT4_INDEX_EXTRA_TRANS_BLOCKS + 3);
2800retry:
2801 inode = ext4_new_inode_start_handle(dir, S_IFDIR | mode,
2802 &dentry->d_name,
2803 0, NULL, EXT4_HT_DIR, credits);
2804 handle = ext4_journal_current_handle();
2805 err = PTR_ERR(inode);
2806 if (IS_ERR(inode))
2807 goto out_stop;
2808
2809 inode->i_op = &ext4_dir_inode_operations;
2810 inode->i_fop = &ext4_dir_operations;
2811 err = ext4_init_new_dir(handle, dir, inode);
2812 if (err)
2813 goto out_clear_inode;
2814 err = ext4_mark_inode_dirty(handle, inode);
2815 if (!err)
2816 err = ext4_add_entry(handle, dentry, inode);
2817 if (err) {
2818out_clear_inode:
2819 clear_nlink(inode);
Olivier Deprez157378f2022-04-04 15:47:50 +02002820 ext4_orphan_add(handle, inode);
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00002821 unlock_new_inode(inode);
Olivier Deprez157378f2022-04-04 15:47:50 +02002822 err2 = ext4_mark_inode_dirty(handle, inode);
2823 if (unlikely(err2))
2824 err = err2;
2825 ext4_journal_stop(handle);
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00002826 iput(inode);
Olivier Deprez157378f2022-04-04 15:47:50 +02002827 goto out_retry;
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00002828 }
Olivier Deprez157378f2022-04-04 15:47:50 +02002829 ext4_inc_count(dir);
2830
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00002831 ext4_update_dx_flag(dir);
2832 err = ext4_mark_inode_dirty(handle, dir);
2833 if (err)
2834 goto out_clear_inode;
2835 d_instantiate_new(dentry, inode);
Olivier Deprez157378f2022-04-04 15:47:50 +02002836 ext4_fc_track_create(handle, dentry);
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00002837 if (IS_DIRSYNC(dir))
2838 ext4_handle_sync(handle);
2839
2840out_stop:
2841 if (handle)
2842 ext4_journal_stop(handle);
Olivier Deprez157378f2022-04-04 15:47:50 +02002843out_retry:
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00002844 if (err == -ENOSPC && ext4_should_retry_alloc(dir->i_sb, &retries))
2845 goto retry;
2846 return err;
2847}
2848
2849/*
2850 * routine to check that the specified directory is empty (for rmdir)
2851 */
2852bool ext4_empty_dir(struct inode *inode)
2853{
2854 unsigned int offset;
2855 struct buffer_head *bh;
Olivier Deprez0e641232021-09-23 10:07:05 +02002856 struct ext4_dir_entry_2 *de;
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00002857 struct super_block *sb;
2858
2859 if (ext4_has_inline_data(inode)) {
2860 int has_inline_data = 1;
2861 int ret;
2862
2863 ret = empty_inline_dir(inode, &has_inline_data);
2864 if (has_inline_data)
2865 return ret;
2866 }
2867
2868 sb = inode->i_sb;
2869 if (inode->i_size < EXT4_DIR_REC_LEN(1) + EXT4_DIR_REC_LEN(2)) {
2870 EXT4_ERROR_INODE(inode, "invalid size");
2871 return true;
2872 }
David Brazdil0f672f62019-12-10 10:32:29 +00002873 /* The first directory block must not be a hole,
2874 * so treat it as DIRENT_HTREE
2875 */
2876 bh = ext4_read_dirblock(inode, 0, DIRENT_HTREE);
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00002877 if (IS_ERR(bh))
2878 return true;
2879
2880 de = (struct ext4_dir_entry_2 *) bh->b_data;
Olivier Deprez0e641232021-09-23 10:07:05 +02002881 if (ext4_check_dir_entry(inode, NULL, de, bh, bh->b_data, bh->b_size,
2882 0) ||
2883 le32_to_cpu(de->inode) != inode->i_ino || strcmp(".", de->name)) {
2884 ext4_warning_inode(inode, "directory missing '.'");
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00002885 brelse(bh);
2886 return true;
2887 }
Olivier Deprez0e641232021-09-23 10:07:05 +02002888 offset = ext4_rec_len_from_disk(de->rec_len, sb->s_blocksize);
2889 de = ext4_next_entry(de, sb->s_blocksize);
2890 if (ext4_check_dir_entry(inode, NULL, de, bh, bh->b_data, bh->b_size,
2891 offset) ||
2892 le32_to_cpu(de->inode) == 0 || strcmp("..", de->name)) {
2893 ext4_warning_inode(inode, "directory missing '..'");
2894 brelse(bh);
2895 return true;
2896 }
2897 offset += ext4_rec_len_from_disk(de->rec_len, sb->s_blocksize);
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00002898 while (offset < inode->i_size) {
Olivier Deprez0e641232021-09-23 10:07:05 +02002899 if (!(offset & (sb->s_blocksize - 1))) {
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00002900 unsigned int lblock;
2901 brelse(bh);
2902 lblock = offset >> EXT4_BLOCK_SIZE_BITS(sb);
2903 bh = ext4_read_dirblock(inode, lblock, EITHER);
David Brazdil0f672f62019-12-10 10:32:29 +00002904 if (bh == NULL) {
2905 offset += sb->s_blocksize;
2906 continue;
2907 }
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00002908 if (IS_ERR(bh))
2909 return true;
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00002910 }
Olivier Deprez0e641232021-09-23 10:07:05 +02002911 de = (struct ext4_dir_entry_2 *) (bh->b_data +
2912 (offset & (sb->s_blocksize - 1)));
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00002913 if (ext4_check_dir_entry(inode, NULL, de, bh,
2914 bh->b_data, bh->b_size, offset)) {
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00002915 offset = (offset | (sb->s_blocksize - 1)) + 1;
2916 continue;
2917 }
2918 if (le32_to_cpu(de->inode)) {
2919 brelse(bh);
2920 return false;
2921 }
2922 offset += ext4_rec_len_from_disk(de->rec_len, sb->s_blocksize);
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00002923 }
2924 brelse(bh);
2925 return true;
2926}
2927
2928/*
2929 * ext4_orphan_add() links an unlinked or truncated inode into a list of
2930 * such inodes, starting at the superblock, in case we crash before the
2931 * file is closed/deleted, or in case the inode truncate spans multiple
2932 * transactions and the last transaction is not recovered after a crash.
2933 *
2934 * At filesystem recovery time, we walk this list deleting unlinked
2935 * inodes and truncating linked inodes in ext4_orphan_cleanup().
2936 *
2937 * Orphan list manipulation functions must be called under i_mutex unless
2938 * we are just creating the inode or deleting it.
2939 */
2940int ext4_orphan_add(handle_t *handle, struct inode *inode)
2941{
2942 struct super_block *sb = inode->i_sb;
2943 struct ext4_sb_info *sbi = EXT4_SB(sb);
2944 struct ext4_iloc iloc;
2945 int err = 0, rc;
2946 bool dirty = false;
2947
2948 if (!sbi->s_journal || is_bad_inode(inode))
2949 return 0;
2950
2951 WARN_ON_ONCE(!(inode->i_state & (I_NEW | I_FREEING)) &&
2952 !inode_is_locked(inode));
2953 /*
2954 * Exit early if inode already is on orphan list. This is a big speedup
2955 * since we don't have to contend on the global s_orphan_lock.
2956 */
2957 if (!list_empty(&EXT4_I(inode)->i_orphan))
2958 return 0;
2959
2960 /*
2961 * Orphan handling is only valid for files with data blocks
2962 * being truncated, or files being unlinked. Note that we either
2963 * hold i_mutex, or the inode can not be referenced from outside,
2964 * so i_nlink should not be bumped due to race
2965 */
2966 J_ASSERT((S_ISREG(inode->i_mode) || S_ISDIR(inode->i_mode) ||
2967 S_ISLNK(inode->i_mode)) || inode->i_nlink == 0);
2968
2969 BUFFER_TRACE(sbi->s_sbh, "get_write_access");
2970 err = ext4_journal_get_write_access(handle, sbi->s_sbh);
2971 if (err)
2972 goto out;
2973
2974 err = ext4_reserve_inode_write(handle, inode, &iloc);
2975 if (err)
2976 goto out;
2977
2978 mutex_lock(&sbi->s_orphan_lock);
2979 /*
2980 * Due to previous errors inode may be already a part of on-disk
2981 * orphan list. If so skip on-disk list modification.
2982 */
2983 if (!NEXT_ORPHAN(inode) || NEXT_ORPHAN(inode) >
2984 (le32_to_cpu(sbi->s_es->s_inodes_count))) {
2985 /* Insert this inode at the head of the on-disk orphan list */
2986 NEXT_ORPHAN(inode) = le32_to_cpu(sbi->s_es->s_last_orphan);
2987 sbi->s_es->s_last_orphan = cpu_to_le32(inode->i_ino);
2988 dirty = true;
2989 }
2990 list_add(&EXT4_I(inode)->i_orphan, &sbi->s_orphan);
2991 mutex_unlock(&sbi->s_orphan_lock);
2992
2993 if (dirty) {
2994 err = ext4_handle_dirty_super(handle, sb);
2995 rc = ext4_mark_iloc_dirty(handle, inode, &iloc);
2996 if (!err)
2997 err = rc;
2998 if (err) {
2999 /*
3000 * We have to remove inode from in-memory list if
3001 * addition to on disk orphan list failed. Stray orphan
3002 * list entries can cause panics at unmount time.
3003 */
3004 mutex_lock(&sbi->s_orphan_lock);
3005 list_del_init(&EXT4_I(inode)->i_orphan);
3006 mutex_unlock(&sbi->s_orphan_lock);
3007 }
3008 } else
3009 brelse(iloc.bh);
3010
3011 jbd_debug(4, "superblock will point to %lu\n", inode->i_ino);
3012 jbd_debug(4, "orphan inode %lu will point to %d\n",
3013 inode->i_ino, NEXT_ORPHAN(inode));
3014out:
3015 ext4_std_error(sb, err);
3016 return err;
3017}
3018
3019/*
3020 * ext4_orphan_del() removes an unlinked or truncated inode from the list
3021 * of such inodes stored on disk, because it is finally being cleaned up.
3022 */
3023int ext4_orphan_del(handle_t *handle, struct inode *inode)
3024{
3025 struct list_head *prev;
3026 struct ext4_inode_info *ei = EXT4_I(inode);
3027 struct ext4_sb_info *sbi = EXT4_SB(inode->i_sb);
3028 __u32 ino_next;
3029 struct ext4_iloc iloc;
3030 int err = 0;
3031
3032 if (!sbi->s_journal && !(sbi->s_mount_state & EXT4_ORPHAN_FS))
3033 return 0;
3034
3035 WARN_ON_ONCE(!(inode->i_state & (I_NEW | I_FREEING)) &&
3036 !inode_is_locked(inode));
3037 /* Do this quick check before taking global s_orphan_lock. */
3038 if (list_empty(&ei->i_orphan))
3039 return 0;
3040
3041 if (handle) {
3042 /* Grab inode buffer early before taking global s_orphan_lock */
3043 err = ext4_reserve_inode_write(handle, inode, &iloc);
3044 }
3045
3046 mutex_lock(&sbi->s_orphan_lock);
3047 jbd_debug(4, "remove inode %lu from orphan list\n", inode->i_ino);
3048
3049 prev = ei->i_orphan.prev;
3050 list_del_init(&ei->i_orphan);
3051
3052 /* If we're on an error path, we may not have a valid
3053 * transaction handle with which to update the orphan list on
3054 * disk, but we still need to remove the inode from the linked
3055 * list in memory. */
3056 if (!handle || err) {
3057 mutex_unlock(&sbi->s_orphan_lock);
3058 goto out_err;
3059 }
3060
3061 ino_next = NEXT_ORPHAN(inode);
3062 if (prev == &sbi->s_orphan) {
3063 jbd_debug(4, "superblock will point to %u\n", ino_next);
3064 BUFFER_TRACE(sbi->s_sbh, "get_write_access");
3065 err = ext4_journal_get_write_access(handle, sbi->s_sbh);
3066 if (err) {
3067 mutex_unlock(&sbi->s_orphan_lock);
3068 goto out_brelse;
3069 }
3070 sbi->s_es->s_last_orphan = cpu_to_le32(ino_next);
3071 mutex_unlock(&sbi->s_orphan_lock);
3072 err = ext4_handle_dirty_super(handle, inode->i_sb);
3073 } else {
3074 struct ext4_iloc iloc2;
3075 struct inode *i_prev =
3076 &list_entry(prev, struct ext4_inode_info, i_orphan)->vfs_inode;
3077
3078 jbd_debug(4, "orphan inode %lu will point to %u\n",
3079 i_prev->i_ino, ino_next);
3080 err = ext4_reserve_inode_write(handle, i_prev, &iloc2);
3081 if (err) {
3082 mutex_unlock(&sbi->s_orphan_lock);
3083 goto out_brelse;
3084 }
3085 NEXT_ORPHAN(i_prev) = ino_next;
3086 err = ext4_mark_iloc_dirty(handle, i_prev, &iloc2);
3087 mutex_unlock(&sbi->s_orphan_lock);
3088 }
3089 if (err)
3090 goto out_brelse;
3091 NEXT_ORPHAN(inode) = 0;
3092 err = ext4_mark_iloc_dirty(handle, inode, &iloc);
3093out_err:
3094 ext4_std_error(inode->i_sb, err);
3095 return err;
3096
3097out_brelse:
3098 brelse(iloc.bh);
3099 goto out_err;
3100}
3101
3102static int ext4_rmdir(struct inode *dir, struct dentry *dentry)
3103{
3104 int retval;
3105 struct inode *inode;
3106 struct buffer_head *bh;
3107 struct ext4_dir_entry_2 *de;
3108 handle_t *handle = NULL;
3109
3110 if (unlikely(ext4_forced_shutdown(EXT4_SB(dir->i_sb))))
3111 return -EIO;
3112
3113 /* Initialize quotas before so that eventual writes go in
3114 * separate transaction */
3115 retval = dquot_initialize(dir);
3116 if (retval)
3117 return retval;
3118 retval = dquot_initialize(d_inode(dentry));
3119 if (retval)
3120 return retval;
3121
3122 retval = -ENOENT;
3123 bh = ext4_find_entry(dir, &dentry->d_name, &de, NULL);
3124 if (IS_ERR(bh))
3125 return PTR_ERR(bh);
3126 if (!bh)
3127 goto end_rmdir;
3128
3129 inode = d_inode(dentry);
3130
3131 retval = -EFSCORRUPTED;
3132 if (le32_to_cpu(de->inode) != inode->i_ino)
3133 goto end_rmdir;
3134
3135 retval = -ENOTEMPTY;
3136 if (!ext4_empty_dir(inode))
3137 goto end_rmdir;
3138
3139 handle = ext4_journal_start(dir, EXT4_HT_DIR,
3140 EXT4_DATA_TRANS_BLOCKS(dir->i_sb));
3141 if (IS_ERR(handle)) {
3142 retval = PTR_ERR(handle);
3143 handle = NULL;
3144 goto end_rmdir;
3145 }
3146
3147 if (IS_DIRSYNC(dir))
3148 ext4_handle_sync(handle);
3149
3150 retval = ext4_delete_entry(handle, dir, de, bh);
3151 if (retval)
3152 goto end_rmdir;
3153 if (!EXT4_DIR_LINK_EMPTY(inode))
3154 ext4_warning_inode(inode,
3155 "empty directory '%.*s' has too many links (%u)",
3156 dentry->d_name.len, dentry->d_name.name,
3157 inode->i_nlink);
3158 inode_inc_iversion(inode);
3159 clear_nlink(inode);
3160 /* There's no need to set i_disksize: the fact that i_nlink is
3161 * zero will ensure that the right thing happens during any
3162 * recovery. */
3163 inode->i_size = 0;
3164 ext4_orphan_add(handle, inode);
3165 inode->i_ctime = dir->i_ctime = dir->i_mtime = current_time(inode);
Olivier Deprez157378f2022-04-04 15:47:50 +02003166 retval = ext4_mark_inode_dirty(handle, inode);
3167 if (retval)
3168 goto end_rmdir;
3169 ext4_dec_count(dir);
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00003170 ext4_update_dx_flag(dir);
Olivier Deprez157378f2022-04-04 15:47:50 +02003171 ext4_fc_track_unlink(handle, dentry);
3172 retval = ext4_mark_inode_dirty(handle, dir);
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00003173
David Brazdil0f672f62019-12-10 10:32:29 +00003174#ifdef CONFIG_UNICODE
3175 /* VFS negative dentries are incompatible with Encoding and
3176 * Case-insensitiveness. Eventually we'll want avoid
3177 * invalidating the dentries here, alongside with returning the
3178 * negative dentries at ext4_lookup(), when it is better
3179 * supported by the VFS for the CI case.
3180 */
3181 if (IS_CASEFOLDED(dir))
3182 d_invalidate(dentry);
3183#endif
3184
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00003185end_rmdir:
3186 brelse(bh);
3187 if (handle)
3188 ext4_journal_stop(handle);
3189 return retval;
3190}
3191
Olivier Deprez157378f2022-04-04 15:47:50 +02003192int __ext4_unlink(handle_t *handle, struct inode *dir, const struct qstr *d_name,
3193 struct inode *inode)
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00003194{
Olivier Deprez157378f2022-04-04 15:47:50 +02003195 int retval = -ENOENT;
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00003196 struct buffer_head *bh;
3197 struct ext4_dir_entry_2 *de;
Olivier Deprez157378f2022-04-04 15:47:50 +02003198 int skip_remove_dentry = 0;
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00003199
Olivier Deprez157378f2022-04-04 15:47:50 +02003200 bh = ext4_find_entry(dir, d_name, &de, NULL);
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00003201 if (IS_ERR(bh))
3202 return PTR_ERR(bh);
Olivier Deprez157378f2022-04-04 15:47:50 +02003203
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00003204 if (!bh)
Olivier Deprez157378f2022-04-04 15:47:50 +02003205 return -ENOENT;
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00003206
Olivier Deprez157378f2022-04-04 15:47:50 +02003207 if (le32_to_cpu(de->inode) != inode->i_ino) {
3208 /*
3209 * It's okay if we find dont find dentry which matches
3210 * the inode. That's because it might have gotten
3211 * renamed to a different inode number
3212 */
3213 if (EXT4_SB(inode->i_sb)->s_mount_state & EXT4_FC_REPLAY)
3214 skip_remove_dentry = 1;
3215 else
3216 goto out;
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00003217 }
3218
3219 if (IS_DIRSYNC(dir))
3220 ext4_handle_sync(handle);
3221
Olivier Deprez157378f2022-04-04 15:47:50 +02003222 if (!skip_remove_dentry) {
3223 retval = ext4_delete_entry(handle, dir, de, bh);
3224 if (retval)
3225 goto out;
3226 dir->i_ctime = dir->i_mtime = current_time(dir);
3227 ext4_update_dx_flag(dir);
3228 retval = ext4_mark_inode_dirty(handle, dir);
3229 if (retval)
3230 goto out;
3231 } else {
3232 retval = 0;
3233 }
Olivier Deprez0e641232021-09-23 10:07:05 +02003234 if (inode->i_nlink == 0)
3235 ext4_warning_inode(inode, "Deleting file '%.*s' with no links",
Olivier Deprez157378f2022-04-04 15:47:50 +02003236 d_name->len, d_name->name);
Olivier Deprez0e641232021-09-23 10:07:05 +02003237 else
3238 drop_nlink(inode);
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00003239 if (!inode->i_nlink)
3240 ext4_orphan_add(handle, inode);
3241 inode->i_ctime = current_time(inode);
Olivier Deprez157378f2022-04-04 15:47:50 +02003242 retval = ext4_mark_inode_dirty(handle, inode);
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00003243
Olivier Deprez157378f2022-04-04 15:47:50 +02003244out:
3245 brelse(bh);
3246 return retval;
3247}
3248
3249static int ext4_unlink(struct inode *dir, struct dentry *dentry)
3250{
3251 handle_t *handle;
3252 int retval;
3253
3254 if (unlikely(ext4_forced_shutdown(EXT4_SB(dir->i_sb))))
3255 return -EIO;
3256
3257 trace_ext4_unlink_enter(dir, dentry);
3258 /*
3259 * Initialize quotas before so that eventual writes go
3260 * in separate transaction
3261 */
3262 retval = dquot_initialize(dir);
3263 if (retval)
3264 goto out_trace;
3265 retval = dquot_initialize(d_inode(dentry));
3266 if (retval)
3267 goto out_trace;
3268
3269 handle = ext4_journal_start(dir, EXT4_HT_DIR,
3270 EXT4_DATA_TRANS_BLOCKS(dir->i_sb));
3271 if (IS_ERR(handle)) {
3272 retval = PTR_ERR(handle);
3273 goto out_trace;
3274 }
3275
3276 retval = __ext4_unlink(handle, dir, &dentry->d_name, d_inode(dentry));
3277 if (!retval)
3278 ext4_fc_track_unlink(handle, dentry);
David Brazdil0f672f62019-12-10 10:32:29 +00003279#ifdef CONFIG_UNICODE
3280 /* VFS negative dentries are incompatible with Encoding and
3281 * Case-insensitiveness. Eventually we'll want avoid
3282 * invalidating the dentries here, alongside with returning the
3283 * negative dentries at ext4_lookup(), when it is better
3284 * supported by the VFS for the CI case.
3285 */
3286 if (IS_CASEFOLDED(dir))
3287 d_invalidate(dentry);
3288#endif
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00003289 if (handle)
3290 ext4_journal_stop(handle);
Olivier Deprez157378f2022-04-04 15:47:50 +02003291
3292out_trace:
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00003293 trace_ext4_unlink_exit(dentry, retval);
3294 return retval;
3295}
3296
3297static int ext4_symlink(struct inode *dir,
3298 struct dentry *dentry, const char *symname)
3299{
3300 handle_t *handle;
3301 struct inode *inode;
3302 int err, len = strlen(symname);
3303 int credits;
3304 struct fscrypt_str disk_link;
3305
3306 if (unlikely(ext4_forced_shutdown(EXT4_SB(dir->i_sb))))
3307 return -EIO;
3308
3309 err = fscrypt_prepare_symlink(dir, symname, len, dir->i_sb->s_blocksize,
3310 &disk_link);
3311 if (err)
3312 return err;
3313
3314 err = dquot_initialize(dir);
3315 if (err)
3316 return err;
3317
3318 if ((disk_link.len > EXT4_N_BLOCKS * 4)) {
3319 /*
3320 * For non-fast symlinks, we just allocate inode and put it on
3321 * orphan list in the first transaction => we need bitmap,
3322 * group descriptor, sb, inode block, quota blocks, and
3323 * possibly selinux xattr blocks.
3324 */
3325 credits = 4 + EXT4_MAXQUOTAS_INIT_BLOCKS(dir->i_sb) +
3326 EXT4_XATTR_TRANS_BLOCKS;
3327 } else {
3328 /*
3329 * Fast symlink. We have to add entry to directory
3330 * (EXT4_DATA_TRANS_BLOCKS + EXT4_INDEX_EXTRA_TRANS_BLOCKS),
3331 * allocate new inode (bitmap, group descriptor, inode block,
3332 * quota blocks, sb is already counted in previous macros).
3333 */
3334 credits = EXT4_DATA_TRANS_BLOCKS(dir->i_sb) +
3335 EXT4_INDEX_EXTRA_TRANS_BLOCKS + 3;
3336 }
3337
3338 inode = ext4_new_inode_start_handle(dir, S_IFLNK|S_IRWXUGO,
3339 &dentry->d_name, 0, NULL,
3340 EXT4_HT_DIR, credits);
3341 handle = ext4_journal_current_handle();
3342 if (IS_ERR(inode)) {
3343 if (handle)
3344 ext4_journal_stop(handle);
3345 return PTR_ERR(inode);
3346 }
3347
3348 if (IS_ENCRYPTED(inode)) {
3349 err = fscrypt_encrypt_symlink(inode, symname, len, &disk_link);
3350 if (err)
3351 goto err_drop_inode;
3352 inode->i_op = &ext4_encrypted_symlink_inode_operations;
3353 }
3354
3355 if ((disk_link.len > EXT4_N_BLOCKS * 4)) {
3356 if (!IS_ENCRYPTED(inode))
3357 inode->i_op = &ext4_symlink_inode_operations;
3358 inode_nohighmem(inode);
3359 ext4_set_aops(inode);
3360 /*
3361 * We cannot call page_symlink() with transaction started
3362 * because it calls into ext4_write_begin() which can wait
3363 * for transaction commit if we are running out of space
3364 * and thus we deadlock. So we have to stop transaction now
3365 * and restart it when symlink contents is written.
3366 *
3367 * To keep fs consistent in case of crash, we have to put inode
3368 * to orphan list in the mean time.
3369 */
3370 drop_nlink(inode);
3371 err = ext4_orphan_add(handle, inode);
Olivier Deprez157378f2022-04-04 15:47:50 +02003372 if (handle)
3373 ext4_journal_stop(handle);
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00003374 handle = NULL;
3375 if (err)
3376 goto err_drop_inode;
3377 err = __page_symlink(inode, disk_link.name, disk_link.len, 1);
3378 if (err)
3379 goto err_drop_inode;
3380 /*
3381 * Now inode is being linked into dir (EXT4_DATA_TRANS_BLOCKS
3382 * + EXT4_INDEX_EXTRA_TRANS_BLOCKS), inode is also modified
3383 */
3384 handle = ext4_journal_start(dir, EXT4_HT_DIR,
3385 EXT4_DATA_TRANS_BLOCKS(dir->i_sb) +
3386 EXT4_INDEX_EXTRA_TRANS_BLOCKS + 1);
3387 if (IS_ERR(handle)) {
3388 err = PTR_ERR(handle);
3389 handle = NULL;
3390 goto err_drop_inode;
3391 }
3392 set_nlink(inode, 1);
3393 err = ext4_orphan_del(handle, inode);
3394 if (err)
3395 goto err_drop_inode;
3396 } else {
3397 /* clear the extent format for fast symlink */
3398 ext4_clear_inode_flag(inode, EXT4_INODE_EXTENTS);
3399 if (!IS_ENCRYPTED(inode)) {
3400 inode->i_op = &ext4_fast_symlink_inode_operations;
3401 inode->i_link = (char *)&EXT4_I(inode)->i_data;
3402 }
3403 memcpy((char *)&EXT4_I(inode)->i_data, disk_link.name,
3404 disk_link.len);
3405 inode->i_size = disk_link.len - 1;
3406 }
3407 EXT4_I(inode)->i_disksize = inode->i_size;
Olivier Deprez157378f2022-04-04 15:47:50 +02003408 err = ext4_add_nondir(handle, dentry, &inode);
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00003409 if (handle)
3410 ext4_journal_stop(handle);
Olivier Deprez157378f2022-04-04 15:47:50 +02003411 if (inode)
3412 iput(inode);
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00003413 goto out_free_encrypted_link;
3414
3415err_drop_inode:
3416 if (handle)
3417 ext4_journal_stop(handle);
3418 clear_nlink(inode);
3419 unlock_new_inode(inode);
3420 iput(inode);
3421out_free_encrypted_link:
3422 if (disk_link.name != (unsigned char *)symname)
3423 kfree(disk_link.name);
3424 return err;
3425}
3426
Olivier Deprez157378f2022-04-04 15:47:50 +02003427int __ext4_link(struct inode *dir, struct inode *inode, struct dentry *dentry)
3428{
3429 handle_t *handle;
3430 int err, retries = 0;
3431retry:
3432 handle = ext4_journal_start(dir, EXT4_HT_DIR,
3433 (EXT4_DATA_TRANS_BLOCKS(dir->i_sb) +
3434 EXT4_INDEX_EXTRA_TRANS_BLOCKS) + 1);
3435 if (IS_ERR(handle))
3436 return PTR_ERR(handle);
3437
3438 if (IS_DIRSYNC(dir))
3439 ext4_handle_sync(handle);
3440
3441 inode->i_ctime = current_time(inode);
3442 ext4_inc_count(inode);
3443 ihold(inode);
3444
3445 err = ext4_add_entry(handle, dentry, inode);
3446 if (!err) {
3447 err = ext4_mark_inode_dirty(handle, inode);
3448 /* this can happen only for tmpfile being
3449 * linked the first time
3450 */
3451 if (inode->i_nlink == 1)
3452 ext4_orphan_del(handle, inode);
3453 d_instantiate(dentry, inode);
3454 ext4_fc_track_link(handle, dentry);
3455 } else {
3456 drop_nlink(inode);
3457 iput(inode);
3458 }
3459 ext4_journal_stop(handle);
3460 if (err == -ENOSPC && ext4_should_retry_alloc(dir->i_sb, &retries))
3461 goto retry;
3462 return err;
3463}
3464
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00003465static int ext4_link(struct dentry *old_dentry,
3466 struct inode *dir, struct dentry *dentry)
3467{
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00003468 struct inode *inode = d_inode(old_dentry);
Olivier Deprez157378f2022-04-04 15:47:50 +02003469 int err;
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00003470
3471 if (inode->i_nlink >= EXT4_LINK_MAX)
3472 return -EMLINK;
3473
3474 err = fscrypt_prepare_link(old_dentry, dir, dentry);
3475 if (err)
3476 return err;
3477
3478 if ((ext4_test_inode_flag(dir, EXT4_INODE_PROJINHERIT)) &&
3479 (!projid_eq(EXT4_I(dir)->i_projid,
3480 EXT4_I(old_dentry->d_inode)->i_projid)))
3481 return -EXDEV;
3482
3483 err = dquot_initialize(dir);
3484 if (err)
3485 return err;
Olivier Deprez157378f2022-04-04 15:47:50 +02003486 return __ext4_link(dir, inode, dentry);
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00003487}
3488
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00003489/*
3490 * Try to find buffer head where contains the parent block.
3491 * It should be the inode block if it is inlined or the 1st block
3492 * if it is a normal dir.
3493 */
3494static struct buffer_head *ext4_get_first_dir_block(handle_t *handle,
3495 struct inode *inode,
3496 int *retval,
3497 struct ext4_dir_entry_2 **parent_de,
3498 int *inlined)
3499{
3500 struct buffer_head *bh;
3501
3502 if (!ext4_has_inline_data(inode)) {
David Brazdil0f672f62019-12-10 10:32:29 +00003503 /* The first directory block must not be a hole, so
3504 * treat it as DIRENT_HTREE
3505 */
3506 bh = ext4_read_dirblock(inode, 0, DIRENT_HTREE);
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00003507 if (IS_ERR(bh)) {
3508 *retval = PTR_ERR(bh);
3509 return NULL;
3510 }
3511 *parent_de = ext4_next_entry(
3512 (struct ext4_dir_entry_2 *)bh->b_data,
3513 inode->i_sb->s_blocksize);
3514 return bh;
3515 }
3516
3517 *inlined = 1;
3518 return ext4_get_first_inline_block(inode, parent_de, retval);
3519}
3520
3521struct ext4_renament {
3522 struct inode *dir;
3523 struct dentry *dentry;
3524 struct inode *inode;
3525 bool is_dir;
3526 int dir_nlink_delta;
3527
3528 /* entry for "dentry" */
3529 struct buffer_head *bh;
3530 struct ext4_dir_entry_2 *de;
3531 int inlined;
3532
3533 /* entry for ".." in inode if it's a directory */
3534 struct buffer_head *dir_bh;
3535 struct ext4_dir_entry_2 *parent_de;
3536 int dir_inlined;
3537};
3538
3539static int ext4_rename_dir_prepare(handle_t *handle, struct ext4_renament *ent)
3540{
3541 int retval;
3542
3543 ent->dir_bh = ext4_get_first_dir_block(handle, ent->inode,
3544 &retval, &ent->parent_de,
3545 &ent->dir_inlined);
3546 if (!ent->dir_bh)
3547 return retval;
3548 if (le32_to_cpu(ent->parent_de->inode) != ent->dir->i_ino)
3549 return -EFSCORRUPTED;
3550 BUFFER_TRACE(ent->dir_bh, "get_write_access");
3551 return ext4_journal_get_write_access(handle, ent->dir_bh);
3552}
3553
3554static int ext4_rename_dir_finish(handle_t *handle, struct ext4_renament *ent,
3555 unsigned dir_ino)
3556{
3557 int retval;
3558
3559 ent->parent_de->inode = cpu_to_le32(dir_ino);
3560 BUFFER_TRACE(ent->dir_bh, "call ext4_handle_dirty_metadata");
3561 if (!ent->dir_inlined) {
3562 if (is_dx(ent->inode)) {
3563 retval = ext4_handle_dirty_dx_node(handle,
3564 ent->inode,
3565 ent->dir_bh);
3566 } else {
David Brazdil0f672f62019-12-10 10:32:29 +00003567 retval = ext4_handle_dirty_dirblock(handle, ent->inode,
3568 ent->dir_bh);
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00003569 }
3570 } else {
3571 retval = ext4_mark_inode_dirty(handle, ent->inode);
3572 }
3573 if (retval) {
3574 ext4_std_error(ent->dir->i_sb, retval);
3575 return retval;
3576 }
3577 return 0;
3578}
3579
3580static int ext4_setent(handle_t *handle, struct ext4_renament *ent,
3581 unsigned ino, unsigned file_type)
3582{
Olivier Deprez157378f2022-04-04 15:47:50 +02003583 int retval, retval2;
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00003584
3585 BUFFER_TRACE(ent->bh, "get write access");
3586 retval = ext4_journal_get_write_access(handle, ent->bh);
3587 if (retval)
3588 return retval;
3589 ent->de->inode = cpu_to_le32(ino);
3590 if (ext4_has_feature_filetype(ent->dir->i_sb))
3591 ent->de->file_type = file_type;
3592 inode_inc_iversion(ent->dir);
3593 ent->dir->i_ctime = ent->dir->i_mtime =
3594 current_time(ent->dir);
Olivier Deprez157378f2022-04-04 15:47:50 +02003595 retval = ext4_mark_inode_dirty(handle, ent->dir);
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00003596 BUFFER_TRACE(ent->bh, "call ext4_handle_dirty_metadata");
3597 if (!ent->inlined) {
Olivier Deprez157378f2022-04-04 15:47:50 +02003598 retval2 = ext4_handle_dirty_dirblock(handle, ent->dir, ent->bh);
3599 if (unlikely(retval2)) {
3600 ext4_std_error(ent->dir->i_sb, retval2);
3601 return retval2;
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00003602 }
3603 }
Olivier Deprez157378f2022-04-04 15:47:50 +02003604 return retval;
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00003605}
3606
Olivier Deprez0e641232021-09-23 10:07:05 +02003607static void ext4_resetent(handle_t *handle, struct ext4_renament *ent,
3608 unsigned ino, unsigned file_type)
3609{
3610 struct ext4_renament old = *ent;
3611 int retval = 0;
3612
3613 /*
3614 * old->de could have moved from under us during make indexed dir,
3615 * so the old->de may no longer valid and need to find it again
3616 * before reset old inode info.
3617 */
3618 old.bh = ext4_find_entry(old.dir, &old.dentry->d_name, &old.de, NULL);
3619 if (IS_ERR(old.bh))
3620 retval = PTR_ERR(old.bh);
3621 if (!old.bh)
3622 retval = -ENOENT;
3623 if (retval) {
3624 ext4_std_error(old.dir->i_sb, retval);
3625 return;
3626 }
3627
3628 ext4_setent(handle, &old, ino, file_type);
3629 brelse(old.bh);
3630}
3631
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00003632static int ext4_find_delete_entry(handle_t *handle, struct inode *dir,
3633 const struct qstr *d_name)
3634{
3635 int retval = -ENOENT;
3636 struct buffer_head *bh;
3637 struct ext4_dir_entry_2 *de;
3638
3639 bh = ext4_find_entry(dir, d_name, &de, NULL);
3640 if (IS_ERR(bh))
3641 return PTR_ERR(bh);
3642 if (bh) {
3643 retval = ext4_delete_entry(handle, dir, de, bh);
3644 brelse(bh);
3645 }
3646 return retval;
3647}
3648
3649static void ext4_rename_delete(handle_t *handle, struct ext4_renament *ent,
3650 int force_reread)
3651{
3652 int retval;
3653 /*
3654 * ent->de could have moved from under us during htree split, so make
3655 * sure that we are deleting the right entry. We might also be pointing
3656 * to a stale entry in the unused part of ent->bh so just checking inum
3657 * and the name isn't enough.
3658 */
3659 if (le32_to_cpu(ent->de->inode) != ent->inode->i_ino ||
3660 ent->de->name_len != ent->dentry->d_name.len ||
3661 strncmp(ent->de->name, ent->dentry->d_name.name,
3662 ent->de->name_len) ||
3663 force_reread) {
3664 retval = ext4_find_delete_entry(handle, ent->dir,
3665 &ent->dentry->d_name);
3666 } else {
3667 retval = ext4_delete_entry(handle, ent->dir, ent->de, ent->bh);
3668 if (retval == -ENOENT) {
3669 retval = ext4_find_delete_entry(handle, ent->dir,
3670 &ent->dentry->d_name);
3671 }
3672 }
3673
3674 if (retval) {
3675 ext4_warning_inode(ent->dir,
3676 "Deleting old file: nlink %d, error=%d",
3677 ent->dir->i_nlink, retval);
3678 }
3679}
3680
3681static void ext4_update_dir_count(handle_t *handle, struct ext4_renament *ent)
3682{
3683 if (ent->dir_nlink_delta) {
3684 if (ent->dir_nlink_delta == -1)
Olivier Deprez157378f2022-04-04 15:47:50 +02003685 ext4_dec_count(ent->dir);
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00003686 else
Olivier Deprez157378f2022-04-04 15:47:50 +02003687 ext4_inc_count(ent->dir);
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00003688 ext4_mark_inode_dirty(handle, ent->dir);
3689 }
3690}
3691
3692static struct inode *ext4_whiteout_for_rename(struct ext4_renament *ent,
3693 int credits, handle_t **h)
3694{
3695 struct inode *wh;
3696 handle_t *handle;
3697 int retries = 0;
3698
3699 /*
3700 * for inode block, sb block, group summaries,
3701 * and inode bitmap
3702 */
3703 credits += (EXT4_MAXQUOTAS_TRANS_BLOCKS(ent->dir->i_sb) +
3704 EXT4_XATTR_TRANS_BLOCKS + 4);
3705retry:
3706 wh = ext4_new_inode_start_handle(ent->dir, S_IFCHR | WHITEOUT_MODE,
3707 &ent->dentry->d_name, 0, NULL,
3708 EXT4_HT_DIR, credits);
3709
3710 handle = ext4_journal_current_handle();
3711 if (IS_ERR(wh)) {
3712 if (handle)
3713 ext4_journal_stop(handle);
3714 if (PTR_ERR(wh) == -ENOSPC &&
3715 ext4_should_retry_alloc(ent->dir->i_sb, &retries))
3716 goto retry;
3717 } else {
3718 *h = handle;
3719 init_special_inode(wh, wh->i_mode, WHITEOUT_DEV);
3720 wh->i_op = &ext4_special_inode_operations;
3721 }
3722 return wh;
3723}
3724
3725/*
3726 * Anybody can rename anything with this: the permission checks are left to the
3727 * higher-level routines.
3728 *
3729 * n.b. old_{dentry,inode) refers to the source dentry/inode
3730 * while new_{dentry,inode) refers to the destination dentry/inode
3731 * This comes from rename(const char *oldpath, const char *newpath)
3732 */
3733static int ext4_rename(struct inode *old_dir, struct dentry *old_dentry,
3734 struct inode *new_dir, struct dentry *new_dentry,
3735 unsigned int flags)
3736{
3737 handle_t *handle = NULL;
3738 struct ext4_renament old = {
3739 .dir = old_dir,
3740 .dentry = old_dentry,
3741 .inode = d_inode(old_dentry),
3742 };
3743 struct ext4_renament new = {
3744 .dir = new_dir,
3745 .dentry = new_dentry,
3746 .inode = d_inode(new_dentry),
3747 };
3748 int force_reread;
3749 int retval;
3750 struct inode *whiteout = NULL;
3751 int credits;
3752 u8 old_file_type;
3753
3754 if (new.inode && new.inode->i_nlink == 0) {
3755 EXT4_ERROR_INODE(new.inode,
3756 "target of rename is already freed");
3757 return -EFSCORRUPTED;
3758 }
3759
3760 if ((ext4_test_inode_flag(new_dir, EXT4_INODE_PROJINHERIT)) &&
3761 (!projid_eq(EXT4_I(new_dir)->i_projid,
3762 EXT4_I(old_dentry->d_inode)->i_projid)))
3763 return -EXDEV;
3764
3765 retval = dquot_initialize(old.dir);
3766 if (retval)
3767 return retval;
3768 retval = dquot_initialize(new.dir);
3769 if (retval)
3770 return retval;
3771
3772 /* Initialize quotas before so that eventual writes go
3773 * in separate transaction */
3774 if (new.inode) {
3775 retval = dquot_initialize(new.inode);
3776 if (retval)
3777 return retval;
3778 }
3779
3780 old.bh = ext4_find_entry(old.dir, &old.dentry->d_name, &old.de, NULL);
3781 if (IS_ERR(old.bh))
3782 return PTR_ERR(old.bh);
3783 /*
3784 * Check for inode number is _not_ due to possible IO errors.
3785 * We might rmdir the source, keep it as pwd of some process
3786 * and merrily kill the link to whatever was created under the
3787 * same name. Goodbye sticky bit ;-<
3788 */
3789 retval = -ENOENT;
3790 if (!old.bh || le32_to_cpu(old.de->inode) != old.inode->i_ino)
Olivier Deprez0e641232021-09-23 10:07:05 +02003791 goto release_bh;
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00003792
3793 new.bh = ext4_find_entry(new.dir, &new.dentry->d_name,
3794 &new.de, &new.inlined);
3795 if (IS_ERR(new.bh)) {
3796 retval = PTR_ERR(new.bh);
3797 new.bh = NULL;
Olivier Deprez0e641232021-09-23 10:07:05 +02003798 goto release_bh;
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00003799 }
3800 if (new.bh) {
3801 if (!new.inode) {
3802 brelse(new.bh);
3803 new.bh = NULL;
3804 }
3805 }
3806 if (new.inode && !test_opt(new.dir->i_sb, NO_AUTO_DA_ALLOC))
3807 ext4_alloc_da_blocks(old.inode);
3808
3809 credits = (2 * EXT4_DATA_TRANS_BLOCKS(old.dir->i_sb) +
3810 EXT4_INDEX_EXTRA_TRANS_BLOCKS + 2);
3811 if (!(flags & RENAME_WHITEOUT)) {
3812 handle = ext4_journal_start(old.dir, EXT4_HT_DIR, credits);
3813 if (IS_ERR(handle)) {
3814 retval = PTR_ERR(handle);
Olivier Deprez0e641232021-09-23 10:07:05 +02003815 goto release_bh;
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00003816 }
3817 } else {
3818 whiteout = ext4_whiteout_for_rename(&old, credits, &handle);
3819 if (IS_ERR(whiteout)) {
3820 retval = PTR_ERR(whiteout);
Olivier Deprez0e641232021-09-23 10:07:05 +02003821 goto release_bh;
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00003822 }
3823 }
3824
Olivier Deprez0e641232021-09-23 10:07:05 +02003825 old_file_type = old.de->file_type;
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00003826 if (IS_DIRSYNC(old.dir) || IS_DIRSYNC(new.dir))
3827 ext4_handle_sync(handle);
3828
3829 if (S_ISDIR(old.inode->i_mode)) {
3830 if (new.inode) {
3831 retval = -ENOTEMPTY;
3832 if (!ext4_empty_dir(new.inode))
3833 goto end_rename;
3834 } else {
3835 retval = -EMLINK;
3836 if (new.dir != old.dir && EXT4_DIR_LINK_MAX(new.dir))
3837 goto end_rename;
3838 }
3839 retval = ext4_rename_dir_prepare(handle, &old);
3840 if (retval)
3841 goto end_rename;
3842 }
3843 /*
3844 * If we're renaming a file within an inline_data dir and adding or
3845 * setting the new dirent causes a conversion from inline_data to
3846 * extents/blockmap, we need to force the dirent delete code to
3847 * re-read the directory, or else we end up trying to delete a dirent
3848 * from what is now the extent tree root (or a block map).
3849 */
3850 force_reread = (new.dir->i_ino == old.dir->i_ino &&
3851 ext4_test_inode_flag(new.dir, EXT4_INODE_INLINE_DATA));
3852
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00003853 if (whiteout) {
3854 /*
3855 * Do this before adding a new entry, so the old entry is sure
3856 * to be still pointing to the valid old entry.
3857 */
3858 retval = ext4_setent(handle, &old, whiteout->i_ino,
3859 EXT4_FT_CHRDEV);
3860 if (retval)
3861 goto end_rename;
Olivier Deprez157378f2022-04-04 15:47:50 +02003862 retval = ext4_mark_inode_dirty(handle, whiteout);
3863 if (unlikely(retval))
3864 goto end_rename;
3865
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00003866 }
3867 if (!new.bh) {
3868 retval = ext4_add_entry(handle, new.dentry, old.inode);
3869 if (retval)
3870 goto end_rename;
3871 } else {
3872 retval = ext4_setent(handle, &new,
3873 old.inode->i_ino, old_file_type);
3874 if (retval)
3875 goto end_rename;
3876 }
3877 if (force_reread)
3878 force_reread = !ext4_test_inode_flag(new.dir,
3879 EXT4_INODE_INLINE_DATA);
3880
3881 /*
3882 * Like most other Unix systems, set the ctime for inodes on a
3883 * rename.
3884 */
3885 old.inode->i_ctime = current_time(old.inode);
Olivier Deprez157378f2022-04-04 15:47:50 +02003886 retval = ext4_mark_inode_dirty(handle, old.inode);
3887 if (unlikely(retval))
3888 goto end_rename;
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00003889
3890 if (!whiteout) {
3891 /*
3892 * ok, that's it
3893 */
3894 ext4_rename_delete(handle, &old, force_reread);
3895 }
3896
3897 if (new.inode) {
Olivier Deprez157378f2022-04-04 15:47:50 +02003898 ext4_dec_count(new.inode);
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00003899 new.inode->i_ctime = current_time(new.inode);
3900 }
3901 old.dir->i_ctime = old.dir->i_mtime = current_time(old.dir);
3902 ext4_update_dx_flag(old.dir);
3903 if (old.dir_bh) {
3904 retval = ext4_rename_dir_finish(handle, &old, new.dir->i_ino);
3905 if (retval)
3906 goto end_rename;
3907
Olivier Deprez157378f2022-04-04 15:47:50 +02003908 ext4_dec_count(old.dir);
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00003909 if (new.inode) {
3910 /* checked ext4_empty_dir above, can't have another
3911 * parent, ext4_dec_count() won't work for many-linked
3912 * dirs */
3913 clear_nlink(new.inode);
3914 } else {
Olivier Deprez157378f2022-04-04 15:47:50 +02003915 ext4_inc_count(new.dir);
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00003916 ext4_update_dx_flag(new.dir);
Olivier Deprez157378f2022-04-04 15:47:50 +02003917 retval = ext4_mark_inode_dirty(handle, new.dir);
3918 if (unlikely(retval))
3919 goto end_rename;
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00003920 }
3921 }
Olivier Deprez157378f2022-04-04 15:47:50 +02003922 retval = ext4_mark_inode_dirty(handle, old.dir);
3923 if (unlikely(retval))
3924 goto end_rename;
3925
3926 if (S_ISDIR(old.inode->i_mode)) {
3927 /*
3928 * We disable fast commits here that's because the
3929 * replay code is not yet capable of changing dot dot
3930 * dirents in directories.
3931 */
3932 ext4_fc_mark_ineligible(old.inode->i_sb,
3933 EXT4_FC_REASON_RENAME_DIR);
3934 } else {
3935 if (new.inode)
3936 ext4_fc_track_unlink(handle, new.dentry);
3937 __ext4_fc_track_link(handle, old.inode, new.dentry);
3938 __ext4_fc_track_unlink(handle, old.inode, old.dentry);
3939 if (whiteout)
3940 __ext4_fc_track_create(handle, whiteout, old.dentry);
3941 }
3942
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00003943 if (new.inode) {
Olivier Deprez157378f2022-04-04 15:47:50 +02003944 retval = ext4_mark_inode_dirty(handle, new.inode);
3945 if (unlikely(retval))
3946 goto end_rename;
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00003947 if (!new.inode->i_nlink)
3948 ext4_orphan_add(handle, new.inode);
3949 }
3950 retval = 0;
3951
3952end_rename:
Olivier Deprez0e641232021-09-23 10:07:05 +02003953 if (whiteout) {
3954 if (retval) {
3955 ext4_resetent(handle, &old,
3956 old.inode->i_ino, old_file_type);
3957 drop_nlink(whiteout);
3958 ext4_orphan_add(handle, whiteout);
3959 }
3960 unlock_new_inode(whiteout);
3961 ext4_journal_stop(handle);
3962 iput(whiteout);
3963 } else {
3964 ext4_journal_stop(handle);
3965 }
3966release_bh:
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00003967 brelse(old.dir_bh);
3968 brelse(old.bh);
3969 brelse(new.bh);
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00003970 return retval;
3971}
3972
3973static int ext4_cross_rename(struct inode *old_dir, struct dentry *old_dentry,
3974 struct inode *new_dir, struct dentry *new_dentry)
3975{
3976 handle_t *handle = NULL;
3977 struct ext4_renament old = {
3978 .dir = old_dir,
3979 .dentry = old_dentry,
3980 .inode = d_inode(old_dentry),
3981 };
3982 struct ext4_renament new = {
3983 .dir = new_dir,
3984 .dentry = new_dentry,
3985 .inode = d_inode(new_dentry),
3986 };
3987 u8 new_file_type;
3988 int retval;
3989 struct timespec64 ctime;
3990
3991 if ((ext4_test_inode_flag(new_dir, EXT4_INODE_PROJINHERIT) &&
3992 !projid_eq(EXT4_I(new_dir)->i_projid,
3993 EXT4_I(old_dentry->d_inode)->i_projid)) ||
3994 (ext4_test_inode_flag(old_dir, EXT4_INODE_PROJINHERIT) &&
3995 !projid_eq(EXT4_I(old_dir)->i_projid,
3996 EXT4_I(new_dentry->d_inode)->i_projid)))
3997 return -EXDEV;
3998
3999 retval = dquot_initialize(old.dir);
4000 if (retval)
4001 return retval;
4002 retval = dquot_initialize(new.dir);
4003 if (retval)
4004 return retval;
4005
4006 old.bh = ext4_find_entry(old.dir, &old.dentry->d_name,
4007 &old.de, &old.inlined);
4008 if (IS_ERR(old.bh))
4009 return PTR_ERR(old.bh);
4010 /*
4011 * Check for inode number is _not_ due to possible IO errors.
4012 * We might rmdir the source, keep it as pwd of some process
4013 * and merrily kill the link to whatever was created under the
4014 * same name. Goodbye sticky bit ;-<
4015 */
4016 retval = -ENOENT;
4017 if (!old.bh || le32_to_cpu(old.de->inode) != old.inode->i_ino)
4018 goto end_rename;
4019
4020 new.bh = ext4_find_entry(new.dir, &new.dentry->d_name,
4021 &new.de, &new.inlined);
4022 if (IS_ERR(new.bh)) {
4023 retval = PTR_ERR(new.bh);
4024 new.bh = NULL;
4025 goto end_rename;
4026 }
4027
4028 /* RENAME_EXCHANGE case: old *and* new must both exist */
4029 if (!new.bh || le32_to_cpu(new.de->inode) != new.inode->i_ino)
4030 goto end_rename;
4031
4032 handle = ext4_journal_start(old.dir, EXT4_HT_DIR,
4033 (2 * EXT4_DATA_TRANS_BLOCKS(old.dir->i_sb) +
4034 2 * EXT4_INDEX_EXTRA_TRANS_BLOCKS + 2));
4035 if (IS_ERR(handle)) {
4036 retval = PTR_ERR(handle);
4037 handle = NULL;
4038 goto end_rename;
4039 }
4040
4041 if (IS_DIRSYNC(old.dir) || IS_DIRSYNC(new.dir))
4042 ext4_handle_sync(handle);
4043
4044 if (S_ISDIR(old.inode->i_mode)) {
4045 old.is_dir = true;
4046 retval = ext4_rename_dir_prepare(handle, &old);
4047 if (retval)
4048 goto end_rename;
4049 }
4050 if (S_ISDIR(new.inode->i_mode)) {
4051 new.is_dir = true;
4052 retval = ext4_rename_dir_prepare(handle, &new);
4053 if (retval)
4054 goto end_rename;
4055 }
4056
4057 /*
4058 * Other than the special case of overwriting a directory, parents'
4059 * nlink only needs to be modified if this is a cross directory rename.
4060 */
4061 if (old.dir != new.dir && old.is_dir != new.is_dir) {
4062 old.dir_nlink_delta = old.is_dir ? -1 : 1;
4063 new.dir_nlink_delta = -old.dir_nlink_delta;
4064 retval = -EMLINK;
4065 if ((old.dir_nlink_delta > 0 && EXT4_DIR_LINK_MAX(old.dir)) ||
4066 (new.dir_nlink_delta > 0 && EXT4_DIR_LINK_MAX(new.dir)))
4067 goto end_rename;
4068 }
4069
4070 new_file_type = new.de->file_type;
4071 retval = ext4_setent(handle, &new, old.inode->i_ino, old.de->file_type);
4072 if (retval)
4073 goto end_rename;
4074
4075 retval = ext4_setent(handle, &old, new.inode->i_ino, new_file_type);
4076 if (retval)
4077 goto end_rename;
4078
4079 /*
4080 * Like most other Unix systems, set the ctime for inodes on a
4081 * rename.
4082 */
4083 ctime = current_time(old.inode);
4084 old.inode->i_ctime = ctime;
4085 new.inode->i_ctime = ctime;
Olivier Deprez157378f2022-04-04 15:47:50 +02004086 retval = ext4_mark_inode_dirty(handle, old.inode);
4087 if (unlikely(retval))
4088 goto end_rename;
4089 retval = ext4_mark_inode_dirty(handle, new.inode);
4090 if (unlikely(retval))
4091 goto end_rename;
4092 ext4_fc_mark_ineligible(new.inode->i_sb,
4093 EXT4_FC_REASON_CROSS_RENAME);
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00004094 if (old.dir_bh) {
4095 retval = ext4_rename_dir_finish(handle, &old, new.dir->i_ino);
4096 if (retval)
4097 goto end_rename;
4098 }
4099 if (new.dir_bh) {
4100 retval = ext4_rename_dir_finish(handle, &new, old.dir->i_ino);
4101 if (retval)
4102 goto end_rename;
4103 }
4104 ext4_update_dir_count(handle, &old);
4105 ext4_update_dir_count(handle, &new);
4106 retval = 0;
4107
4108end_rename:
4109 brelse(old.dir_bh);
4110 brelse(new.dir_bh);
4111 brelse(old.bh);
4112 brelse(new.bh);
4113 if (handle)
4114 ext4_journal_stop(handle);
4115 return retval;
4116}
4117
4118static int ext4_rename2(struct inode *old_dir, struct dentry *old_dentry,
4119 struct inode *new_dir, struct dentry *new_dentry,
4120 unsigned int flags)
4121{
4122 int err;
4123
4124 if (unlikely(ext4_forced_shutdown(EXT4_SB(old_dir->i_sb))))
4125 return -EIO;
4126
4127 if (flags & ~(RENAME_NOREPLACE | RENAME_EXCHANGE | RENAME_WHITEOUT))
4128 return -EINVAL;
4129
4130 err = fscrypt_prepare_rename(old_dir, old_dentry, new_dir, new_dentry,
4131 flags);
4132 if (err)
4133 return err;
4134
4135 if (flags & RENAME_EXCHANGE) {
4136 return ext4_cross_rename(old_dir, old_dentry,
4137 new_dir, new_dentry);
4138 }
4139
4140 return ext4_rename(old_dir, old_dentry, new_dir, new_dentry, flags);
4141}
4142
4143/*
4144 * directories can handle most operations...
4145 */
4146const struct inode_operations ext4_dir_inode_operations = {
4147 .create = ext4_create,
4148 .lookup = ext4_lookup,
4149 .link = ext4_link,
4150 .unlink = ext4_unlink,
4151 .symlink = ext4_symlink,
4152 .mkdir = ext4_mkdir,
4153 .rmdir = ext4_rmdir,
4154 .mknod = ext4_mknod,
4155 .tmpfile = ext4_tmpfile,
4156 .rename = ext4_rename2,
4157 .setattr = ext4_setattr,
4158 .getattr = ext4_getattr,
4159 .listxattr = ext4_listxattr,
4160 .get_acl = ext4_get_acl,
4161 .set_acl = ext4_set_acl,
4162 .fiemap = ext4_fiemap,
4163};
4164
4165const struct inode_operations ext4_special_inode_operations = {
4166 .setattr = ext4_setattr,
4167 .getattr = ext4_getattr,
4168 .listxattr = ext4_listxattr,
4169 .get_acl = ext4_get_acl,
4170 .set_acl = ext4_set_acl,
4171};