blob: 5f8cc7346c69415409e554c34d22f25f2879737f [file] [log] [blame]
Gao Xiang29b24f62019-07-31 23:57:31 +08001// SPDX-License-Identifier: GPL-2.0-only
Gao Xiangd72d1ce2018-07-26 20:21:50 +08002/*
Gao Xiangd72d1ce2018-07-26 20:21:50 +08003 * Copyright (C) 2017-2018 HUAWEI, Inc.
Alexander A. Klimov592e7cd2020-07-13 15:09:44 +02004 * https://www.huawei.com/
Gao Xiangd72d1ce2018-07-26 20:21:50 +08005 * Created by Gao Xiang <gaoxiang25@huawei.com>
Gao Xiangd72d1ce2018-07-26 20:21:50 +08006 */
Gao Xiangb17500a2018-07-26 20:21:52 +08007#include "xattr.h"
Gao Xiangd72d1ce2018-07-26 20:21:50 +08008
Chao Yu13f06f42018-07-26 20:21:55 +08009#include <trace/events/erofs.h>
10
Gao Xiang419d6ef2019-02-01 20:16:31 +080011struct erofs_qstr {
12 const unsigned char *name;
13 const unsigned char *end;
14};
15
16/* based on the end of qn is accurate and it must have the trailing '\0' */
Gao Xiang99634bf2019-09-04 10:09:05 +080017static inline int erofs_dirnamecmp(const struct erofs_qstr *qn,
18 const struct erofs_qstr *qd,
19 unsigned int *matched)
Gao Xiangd72d1ce2018-07-26 20:21:50 +080020{
Gao Xiang419d6ef2019-02-01 20:16:31 +080021 unsigned int i = *matched;
22
23 /*
24 * on-disk error, let's only BUG_ON in the debugging mode.
25 * otherwise, it will return 1 to just skip the invalid name
26 * and go on (in consideration of the lookup performance).
27 */
28 DBG_BUGON(qd->name > qd->end);
29
30 /* qd could not have trailing '\0' */
31 /* However it is absolutely safe if < qd->end */
32 while (qd->name + i < qd->end && qd->name[i] != '\0') {
33 if (qn->name[i] != qd->name[i]) {
34 *matched = i;
35 return qn->name[i] > qd->name[i] ? 1 : -1;
Gao Xiangd72d1ce2018-07-26 20:21:50 +080036 }
Gao Xiang419d6ef2019-02-01 20:16:31 +080037 ++i;
Gao Xiangd72d1ce2018-07-26 20:21:50 +080038 }
Gao Xiang419d6ef2019-02-01 20:16:31 +080039 *matched = i;
40 /* See comments in __d_alloc on the terminating NUL character */
41 return qn->name[i] == '\0' ? 0 : 1;
Gao Xiangd72d1ce2018-07-26 20:21:50 +080042}
43
Gao Xiang419d6ef2019-02-01 20:16:31 +080044#define nameoff_from_disk(off, sz) (le16_to_cpu(off) & ((sz) - 1))
45
46static struct erofs_dirent *find_target_dirent(struct erofs_qstr *name,
47 u8 *data,
48 unsigned int dirblksize,
49 const int ndirents)
Gao Xiangd72d1ce2018-07-26 20:21:50 +080050{
Gao Xiang419d6ef2019-02-01 20:16:31 +080051 int head, back;
Thomas Weißschuh7dd68b12018-09-10 21:41:14 +020052 unsigned int startprfx, endprfx;
Gao Xiangd72d1ce2018-07-26 20:21:50 +080053 struct erofs_dirent *const de = (struct erofs_dirent *)data;
54
Gao Xiang419d6ef2019-02-01 20:16:31 +080055 /* since the 1st dirent has been evaluated previously */
56 head = 1;
Gao Xiangd72d1ce2018-07-26 20:21:50 +080057 back = ndirents - 1;
58 startprfx = endprfx = 0;
59
60 while (head <= back) {
Gao Xiang419d6ef2019-02-01 20:16:31 +080061 const int mid = head + (back - head) / 2;
62 const int nameoff = nameoff_from_disk(de[mid].nameoff,
63 dirblksize);
Thomas Weißschuh7dd68b12018-09-10 21:41:14 +020064 unsigned int matched = min(startprfx, endprfx);
Gao Xiang419d6ef2019-02-01 20:16:31 +080065 struct erofs_qstr dname = {
66 .name = data + nameoff,
Gao Xiang8d8a09b2019-08-30 00:38:27 +080067 .end = mid >= ndirents - 1 ?
Gao Xiang419d6ef2019-02-01 20:16:31 +080068 data + dirblksize :
69 data + nameoff_from_disk(de[mid + 1].nameoff,
70 dirblksize)
71 };
Gao Xiangd72d1ce2018-07-26 20:21:50 +080072
73 /* string comparison without already matched prefix */
Gao Xiang99634bf2019-09-04 10:09:05 +080074 int ret = erofs_dirnamecmp(name, &dname, &matched);
Gao Xiangd72d1ce2018-07-26 20:21:50 +080075
Gao Xiang8d8a09b2019-08-30 00:38:27 +080076 if (!ret) {
Gao Xiangd72d1ce2018-07-26 20:21:50 +080077 return de + mid;
Gao Xiang419d6ef2019-02-01 20:16:31 +080078 } else if (ret > 0) {
Gao Xiangd72d1ce2018-07-26 20:21:50 +080079 head = mid + 1;
80 startprfx = matched;
Gao Xiang419d6ef2019-02-01 20:16:31 +080081 } else {
Gao Xiangd72d1ce2018-07-26 20:21:50 +080082 back = mid - 1;
83 endprfx = matched;
84 }
85 }
86
87 return ERR_PTR(-ENOENT);
88}
89
Gao Xiang419d6ef2019-02-01 20:16:31 +080090static struct page *find_target_block_classic(struct inode *dir,
91 struct erofs_qstr *name,
92 int *_ndirents)
Gao Xiangd72d1ce2018-07-26 20:21:50 +080093{
Thomas Weißschuh7dd68b12018-09-10 21:41:14 +020094 unsigned int startprfx, endprfx;
Gao Xiang419d6ef2019-02-01 20:16:31 +080095 int head, back;
Gao Xiangd72d1ce2018-07-26 20:21:50 +080096 struct address_space *const mapping = dir->i_mapping;
97 struct page *candidate = ERR_PTR(-ENOENT);
98
99 startprfx = endprfx = 0;
100 head = 0;
Gao Xiang99634bf2019-09-04 10:09:05 +0800101 back = erofs_inode_datablocks(dir) - 1;
Gao Xiangd72d1ce2018-07-26 20:21:50 +0800102
103 while (head <= back) {
Gao Xiang419d6ef2019-02-01 20:16:31 +0800104 const int mid = head + (back - head) / 2;
Gao Xiangd72d1ce2018-07-26 20:21:50 +0800105 struct page *page = read_mapping_page(mapping, mid, NULL);
106
Gao Xiang419d6ef2019-02-01 20:16:31 +0800107 if (!IS_ERR(page)) {
Gao Xiangd72d1ce2018-07-26 20:21:50 +0800108 struct erofs_dirent *de = kmap_atomic(page);
Gao Xiang419d6ef2019-02-01 20:16:31 +0800109 const int nameoff = nameoff_from_disk(de->nameoff,
110 EROFS_BLKSIZ);
111 const int ndirents = nameoff / sizeof(*de);
112 int diff;
113 unsigned int matched;
114 struct erofs_qstr dname;
Gao Xiangd72d1ce2018-07-26 20:21:50 +0800115
Gao Xiang8d8a09b2019-08-30 00:38:27 +0800116 if (!ndirents) {
Gao Xiang419d6ef2019-02-01 20:16:31 +0800117 kunmap_atomic(de);
118 put_page(page);
Gao Xiang4f761fa2019-09-04 10:09:09 +0800119 erofs_err(dir->i_sb,
120 "corrupted dir block %d @ nid %llu",
121 mid, EROFS_I(dir)->nid);
Gao Xianga6b9b1d2019-08-14 18:37:03 +0800122 DBG_BUGON(1);
123 page = ERR_PTR(-EFSCORRUPTED);
Gao Xiang419d6ef2019-02-01 20:16:31 +0800124 goto out;
125 }
Gao Xiangd72d1ce2018-07-26 20:21:50 +0800126
127 matched = min(startprfx, endprfx);
128
129 dname.name = (u8 *)de + nameoff;
Gao Xiang419d6ef2019-02-01 20:16:31 +0800130 if (ndirents == 1)
131 dname.end = (u8 *)de + EROFS_BLKSIZ;
132 else
133 dname.end = (u8 *)de +
134 nameoff_from_disk(de[1].nameoff,
135 EROFS_BLKSIZ);
Gao Xiangd72d1ce2018-07-26 20:21:50 +0800136
137 /* string comparison without already matched prefix */
Gao Xiang99634bf2019-09-04 10:09:05 +0800138 diff = erofs_dirnamecmp(name, &dname, &matched);
Gao Xiangd72d1ce2018-07-26 20:21:50 +0800139 kunmap_atomic(de);
140
Gao Xiang8d8a09b2019-08-30 00:38:27 +0800141 if (!diff) {
Gao Xiang419d6ef2019-02-01 20:16:31 +0800142 *_ndirents = 0;
143 goto out;
Gao Xiangd72d1ce2018-07-26 20:21:50 +0800144 } else if (diff > 0) {
145 head = mid + 1;
146 startprfx = matched;
147
Chengguang Xu7fadcdc2019-02-12 11:24:22 +0800148 if (!IS_ERR(candidate))
Gao Xiangd72d1ce2018-07-26 20:21:50 +0800149 put_page(candidate);
150 candidate = page;
Gao Xiang419d6ef2019-02-01 20:16:31 +0800151 *_ndirents = ndirents;
Gao Xiangd72d1ce2018-07-26 20:21:50 +0800152 } else {
153 put_page(page);
154
Gao Xiangd72d1ce2018-07-26 20:21:50 +0800155 back = mid - 1;
156 endprfx = matched;
157 }
Gao Xiang419d6ef2019-02-01 20:16:31 +0800158 continue;
Gao Xiangd72d1ce2018-07-26 20:21:50 +0800159 }
Gao Xiang419d6ef2019-02-01 20:16:31 +0800160out: /* free if the candidate is valid */
161 if (!IS_ERR(candidate))
162 put_page(candidate);
163 return page;
Gao Xiangd72d1ce2018-07-26 20:21:50 +0800164 }
Gao Xiangd72d1ce2018-07-26 20:21:50 +0800165 return candidate;
166}
167
168int erofs_namei(struct inode *dir,
Gao Xiang419d6ef2019-02-01 20:16:31 +0800169 struct qstr *name,
170 erofs_nid_t *nid, unsigned int *d_type)
Gao Xiangd72d1ce2018-07-26 20:21:50 +0800171{
Gao Xiang419d6ef2019-02-01 20:16:31 +0800172 int ndirents;
Gao Xiangd72d1ce2018-07-26 20:21:50 +0800173 struct page *page;
Gao Xiang419d6ef2019-02-01 20:16:31 +0800174 void *data;
Gao Xiangd72d1ce2018-07-26 20:21:50 +0800175 struct erofs_dirent *de;
Gao Xiang419d6ef2019-02-01 20:16:31 +0800176 struct erofs_qstr qn;
Gao Xiangd72d1ce2018-07-26 20:21:50 +0800177
Gao Xiang8d8a09b2019-08-30 00:38:27 +0800178 if (!dir->i_size)
Gao Xiangd72d1ce2018-07-26 20:21:50 +0800179 return -ENOENT;
180
Gao Xiang419d6ef2019-02-01 20:16:31 +0800181 qn.name = name->name;
182 qn.end = name->name + name->len;
183
184 ndirents = 0;
185 page = find_target_block_classic(dir, &qn, &ndirents);
Gao Xiangd72d1ce2018-07-26 20:21:50 +0800186
Chengguang Xu7fadcdc2019-02-12 11:24:22 +0800187 if (IS_ERR(page))
Gao Xiangd72d1ce2018-07-26 20:21:50 +0800188 return PTR_ERR(page);
189
190 data = kmap_atomic(page);
191 /* the target page has been mapped */
Gao Xiang419d6ef2019-02-01 20:16:31 +0800192 if (ndirents)
193 de = find_target_dirent(&qn, data, EROFS_BLKSIZ, ndirents);
194 else
195 de = (struct erofs_dirent *)data;
Gao Xiangd72d1ce2018-07-26 20:21:50 +0800196
Chengguang Xu7fadcdc2019-02-12 11:24:22 +0800197 if (!IS_ERR(de)) {
Gao Xiangd72d1ce2018-07-26 20:21:50 +0800198 *nid = le64_to_cpu(de->nid);
199 *d_type = de->file_type;
200 }
201
202 kunmap_atomic(data);
203 put_page(page);
204
Gao Xiang38c6aa22018-07-30 09:51:01 +0800205 return PTR_ERR_OR_ZERO(de);
Gao Xiangd72d1ce2018-07-26 20:21:50 +0800206}
207
208/* NOTE: i_mutex is already held by vfs */
209static struct dentry *erofs_lookup(struct inode *dir,
Julian Merida447a3622019-03-18 20:58:41 -0300210 struct dentry *dentry,
211 unsigned int flags)
Gao Xiangd72d1ce2018-07-26 20:21:50 +0800212{
213 int err;
214 erofs_nid_t nid;
Thomas Weißschuh7dd68b12018-09-10 21:41:14 +0200215 unsigned int d_type;
Gao Xiangd72d1ce2018-07-26 20:21:50 +0800216 struct inode *inode;
217
218 DBG_BUGON(!d_really_is_negative(dentry));
219 /* dentry must be unhashed in lookup, no need to worry about */
220 DBG_BUGON(!d_unhashed(dentry));
221
Chao Yu13f06f42018-07-26 20:21:55 +0800222 trace_erofs_lookup(dir, dentry, flags);
223
Gao Xiangd72d1ce2018-07-26 20:21:50 +0800224 /* file name exceeds fs limit */
Gao Xiang8d8a09b2019-08-30 00:38:27 +0800225 if (dentry->d_name.len > EROFS_NAME_LEN)
Gao Xiangd72d1ce2018-07-26 20:21:50 +0800226 return ERR_PTR(-ENAMETOOLONG);
227
228 /* false uninitialized warnings on gcc 4.8.x */
229 err = erofs_namei(dir, &dentry->d_name, &nid, &d_type);
230
231 if (err == -ENOENT) {
232 /* negative dentry */
233 inode = NULL;
Gao Xiang8d8a09b2019-08-30 00:38:27 +0800234 } else if (err) {
Al Viro83008072018-10-10 16:37:39 -0400235 inode = ERR_PTR(err);
236 } else {
Gao Xiang4f761fa2019-09-04 10:09:09 +0800237 erofs_dbg("%s, %s (nid %llu) found, d_type %u", __func__,
238 dentry->d_name.name, nid, d_type);
Gao Xiang1d819c52019-08-16 15:11:42 +0800239 inode = erofs_iget(dir->i_sb, nid, d_type == FT_DIR);
Al Viro83008072018-10-10 16:37:39 -0400240 }
Gao Xiangd72d1ce2018-07-26 20:21:50 +0800241 return d_splice_alias(inode, dentry);
242}
243
244const struct inode_operations erofs_dir_iops = {
245 .lookup = erofs_lookup,
Gao Xiang89f27ed2019-05-28 11:19:42 +0800246 .getattr = erofs_getattr,
Gao Xiangb17500a2018-07-26 20:21:52 +0800247 .listxattr = erofs_listxattr,
Gao Xiang516c115c2019-01-29 16:35:20 +0800248 .get_acl = erofs_get_acl,
Gao Xiangd72d1ce2018-07-26 20:21:50 +0800249};
250