blob: ef42729216d1fff5c723f951d4c2c5bf2592e9a1 [file] [log] [blame]
Linus Torvalds1da177e2005-04-16 15:20:36 -07001/*
2 * Copyright 2000 by Hans Reiser, licensing governed by reiserfs/README
3 */
4
5/*
6 * Written by Anatoly P. Pinchuk pap@namesys.botik.ru
7 * Programm System Institute
8 * Pereslavl-Zalessky Russia
9 */
10
Linus Torvalds1da177e2005-04-16 15:20:36 -070011#include <linux/time.h>
12#include <linux/string.h>
13#include <linux/pagemap.h>
Christoph Hellwig2f8b5442016-11-01 07:40:13 -060014#include <linux/bio.h>
Al Virof466c6f2012-03-17 01:16:43 -040015#include "reiserfs.h"
Linus Torvalds1da177e2005-04-16 15:20:36 -070016#include <linux/buffer_head.h>
17#include <linux/quotaops.h>
18
19/* Does the buffer contain a disk block which is in the tree. */
Jeff Mahoneyad31a4f2009-03-30 14:02:46 -040020inline int B_IS_IN_TREE(const struct buffer_head *bh)
Linus Torvalds1da177e2005-04-16 15:20:36 -070021{
22
Jeff Mahoneyad31a4f2009-03-30 14:02:46 -040023 RFALSE(B_LEVEL(bh) > MAX_HEIGHT,
24 "PAP-1010: block (%b) has too big level (%z)", bh, bh);
Linus Torvalds1da177e2005-04-16 15:20:36 -070025
Jeff Mahoneyad31a4f2009-03-30 14:02:46 -040026 return (B_LEVEL(bh) != FREE_LEVEL);
Linus Torvalds1da177e2005-04-16 15:20:36 -070027}
28
Jeff Mahoney098297b2014-04-23 10:00:36 -040029/* to get item head in le form */
Jeff Mahoneyd68caa92009-03-30 14:02:49 -040030inline void copy_item_head(struct item_head *to,
31 const struct item_head *from)
Linus Torvalds1da177e2005-04-16 15:20:36 -070032{
Jeff Mahoneyd68caa92009-03-30 14:02:49 -040033 memcpy(to, from, IH_SIZE);
Linus Torvalds1da177e2005-04-16 15:20:36 -070034}
35
Jeff Mahoney098297b2014-04-23 10:00:36 -040036/*
37 * k1 is pointer to on-disk structure which is stored in little-endian
38 * form. k2 is pointer to cpu variable. For key of items of the same
39 * object this returns 0.
40 * Returns: -1 if key1 < key2
41 * 0 if key1 == key2
42 * 1 if key1 > key2
43 */
Linus Torvaldsbd4c6252005-07-12 20:21:28 -070044inline int comp_short_keys(const struct reiserfs_key *le_key,
45 const struct cpu_key *cpu_key)
Linus Torvalds1da177e2005-04-16 15:20:36 -070046{
Linus Torvaldsbd4c6252005-07-12 20:21:28 -070047 __u32 n;
48 n = le32_to_cpu(le_key->k_dir_id);
49 if (n < cpu_key->on_disk_key.k_dir_id)
50 return -1;
51 if (n > cpu_key->on_disk_key.k_dir_id)
52 return 1;
53 n = le32_to_cpu(le_key->k_objectid);
54 if (n < cpu_key->on_disk_key.k_objectid)
55 return -1;
56 if (n > cpu_key->on_disk_key.k_objectid)
57 return 1;
58 return 0;
Linus Torvalds1da177e2005-04-16 15:20:36 -070059}
60
Jeff Mahoney098297b2014-04-23 10:00:36 -040061/*
62 * k1 is pointer to on-disk structure which is stored in little-endian
63 * form. k2 is pointer to cpu variable.
64 * Compare keys using all 4 key fields.
65 * Returns: -1 if key1 < key2 0
66 * if key1 = key2 1 if key1 > key2
67 */
Linus Torvaldsbd4c6252005-07-12 20:21:28 -070068static inline int comp_keys(const struct reiserfs_key *le_key,
69 const struct cpu_key *cpu_key)
Linus Torvalds1da177e2005-04-16 15:20:36 -070070{
Linus Torvaldsbd4c6252005-07-12 20:21:28 -070071 int retval;
Linus Torvalds1da177e2005-04-16 15:20:36 -070072
Linus Torvaldsbd4c6252005-07-12 20:21:28 -070073 retval = comp_short_keys(le_key, cpu_key);
74 if (retval)
75 return retval;
76 if (le_key_k_offset(le_key_version(le_key), le_key) <
77 cpu_key_k_offset(cpu_key))
78 return -1;
79 if (le_key_k_offset(le_key_version(le_key), le_key) >
80 cpu_key_k_offset(cpu_key))
81 return 1;
Linus Torvalds1da177e2005-04-16 15:20:36 -070082
Linus Torvaldsbd4c6252005-07-12 20:21:28 -070083 if (cpu_key->key_length == 3)
84 return 0;
Linus Torvalds1da177e2005-04-16 15:20:36 -070085
Linus Torvaldsbd4c6252005-07-12 20:21:28 -070086 /* this part is needed only when tail conversion is in progress */
87 if (le_key_k_type(le_key_version(le_key), le_key) <
88 cpu_key_k_type(cpu_key))
89 return -1;
Linus Torvalds1da177e2005-04-16 15:20:36 -070090
Linus Torvaldsbd4c6252005-07-12 20:21:28 -070091 if (le_key_k_type(le_key_version(le_key), le_key) >
92 cpu_key_k_type(cpu_key))
93 return 1;
Linus Torvalds1da177e2005-04-16 15:20:36 -070094
Linus Torvaldsbd4c6252005-07-12 20:21:28 -070095 return 0;
Linus Torvalds1da177e2005-04-16 15:20:36 -070096}
97
Linus Torvaldsbd4c6252005-07-12 20:21:28 -070098inline int comp_short_le_keys(const struct reiserfs_key *key1,
99 const struct reiserfs_key *key2)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700100{
Jeff Mahoneyd68caa92009-03-30 14:02:49 -0400101 __u32 *k1_u32, *k2_u32;
Jeff Mahoneyee939612009-03-30 14:02:50 -0400102 int key_length = REISERFS_SHORT_KEY_LEN;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700103
Jeff Mahoneyd68caa92009-03-30 14:02:49 -0400104 k1_u32 = (__u32 *) key1;
105 k2_u32 = (__u32 *) key2;
Jeff Mahoneyee939612009-03-30 14:02:50 -0400106 for (; key_length--; ++k1_u32, ++k2_u32) {
Jeff Mahoneyd68caa92009-03-30 14:02:49 -0400107 if (le32_to_cpu(*k1_u32) < le32_to_cpu(*k2_u32))
Linus Torvaldsbd4c6252005-07-12 20:21:28 -0700108 return -1;
Jeff Mahoneyd68caa92009-03-30 14:02:49 -0400109 if (le32_to_cpu(*k1_u32) > le32_to_cpu(*k2_u32))
Linus Torvaldsbd4c6252005-07-12 20:21:28 -0700110 return 1;
111 }
112 return 0;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700113}
114
Linus Torvaldsbd4c6252005-07-12 20:21:28 -0700115inline void le_key2cpu_key(struct cpu_key *to, const struct reiserfs_key *from)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700116{
Linus Torvaldsbd4c6252005-07-12 20:21:28 -0700117 int version;
118 to->on_disk_key.k_dir_id = le32_to_cpu(from->k_dir_id);
119 to->on_disk_key.k_objectid = le32_to_cpu(from->k_objectid);
120
Jeff Mahoney098297b2014-04-23 10:00:36 -0400121 /* find out version of the key */
Linus Torvaldsbd4c6252005-07-12 20:21:28 -0700122 version = le_key_version(from);
123 to->version = version;
124 to->on_disk_key.k_offset = le_key_k_offset(version, from);
125 to->on_disk_key.k_type = le_key_k_type(version, from);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700126}
127
Jeff Mahoney098297b2014-04-23 10:00:36 -0400128/*
129 * this does not say which one is bigger, it only returns 1 if keys
130 * are not equal, 0 otherwise
131 */
Linus Torvaldsbd4c6252005-07-12 20:21:28 -0700132inline int comp_le_keys(const struct reiserfs_key *k1,
133 const struct reiserfs_key *k2)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700134{
Linus Torvaldsbd4c6252005-07-12 20:21:28 -0700135 return memcmp(k1, k2, sizeof(struct reiserfs_key));
Linus Torvalds1da177e2005-04-16 15:20:36 -0700136}
137
138/**************************************************************************
139 * Binary search toolkit function *
140 * Search for an item in the array by the item key *
141 * Returns: 1 if found, 0 if not found; *
Jeff Mahoneyd68caa92009-03-30 14:02:49 -0400142 * *pos = number of the searched element if found, else the *
143 * number of the first element that is larger than key. *
Linus Torvalds1da177e2005-04-16 15:20:36 -0700144 **************************************************************************/
Jeff Mahoney098297b2014-04-23 10:00:36 -0400145/*
146 * For those not familiar with binary search: lbound is the leftmost item
147 * that it could be, rbound the rightmost item that it could be. We examine
148 * the item halfway between lbound and rbound, and that tells us either
149 * that we can increase lbound, or decrease rbound, or that we have found it,
150 * or if lbound <= rbound that there are no possible items, and we have not
151 * found it. With each examination we cut the number of possible items it
152 * could be by one more than half rounded down, or we find it.
153 */
Jeff Mahoneyd68caa92009-03-30 14:02:49 -0400154static inline int bin_search(const void *key, /* Key to search for. */
155 const void *base, /* First item in the array. */
156 int num, /* Number of items in the array. */
Jeff Mahoney098297b2014-04-23 10:00:36 -0400157 /*
158 * Item size in the array. searched. Lest the
159 * reader be confused, note that this is crafted
160 * as a general function, and when it is applied
161 * specifically to the array of item headers in a
162 * node, width is actually the item header size
163 * not the item size.
164 */
165 int width,
Jeff Mahoneyd68caa92009-03-30 14:02:49 -0400166 int *pos /* Number of the searched for element. */
Linus Torvaldsbd4c6252005-07-12 20:21:28 -0700167 )
168{
Jeff Mahoneyee939612009-03-30 14:02:50 -0400169 int rbound, lbound, j;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700170
Jeff Mahoneyee939612009-03-30 14:02:50 -0400171 for (j = ((rbound = num - 1) + (lbound = 0)) / 2;
172 lbound <= rbound; j = (rbound + lbound) / 2)
Linus Torvaldsbd4c6252005-07-12 20:21:28 -0700173 switch (comp_keys
Jeff Mahoneyee939612009-03-30 14:02:50 -0400174 ((struct reiserfs_key *)((char *)base + j * width),
Jeff Mahoneyd68caa92009-03-30 14:02:49 -0400175 (struct cpu_key *)key)) {
Linus Torvaldsbd4c6252005-07-12 20:21:28 -0700176 case -1:
Jeff Mahoneyee939612009-03-30 14:02:50 -0400177 lbound = j + 1;
Linus Torvaldsbd4c6252005-07-12 20:21:28 -0700178 continue;
179 case 1:
Jeff Mahoneyee939612009-03-30 14:02:50 -0400180 rbound = j - 1;
Linus Torvaldsbd4c6252005-07-12 20:21:28 -0700181 continue;
182 case 0:
Jeff Mahoneyee939612009-03-30 14:02:50 -0400183 *pos = j;
Linus Torvaldsbd4c6252005-07-12 20:21:28 -0700184 return ITEM_FOUND; /* Key found in the array. */
185 }
Linus Torvalds1da177e2005-04-16 15:20:36 -0700186
Jeff Mahoney098297b2014-04-23 10:00:36 -0400187 /*
188 * bin_search did not find given key, it returns position of key,
189 * that is minimal and greater than the given one.
190 */
Jeff Mahoneyee939612009-03-30 14:02:50 -0400191 *pos = lbound;
Linus Torvaldsbd4c6252005-07-12 20:21:28 -0700192 return ITEM_NOT_FOUND;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700193}
194
Linus Torvalds1da177e2005-04-16 15:20:36 -0700195
Linus Torvalds1da177e2005-04-16 15:20:36 -0700196/* Minimal possible key. It is never in the tree. */
Linus Torvaldsbd4c6252005-07-12 20:21:28 -0700197const struct reiserfs_key MIN_KEY = { 0, 0, {{0, 0},} };
Linus Torvalds1da177e2005-04-16 15:20:36 -0700198
199/* Maximal possible key. It is never in the tree. */
Linus Torvaldsbd4c6252005-07-12 20:21:28 -0700200static const struct reiserfs_key MAX_KEY = {
Fabian Frederickafd54c62014-05-03 22:33:24 +0200201 cpu_to_le32(0xffffffff),
202 cpu_to_le32(0xffffffff),
203 {{cpu_to_le32(0xffffffff),
204 cpu_to_le32(0xffffffff)},}
Al Viro3e8962b2005-05-01 08:59:18 -0700205};
Linus Torvalds1da177e2005-04-16 15:20:36 -0700206
Jeff Mahoney098297b2014-04-23 10:00:36 -0400207/*
208 * Get delimiting key of the buffer by looking for it in the buffers in the
209 * path, starting from the bottom of the path, and going upwards. We must
210 * check the path's validity at each step. If the key is not in the path,
211 * there is no delimiting key in the tree (buffer is first or last buffer
212 * in tree), and in this case we return a special key, either MIN_KEY or
213 * MAX_KEY.
214 */
Jeff Mahoneyee939612009-03-30 14:02:50 -0400215static inline const struct reiserfs_key *get_lkey(const struct treepath *chk_path,
216 const struct super_block *sb)
Linus Torvaldsbd4c6252005-07-12 20:21:28 -0700217{
Jeff Mahoneyee939612009-03-30 14:02:50 -0400218 int position, path_offset = chk_path->path_length;
Jeff Mahoneyd68caa92009-03-30 14:02:49 -0400219 struct buffer_head *parent;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700220
Jeff Mahoneyee939612009-03-30 14:02:50 -0400221 RFALSE(path_offset < FIRST_PATH_ELEMENT_OFFSET,
Linus Torvaldsbd4c6252005-07-12 20:21:28 -0700222 "PAP-5010: invalid offset in the path");
Linus Torvalds1da177e2005-04-16 15:20:36 -0700223
Linus Torvaldsbd4c6252005-07-12 20:21:28 -0700224 /* While not higher in path than first element. */
Jeff Mahoneyee939612009-03-30 14:02:50 -0400225 while (path_offset-- > FIRST_PATH_ELEMENT_OFFSET) {
Linus Torvalds1da177e2005-04-16 15:20:36 -0700226
Linus Torvaldsbd4c6252005-07-12 20:21:28 -0700227 RFALSE(!buffer_uptodate
Jeff Mahoneyee939612009-03-30 14:02:50 -0400228 (PATH_OFFSET_PBUFFER(chk_path, path_offset)),
Linus Torvaldsbd4c6252005-07-12 20:21:28 -0700229 "PAP-5020: parent is not uptodate");
230
231 /* Parent at the path is not in the tree now. */
232 if (!B_IS_IN_TREE
Jeff Mahoneyd68caa92009-03-30 14:02:49 -0400233 (parent =
Jeff Mahoneyee939612009-03-30 14:02:50 -0400234 PATH_OFFSET_PBUFFER(chk_path, path_offset)))
Linus Torvaldsbd4c6252005-07-12 20:21:28 -0700235 return &MAX_KEY;
236 /* Check whether position in the parent is correct. */
Jeff Mahoneyee939612009-03-30 14:02:50 -0400237 if ((position =
Jeff Mahoneyd68caa92009-03-30 14:02:49 -0400238 PATH_OFFSET_POSITION(chk_path,
Jeff Mahoneyee939612009-03-30 14:02:50 -0400239 path_offset)) >
Jeff Mahoneyd68caa92009-03-30 14:02:49 -0400240 B_NR_ITEMS(parent))
Linus Torvaldsbd4c6252005-07-12 20:21:28 -0700241 return &MAX_KEY;
242 /* Check whether parent at the path really points to the child. */
Jeff Mahoneyee939612009-03-30 14:02:50 -0400243 if (B_N_CHILD_NUM(parent, position) !=
Jeff Mahoneyd68caa92009-03-30 14:02:49 -0400244 PATH_OFFSET_PBUFFER(chk_path,
Jeff Mahoneyee939612009-03-30 14:02:50 -0400245 path_offset + 1)->b_blocknr)
Linus Torvaldsbd4c6252005-07-12 20:21:28 -0700246 return &MAX_KEY;
Jeff Mahoney098297b2014-04-23 10:00:36 -0400247 /*
248 * Return delimiting key if position in the parent
249 * is not equal to zero.
250 */
Jeff Mahoneyee939612009-03-30 14:02:50 -0400251 if (position)
Jeff Mahoney4cf5f7a2014-04-23 10:00:35 -0400252 return internal_key(parent, position - 1);
Linus Torvaldsbd4c6252005-07-12 20:21:28 -0700253 }
254 /* Return MIN_KEY if we are in the root of the buffer tree. */
Jeff Mahoneyd68caa92009-03-30 14:02:49 -0400255 if (PATH_OFFSET_PBUFFER(chk_path, FIRST_PATH_ELEMENT_OFFSET)->
Jeff Mahoneya9dd3642009-03-30 14:02:45 -0400256 b_blocknr == SB_ROOT_BLOCK(sb))
Linus Torvaldsbd4c6252005-07-12 20:21:28 -0700257 return &MIN_KEY;
258 return &MAX_KEY;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700259}
260
Linus Torvalds1da177e2005-04-16 15:20:36 -0700261/* Get delimiting key of the buffer at the path and its right neighbor. */
Jeff Mahoneyd68caa92009-03-30 14:02:49 -0400262inline const struct reiserfs_key *get_rkey(const struct treepath *chk_path,
Jeff Mahoneya9dd3642009-03-30 14:02:45 -0400263 const struct super_block *sb)
Linus Torvaldsbd4c6252005-07-12 20:21:28 -0700264{
Jeff Mahoneyee939612009-03-30 14:02:50 -0400265 int position, path_offset = chk_path->path_length;
Jeff Mahoneyd68caa92009-03-30 14:02:49 -0400266 struct buffer_head *parent;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700267
Jeff Mahoneyee939612009-03-30 14:02:50 -0400268 RFALSE(path_offset < FIRST_PATH_ELEMENT_OFFSET,
Linus Torvaldsbd4c6252005-07-12 20:21:28 -0700269 "PAP-5030: invalid offset in the path");
Linus Torvalds1da177e2005-04-16 15:20:36 -0700270
Jeff Mahoneyee939612009-03-30 14:02:50 -0400271 while (path_offset-- > FIRST_PATH_ELEMENT_OFFSET) {
Linus Torvalds1da177e2005-04-16 15:20:36 -0700272
Linus Torvaldsbd4c6252005-07-12 20:21:28 -0700273 RFALSE(!buffer_uptodate
Jeff Mahoneyee939612009-03-30 14:02:50 -0400274 (PATH_OFFSET_PBUFFER(chk_path, path_offset)),
Linus Torvaldsbd4c6252005-07-12 20:21:28 -0700275 "PAP-5040: parent is not uptodate");
Linus Torvalds1da177e2005-04-16 15:20:36 -0700276
Linus Torvaldsbd4c6252005-07-12 20:21:28 -0700277 /* Parent at the path is not in the tree now. */
278 if (!B_IS_IN_TREE
Jeff Mahoneyd68caa92009-03-30 14:02:49 -0400279 (parent =
Jeff Mahoneyee939612009-03-30 14:02:50 -0400280 PATH_OFFSET_PBUFFER(chk_path, path_offset)))
Linus Torvaldsbd4c6252005-07-12 20:21:28 -0700281 return &MIN_KEY;
282 /* Check whether position in the parent is correct. */
Jeff Mahoneyee939612009-03-30 14:02:50 -0400283 if ((position =
Jeff Mahoneyd68caa92009-03-30 14:02:49 -0400284 PATH_OFFSET_POSITION(chk_path,
Jeff Mahoneyee939612009-03-30 14:02:50 -0400285 path_offset)) >
Jeff Mahoneyd68caa92009-03-30 14:02:49 -0400286 B_NR_ITEMS(parent))
Linus Torvaldsbd4c6252005-07-12 20:21:28 -0700287 return &MIN_KEY;
Jeff Mahoney098297b2014-04-23 10:00:36 -0400288 /*
289 * Check whether parent at the path really points
290 * to the child.
291 */
Jeff Mahoneyee939612009-03-30 14:02:50 -0400292 if (B_N_CHILD_NUM(parent, position) !=
Jeff Mahoneyd68caa92009-03-30 14:02:49 -0400293 PATH_OFFSET_PBUFFER(chk_path,
Jeff Mahoneyee939612009-03-30 14:02:50 -0400294 path_offset + 1)->b_blocknr)
Linus Torvaldsbd4c6252005-07-12 20:21:28 -0700295 return &MIN_KEY;
Jeff Mahoney098297b2014-04-23 10:00:36 -0400296
297 /*
298 * Return delimiting key if position in the parent
299 * is not the last one.
300 */
Jeff Mahoneyee939612009-03-30 14:02:50 -0400301 if (position != B_NR_ITEMS(parent))
Jeff Mahoney4cf5f7a2014-04-23 10:00:35 -0400302 return internal_key(parent, position);
Linus Torvaldsbd4c6252005-07-12 20:21:28 -0700303 }
Jeff Mahoney098297b2014-04-23 10:00:36 -0400304
Linus Torvaldsbd4c6252005-07-12 20:21:28 -0700305 /* Return MAX_KEY if we are in the root of the buffer tree. */
Jeff Mahoneyd68caa92009-03-30 14:02:49 -0400306 if (PATH_OFFSET_PBUFFER(chk_path, FIRST_PATH_ELEMENT_OFFSET)->
Jeff Mahoneya9dd3642009-03-30 14:02:45 -0400307 b_blocknr == SB_ROOT_BLOCK(sb))
Linus Torvaldsbd4c6252005-07-12 20:21:28 -0700308 return &MAX_KEY;
309 return &MIN_KEY;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700310}
311
Jeff Mahoney098297b2014-04-23 10:00:36 -0400312/*
313 * Check whether a key is contained in the tree rooted from a buffer at a path.
314 * This works by looking at the left and right delimiting keys for the buffer
315 * in the last path_element in the path. These delimiting keys are stored
316 * at least one level above that buffer in the tree. If the buffer is the
317 * first or last node in the tree order then one of the delimiting keys may
318 * be absent, and in this case get_lkey and get_rkey return a special key
319 * which is MIN_KEY or MAX_KEY.
320 */
321static inline int key_in_buffer(
322 /* Path which should be checked. */
323 struct treepath *chk_path,
324 /* Key which should be checked. */
325 const struct cpu_key *key,
Jeff Mahoneyd68caa92009-03-30 14:02:49 -0400326 struct super_block *sb
Linus Torvaldsbd4c6252005-07-12 20:21:28 -0700327 )
328{
Linus Torvalds1da177e2005-04-16 15:20:36 -0700329
Jeff Mahoneyd68caa92009-03-30 14:02:49 -0400330 RFALSE(!key || chk_path->path_length < FIRST_PATH_ELEMENT_OFFSET
331 || chk_path->path_length > MAX_HEIGHT,
Linus Torvaldsbd4c6252005-07-12 20:21:28 -0700332 "PAP-5050: pointer to the key(%p) is NULL or invalid path length(%d)",
Jeff Mahoneyd68caa92009-03-30 14:02:49 -0400333 key, chk_path->path_length);
334 RFALSE(!PATH_PLAST_BUFFER(chk_path)->b_bdev,
Linus Torvaldsbd4c6252005-07-12 20:21:28 -0700335 "PAP-5060: device must not be NODEV");
Linus Torvalds1da177e2005-04-16 15:20:36 -0700336
Jeff Mahoneyd68caa92009-03-30 14:02:49 -0400337 if (comp_keys(get_lkey(chk_path, sb), key) == 1)
Linus Torvaldsbd4c6252005-07-12 20:21:28 -0700338 /* left delimiting key is bigger, that the key we look for */
339 return 0;
Jeff Mahoneyd68caa92009-03-30 14:02:49 -0400340 /* if ( comp_keys(key, get_rkey(chk_path, sb)) != -1 ) */
341 if (comp_keys(get_rkey(chk_path, sb), key) != 1)
342 /* key must be less than right delimitiing key */
Linus Torvaldsbd4c6252005-07-12 20:21:28 -0700343 return 0;
344 return 1;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700345}
346
Josef "Jeff" Sipekfec6d052006-12-08 02:36:32 -0800347int reiserfs_check_path(struct treepath *p)
Linus Torvaldsbd4c6252005-07-12 20:21:28 -0700348{
349 RFALSE(p->path_length != ILLEGAL_PATH_ELEMENT_OFFSET,
350 "path not properly relsed");
351 return 0;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700352}
353
Jeff Mahoney098297b2014-04-23 10:00:36 -0400354/*
355 * Drop the reference to each buffer in a path and restore
Jeff Mahoney3cd6dbe2009-03-30 14:02:43 -0400356 * dirty bits clean when preparing the buffer for the log.
Jeff Mahoney098297b2014-04-23 10:00:36 -0400357 * This version should only be called from fix_nodes()
358 */
Jeff Mahoney3cd6dbe2009-03-30 14:02:43 -0400359void pathrelse_and_restore(struct super_block *sb,
Jeff Mahoneyd68caa92009-03-30 14:02:49 -0400360 struct treepath *search_path)
Linus Torvaldsbd4c6252005-07-12 20:21:28 -0700361{
Jeff Mahoneyee939612009-03-30 14:02:50 -0400362 int path_offset = search_path->path_length;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700363
Jeff Mahoneyee939612009-03-30 14:02:50 -0400364 RFALSE(path_offset < ILLEGAL_PATH_ELEMENT_OFFSET,
Linus Torvaldsbd4c6252005-07-12 20:21:28 -0700365 "clm-4000: invalid path offset");
366
Jeff Mahoneyee939612009-03-30 14:02:50 -0400367 while (path_offset > ILLEGAL_PATH_ELEMENT_OFFSET) {
Jeff Mahoney3cd6dbe2009-03-30 14:02:43 -0400368 struct buffer_head *bh;
Jeff Mahoneyee939612009-03-30 14:02:50 -0400369 bh = PATH_OFFSET_PBUFFER(search_path, path_offset--);
Jeff Mahoney3cd6dbe2009-03-30 14:02:43 -0400370 reiserfs_restore_prepared_buffer(sb, bh);
371 brelse(bh);
Linus Torvaldsbd4c6252005-07-12 20:21:28 -0700372 }
Jeff Mahoneyd68caa92009-03-30 14:02:49 -0400373 search_path->path_length = ILLEGAL_PATH_ELEMENT_OFFSET;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700374}
375
Jeff Mahoney3cd6dbe2009-03-30 14:02:43 -0400376/* Drop the reference to each buffer in a path */
Jeff Mahoneyd68caa92009-03-30 14:02:49 -0400377void pathrelse(struct treepath *search_path)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700378{
Jeff Mahoneyee939612009-03-30 14:02:50 -0400379 int path_offset = search_path->path_length;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700380
Jeff Mahoneyee939612009-03-30 14:02:50 -0400381 RFALSE(path_offset < ILLEGAL_PATH_ELEMENT_OFFSET,
Linus Torvaldsbd4c6252005-07-12 20:21:28 -0700382 "PAP-5090: invalid path offset");
Linus Torvalds1da177e2005-04-16 15:20:36 -0700383
Jeff Mahoneyee939612009-03-30 14:02:50 -0400384 while (path_offset > ILLEGAL_PATH_ELEMENT_OFFSET)
385 brelse(PATH_OFFSET_PBUFFER(search_path, path_offset--));
Linus Torvalds1da177e2005-04-16 15:20:36 -0700386
Jeff Mahoneyd68caa92009-03-30 14:02:49 -0400387 search_path->path_length = ILLEGAL_PATH_ELEMENT_OFFSET;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700388}
389
Shreyansh Chouhan13d25752021-07-09 20:59:29 +0530390static int has_valid_deh_location(struct buffer_head *bh, struct item_head *ih)
391{
392 struct reiserfs_de_head *deh;
393 int i;
394
395 deh = B_I_DEH(bh, ih);
396 for (i = 0; i < ih_entry_count(ih); i++) {
397 if (deh_location(&deh[i]) > ih_item_len(ih)) {
398 reiserfs_warning(NULL, "reiserfs-5094",
399 "directory entry location seems wrong %h",
400 &deh[i]);
401 return 0;
402 }
403 }
404
405 return 1;
406}
407
Linus Torvaldsbd4c6252005-07-12 20:21:28 -0700408static int is_leaf(char *buf, int blocksize, struct buffer_head *bh)
409{
410 struct block_head *blkh;
411 struct item_head *ih;
412 int used_space;
413 int prev_location;
414 int i;
415 int nr;
416
417 blkh = (struct block_head *)buf;
418 if (blkh_level(blkh) != DISK_LEAF_NODE_LEVEL) {
Jeff Mahoney45b03d52009-03-30 14:02:21 -0400419 reiserfs_warning(NULL, "reiserfs-5080",
420 "this should be caught earlier");
Linus Torvaldsbd4c6252005-07-12 20:21:28 -0700421 return 0;
422 }
423
424 nr = blkh_nr_item(blkh);
425 if (nr < 1 || nr > ((blocksize - BLKH_SIZE) / (IH_SIZE + MIN_ITEM_LEN))) {
426 /* item number is too big or too small */
Jeff Mahoney45b03d52009-03-30 14:02:21 -0400427 reiserfs_warning(NULL, "reiserfs-5081",
428 "nr_item seems wrong: %z", bh);
Linus Torvaldsbd4c6252005-07-12 20:21:28 -0700429 return 0;
430 }
431 ih = (struct item_head *)(buf + BLKH_SIZE) + nr - 1;
432 used_space = BLKH_SIZE + IH_SIZE * nr + (blocksize - ih_location(ih));
Jeff Mahoney098297b2014-04-23 10:00:36 -0400433
434 /* free space does not match to calculated amount of use space */
Linus Torvaldsbd4c6252005-07-12 20:21:28 -0700435 if (used_space != blocksize - blkh_free_space(blkh)) {
Jeff Mahoney45b03d52009-03-30 14:02:21 -0400436 reiserfs_warning(NULL, "reiserfs-5082",
437 "free space seems wrong: %z", bh);
Linus Torvaldsbd4c6252005-07-12 20:21:28 -0700438 return 0;
439 }
Jeff Mahoney098297b2014-04-23 10:00:36 -0400440 /*
441 * FIXME: it is_leaf will hit performance too much - we may have
442 * return 1 here
443 */
Linus Torvaldsbd4c6252005-07-12 20:21:28 -0700444
445 /* check tables of item heads */
446 ih = (struct item_head *)(buf + BLKH_SIZE);
447 prev_location = blocksize;
448 for (i = 0; i < nr; i++, ih++) {
449 if (le_ih_k_type(ih) == TYPE_ANY) {
Jeff Mahoney45b03d52009-03-30 14:02:21 -0400450 reiserfs_warning(NULL, "reiserfs-5083",
451 "wrong item type for item %h",
Linus Torvaldsbd4c6252005-07-12 20:21:28 -0700452 ih);
453 return 0;
454 }
455 if (ih_location(ih) >= blocksize
456 || ih_location(ih) < IH_SIZE * nr) {
Jeff Mahoney45b03d52009-03-30 14:02:21 -0400457 reiserfs_warning(NULL, "reiserfs-5084",
458 "item location seems wrong: %h",
Linus Torvaldsbd4c6252005-07-12 20:21:28 -0700459 ih);
460 return 0;
461 }
462 if (ih_item_len(ih) < 1
463 || ih_item_len(ih) > MAX_ITEM_LEN(blocksize)) {
Jeff Mahoney45b03d52009-03-30 14:02:21 -0400464 reiserfs_warning(NULL, "reiserfs-5085",
465 "item length seems wrong: %h",
Linus Torvaldsbd4c6252005-07-12 20:21:28 -0700466 ih);
467 return 0;
468 }
469 if (prev_location - ih_location(ih) != ih_item_len(ih)) {
Jeff Mahoney45b03d52009-03-30 14:02:21 -0400470 reiserfs_warning(NULL, "reiserfs-5086",
471 "item location seems wrong "
472 "(second one): %h", ih);
Linus Torvaldsbd4c6252005-07-12 20:21:28 -0700473 return 0;
474 }
Shreyansh Chouhan13d25752021-07-09 20:59:29 +0530475 if (is_direntry_le_ih(ih)) {
476 if (ih_item_len(ih) < (ih_entry_count(ih) * IH_SIZE)) {
477 reiserfs_warning(NULL, "reiserfs-5093",
478 "item entry count seems wrong %h",
479 ih);
480 return 0;
481 }
482 return has_valid_deh_location(bh, ih);
Rustam Kovhaevd24396c2020-11-01 06:09:58 -0800483 }
Linus Torvaldsbd4c6252005-07-12 20:21:28 -0700484 prev_location = ih_location(ih);
485 }
486
Jeff Mahoney098297b2014-04-23 10:00:36 -0400487 /* one may imagine many more checks */
Linus Torvaldsbd4c6252005-07-12 20:21:28 -0700488 return 1;
489}
Linus Torvalds1da177e2005-04-16 15:20:36 -0700490
491/* returns 1 if buf looks like an internal node, 0 otherwise */
Linus Torvaldsbd4c6252005-07-12 20:21:28 -0700492static int is_internal(char *buf, int blocksize, struct buffer_head *bh)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700493{
Linus Torvaldsbd4c6252005-07-12 20:21:28 -0700494 struct block_head *blkh;
495 int nr;
496 int used_space;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700497
Linus Torvaldsbd4c6252005-07-12 20:21:28 -0700498 blkh = (struct block_head *)buf;
499 nr = blkh_level(blkh);
500 if (nr <= DISK_LEAF_NODE_LEVEL || nr > MAX_HEIGHT) {
501 /* this level is not possible for internal nodes */
Jeff Mahoney45b03d52009-03-30 14:02:21 -0400502 reiserfs_warning(NULL, "reiserfs-5087",
503 "this should be caught earlier");
Linus Torvaldsbd4c6252005-07-12 20:21:28 -0700504 return 0;
505 }
Linus Torvalds1da177e2005-04-16 15:20:36 -0700506
Linus Torvaldsbd4c6252005-07-12 20:21:28 -0700507 nr = blkh_nr_item(blkh);
Jeff Mahoney098297b2014-04-23 10:00:36 -0400508 /* for internal which is not root we might check min number of keys */
Linus Torvaldsbd4c6252005-07-12 20:21:28 -0700509 if (nr > (blocksize - BLKH_SIZE - DC_SIZE) / (KEY_SIZE + DC_SIZE)) {
Jeff Mahoney45b03d52009-03-30 14:02:21 -0400510 reiserfs_warning(NULL, "reiserfs-5088",
511 "number of key seems wrong: %z", bh);
Linus Torvaldsbd4c6252005-07-12 20:21:28 -0700512 return 0;
513 }
Linus Torvalds1da177e2005-04-16 15:20:36 -0700514
Linus Torvaldsbd4c6252005-07-12 20:21:28 -0700515 used_space = BLKH_SIZE + KEY_SIZE * nr + DC_SIZE * (nr + 1);
516 if (used_space != blocksize - blkh_free_space(blkh)) {
Jeff Mahoney45b03d52009-03-30 14:02:21 -0400517 reiserfs_warning(NULL, "reiserfs-5089",
518 "free space seems wrong: %z", bh);
Linus Torvaldsbd4c6252005-07-12 20:21:28 -0700519 return 0;
520 }
Jeff Mahoney098297b2014-04-23 10:00:36 -0400521
522 /* one may imagine many more checks */
Linus Torvaldsbd4c6252005-07-12 20:21:28 -0700523 return 1;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700524}
525
Jeff Mahoney098297b2014-04-23 10:00:36 -0400526/*
527 * make sure that bh contains formatted node of reiserfs tree of
528 * 'level'-th level
529 */
Linus Torvaldsbd4c6252005-07-12 20:21:28 -0700530static int is_tree_node(struct buffer_head *bh, int level)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700531{
Linus Torvaldsbd4c6252005-07-12 20:21:28 -0700532 if (B_LEVEL(bh) != level) {
Jeff Mahoney45b03d52009-03-30 14:02:21 -0400533 reiserfs_warning(NULL, "reiserfs-5090", "node level %d does "
534 "not match to the expected one %d",
Linus Torvaldsbd4c6252005-07-12 20:21:28 -0700535 B_LEVEL(bh), level);
536 return 0;
537 }
538 if (level == DISK_LEAF_NODE_LEVEL)
539 return is_leaf(bh->b_data, bh->b_size, bh);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700540
Linus Torvaldsbd4c6252005-07-12 20:21:28 -0700541 return is_internal(bh->b_data, bh->b_size, bh);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700542}
543
Linus Torvalds1da177e2005-04-16 15:20:36 -0700544#define SEARCH_BY_KEY_READA 16
545
Frederic Weisbecker2ac62692009-05-14 02:56:39 +0200546/*
547 * The function is NOT SCHEDULE-SAFE!
548 * It might unlock the write lock if we needed to wait for a block
549 * to be read. Note that in this case it won't recover the lock to avoid
550 * high contention resulting from too much lock requests, especially
551 * the caller (search_by_key) will perform other schedule-unsafe
552 * operations just after calling this function.
553 *
Jeff Mahoney278f6672013-08-08 17:34:46 -0400554 * @return depth of lock to be restored after read completes
Frederic Weisbecker2ac62692009-05-14 02:56:39 +0200555 */
Jeff Mahoney278f6672013-08-08 17:34:46 -0400556static int search_by_key_reada(struct super_block *s,
Linus Torvaldsbd4c6252005-07-12 20:21:28 -0700557 struct buffer_head **bh,
Jeff Mahoney3ee16672007-10-18 23:39:25 -0700558 b_blocknr_t *b, int num)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700559{
Linus Torvaldsbd4c6252005-07-12 20:21:28 -0700560 int i, j;
Jeff Mahoney278f6672013-08-08 17:34:46 -0400561 int depth = -1;
Linus Torvaldsbd4c6252005-07-12 20:21:28 -0700562
563 for (i = 0; i < num; i++) {
564 bh[i] = sb_getblk(s, b[i]);
565 }
Frederic Weisbecker09eb47a2009-05-08 14:21:33 +0200566 /*
567 * We are going to read some blocks on which we
568 * have a reference. It's safe, though we might be
569 * reading blocks concurrently changed if we release
570 * the lock. But it's still fine because we check later
571 * if the tree changed
572 */
Linus Torvaldsbd4c6252005-07-12 20:21:28 -0700573 for (j = 0; j < i; j++) {
574 /*
575 * note, this needs attention if we are getting rid of the BKL
Jeff Mahoney098297b2014-04-23 10:00:36 -0400576 * you have to make sure the prepared bit isn't set on this
577 * buffer
Linus Torvaldsbd4c6252005-07-12 20:21:28 -0700578 */
Frederic Weisbecker2ac62692009-05-14 02:56:39 +0200579 if (!buffer_uptodate(bh[j])) {
Jeff Mahoney278f6672013-08-08 17:34:46 -0400580 if (depth == -1)
581 depth = reiserfs_write_unlock_nested(s);
Christoph Hellwig70246282016-07-19 11:28:41 +0200582 ll_rw_block(REQ_OP_READ, REQ_RAHEAD, 1, bh + j);
Frederic Weisbecker2ac62692009-05-14 02:56:39 +0200583 }
Linus Torvaldsbd4c6252005-07-12 20:21:28 -0700584 brelse(bh[j]);
585 }
Jeff Mahoney278f6672013-08-08 17:34:46 -0400586 return depth;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700587}
588
Jeff Mahoney098297b2014-04-23 10:00:36 -0400589/*
590 * This function fills up the path from the root to the leaf as it
591 * descends the tree looking for the key. It uses reiserfs_bread to
592 * try to find buffers in the cache given their block number. If it
593 * does not find them in the cache it reads them from disk. For each
594 * node search_by_key finds using reiserfs_bread it then uses
595 * bin_search to look through that node. bin_search will find the
596 * position of the block_number of the next node if it is looking
597 * through an internal node. If it is looking through a leaf node
598 * bin_search will find the position of the item which has key either
599 * equal to given key, or which is the maximal key less than the given
600 * key. search_by_key returns a path that must be checked for the
601 * correctness of the top of the path but need not be checked for the
602 * correctness of the bottom of the path
603 */
604/*
605 * search_by_key - search for key (and item) in stree
606 * @sb: superblock
607 * @key: pointer to key to search for
608 * @search_path: Allocated and initialized struct treepath; Returned filled
609 * on success.
610 * @stop_level: How far down the tree to search, Use DISK_LEAF_NODE_LEVEL to
611 * stop at leaf level.
612 *
613 * The function is NOT SCHEDULE-SAFE!
614 */
615int search_by_key(struct super_block *sb, const struct cpu_key *key,
616 struct treepath *search_path, int stop_level)
Linus Torvaldsbd4c6252005-07-12 20:21:28 -0700617{
Jeff Mahoneyee939612009-03-30 14:02:50 -0400618 b_blocknr_t block_number;
Linus Torvaldsbd4c6252005-07-12 20:21:28 -0700619 int expected_level;
Jeff Mahoneyad31a4f2009-03-30 14:02:46 -0400620 struct buffer_head *bh;
Jeff Mahoneyd68caa92009-03-30 14:02:49 -0400621 struct path_element *last_element;
Jeff Mahoneyee939612009-03-30 14:02:50 -0400622 int node_level, retval;
Linus Torvaldsbd4c6252005-07-12 20:21:28 -0700623 int fs_gen;
624 struct buffer_head *reada_bh[SEARCH_BY_KEY_READA];
Jeff Mahoney3ee16672007-10-18 23:39:25 -0700625 b_blocknr_t reada_blocks[SEARCH_BY_KEY_READA];
Linus Torvaldsbd4c6252005-07-12 20:21:28 -0700626 int reada_count = 0;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700627
628#ifdef CONFIG_REISERFS_CHECK
Jeff Mahoneyee939612009-03-30 14:02:50 -0400629 int repeat_counter = 0;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700630#endif
Linus Torvalds1da177e2005-04-16 15:20:36 -0700631
Jeff Mahoneya9dd3642009-03-30 14:02:45 -0400632 PROC_INFO_INC(sb, search_by_key);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700633
Jeff Mahoney098297b2014-04-23 10:00:36 -0400634 /*
635 * As we add each node to a path we increase its count. This means
636 * that we must be careful to release all nodes in a path before we
637 * either discard the path struct or re-use the path struct, as we
638 * do here.
639 */
Linus Torvalds1da177e2005-04-16 15:20:36 -0700640
Jeff Mahoneyd68caa92009-03-30 14:02:49 -0400641 pathrelse(search_path);
Linus Torvaldsbd4c6252005-07-12 20:21:28 -0700642
Jeff Mahoney098297b2014-04-23 10:00:36 -0400643 /*
644 * With each iteration of this loop we search through the items in the
645 * current node, and calculate the next current node(next path element)
646 * for the next iteration of this loop..
647 */
Jeff Mahoneyee939612009-03-30 14:02:50 -0400648 block_number = SB_ROOT_BLOCK(sb);
Linus Torvaldsbd4c6252005-07-12 20:21:28 -0700649 expected_level = -1;
650 while (1) {
Linus Torvalds1da177e2005-04-16 15:20:36 -0700651
652#ifdef CONFIG_REISERFS_CHECK
Jeff Mahoneyee939612009-03-30 14:02:50 -0400653 if (!(++repeat_counter % 50000))
Jeff Mahoneya9dd3642009-03-30 14:02:45 -0400654 reiserfs_warning(sb, "PAP-5100",
Jeff Mahoney45b03d52009-03-30 14:02:21 -0400655 "%s: there were %d iterations of "
656 "while loop looking for key %K",
Jeff Mahoneyee939612009-03-30 14:02:50 -0400657 current->comm, repeat_counter,
Jeff Mahoneyd68caa92009-03-30 14:02:49 -0400658 key);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700659#endif
660
Linus Torvaldsbd4c6252005-07-12 20:21:28 -0700661 /* prep path to have another element added to it. */
Jeff Mahoneyd68caa92009-03-30 14:02:49 -0400662 last_element =
663 PATH_OFFSET_PELEMENT(search_path,
664 ++search_path->path_length);
Jeff Mahoneya9dd3642009-03-30 14:02:45 -0400665 fs_gen = get_generation(sb);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700666
Jeff Mahoney098297b2014-04-23 10:00:36 -0400667 /*
668 * Read the next tree node, and set the last element
669 * in the path to have a pointer to it.
670 */
Jeff Mahoneyd68caa92009-03-30 14:02:49 -0400671 if ((bh = last_element->pe_buffer =
Jeff Mahoneyee939612009-03-30 14:02:50 -0400672 sb_getblk(sb, block_number))) {
Jeff Mahoney278f6672013-08-08 17:34:46 -0400673
674 /*
675 * We'll need to drop the lock if we encounter any
676 * buffers that need to be read. If all of them are
677 * already up to date, we don't need to drop the lock.
678 */
679 int depth = -1;
Frederic Weisbecker2ac62692009-05-14 02:56:39 +0200680
Jeff Mahoneyad31a4f2009-03-30 14:02:46 -0400681 if (!buffer_uptodate(bh) && reada_count > 1)
Jeff Mahoney278f6672013-08-08 17:34:46 -0400682 depth = search_by_key_reada(sb, reada_bh,
Linus Torvaldsbd4c6252005-07-12 20:21:28 -0700683 reada_blocks, reada_count);
Jeff Mahoney278f6672013-08-08 17:34:46 -0400684
685 if (!buffer_uptodate(bh) && depth == -1)
686 depth = reiserfs_write_unlock_nested(sb);
687
Mike Christiedfec8a12016-06-05 14:31:44 -0500688 ll_rw_block(REQ_OP_READ, 0, 1, &bh);
Jeff Mahoneyad31a4f2009-03-30 14:02:46 -0400689 wait_on_buffer(bh);
Frederic Weisbecker2ac62692009-05-14 02:56:39 +0200690
Jeff Mahoney278f6672013-08-08 17:34:46 -0400691 if (depth != -1)
692 reiserfs_write_lock_nested(sb, depth);
Jeff Mahoneyad31a4f2009-03-30 14:02:46 -0400693 if (!buffer_uptodate(bh))
Linus Torvaldsbd4c6252005-07-12 20:21:28 -0700694 goto io_error;
695 } else {
Jeff Mahoneycf776a72014-04-23 10:00:41 -0400696io_error:
Jeff Mahoneyd68caa92009-03-30 14:02:49 -0400697 search_path->path_length--;
698 pathrelse(search_path);
Linus Torvaldsbd4c6252005-07-12 20:21:28 -0700699 return IO_ERROR;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700700 }
Linus Torvaldsbd4c6252005-07-12 20:21:28 -0700701 reada_count = 0;
702 if (expected_level == -1)
Jeff Mahoneya9dd3642009-03-30 14:02:45 -0400703 expected_level = SB_TREE_HEIGHT(sb);
Linus Torvaldsbd4c6252005-07-12 20:21:28 -0700704 expected_level--;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700705
Jeff Mahoney098297b2014-04-23 10:00:36 -0400706 /*
707 * It is possible that schedule occurred. We must check
708 * whether the key to search is still in the tree rooted
709 * from the current buffer. If not then repeat search
710 * from the root.
711 */
Jeff Mahoneya9dd3642009-03-30 14:02:45 -0400712 if (fs_changed(fs_gen, sb) &&
Jeff Mahoneyad31a4f2009-03-30 14:02:46 -0400713 (!B_IS_IN_TREE(bh) ||
714 B_LEVEL(bh) != expected_level ||
Jeff Mahoneyd68caa92009-03-30 14:02:49 -0400715 !key_in_buffer(search_path, key, sb))) {
Jeff Mahoneya9dd3642009-03-30 14:02:45 -0400716 PROC_INFO_INC(sb, search_by_key_fs_changed);
717 PROC_INFO_INC(sb, search_by_key_restarted);
718 PROC_INFO_INC(sb,
Linus Torvaldsbd4c6252005-07-12 20:21:28 -0700719 sbk_restarted[expected_level - 1]);
Jeff Mahoneyd68caa92009-03-30 14:02:49 -0400720 pathrelse(search_path);
Linus Torvaldsbd4c6252005-07-12 20:21:28 -0700721
Jeff Mahoney098297b2014-04-23 10:00:36 -0400722 /*
723 * Get the root block number so that we can
724 * repeat the search starting from the root.
725 */
Jeff Mahoneyee939612009-03-30 14:02:50 -0400726 block_number = SB_ROOT_BLOCK(sb);
Linus Torvaldsbd4c6252005-07-12 20:21:28 -0700727 expected_level = -1;
Linus Torvaldsbd4c6252005-07-12 20:21:28 -0700728
729 /* repeat search from the root */
730 continue;
731 }
732
Jeff Mahoney098297b2014-04-23 10:00:36 -0400733 /*
734 * only check that the key is in the buffer if key is not
735 * equal to the MAX_KEY. Latter case is only possible in
736 * "finish_unfinished()" processing during mount.
737 */
Jeff Mahoneyd68caa92009-03-30 14:02:49 -0400738 RFALSE(comp_keys(&MAX_KEY, key) &&
739 !key_in_buffer(search_path, key, sb),
Linus Torvaldsbd4c6252005-07-12 20:21:28 -0700740 "PAP-5130: key is not in the buffer");
741#ifdef CONFIG_REISERFS_CHECK
Frederic Weisbecker08f14fc2009-05-16 19:10:38 +0200742 if (REISERFS_SB(sb)->cur_tb) {
Linus Torvaldsbd4c6252005-07-12 20:21:28 -0700743 print_cur_tb("5140");
Jeff Mahoneya9dd3642009-03-30 14:02:45 -0400744 reiserfs_panic(sb, "PAP-5140",
Jeff Mahoneyc3a9c212009-03-30 14:02:25 -0400745 "schedule occurred in do_balance!");
Linus Torvaldsbd4c6252005-07-12 20:21:28 -0700746 }
747#endif
748
Jeff Mahoney098297b2014-04-23 10:00:36 -0400749 /*
750 * make sure, that the node contents look like a node of
751 * certain level
752 */
Jeff Mahoneyad31a4f2009-03-30 14:02:46 -0400753 if (!is_tree_node(bh, expected_level)) {
Jeff Mahoneya9dd3642009-03-30 14:02:45 -0400754 reiserfs_error(sb, "vs-5150",
Jeff Mahoney0030b642009-03-30 14:02:28 -0400755 "invalid format found in block %ld. "
Jeff Mahoneyad31a4f2009-03-30 14:02:46 -0400756 "Fsck?", bh->b_blocknr);
Jeff Mahoneyd68caa92009-03-30 14:02:49 -0400757 pathrelse(search_path);
Linus Torvaldsbd4c6252005-07-12 20:21:28 -0700758 return IO_ERROR;
759 }
760
761 /* ok, we have acquired next formatted node in the tree */
Jeff Mahoneyee939612009-03-30 14:02:50 -0400762 node_level = B_LEVEL(bh);
Linus Torvaldsbd4c6252005-07-12 20:21:28 -0700763
Jeff Mahoneyee939612009-03-30 14:02:50 -0400764 PROC_INFO_BH_STAT(sb, bh, node_level - 1);
Linus Torvaldsbd4c6252005-07-12 20:21:28 -0700765
Jeff Mahoneyee939612009-03-30 14:02:50 -0400766 RFALSE(node_level < stop_level,
Linus Torvaldsbd4c6252005-07-12 20:21:28 -0700767 "vs-5152: tree level (%d) is less than stop level (%d)",
Jeff Mahoneyee939612009-03-30 14:02:50 -0400768 node_level, stop_level);
Linus Torvaldsbd4c6252005-07-12 20:21:28 -0700769
Jeff Mahoney4cf5f7a2014-04-23 10:00:35 -0400770 retval = bin_search(key, item_head(bh, 0),
Jeff Mahoneyad31a4f2009-03-30 14:02:46 -0400771 B_NR_ITEMS(bh),
Jeff Mahoneyee939612009-03-30 14:02:50 -0400772 (node_level ==
Linus Torvaldsbd4c6252005-07-12 20:21:28 -0700773 DISK_LEAF_NODE_LEVEL) ? IH_SIZE :
774 KEY_SIZE,
Jeff Mahoneya228bf82014-04-23 10:00:42 -0400775 &last_element->pe_position);
Jeff Mahoneyee939612009-03-30 14:02:50 -0400776 if (node_level == stop_level) {
777 return retval;
Linus Torvaldsbd4c6252005-07-12 20:21:28 -0700778 }
779
780 /* we are not in the stop level */
Jeff Mahoney098297b2014-04-23 10:00:36 -0400781 /*
782 * item has been found, so we choose the pointer which
783 * is to the right of the found one
784 */
Jeff Mahoneyee939612009-03-30 14:02:50 -0400785 if (retval == ITEM_FOUND)
Jeff Mahoneyd68caa92009-03-30 14:02:49 -0400786 last_element->pe_position++;
Linus Torvaldsbd4c6252005-07-12 20:21:28 -0700787
Jeff Mahoney098297b2014-04-23 10:00:36 -0400788 /*
789 * if item was not found we choose the position which is to
790 * the left of the found item. This requires no code,
791 * bin_search did it already.
792 */
Linus Torvaldsbd4c6252005-07-12 20:21:28 -0700793
Jeff Mahoney098297b2014-04-23 10:00:36 -0400794 /*
795 * So we have chosen a position in the current node which is
796 * an internal node. Now we calculate child block number by
797 * position in the node.
798 */
Jeff Mahoneyee939612009-03-30 14:02:50 -0400799 block_number =
Jeff Mahoneyd68caa92009-03-30 14:02:49 -0400800 B_N_CHILD_NUM(bh, last_element->pe_position);
Linus Torvaldsbd4c6252005-07-12 20:21:28 -0700801
Jeff Mahoney098297b2014-04-23 10:00:36 -0400802 /*
803 * if we are going to read leaf nodes, try for read
804 * ahead as well
805 */
Jeff Mahoneyd68caa92009-03-30 14:02:49 -0400806 if ((search_path->reada & PATH_READA) &&
Jeff Mahoneyee939612009-03-30 14:02:50 -0400807 node_level == DISK_LEAF_NODE_LEVEL + 1) {
Jeff Mahoneyd68caa92009-03-30 14:02:49 -0400808 int pos = last_element->pe_position;
Jeff Mahoneyad31a4f2009-03-30 14:02:46 -0400809 int limit = B_NR_ITEMS(bh);
Linus Torvaldsbd4c6252005-07-12 20:21:28 -0700810 struct reiserfs_key *le_key;
811
Jeff Mahoneyd68caa92009-03-30 14:02:49 -0400812 if (search_path->reada & PATH_READA_BACK)
Linus Torvaldsbd4c6252005-07-12 20:21:28 -0700813 limit = 0;
814 while (reada_count < SEARCH_BY_KEY_READA) {
815 if (pos == limit)
816 break;
817 reada_blocks[reada_count++] =
Jeff Mahoneyad31a4f2009-03-30 14:02:46 -0400818 B_N_CHILD_NUM(bh, pos);
Jeff Mahoneyd68caa92009-03-30 14:02:49 -0400819 if (search_path->reada & PATH_READA_BACK)
Linus Torvaldsbd4c6252005-07-12 20:21:28 -0700820 pos--;
821 else
822 pos++;
823
824 /*
825 * check to make sure we're in the same object
826 */
Jeff Mahoney4cf5f7a2014-04-23 10:00:35 -0400827 le_key = internal_key(bh, pos);
Linus Torvaldsbd4c6252005-07-12 20:21:28 -0700828 if (le32_to_cpu(le_key->k_objectid) !=
Jeff Mahoneyd68caa92009-03-30 14:02:49 -0400829 key->on_disk_key.k_objectid) {
Linus Torvaldsbd4c6252005-07-12 20:21:28 -0700830 break;
831 }
832 }
833 }
834 }
835}
Linus Torvalds1da177e2005-04-16 15:20:36 -0700836
Jeff Mahoney098297b2014-04-23 10:00:36 -0400837/*
838 * Form the path to an item and position in this item which contains
839 * file byte defined by key. If there is no such item
840 * corresponding to the key, we point the path to the item with
841 * maximal key less than key, and *pos_in_item is set to one
842 * past the last entry/byte in the item. If searching for entry in a
843 * directory item, and it is not found, *pos_in_item is set to one
844 * entry more than the entry with maximal key which is less than the
845 * sought key.
846 *
847 * Note that if there is no entry in this same node which is one more,
848 * then we point to an imaginary entry. for direct items, the
849 * position is in units of bytes, for indirect items the position is
850 * in units of blocknr entries, for directory items the position is in
851 * units of directory entries.
852 */
Linus Torvalds1da177e2005-04-16 15:20:36 -0700853/* The function is NOT SCHEDULE-SAFE! */
Jeff Mahoney098297b2014-04-23 10:00:36 -0400854int search_for_position_by_key(struct super_block *sb,
855 /* Key to search (cpu variable) */
856 const struct cpu_key *p_cpu_key,
857 /* Filled up by this function. */
858 struct treepath *search_path)
Linus Torvaldsbd4c6252005-07-12 20:21:28 -0700859{
860 struct item_head *p_le_ih; /* pointer to on-disk structure */
Jeff Mahoneyee939612009-03-30 14:02:50 -0400861 int blk_size;
Linus Torvaldsbd4c6252005-07-12 20:21:28 -0700862 loff_t item_offset, offset;
863 struct reiserfs_dir_entry de;
864 int retval;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700865
Linus Torvaldsbd4c6252005-07-12 20:21:28 -0700866 /* If searching for directory entry. */
867 if (is_direntry_cpu_key(p_cpu_key))
Jeff Mahoneyd68caa92009-03-30 14:02:49 -0400868 return search_by_entry_key(sb, p_cpu_key, search_path,
Linus Torvaldsbd4c6252005-07-12 20:21:28 -0700869 &de);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700870
Linus Torvaldsbd4c6252005-07-12 20:21:28 -0700871 /* If not searching for directory entry. */
Linus Torvalds1da177e2005-04-16 15:20:36 -0700872
Linus Torvaldsbd4c6252005-07-12 20:21:28 -0700873 /* If item is found. */
Jeff Mahoneyd68caa92009-03-30 14:02:49 -0400874 retval = search_item(sb, p_cpu_key, search_path);
Linus Torvaldsbd4c6252005-07-12 20:21:28 -0700875 if (retval == IO_ERROR)
876 return retval;
877 if (retval == ITEM_FOUND) {
Linus Torvalds1da177e2005-04-16 15:20:36 -0700878
Linus Torvaldsbd4c6252005-07-12 20:21:28 -0700879 RFALSE(!ih_item_len
Jeff Mahoney4cf5f7a2014-04-23 10:00:35 -0400880 (item_head
Jeff Mahoneyd68caa92009-03-30 14:02:49 -0400881 (PATH_PLAST_BUFFER(search_path),
882 PATH_LAST_POSITION(search_path))),
Linus Torvaldsbd4c6252005-07-12 20:21:28 -0700883 "PAP-5165: item length equals zero");
Linus Torvalds1da177e2005-04-16 15:20:36 -0700884
Jeff Mahoneyd68caa92009-03-30 14:02:49 -0400885 pos_in_item(search_path) = 0;
Linus Torvaldsbd4c6252005-07-12 20:21:28 -0700886 return POSITION_FOUND;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700887 }
Linus Torvalds1da177e2005-04-16 15:20:36 -0700888
Jeff Mahoneyd68caa92009-03-30 14:02:49 -0400889 RFALSE(!PATH_LAST_POSITION(search_path),
Linus Torvaldsbd4c6252005-07-12 20:21:28 -0700890 "PAP-5170: position equals zero");
891
892 /* Item is not found. Set path to the previous item. */
893 p_le_ih =
Jeff Mahoney4cf5f7a2014-04-23 10:00:35 -0400894 item_head(PATH_PLAST_BUFFER(search_path),
Jeff Mahoneyd68caa92009-03-30 14:02:49 -0400895 --PATH_LAST_POSITION(search_path));
Jeff Mahoneyee939612009-03-30 14:02:50 -0400896 blk_size = sb->s_blocksize;
Linus Torvaldsbd4c6252005-07-12 20:21:28 -0700897
Jeff Mahoneya228bf82014-04-23 10:00:42 -0400898 if (comp_short_keys(&p_le_ih->ih_key, p_cpu_key))
Linus Torvaldsbd4c6252005-07-12 20:21:28 -0700899 return FILE_NOT_FOUND;
Jeff Mahoney098297b2014-04-23 10:00:36 -0400900
901 /* FIXME: quite ugly this far */
Linus Torvaldsbd4c6252005-07-12 20:21:28 -0700902
903 item_offset = le_ih_k_offset(p_le_ih);
904 offset = cpu_key_k_offset(p_cpu_key);
905
906 /* Needed byte is contained in the item pointed to by the path. */
907 if (item_offset <= offset &&
Jeff Mahoneyee939612009-03-30 14:02:50 -0400908 item_offset + op_bytes_number(p_le_ih, blk_size) > offset) {
Jeff Mahoneyd68caa92009-03-30 14:02:49 -0400909 pos_in_item(search_path) = offset - item_offset;
Linus Torvaldsbd4c6252005-07-12 20:21:28 -0700910 if (is_indirect_le_ih(p_le_ih)) {
Jeff Mahoneyee939612009-03-30 14:02:50 -0400911 pos_in_item(search_path) /= blk_size;
Linus Torvaldsbd4c6252005-07-12 20:21:28 -0700912 }
913 return POSITION_FOUND;
914 }
915
Jeff Mahoney098297b2014-04-23 10:00:36 -0400916 /*
917 * Needed byte is not contained in the item pointed to by the
918 * path. Set pos_in_item out of the item.
919 */
Linus Torvaldsbd4c6252005-07-12 20:21:28 -0700920 if (is_indirect_le_ih(p_le_ih))
Jeff Mahoneyd68caa92009-03-30 14:02:49 -0400921 pos_in_item(search_path) =
Linus Torvaldsbd4c6252005-07-12 20:21:28 -0700922 ih_item_len(p_le_ih) / UNFM_P_SIZE;
923 else
Jeff Mahoneyd68caa92009-03-30 14:02:49 -0400924 pos_in_item(search_path) = ih_item_len(p_le_ih);
Linus Torvaldsbd4c6252005-07-12 20:21:28 -0700925
926 return POSITION_NOT_FOUND;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700927}
928
Linus Torvalds1da177e2005-04-16 15:20:36 -0700929/* Compare given item and item pointed to by the path. */
Jeff Mahoneyd68caa92009-03-30 14:02:49 -0400930int comp_items(const struct item_head *stored_ih, const struct treepath *path)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700931{
Jeff Mahoneyd68caa92009-03-30 14:02:49 -0400932 struct buffer_head *bh = PATH_PLAST_BUFFER(path);
Linus Torvaldsbd4c6252005-07-12 20:21:28 -0700933 struct item_head *ih;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700934
Linus Torvaldsbd4c6252005-07-12 20:21:28 -0700935 /* Last buffer at the path is not in the tree. */
Jeff Mahoneyad31a4f2009-03-30 14:02:46 -0400936 if (!B_IS_IN_TREE(bh))
Linus Torvaldsbd4c6252005-07-12 20:21:28 -0700937 return 1;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700938
Linus Torvaldsbd4c6252005-07-12 20:21:28 -0700939 /* Last path position is invalid. */
Jeff Mahoneyd68caa92009-03-30 14:02:49 -0400940 if (PATH_LAST_POSITION(path) >= B_NR_ITEMS(bh))
Linus Torvaldsbd4c6252005-07-12 20:21:28 -0700941 return 1;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700942
Linus Torvaldsbd4c6252005-07-12 20:21:28 -0700943 /* we need only to know, whether it is the same item */
Jeff Mahoney4cf5f7a2014-04-23 10:00:35 -0400944 ih = tp_item_head(path);
Linus Torvaldsbd4c6252005-07-12 20:21:28 -0700945 return memcmp(stored_ih, ih, IH_SIZE);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700946}
947
Jeff Mahoney098297b2014-04-23 10:00:36 -0400948/* prepare for delete or cut of direct item */
Josef "Jeff" Sipekfec6d052006-12-08 02:36:32 -0800949static inline int prepare_for_direct_item(struct treepath *path,
Linus Torvaldsbd4c6252005-07-12 20:21:28 -0700950 struct item_head *le_ih,
951 struct inode *inode,
952 loff_t new_file_length, int *cut_size)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700953{
Linus Torvaldsbd4c6252005-07-12 20:21:28 -0700954 loff_t round_len;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700955
Linus Torvaldsbd4c6252005-07-12 20:21:28 -0700956 if (new_file_length == max_reiserfs_offset(inode)) {
957 /* item has to be deleted */
958 *cut_size = -(IH_SIZE + ih_item_len(le_ih));
959 return M_DELETE;
960 }
Jeff Mahoney098297b2014-04-23 10:00:36 -0400961 /* new file gets truncated */
Linus Torvaldsbd4c6252005-07-12 20:21:28 -0700962 if (get_inode_item_key_version(inode) == KEY_FORMAT_3_6) {
Linus Torvaldsbd4c6252005-07-12 20:21:28 -0700963 round_len = ROUND_UP(new_file_length);
Jeff Mahoneyee939612009-03-30 14:02:50 -0400964 /* this was new_file_length < le_ih ... */
Linus Torvaldsbd4c6252005-07-12 20:21:28 -0700965 if (round_len < le_ih_k_offset(le_ih)) {
966 *cut_size = -(IH_SIZE + ih_item_len(le_ih));
967 return M_DELETE; /* Delete this item. */
968 }
969 /* Calculate first position and size for cutting from item. */
970 pos_in_item(path) = round_len - (le_ih_k_offset(le_ih) - 1);
971 *cut_size = -(ih_item_len(le_ih) - pos_in_item(path));
Linus Torvalds1da177e2005-04-16 15:20:36 -0700972
Linus Torvaldsbd4c6252005-07-12 20:21:28 -0700973 return M_CUT; /* Cut from this item. */
974 }
975
Jeff Mahoney098297b2014-04-23 10:00:36 -0400976 /* old file: items may have any length */
Linus Torvaldsbd4c6252005-07-12 20:21:28 -0700977
978 if (new_file_length < le_ih_k_offset(le_ih)) {
979 *cut_size = -(IH_SIZE + ih_item_len(le_ih));
980 return M_DELETE; /* Delete this item. */
Linus Torvalds1da177e2005-04-16 15:20:36 -0700981 }
Jeff Mahoney098297b2014-04-23 10:00:36 -0400982
Linus Torvalds1da177e2005-04-16 15:20:36 -0700983 /* Calculate first position and size for cutting from item. */
Linus Torvaldsbd4c6252005-07-12 20:21:28 -0700984 *cut_size = -(ih_item_len(le_ih) -
985 (pos_in_item(path) =
986 new_file_length + 1 - le_ih_k_offset(le_ih)));
987 return M_CUT; /* Cut from this item. */
Linus Torvalds1da177e2005-04-16 15:20:36 -0700988}
989
Josef "Jeff" Sipekfec6d052006-12-08 02:36:32 -0800990static inline int prepare_for_direntry_item(struct treepath *path,
Linus Torvaldsbd4c6252005-07-12 20:21:28 -0700991 struct item_head *le_ih,
992 struct inode *inode,
993 loff_t new_file_length,
994 int *cut_size)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700995{
Linus Torvaldsbd4c6252005-07-12 20:21:28 -0700996 if (le_ih_k_offset(le_ih) == DOT_OFFSET &&
997 new_file_length == max_reiserfs_offset(inode)) {
998 RFALSE(ih_entry_count(le_ih) != 2,
999 "PAP-5220: incorrect empty directory item (%h)", le_ih);
1000 *cut_size = -(IH_SIZE + ih_item_len(le_ih));
Jeff Mahoney098297b2014-04-23 10:00:36 -04001001 /* Delete the directory item containing "." and ".." entry. */
1002 return M_DELETE;
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07001003 }
Linus Torvalds1da177e2005-04-16 15:20:36 -07001004
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07001005 if (ih_entry_count(le_ih) == 1) {
Jeff Mahoney098297b2014-04-23 10:00:36 -04001006 /*
1007 * Delete the directory item such as there is one record only
1008 * in this item
1009 */
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07001010 *cut_size = -(IH_SIZE + ih_item_len(le_ih));
1011 return M_DELETE;
1012 }
1013
1014 /* Cut one record from the directory item. */
1015 *cut_size =
1016 -(DEH_SIZE +
1017 entry_length(get_last_bh(path), le_ih, pos_in_item(path)));
1018 return M_CUT;
1019}
Linus Torvalds1da177e2005-04-16 15:20:36 -07001020
Alexander Zarochentzev23f9e0f2006-03-25 03:06:57 -08001021#define JOURNAL_FOR_FREE_BLOCK_AND_UPDATE_SD (2 * JOURNAL_PER_BALANCE_CNT + 1)
1022
Jeff Mahoney098297b2014-04-23 10:00:36 -04001023/*
1024 * If the path points to a directory or direct item, calculate mode
1025 * and the size cut, for balance.
1026 * If the path points to an indirect item, remove some number of its
1027 * unformatted nodes.
1028 * In case of file truncate calculate whether this item must be
1029 * deleted/truncated or last unformatted node of this item will be
1030 * converted to a direct item.
1031 * This function returns a determination of what balance mode the
1032 * calling function should employ.
1033 */
1034static char prepare_for_delete_or_cut(struct reiserfs_transaction_handle *th,
1035 struct inode *inode,
1036 struct treepath *path,
1037 const struct cpu_key *item_key,
1038 /*
1039 * Number of unformatted nodes
1040 * which were removed from end
1041 * of the file.
1042 */
1043 int *removed,
1044 int *cut_size,
1045 /* MAX_KEY_OFFSET in case of delete. */
1046 unsigned long long new_file_length
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07001047 )
1048{
Jeff Mahoneya9dd3642009-03-30 14:02:45 -04001049 struct super_block *sb = inode->i_sb;
Jeff Mahoney4cf5f7a2014-04-23 10:00:35 -04001050 struct item_head *p_le_ih = tp_item_head(path);
Jeff Mahoneyd68caa92009-03-30 14:02:49 -04001051 struct buffer_head *bh = PATH_PLAST_BUFFER(path);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001052
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07001053 BUG_ON(!th->t_trans_id);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001054
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07001055 /* Stat_data item. */
1056 if (is_statdata_le_ih(p_le_ih)) {
Linus Torvalds1da177e2005-04-16 15:20:36 -07001057
Jeff Mahoneyee939612009-03-30 14:02:50 -04001058 RFALSE(new_file_length != max_reiserfs_offset(inode),
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07001059 "PAP-5210: mode must be M_DELETE");
Linus Torvalds1da177e2005-04-16 15:20:36 -07001060
Jeff Mahoneyd68caa92009-03-30 14:02:49 -04001061 *cut_size = -(IH_SIZE + ih_item_len(p_le_ih));
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07001062 return M_DELETE;
1063 }
Linus Torvalds1da177e2005-04-16 15:20:36 -07001064
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07001065 /* Directory item. */
1066 if (is_direntry_le_ih(p_le_ih))
Jeff Mahoneyd68caa92009-03-30 14:02:49 -04001067 return prepare_for_direntry_item(path, p_le_ih, inode,
Jeff Mahoneyee939612009-03-30 14:02:50 -04001068 new_file_length,
Jeff Mahoneyd68caa92009-03-30 14:02:49 -04001069 cut_size);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001070
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07001071 /* Direct item. */
1072 if (is_direct_le_ih(p_le_ih))
Jeff Mahoneyd68caa92009-03-30 14:02:49 -04001073 return prepare_for_direct_item(path, p_le_ih, inode,
Jeff Mahoneyee939612009-03-30 14:02:50 -04001074 new_file_length, cut_size);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001075
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07001076 /* Case of an indirect item. */
1077 {
Jeff Mahoneya9dd3642009-03-30 14:02:45 -04001078 int blk_size = sb->s_blocksize;
Alexander Zarochentzev23f9e0f2006-03-25 03:06:57 -08001079 struct item_head s_ih;
1080 int need_re_search;
1081 int delete = 0;
1082 int result = M_CUT;
1083 int pos = 0;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001084
Jeff Mahoneyee939612009-03-30 14:02:50 -04001085 if ( new_file_length == max_reiserfs_offset (inode) ) {
Jeff Mahoney098297b2014-04-23 10:00:36 -04001086 /*
1087 * prepare_for_delete_or_cut() is called by
1088 * reiserfs_delete_item()
1089 */
Jeff Mahoneyee939612009-03-30 14:02:50 -04001090 new_file_length = 0;
Alexander Zarochentzev23f9e0f2006-03-25 03:06:57 -08001091 delete = 1;
1092 }
Linus Torvalds1da177e2005-04-16 15:20:36 -07001093
Alexander Zarochentzev23f9e0f2006-03-25 03:06:57 -08001094 do {
1095 need_re_search = 0;
Jeff Mahoneyd68caa92009-03-30 14:02:49 -04001096 *cut_size = 0;
1097 bh = PATH_PLAST_BUFFER(path);
Jeff Mahoney4cf5f7a2014-04-23 10:00:35 -04001098 copy_item_head(&s_ih, tp_item_head(path));
Alexander Zarochentzev23f9e0f2006-03-25 03:06:57 -08001099 pos = I_UNFM_NUM(&s_ih);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001100
Jeff Mahoneyee939612009-03-30 14:02:50 -04001101 while (le_ih_k_offset (&s_ih) + (pos - 1) * blk_size > new_file_length) {
Al Viro87588dd2007-07-26 17:47:03 +01001102 __le32 *unfm;
1103 __u32 block;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001104
Jeff Mahoney098297b2014-04-23 10:00:36 -04001105 /*
1106 * Each unformatted block deletion may involve
1107 * one additional bitmap block into the transaction,
1108 * thereby the initial journal space reservation
1109 * might not be enough.
1110 */
Jeff Mahoneyd68caa92009-03-30 14:02:49 -04001111 if (!delete && (*cut_size) != 0 &&
1112 reiserfs_transaction_free_space(th) < JOURNAL_FOR_FREE_BLOCK_AND_UPDATE_SD)
Alexander Zarochentzev23f9e0f2006-03-25 03:06:57 -08001113 break;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001114
Jeff Mahoney4cf5f7a2014-04-23 10:00:35 -04001115 unfm = (__le32 *)ih_item_body(bh, &s_ih) + pos - 1;
Alexander Zarochentzev23f9e0f2006-03-25 03:06:57 -08001116 block = get_block_num(unfm, 0);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001117
Alexander Zarochentzev23f9e0f2006-03-25 03:06:57 -08001118 if (block != 0) {
Jeff Mahoneyad31a4f2009-03-30 14:02:46 -04001119 reiserfs_prepare_for_journal(sb, bh, 1);
Alexander Zarochentzev23f9e0f2006-03-25 03:06:57 -08001120 put_block_num(unfm, 0, 0);
Jeff Mahoney09f1b802014-04-23 10:00:39 -04001121 journal_mark_dirty(th, bh);
Alexander Zarochentzev23f9e0f2006-03-25 03:06:57 -08001122 reiserfs_free_block(th, inode, block, 1);
1123 }
Linus Torvalds1da177e2005-04-16 15:20:36 -07001124
Jeff Mahoney278f6672013-08-08 17:34:46 -04001125 reiserfs_cond_resched(sb);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001126
Jeff Mahoneyd68caa92009-03-30 14:02:49 -04001127 if (item_moved (&s_ih, path)) {
Alexander Zarochentzev23f9e0f2006-03-25 03:06:57 -08001128 need_re_search = 1;
1129 break;
1130 }
Linus Torvalds1da177e2005-04-16 15:20:36 -07001131
Alexander Zarochentzev23f9e0f2006-03-25 03:06:57 -08001132 pos --;
Jeff Mahoneyd68caa92009-03-30 14:02:49 -04001133 (*removed)++;
1134 (*cut_size) -= UNFM_P_SIZE;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001135
Alexander Zarochentzev23f9e0f2006-03-25 03:06:57 -08001136 if (pos == 0) {
Jeff Mahoneyd68caa92009-03-30 14:02:49 -04001137 (*cut_size) -= IH_SIZE;
Alexander Zarochentzev23f9e0f2006-03-25 03:06:57 -08001138 result = M_DELETE;
1139 break;
1140 }
1141 }
Jeff Mahoney098297b2014-04-23 10:00:36 -04001142 /*
1143 * a trick. If the buffer has been logged, this will
1144 * do nothing. If we've broken the loop without logging
1145 * it, it will restore the buffer
1146 */
Jeff Mahoneyad31a4f2009-03-30 14:02:46 -04001147 reiserfs_restore_prepared_buffer(sb, bh);
Alexander Zarochentzev23f9e0f2006-03-25 03:06:57 -08001148 } while (need_re_search &&
Jeff Mahoneyd68caa92009-03-30 14:02:49 -04001149 search_for_position_by_key(sb, item_key, path) == POSITION_FOUND);
1150 pos_in_item(path) = pos * UNFM_P_SIZE;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001151
Jeff Mahoneyd68caa92009-03-30 14:02:49 -04001152 if (*cut_size == 0) {
Jeff Mahoney098297b2014-04-23 10:00:36 -04001153 /*
1154 * Nothing was cut. maybe convert last unformatted node to the
1155 * direct item?
1156 */
Alexander Zarochentzev23f9e0f2006-03-25 03:06:57 -08001157 result = M_CONVERT;
1158 }
1159 return result;
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07001160 }
Linus Torvalds1da177e2005-04-16 15:20:36 -07001161}
1162
1163/* Calculate number of bytes which will be deleted or cut during balance */
Jeff Mahoneyee939612009-03-30 14:02:50 -04001164static int calc_deleted_bytes_number(struct tree_balance *tb, char mode)
Linus Torvalds1da177e2005-04-16 15:20:36 -07001165{
Jeff Mahoneyee939612009-03-30 14:02:50 -04001166 int del_size;
Jeff Mahoney4cf5f7a2014-04-23 10:00:35 -04001167 struct item_head *p_le_ih = tp_item_head(tb->tb_path);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001168
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07001169 if (is_statdata_le_ih(p_le_ih))
1170 return 0;
1171
Jeff Mahoneyee939612009-03-30 14:02:50 -04001172 del_size =
1173 (mode ==
Jeff Mahoneya063ae12009-03-30 14:02:48 -04001174 M_DELETE) ? ih_item_len(p_le_ih) : -tb->insert_size[0];
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07001175 if (is_direntry_le_ih(p_le_ih)) {
Jeff Mahoney098297b2014-04-23 10:00:36 -04001176 /*
1177 * return EMPTY_DIR_SIZE; We delete emty directories only.
1178 * we can't use EMPTY_DIR_SIZE, as old format dirs have a
1179 * different empty size. ick. FIXME, is this right?
1180 */
Jeff Mahoneyee939612009-03-30 14:02:50 -04001181 return del_size;
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07001182 }
1183
1184 if (is_indirect_le_ih(p_le_ih))
Jeff Mahoneyee939612009-03-30 14:02:50 -04001185 del_size = (del_size / UNFM_P_SIZE) *
Jeff Mahoneya063ae12009-03-30 14:02:48 -04001186 (PATH_PLAST_BUFFER(tb->tb_path)->b_size);
Jeff Mahoneyee939612009-03-30 14:02:50 -04001187 return del_size;
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07001188}
1189
1190static void init_tb_struct(struct reiserfs_transaction_handle *th,
Jeff Mahoneya063ae12009-03-30 14:02:48 -04001191 struct tree_balance *tb,
Jeff Mahoneya9dd3642009-03-30 14:02:45 -04001192 struct super_block *sb,
Jeff Mahoneyee939612009-03-30 14:02:50 -04001193 struct treepath *path, int size)
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07001194{
1195
1196 BUG_ON(!th->t_trans_id);
1197
Jeff Mahoneya063ae12009-03-30 14:02:48 -04001198 memset(tb, '\0', sizeof(struct tree_balance));
1199 tb->transaction_handle = th;
1200 tb->tb_sb = sb;
Jeff Mahoneyd68caa92009-03-30 14:02:49 -04001201 tb->tb_path = path;
1202 PATH_OFFSET_PBUFFER(path, ILLEGAL_PATH_ELEMENT_OFFSET) = NULL;
1203 PATH_OFFSET_POSITION(path, ILLEGAL_PATH_ELEMENT_OFFSET) = 0;
Jeff Mahoneyee939612009-03-30 14:02:50 -04001204 tb->insert_size[0] = size;
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07001205}
1206
1207void padd_item(char *item, int total_length, int length)
1208{
1209 int i;
1210
1211 for (i = total_length; i > length;)
1212 item[--i] = 0;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001213}
1214
1215#ifdef REISERQUOTA_DEBUG
1216char key2type(struct reiserfs_key *ih)
1217{
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07001218 if (is_direntry_le_key(2, ih))
1219 return 'd';
1220 if (is_direct_le_key(2, ih))
1221 return 'D';
1222 if (is_indirect_le_key(2, ih))
1223 return 'i';
1224 if (is_statdata_le_key(2, ih))
1225 return 's';
1226 return 'u';
Linus Torvalds1da177e2005-04-16 15:20:36 -07001227}
1228
1229char head2type(struct item_head *ih)
1230{
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07001231 if (is_direntry_le_ih(ih))
1232 return 'd';
1233 if (is_direct_le_ih(ih))
1234 return 'D';
1235 if (is_indirect_le_ih(ih))
1236 return 'i';
1237 if (is_statdata_le_ih(ih))
1238 return 's';
1239 return 'u';
Linus Torvalds1da177e2005-04-16 15:20:36 -07001240}
1241#endif
1242
Jeff Mahoney098297b2014-04-23 10:00:36 -04001243/*
1244 * Delete object item.
Jeff Mahoneyd68caa92009-03-30 14:02:49 -04001245 * th - active transaction handle
1246 * path - path to the deleted item
1247 * item_key - key to search for the deleted item
1248 * indode - used for updating i_blocks and quotas
1249 * un_bh - NULL or unformatted node pointer
1250 */
1251int reiserfs_delete_item(struct reiserfs_transaction_handle *th,
1252 struct treepath *path, const struct cpu_key *item_key,
1253 struct inode *inode, struct buffer_head *un_bh)
1254{
Jeff Mahoney995c7622009-03-30 14:02:47 -04001255 struct super_block *sb = inode->i_sb;
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07001256 struct tree_balance s_del_balance;
1257 struct item_head s_ih;
1258 struct item_head *q_ih;
1259 int quota_cut_bytes;
Jeff Mahoneyee939612009-03-30 14:02:50 -04001260 int ret_value, del_size, removed;
Jeff Mahoneyd2d03952013-08-08 17:34:47 -04001261 int depth;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001262
1263#ifdef CONFIG_REISERFS_CHECK
Jeff Mahoneyee939612009-03-30 14:02:50 -04001264 char mode;
1265 int iter = 0;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001266#endif
1267
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07001268 BUG_ON(!th->t_trans_id);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001269
Jeff Mahoneyd68caa92009-03-30 14:02:49 -04001270 init_tb_struct(th, &s_del_balance, sb, path,
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07001271 0 /*size is unknown */ );
Linus Torvalds1da177e2005-04-16 15:20:36 -07001272
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07001273 while (1) {
Jeff Mahoneyee939612009-03-30 14:02:50 -04001274 removed = 0;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001275
1276#ifdef CONFIG_REISERFS_CHECK
Jeff Mahoneyee939612009-03-30 14:02:50 -04001277 iter++;
1278 mode =
Linus Torvalds1da177e2005-04-16 15:20:36 -07001279#endif
Jeff Mahoneyd68caa92009-03-30 14:02:49 -04001280 prepare_for_delete_or_cut(th, inode, path,
Jeff Mahoneyee939612009-03-30 14:02:50 -04001281 item_key, &removed,
1282 &del_size,
Jeff Mahoney995c7622009-03-30 14:02:47 -04001283 max_reiserfs_offset(inode));
Linus Torvalds1da177e2005-04-16 15:20:36 -07001284
Jeff Mahoneyee939612009-03-30 14:02:50 -04001285 RFALSE(mode != M_DELETE, "PAP-5320: mode must be M_DELETE");
Linus Torvalds1da177e2005-04-16 15:20:36 -07001286
Jeff Mahoney4cf5f7a2014-04-23 10:00:35 -04001287 copy_item_head(&s_ih, tp_item_head(path));
Jeff Mahoneyee939612009-03-30 14:02:50 -04001288 s_del_balance.insert_size[0] = del_size;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001289
Jeff Mahoneyee939612009-03-30 14:02:50 -04001290 ret_value = fix_nodes(M_DELETE, &s_del_balance, NULL, NULL);
1291 if (ret_value != REPEAT_SEARCH)
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07001292 break;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001293
Jeff Mahoneya9dd3642009-03-30 14:02:45 -04001294 PROC_INFO_INC(sb, delete_item_restarted);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001295
Jeff Mahoney098297b2014-04-23 10:00:36 -04001296 /* file system changed, repeat search */
Jeff Mahoneyee939612009-03-30 14:02:50 -04001297 ret_value =
Jeff Mahoneyd68caa92009-03-30 14:02:49 -04001298 search_for_position_by_key(sb, item_key, path);
Jeff Mahoneyee939612009-03-30 14:02:50 -04001299 if (ret_value == IO_ERROR)
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07001300 break;
Jeff Mahoneyee939612009-03-30 14:02:50 -04001301 if (ret_value == FILE_NOT_FOUND) {
Jeff Mahoneya9dd3642009-03-30 14:02:45 -04001302 reiserfs_warning(sb, "vs-5340",
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07001303 "no items of the file %K found",
Jeff Mahoneyd68caa92009-03-30 14:02:49 -04001304 item_key);
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07001305 break;
1306 }
1307 } /* while (1) */
1308
Jeff Mahoneyee939612009-03-30 14:02:50 -04001309 if (ret_value != CARRY_ON) {
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07001310 unfix_nodes(&s_del_balance);
1311 return 0;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001312 }
Jeff Mahoney098297b2014-04-23 10:00:36 -04001313
1314 /* reiserfs_delete_item returns item length when success */
Jeff Mahoneyee939612009-03-30 14:02:50 -04001315 ret_value = calc_deleted_bytes_number(&s_del_balance, M_DELETE);
Jeff Mahoney4cf5f7a2014-04-23 10:00:35 -04001316 q_ih = tp_item_head(path);
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07001317 quota_cut_bytes = ih_item_len(q_ih);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001318
Jeff Mahoney098297b2014-04-23 10:00:36 -04001319 /*
1320 * hack so the quota code doesn't have to guess if the file has a
1321 * tail. On tail insert, we allocate quota for 1 unformatted node.
1322 * We test the offset because the tail might have been
1323 * split into multiple items, and we only want to decrement for
1324 * the unfm node once
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07001325 */
Jeff Mahoney995c7622009-03-30 14:02:47 -04001326 if (!S_ISLNK(inode->i_mode) && is_direct_le_ih(q_ih)) {
Jeff Mahoneya9dd3642009-03-30 14:02:45 -04001327 if ((le_ih_k_offset(q_ih) & (sb->s_blocksize - 1)) == 1) {
1328 quota_cut_bytes = sb->s_blocksize + UNFM_P_SIZE;
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07001329 } else {
1330 quota_cut_bytes = 0;
1331 }
Linus Torvalds1da177e2005-04-16 15:20:36 -07001332 }
Linus Torvalds1da177e2005-04-16 15:20:36 -07001333
Jeff Mahoneyd68caa92009-03-30 14:02:49 -04001334 if (un_bh) {
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07001335 int off;
1336 char *data;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001337
Jeff Mahoney098297b2014-04-23 10:00:36 -04001338 /*
1339 * We are in direct2indirect conversion, so move tail contents
1340 * to the unformatted node
1341 */
1342 /*
1343 * note, we do the copy before preparing the buffer because we
1344 * don't care about the contents of the unformatted node yet.
1345 * the only thing we really care about is the direct item's
1346 * data is in the unformatted node.
1347 *
1348 * Otherwise, we would have to call
1349 * reiserfs_prepare_for_journal on the unformatted node,
1350 * which might schedule, meaning we'd have to loop all the
1351 * way back up to the start of the while loop.
1352 *
1353 * The unformatted node must be dirtied later on. We can't be
1354 * sure here if the entire tail has been deleted yet.
1355 *
1356 * un_bh is from the page cache (all unformatted nodes are
1357 * from the page cache) and might be a highmem page. So, we
1358 * can't use un_bh->b_data.
1359 * -clm
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07001360 */
Linus Torvalds1da177e2005-04-16 15:20:36 -07001361
Cong Wang883da602011-11-25 23:14:35 +08001362 data = kmap_atomic(un_bh->b_page);
Kirill A. Shutemov09cbfea2016-04-01 15:29:47 +03001363 off = ((le_ih_k_offset(&s_ih) - 1) & (PAGE_SIZE - 1));
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07001364 memcpy(data + off,
Jeff Mahoney4cf5f7a2014-04-23 10:00:35 -04001365 ih_item_body(PATH_PLAST_BUFFER(path), &s_ih),
Jeff Mahoneyee939612009-03-30 14:02:50 -04001366 ret_value);
Cong Wang883da602011-11-25 23:14:35 +08001367 kunmap_atomic(data);
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07001368 }
Jeff Mahoney098297b2014-04-23 10:00:36 -04001369
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07001370 /* Perform balancing after all resources have been collected at once. */
1371 do_balance(&s_del_balance, NULL, NULL, M_DELETE);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001372
1373#ifdef REISERQUOTA_DEBUG
Jeff Mahoneya9dd3642009-03-30 14:02:45 -04001374 reiserfs_debug(sb, REISERFS_DEBUG_CODE,
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07001375 "reiserquota delete_item(): freeing %u, id=%u type=%c",
Jeff Mahoney995c7622009-03-30 14:02:47 -04001376 quota_cut_bytes, inode->i_uid, head2type(&s_ih));
Linus Torvalds1da177e2005-04-16 15:20:36 -07001377#endif
Jeff Mahoneyd2d03952013-08-08 17:34:47 -04001378 depth = reiserfs_write_unlock_nested(inode->i_sb);
Christoph Hellwig5dd40562010-03-03 09:05:00 -05001379 dquot_free_space_nodirty(inode, quota_cut_bytes);
Jeff Mahoneyd2d03952013-08-08 17:34:47 -04001380 reiserfs_write_lock_nested(inode->i_sb, depth);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001381
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07001382 /* Return deleted body length */
Jeff Mahoneyee939612009-03-30 14:02:50 -04001383 return ret_value;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001384}
1385
Jeff Mahoney098297b2014-04-23 10:00:36 -04001386/*
1387 * Summary Of Mechanisms For Handling Collisions Between Processes:
1388 *
1389 * deletion of the body of the object is performed by iput(), with the
1390 * result that if multiple processes are operating on a file, the
1391 * deletion of the body of the file is deferred until the last process
1392 * that has an open inode performs its iput().
1393 *
1394 * writes and truncates are protected from collisions by use of
1395 * semaphores.
1396 *
1397 * creates, linking, and mknod are protected from collisions with other
1398 * processes by making the reiserfs_add_entry() the last step in the
1399 * creation, and then rolling back all changes if there was a collision.
1400 * - Hans
Linus Torvalds1da177e2005-04-16 15:20:36 -07001401*/
1402
Linus Torvalds1da177e2005-04-16 15:20:36 -07001403/* this deletes item which never gets split */
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07001404void reiserfs_delete_solid_item(struct reiserfs_transaction_handle *th,
1405 struct inode *inode, struct reiserfs_key *key)
Linus Torvalds1da177e2005-04-16 15:20:36 -07001406{
Jeff Mahoneyd2d03952013-08-08 17:34:47 -04001407 struct super_block *sb = th->t_super;
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07001408 struct tree_balance tb;
1409 INITIALIZE_PATH(path);
1410 int item_len = 0;
1411 int tb_init = 0;
1412 struct cpu_key cpu_key;
1413 int retval;
1414 int quota_cut_bytes = 0;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001415
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07001416 BUG_ON(!th->t_trans_id);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001417
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07001418 le_key2cpu_key(&cpu_key, key);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001419
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07001420 while (1) {
1421 retval = search_item(th->t_super, &cpu_key, &path);
1422 if (retval == IO_ERROR) {
Jeff Mahoney0030b642009-03-30 14:02:28 -04001423 reiserfs_error(th->t_super, "vs-5350",
1424 "i/o failure occurred trying "
1425 "to delete %K", &cpu_key);
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07001426 break;
1427 }
1428 if (retval != ITEM_FOUND) {
1429 pathrelse(&path);
Jeff Mahoney098297b2014-04-23 10:00:36 -04001430 /*
1431 * No need for a warning, if there is just no free
1432 * space to insert '..' item into the
1433 * newly-created subdir
1434 */
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07001435 if (!
1436 ((unsigned long long)
1437 GET_HASH_VALUE(le_key_k_offset
1438 (le_key_version(key), key)) == 0
1439 && (unsigned long long)
1440 GET_GENERATION_NUMBER(le_key_k_offset
1441 (le_key_version(key),
1442 key)) == 1))
Jeff Mahoney45b03d52009-03-30 14:02:21 -04001443 reiserfs_warning(th->t_super, "vs-5355",
1444 "%k not found", key);
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07001445 break;
1446 }
1447 if (!tb_init) {
1448 tb_init = 1;
Jeff Mahoney4cf5f7a2014-04-23 10:00:35 -04001449 item_len = ih_item_len(tp_item_head(&path));
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07001450 init_tb_struct(th, &tb, th->t_super, &path,
1451 -(IH_SIZE + item_len));
1452 }
Jeff Mahoney4cf5f7a2014-04-23 10:00:35 -04001453 quota_cut_bytes = ih_item_len(tp_item_head(&path));
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07001454
1455 retval = fix_nodes(M_DELETE, &tb, NULL, NULL);
1456 if (retval == REPEAT_SEARCH) {
1457 PROC_INFO_INC(th->t_super, delete_solid_item_restarted);
1458 continue;
1459 }
1460
1461 if (retval == CARRY_ON) {
1462 do_balance(&tb, NULL, NULL, M_DELETE);
Jeff Mahoney098297b2014-04-23 10:00:36 -04001463 /*
1464 * Should we count quota for item? (we don't
1465 * count quotas for save-links)
1466 */
1467 if (inode) {
Jeff Mahoneyd2d03952013-08-08 17:34:47 -04001468 int depth;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001469#ifdef REISERQUOTA_DEBUG
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07001470 reiserfs_debug(th->t_super, REISERFS_DEBUG_CODE,
1471 "reiserquota delete_solid_item(): freeing %u id=%u type=%c",
1472 quota_cut_bytes, inode->i_uid,
1473 key2type(key));
Linus Torvalds1da177e2005-04-16 15:20:36 -07001474#endif
Jeff Mahoneyd2d03952013-08-08 17:34:47 -04001475 depth = reiserfs_write_unlock_nested(sb);
Christoph Hellwig5dd40562010-03-03 09:05:00 -05001476 dquot_free_space_nodirty(inode,
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07001477 quota_cut_bytes);
Jeff Mahoneyd2d03952013-08-08 17:34:47 -04001478 reiserfs_write_lock_nested(sb, depth);
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07001479 }
1480 break;
1481 }
Jeff Mahoney098297b2014-04-23 10:00:36 -04001482
1483 /* IO_ERROR, NO_DISK_SPACE, etc */
Jeff Mahoney45b03d52009-03-30 14:02:21 -04001484 reiserfs_warning(th->t_super, "vs-5360",
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07001485 "could not delete %K due to fix_nodes failure",
1486 &cpu_key);
1487 unfix_nodes(&tb);
1488 break;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001489 }
1490
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07001491 reiserfs_check_path(&path);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001492}
1493
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07001494int reiserfs_delete_object(struct reiserfs_transaction_handle *th,
1495 struct inode *inode)
Linus Torvalds1da177e2005-04-16 15:20:36 -07001496{
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07001497 int err;
1498 inode->i_size = 0;
1499 BUG_ON(!th->t_trans_id);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001500
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07001501 /* for directory this deletes item containing "." and ".." */
1502 err =
1503 reiserfs_do_truncate(th, inode, NULL, 0 /*no timestamp updates */ );
1504 if (err)
1505 return err;
1506
Linus Torvalds1da177e2005-04-16 15:20:36 -07001507#if defined( USE_INODE_GENERATION_COUNTER )
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07001508 if (!old_format_only(th->t_super)) {
1509 __le32 *inode_generation;
1510
1511 inode_generation =
1512 &REISERFS_SB(th->t_super)->s_rs->s_inode_generation;
Marcin Slusarz9e902df2008-04-28 02:16:20 -07001513 le32_add_cpu(inode_generation, 1);
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07001514 }
Linus Torvalds1da177e2005-04-16 15:20:36 -07001515/* USE_INODE_GENERATION_COUNTER */
1516#endif
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07001517 reiserfs_delete_solid_item(th, inode, INODE_PKEY(inode));
Linus Torvalds1da177e2005-04-16 15:20:36 -07001518
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07001519 return err;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001520}
1521
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07001522static void unmap_buffers(struct page *page, loff_t pos)
1523{
1524 struct buffer_head *bh;
1525 struct buffer_head *head;
1526 struct buffer_head *next;
1527 unsigned long tail_index;
1528 unsigned long cur_index;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001529
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07001530 if (page) {
1531 if (page_has_buffers(page)) {
Kirill A. Shutemov09cbfea2016-04-01 15:29:47 +03001532 tail_index = pos & (PAGE_SIZE - 1);
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07001533 cur_index = 0;
1534 head = page_buffers(page);
1535 bh = head;
1536 do {
1537 next = bh->b_this_page;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001538
Jeff Mahoney098297b2014-04-23 10:00:36 -04001539 /*
1540 * we want to unmap the buffers that contain
1541 * the tail, and all the buffers after it
1542 * (since the tail must be at the end of the
1543 * file). We don't want to unmap file data
1544 * before the tail, since it might be dirty
1545 * and waiting to reach disk
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07001546 */
1547 cur_index += bh->b_size;
1548 if (cur_index > tail_index) {
1549 reiserfs_unmap_buffer(bh);
1550 }
1551 bh = next;
1552 } while (bh != head);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001553 }
Linus Torvalds1da177e2005-04-16 15:20:36 -07001554 }
Linus Torvalds1da177e2005-04-16 15:20:36 -07001555}
1556
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07001557static int maybe_indirect_to_direct(struct reiserfs_transaction_handle *th,
Jeff Mahoney995c7622009-03-30 14:02:47 -04001558 struct inode *inode,
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07001559 struct page *page,
Jeff Mahoneyd68caa92009-03-30 14:02:49 -04001560 struct treepath *path,
1561 const struct cpu_key *item_key,
Jeff Mahoneyee939612009-03-30 14:02:50 -04001562 loff_t new_file_size, char *mode)
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07001563{
Jeff Mahoney995c7622009-03-30 14:02:47 -04001564 struct super_block *sb = inode->i_sb;
Jeff Mahoneyee939612009-03-30 14:02:50 -04001565 int block_size = sb->s_blocksize;
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07001566 int cut_bytes;
1567 BUG_ON(!th->t_trans_id);
Jeff Mahoneyee939612009-03-30 14:02:50 -04001568 BUG_ON(new_file_size != inode->i_size);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001569
Jeff Mahoney098297b2014-04-23 10:00:36 -04001570 /*
1571 * the page being sent in could be NULL if there was an i/o error
1572 * reading in the last block. The user will hit problems trying to
1573 * read the file, but for now we just skip the indirect2direct
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07001574 */
Jeff Mahoney995c7622009-03-30 14:02:47 -04001575 if (atomic_read(&inode->i_count) > 1 ||
1576 !tail_has_to_be_packed(inode) ||
1577 !page || (REISERFS_I(inode)->i_flags & i_nopack_mask)) {
Jeff Mahoney0222e652009-03-30 14:02:44 -04001578 /* leave tail in an unformatted node */
Jeff Mahoneyd68caa92009-03-30 14:02:49 -04001579 *mode = M_SKIP_BALANCING;
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07001580 cut_bytes =
Jeff Mahoneyee939612009-03-30 14:02:50 -04001581 block_size - (new_file_size & (block_size - 1));
Jeff Mahoneyd68caa92009-03-30 14:02:49 -04001582 pathrelse(path);
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07001583 return cut_bytes;
1584 }
Jeff Mahoney098297b2014-04-23 10:00:36 -04001585
Jeff Mahoneyd68caa92009-03-30 14:02:49 -04001586 /* Perform the conversion to a direct_item. */
Jeff Mahoneyd68caa92009-03-30 14:02:49 -04001587 return indirect2direct(th, inode, page, path, item_key,
Jeff Mahoneyee939612009-03-30 14:02:50 -04001588 new_file_size, mode);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001589}
1590
Jeff Mahoney098297b2014-04-23 10:00:36 -04001591/*
1592 * we did indirect_to_direct conversion. And we have inserted direct
1593 * item successesfully, but there were no disk space to cut unfm
1594 * pointer being converted. Therefore we have to delete inserted
1595 * direct item(s)
1596 */
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07001597static void indirect_to_direct_roll_back(struct reiserfs_transaction_handle *th,
Josef "Jeff" Sipekfec6d052006-12-08 02:36:32 -08001598 struct inode *inode, struct treepath *path)
Linus Torvalds1da177e2005-04-16 15:20:36 -07001599{
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07001600 struct cpu_key tail_key;
1601 int tail_len;
1602 int removed;
1603 BUG_ON(!th->t_trans_id);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001604
Jeff Mahoney098297b2014-04-23 10:00:36 -04001605 make_cpu_key(&tail_key, inode, inode->i_size + 1, TYPE_DIRECT, 4);
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07001606 tail_key.key_length = 4;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001607
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07001608 tail_len =
1609 (cpu_key_k_offset(&tail_key) & (inode->i_sb->s_blocksize - 1)) - 1;
1610 while (tail_len) {
1611 /* look for the last byte of the tail */
1612 if (search_for_position_by_key(inode->i_sb, &tail_key, path) ==
1613 POSITION_NOT_FOUND)
Jeff Mahoneyc3a9c212009-03-30 14:02:25 -04001614 reiserfs_panic(inode->i_sb, "vs-5615",
1615 "found invalid item");
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07001616 RFALSE(path->pos_in_item !=
Jeff Mahoney4cf5f7a2014-04-23 10:00:35 -04001617 ih_item_len(tp_item_head(path)) - 1,
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07001618 "vs-5616: appended bytes found");
1619 PATH_LAST_POSITION(path)--;
1620
1621 removed =
1622 reiserfs_delete_item(th, path, &tail_key, inode,
1623 NULL /*unbh not needed */ );
1624 RFALSE(removed <= 0
1625 || removed > tail_len,
1626 "vs-5617: there was tail %d bytes, removed item length %d bytes",
1627 tail_len, removed);
1628 tail_len -= removed;
1629 set_cpu_key_k_offset(&tail_key,
1630 cpu_key_k_offset(&tail_key) - removed);
1631 }
Jeff Mahoney45b03d52009-03-30 14:02:21 -04001632 reiserfs_warning(inode->i_sb, "reiserfs-5091", "indirect_to_direct "
1633 "conversion has been rolled back due to "
1634 "lack of disk space");
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07001635 mark_inode_dirty(inode);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001636}
1637
Linus Torvalds1da177e2005-04-16 15:20:36 -07001638/* (Truncate or cut entry) or delete object item. Returns < 0 on failure */
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07001639int reiserfs_cut_from_item(struct reiserfs_transaction_handle *th,
Jeff Mahoneyd68caa92009-03-30 14:02:49 -04001640 struct treepath *path,
1641 struct cpu_key *item_key,
Jeff Mahoney995c7622009-03-30 14:02:47 -04001642 struct inode *inode,
Jeff Mahoneyee939612009-03-30 14:02:50 -04001643 struct page *page, loff_t new_file_size)
Linus Torvalds1da177e2005-04-16 15:20:36 -07001644{
Jeff Mahoney995c7622009-03-30 14:02:47 -04001645 struct super_block *sb = inode->i_sb;
Jeff Mahoney098297b2014-04-23 10:00:36 -04001646 /*
1647 * Every function which is going to call do_balance must first
1648 * create a tree_balance structure. Then it must fill up this
1649 * structure by using the init_tb_struct and fix_nodes functions.
1650 * After that we can make tree balancing.
1651 */
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07001652 struct tree_balance s_cut_balance;
1653 struct item_head *p_le_ih;
Jeff Mahoney098297b2014-04-23 10:00:36 -04001654 int cut_size = 0; /* Amount to be cut. */
1655 int ret_value = CARRY_ON;
1656 int removed = 0; /* Number of the removed unformatted nodes. */
1657 int is_inode_locked = 0;
Jeff Mahoneyee939612009-03-30 14:02:50 -04001658 char mode; /* Mode of the balance. */
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07001659 int retval2 = -1;
1660 int quota_cut_bytes;
1661 loff_t tail_pos = 0;
Jeff Mahoneyd2d03952013-08-08 17:34:47 -04001662 int depth;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001663
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07001664 BUG_ON(!th->t_trans_id);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001665
Jeff Mahoneyd68caa92009-03-30 14:02:49 -04001666 init_tb_struct(th, &s_cut_balance, inode->i_sb, path,
Jeff Mahoneyee939612009-03-30 14:02:50 -04001667 cut_size);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001668
Jeff Mahoney098297b2014-04-23 10:00:36 -04001669 /*
1670 * Repeat this loop until we either cut the item without needing
1671 * to balance, or we fix_nodes without schedule occurring
1672 */
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07001673 while (1) {
Jeff Mahoney098297b2014-04-23 10:00:36 -04001674 /*
1675 * Determine the balance mode, position of the first byte to
1676 * be cut, and size to be cut. In case of the indirect item
1677 * free unformatted nodes which are pointed to by the cut
1678 * pointers.
1679 */
Linus Torvalds1da177e2005-04-16 15:20:36 -07001680
Jeff Mahoneyee939612009-03-30 14:02:50 -04001681 mode =
Jeff Mahoneyd68caa92009-03-30 14:02:49 -04001682 prepare_for_delete_or_cut(th, inode, path,
Jeff Mahoneyee939612009-03-30 14:02:50 -04001683 item_key, &removed,
1684 &cut_size, new_file_size);
1685 if (mode == M_CONVERT) {
Jeff Mahoney098297b2014-04-23 10:00:36 -04001686 /*
1687 * convert last unformatted node to direct item or
1688 * leave tail in the unformatted node
1689 */
Jeff Mahoneyee939612009-03-30 14:02:50 -04001690 RFALSE(ret_value != CARRY_ON,
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07001691 "PAP-5570: can not convert twice");
Linus Torvalds1da177e2005-04-16 15:20:36 -07001692
Jeff Mahoneyee939612009-03-30 14:02:50 -04001693 ret_value =
Jeff Mahoney995c7622009-03-30 14:02:47 -04001694 maybe_indirect_to_direct(th, inode, page,
Jeff Mahoneyd68caa92009-03-30 14:02:49 -04001695 path, item_key,
Jeff Mahoneyee939612009-03-30 14:02:50 -04001696 new_file_size, &mode);
1697 if (mode == M_SKIP_BALANCING)
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07001698 /* tail has been left in the unformatted node */
Jeff Mahoneyee939612009-03-30 14:02:50 -04001699 return ret_value;
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07001700
Jeff Mahoneyee939612009-03-30 14:02:50 -04001701 is_inode_locked = 1;
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07001702
Jeff Mahoney098297b2014-04-23 10:00:36 -04001703 /*
1704 * removing of last unformatted node will
1705 * change value we have to return to truncate.
1706 * Save it
1707 */
Jeff Mahoneyee939612009-03-30 14:02:50 -04001708 retval2 = ret_value;
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07001709
Jeff Mahoney098297b2014-04-23 10:00:36 -04001710 /*
1711 * So, we have performed the first part of the
1712 * conversion:
1713 * inserting the new direct item. Now we are
1714 * removing the last unformatted node pointer.
1715 * Set key to search for it.
1716 */
Jeff Mahoneyd68caa92009-03-30 14:02:49 -04001717 set_cpu_key_k_type(item_key, TYPE_INDIRECT);
1718 item_key->key_length = 4;
Jeff Mahoneyee939612009-03-30 14:02:50 -04001719 new_file_size -=
1720 (new_file_size & (sb->s_blocksize - 1));
1721 tail_pos = new_file_size;
1722 set_cpu_key_k_offset(item_key, new_file_size + 1);
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07001723 if (search_for_position_by_key
Jeff Mahoneyd68caa92009-03-30 14:02:49 -04001724 (sb, item_key,
1725 path) == POSITION_NOT_FOUND) {
1726 print_block(PATH_PLAST_BUFFER(path), 3,
1727 PATH_LAST_POSITION(path) - 1,
1728 PATH_LAST_POSITION(path) + 1);
Jeff Mahoneya9dd3642009-03-30 14:02:45 -04001729 reiserfs_panic(sb, "PAP-5580", "item to "
Jeff Mahoneyc3a9c212009-03-30 14:02:25 -04001730 "convert does not exist (%K)",
Jeff Mahoneyd68caa92009-03-30 14:02:49 -04001731 item_key);
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07001732 }
1733 continue;
1734 }
Jeff Mahoneyee939612009-03-30 14:02:50 -04001735 if (cut_size == 0) {
Jeff Mahoneyd68caa92009-03-30 14:02:49 -04001736 pathrelse(path);
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07001737 return 0;
1738 }
1739
Jeff Mahoneyee939612009-03-30 14:02:50 -04001740 s_cut_balance.insert_size[0] = cut_size;
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07001741
Jeff Mahoneyee939612009-03-30 14:02:50 -04001742 ret_value = fix_nodes(mode, &s_cut_balance, NULL, NULL);
1743 if (ret_value != REPEAT_SEARCH)
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07001744 break;
1745
Jeff Mahoneya9dd3642009-03-30 14:02:45 -04001746 PROC_INFO_INC(sb, cut_from_item_restarted);
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07001747
Jeff Mahoneyee939612009-03-30 14:02:50 -04001748 ret_value =
Jeff Mahoneyd68caa92009-03-30 14:02:49 -04001749 search_for_position_by_key(sb, item_key, path);
Jeff Mahoneyee939612009-03-30 14:02:50 -04001750 if (ret_value == POSITION_FOUND)
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07001751 continue;
1752
Jeff Mahoneya9dd3642009-03-30 14:02:45 -04001753 reiserfs_warning(sb, "PAP-5610", "item %K not found",
Jeff Mahoneyd68caa92009-03-30 14:02:49 -04001754 item_key);
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07001755 unfix_nodes(&s_cut_balance);
Jeff Mahoneyee939612009-03-30 14:02:50 -04001756 return (ret_value == IO_ERROR) ? -EIO : -ENOENT;
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07001757 } /* while */
1758
Jeff Mahoney098297b2014-04-23 10:00:36 -04001759 /* check fix_nodes results (IO_ERROR or NO_DISK_SPACE) */
Jeff Mahoneyee939612009-03-30 14:02:50 -04001760 if (ret_value != CARRY_ON) {
1761 if (is_inode_locked) {
Jeff Mahoney098297b2014-04-23 10:00:36 -04001762 /*
1763 * FIXME: this seems to be not needed: we are always
1764 * able to cut item
1765 */
Jeff Mahoneyd68caa92009-03-30 14:02:49 -04001766 indirect_to_direct_roll_back(th, inode, path);
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07001767 }
Jeff Mahoneyee939612009-03-30 14:02:50 -04001768 if (ret_value == NO_DISK_SPACE)
Jeff Mahoneya9dd3642009-03-30 14:02:45 -04001769 reiserfs_warning(sb, "reiserfs-5092",
Jeff Mahoney45b03d52009-03-30 14:02:21 -04001770 "NO_DISK_SPACE");
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07001771 unfix_nodes(&s_cut_balance);
1772 return -EIO;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001773 }
1774
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07001775 /* go ahead and perform balancing */
Linus Torvalds1da177e2005-04-16 15:20:36 -07001776
Jeff Mahoneyee939612009-03-30 14:02:50 -04001777 RFALSE(mode == M_PASTE || mode == M_INSERT, "invalid mode");
Linus Torvalds1da177e2005-04-16 15:20:36 -07001778
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07001779 /* Calculate number of bytes that need to be cut from the item. */
1780 quota_cut_bytes =
Jeff Mahoneyee939612009-03-30 14:02:50 -04001781 (mode ==
Jeff Mahoney4cf5f7a2014-04-23 10:00:35 -04001782 M_DELETE) ? ih_item_len(tp_item_head(path)) : -s_cut_balance.
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07001783 insert_size[0];
1784 if (retval2 == -1)
Jeff Mahoneyee939612009-03-30 14:02:50 -04001785 ret_value = calc_deleted_bytes_number(&s_cut_balance, mode);
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07001786 else
Jeff Mahoneyee939612009-03-30 14:02:50 -04001787 ret_value = retval2;
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07001788
Jeff Mahoney098297b2014-04-23 10:00:36 -04001789 /*
1790 * For direct items, we only change the quota when deleting the last
1791 * item.
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07001792 */
Jeff Mahoney4cf5f7a2014-04-23 10:00:35 -04001793 p_le_ih = tp_item_head(s_cut_balance.tb_path);
Jeff Mahoney995c7622009-03-30 14:02:47 -04001794 if (!S_ISLNK(inode->i_mode) && is_direct_le_ih(p_le_ih)) {
Jeff Mahoneyee939612009-03-30 14:02:50 -04001795 if (mode == M_DELETE &&
Jeff Mahoneya9dd3642009-03-30 14:02:45 -04001796 (le_ih_k_offset(p_le_ih) & (sb->s_blocksize - 1)) ==
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07001797 1) {
Jeff Mahoney098297b2014-04-23 10:00:36 -04001798 /* FIXME: this is to keep 3.5 happy */
Jeff Mahoney995c7622009-03-30 14:02:47 -04001799 REISERFS_I(inode)->i_first_direct_byte = U32_MAX;
Jeff Mahoneya9dd3642009-03-30 14:02:45 -04001800 quota_cut_bytes = sb->s_blocksize + UNFM_P_SIZE;
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07001801 } else {
1802 quota_cut_bytes = 0;
1803 }
Linus Torvalds1da177e2005-04-16 15:20:36 -07001804 }
Linus Torvalds1da177e2005-04-16 15:20:36 -07001805#ifdef CONFIG_REISERFS_CHECK
Jeff Mahoneyee939612009-03-30 14:02:50 -04001806 if (is_inode_locked) {
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07001807 struct item_head *le_ih =
Jeff Mahoney4cf5f7a2014-04-23 10:00:35 -04001808 tp_item_head(s_cut_balance.tb_path);
Jeff Mahoney098297b2014-04-23 10:00:36 -04001809 /*
1810 * we are going to complete indirect2direct conversion. Make
1811 * sure, that we exactly remove last unformatted node pointer
1812 * of the item
1813 */
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07001814 if (!is_indirect_le_ih(le_ih))
Jeff Mahoneya9dd3642009-03-30 14:02:45 -04001815 reiserfs_panic(sb, "vs-5652",
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07001816 "item must be indirect %h", le_ih);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001817
Jeff Mahoneyee939612009-03-30 14:02:50 -04001818 if (mode == M_DELETE && ih_item_len(le_ih) != UNFM_P_SIZE)
Jeff Mahoneya9dd3642009-03-30 14:02:45 -04001819 reiserfs_panic(sb, "vs-5653", "completing "
Jeff Mahoneyc3a9c212009-03-30 14:02:25 -04001820 "indirect2direct conversion indirect "
1821 "item %h being deleted must be of "
1822 "4 byte long", le_ih);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001823
Jeff Mahoneyee939612009-03-30 14:02:50 -04001824 if (mode == M_CUT
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07001825 && s_cut_balance.insert_size[0] != -UNFM_P_SIZE) {
Jeff Mahoneya9dd3642009-03-30 14:02:45 -04001826 reiserfs_panic(sb, "vs-5654", "can not complete "
Jeff Mahoneyc3a9c212009-03-30 14:02:25 -04001827 "indirect2direct conversion of %h "
1828 "(CUT, insert_size==%d)",
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07001829 le_ih, s_cut_balance.insert_size[0]);
1830 }
Jeff Mahoney098297b2014-04-23 10:00:36 -04001831 /*
1832 * it would be useful to make sure, that right neighboring
1833 * item is direct item of this file
1834 */
Linus Torvalds1da177e2005-04-16 15:20:36 -07001835 }
Linus Torvalds1da177e2005-04-16 15:20:36 -07001836#endif
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07001837
Jeff Mahoneyee939612009-03-30 14:02:50 -04001838 do_balance(&s_cut_balance, NULL, NULL, mode);
1839 if (is_inode_locked) {
Jeff Mahoney098297b2014-04-23 10:00:36 -04001840 /*
1841 * we've done an indirect->direct conversion. when the
1842 * data block was freed, it was removed from the list of
1843 * blocks that must be flushed before the transaction
1844 * commits, make sure to unmap and invalidate it
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07001845 */
1846 unmap_buffers(page, tail_pos);
Jeff Mahoney995c7622009-03-30 14:02:47 -04001847 REISERFS_I(inode)->i_flags &= ~i_pack_on_close_mask;
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07001848 }
Linus Torvalds1da177e2005-04-16 15:20:36 -07001849#ifdef REISERQUOTA_DEBUG
Jeff Mahoney995c7622009-03-30 14:02:47 -04001850 reiserfs_debug(inode->i_sb, REISERFS_DEBUG_CODE,
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07001851 "reiserquota cut_from_item(): freeing %u id=%u type=%c",
Jeff Mahoney995c7622009-03-30 14:02:47 -04001852 quota_cut_bytes, inode->i_uid, '?');
Linus Torvalds1da177e2005-04-16 15:20:36 -07001853#endif
Jeff Mahoneyd2d03952013-08-08 17:34:47 -04001854 depth = reiserfs_write_unlock_nested(sb);
Christoph Hellwig5dd40562010-03-03 09:05:00 -05001855 dquot_free_space_nodirty(inode, quota_cut_bytes);
Jeff Mahoneyd2d03952013-08-08 17:34:47 -04001856 reiserfs_write_lock_nested(sb, depth);
Jeff Mahoneyee939612009-03-30 14:02:50 -04001857 return ret_value;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001858}
1859
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07001860static void truncate_directory(struct reiserfs_transaction_handle *th,
1861 struct inode *inode)
Linus Torvalds1da177e2005-04-16 15:20:36 -07001862{
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07001863 BUG_ON(!th->t_trans_id);
1864 if (inode->i_nlink)
Jeff Mahoney0030b642009-03-30 14:02:28 -04001865 reiserfs_error(inode->i_sb, "vs-5655", "link count != 0");
Linus Torvalds1da177e2005-04-16 15:20:36 -07001866
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07001867 set_le_key_k_offset(KEY_FORMAT_3_5, INODE_PKEY(inode), DOT_OFFSET);
1868 set_le_key_k_type(KEY_FORMAT_3_5, INODE_PKEY(inode), TYPE_DIRENTRY);
1869 reiserfs_delete_solid_item(th, inode, INODE_PKEY(inode));
1870 reiserfs_update_sd(th, inode);
1871 set_le_key_k_offset(KEY_FORMAT_3_5, INODE_PKEY(inode), SD_OFFSET);
1872 set_le_key_k_type(KEY_FORMAT_3_5, INODE_PKEY(inode), TYPE_STAT_DATA);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001873}
1874
Jeff Mahoney098297b2014-04-23 10:00:36 -04001875/*
1876 * Truncate file to the new size. Note, this must be called with a
1877 * transaction already started
1878 */
Jeff Mahoney995c7622009-03-30 14:02:47 -04001879int reiserfs_do_truncate(struct reiserfs_transaction_handle *th,
Jeff Mahoney098297b2014-04-23 10:00:36 -04001880 struct inode *inode, /* ->i_size contains new size */
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07001881 struct page *page, /* up to date for last block */
Jeff Mahoney098297b2014-04-23 10:00:36 -04001882 /*
1883 * when it is called by file_release to convert
1884 * the tail - no timestamps should be updated
1885 */
1886 int update_timestamps
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07001887 )
1888{
1889 INITIALIZE_PATH(s_search_path); /* Path to the current object item. */
1890 struct item_head *p_le_ih; /* Pointer to an item header. */
Jeff Mahoney098297b2014-04-23 10:00:36 -04001891
1892 /* Key to search for a previous file item. */
1893 struct cpu_key s_item_key;
Jeff Mahoneyee939612009-03-30 14:02:50 -04001894 loff_t file_size, /* Old file size. */
1895 new_file_size; /* New file size. */
1896 int deleted; /* Number of deleted or truncated bytes. */
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07001897 int retval;
1898 int err = 0;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001899
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07001900 BUG_ON(!th->t_trans_id);
1901 if (!
Jeff Mahoney995c7622009-03-30 14:02:47 -04001902 (S_ISREG(inode->i_mode) || S_ISDIR(inode->i_mode)
1903 || S_ISLNK(inode->i_mode)))
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07001904 return 0;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001905
Jeff Mahoney098297b2014-04-23 10:00:36 -04001906 /* deletion of directory - no need to update timestamps */
Jeff Mahoney995c7622009-03-30 14:02:47 -04001907 if (S_ISDIR(inode->i_mode)) {
Jeff Mahoney995c7622009-03-30 14:02:47 -04001908 truncate_directory(th, inode);
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07001909 return 0;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001910 }
1911
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07001912 /* Get new file size. */
Jeff Mahoneyee939612009-03-30 14:02:50 -04001913 new_file_size = inode->i_size;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001914
Jeff Mahoney098297b2014-04-23 10:00:36 -04001915 /* FIXME: note, that key type is unimportant here */
Jeff Mahoney995c7622009-03-30 14:02:47 -04001916 make_cpu_key(&s_item_key, inode, max_reiserfs_offset(inode),
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07001917 TYPE_DIRECT, 3);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001918
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07001919 retval =
Jeff Mahoney995c7622009-03-30 14:02:47 -04001920 search_for_position_by_key(inode->i_sb, &s_item_key,
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07001921 &s_search_path);
1922 if (retval == IO_ERROR) {
Jeff Mahoney995c7622009-03-30 14:02:47 -04001923 reiserfs_error(inode->i_sb, "vs-5657",
Jeff Mahoney0030b642009-03-30 14:02:28 -04001924 "i/o failure occurred trying to truncate %K",
1925 &s_item_key);
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07001926 err = -EIO;
1927 goto out;
1928 }
1929 if (retval == POSITION_FOUND || retval == FILE_NOT_FOUND) {
Jeff Mahoney995c7622009-03-30 14:02:47 -04001930 reiserfs_error(inode->i_sb, "PAP-5660",
Jeff Mahoney0030b642009-03-30 14:02:28 -04001931 "wrong result %d of search for %K", retval,
1932 &s_item_key);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001933
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07001934 err = -EIO;
1935 goto out;
1936 }
Linus Torvalds1da177e2005-04-16 15:20:36 -07001937
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07001938 s_search_path.pos_in_item--;
1939
1940 /* Get real file size (total length of all file items) */
Jeff Mahoney4cf5f7a2014-04-23 10:00:35 -04001941 p_le_ih = tp_item_head(&s_search_path);
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07001942 if (is_statdata_le_ih(p_le_ih))
Jeff Mahoneyee939612009-03-30 14:02:50 -04001943 file_size = 0;
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07001944 else {
1945 loff_t offset = le_ih_k_offset(p_le_ih);
1946 int bytes =
Jeff Mahoney995c7622009-03-30 14:02:47 -04001947 op_bytes_number(p_le_ih, inode->i_sb->s_blocksize);
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07001948
Jeff Mahoney098297b2014-04-23 10:00:36 -04001949 /*
1950 * this may mismatch with real file size: if last direct item
1951 * had no padding zeros and last unformatted node had no free
1952 * space, this file would have this file size
1953 */
Jeff Mahoneyee939612009-03-30 14:02:50 -04001954 file_size = offset + bytes - 1;
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07001955 }
Linus Torvalds1da177e2005-04-16 15:20:36 -07001956 /*
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07001957 * are we doing a full truncate or delete, if so
1958 * kick in the reada code
1959 */
Jeff Mahoneyee939612009-03-30 14:02:50 -04001960 if (new_file_size == 0)
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07001961 s_search_path.reada = PATH_READA | PATH_READA_BACK;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001962
Jeff Mahoneyee939612009-03-30 14:02:50 -04001963 if (file_size == 0 || file_size < new_file_size) {
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07001964 goto update_and_out;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001965 }
Linus Torvalds1da177e2005-04-16 15:20:36 -07001966
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07001967 /* Update key to search for the last file item. */
Jeff Mahoneyee939612009-03-30 14:02:50 -04001968 set_cpu_key_k_offset(&s_item_key, file_size);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001969
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07001970 do {
1971 /* Cut or delete file item. */
Jeff Mahoneyee939612009-03-30 14:02:50 -04001972 deleted =
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07001973 reiserfs_cut_from_item(th, &s_search_path, &s_item_key,
Jeff Mahoneyee939612009-03-30 14:02:50 -04001974 inode, page, new_file_size);
1975 if (deleted < 0) {
Jeff Mahoney995c7622009-03-30 14:02:47 -04001976 reiserfs_warning(inode->i_sb, "vs-5665",
Jeff Mahoney45b03d52009-03-30 14:02:21 -04001977 "reiserfs_cut_from_item failed");
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07001978 reiserfs_check_path(&s_search_path);
1979 return 0;
1980 }
Linus Torvalds1da177e2005-04-16 15:20:36 -07001981
Jeff Mahoneyee939612009-03-30 14:02:50 -04001982 RFALSE(deleted > file_size,
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07001983 "PAP-5670: reiserfs_cut_from_item: too many bytes deleted: deleted %d, file_size %lu, item_key %K",
Jeff Mahoneyee939612009-03-30 14:02:50 -04001984 deleted, file_size, &s_item_key);
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07001985
1986 /* Change key to search the last file item. */
Jeff Mahoneyee939612009-03-30 14:02:50 -04001987 file_size -= deleted;
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07001988
Jeff Mahoneyee939612009-03-30 14:02:50 -04001989 set_cpu_key_k_offset(&s_item_key, file_size);
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07001990
Jeff Mahoney098297b2014-04-23 10:00:36 -04001991 /*
1992 * While there are bytes to truncate and previous
1993 * file item is presented in the tree.
1994 */
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07001995
1996 /*
Jeff Mahoney098297b2014-04-23 10:00:36 -04001997 * This loop could take a really long time, and could log
1998 * many more blocks than a transaction can hold. So, we do
1999 * a polite journal end here, and if the transaction needs
2000 * ending, we make sure the file is consistent before ending
2001 * the current trans and starting a new one
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07002002 */
Alexander Zarochentzev23f9e0f2006-03-25 03:06:57 -08002003 if (journal_transaction_should_end(th, 0) ||
2004 reiserfs_transaction_free_space(th) <= JOURNAL_FOR_FREE_BLOCK_AND_UPDATE_SD) {
Jeff Mahoney3cd6dbe2009-03-30 14:02:43 -04002005 pathrelse(&s_search_path);
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07002006
2007 if (update_timestamps) {
Deepa Dinamani02027d42016-09-14 07:48:05 -07002008 inode->i_mtime = current_time(inode);
2009 inode->i_ctime = current_time(inode);
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07002010 }
Jeff Mahoney995c7622009-03-30 14:02:47 -04002011 reiserfs_update_sd(th, inode);
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07002012
Jeff Mahoney58d85422014-04-23 10:00:38 -04002013 err = journal_end(th);
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07002014 if (err)
2015 goto out;
Jeff Mahoney995c7622009-03-30 14:02:47 -04002016 err = journal_begin(th, inode->i_sb,
Alexander Zarochentzev23f9e0f2006-03-25 03:06:57 -08002017 JOURNAL_FOR_FREE_BLOCK_AND_UPDATE_SD + JOURNAL_PER_BALANCE_CNT * 4) ;
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07002018 if (err)
2019 goto out;
Jeff Mahoney995c7622009-03-30 14:02:47 -04002020 reiserfs_update_inode_transaction(inode);
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07002021 }
Jeff Mahoneyee939612009-03-30 14:02:50 -04002022 } while (file_size > ROUND_UP(new_file_size) &&
Jeff Mahoney995c7622009-03-30 14:02:47 -04002023 search_for_position_by_key(inode->i_sb, &s_item_key,
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07002024 &s_search_path) == POSITION_FOUND);
2025
Jeff Mahoneyee939612009-03-30 14:02:50 -04002026 RFALSE(file_size > ROUND_UP(new_file_size),
Fabian Frederick53872ed2014-08-08 14:21:10 -07002027 "PAP-5680: truncate did not finish: new_file_size %lld, current %lld, oid %d",
Jeff Mahoneyee939612009-03-30 14:02:50 -04002028 new_file_size, file_size, s_item_key.on_disk_key.k_objectid);
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07002029
Jeff Mahoneycf776a72014-04-23 10:00:41 -04002030update_and_out:
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07002031 if (update_timestamps) {
Jeff Mahoney098297b2014-04-23 10:00:36 -04002032 /* this is truncate, not file closing */
Deepa Dinamani02027d42016-09-14 07:48:05 -07002033 inode->i_mtime = current_time(inode);
2034 inode->i_ctime = current_time(inode);
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07002035 }
Jeff Mahoney995c7622009-03-30 14:02:47 -04002036 reiserfs_update_sd(th, inode);
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07002037
Jeff Mahoneycf776a72014-04-23 10:00:41 -04002038out:
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07002039 pathrelse(&s_search_path);
2040 return err;
Linus Torvalds1da177e2005-04-16 15:20:36 -07002041}
2042
Linus Torvalds1da177e2005-04-16 15:20:36 -07002043#ifdef CONFIG_REISERFS_CHECK
Jeff Mahoney098297b2014-04-23 10:00:36 -04002044/* this makes sure, that we __append__, not overwrite or add holes */
Josef "Jeff" Sipekfec6d052006-12-08 02:36:32 -08002045static void check_research_for_paste(struct treepath *path,
Jeff Mahoneyd68caa92009-03-30 14:02:49 -04002046 const struct cpu_key *key)
Linus Torvalds1da177e2005-04-16 15:20:36 -07002047{
Jeff Mahoney4cf5f7a2014-04-23 10:00:35 -04002048 struct item_head *found_ih = tp_item_head(path);
Linus Torvalds1da177e2005-04-16 15:20:36 -07002049
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07002050 if (is_direct_le_ih(found_ih)) {
2051 if (le_ih_k_offset(found_ih) +
2052 op_bytes_number(found_ih,
2053 get_last_bh(path)->b_size) !=
Jeff Mahoneyd68caa92009-03-30 14:02:49 -04002054 cpu_key_k_offset(key)
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07002055 || op_bytes_number(found_ih,
2056 get_last_bh(path)->b_size) !=
2057 pos_in_item(path))
Jeff Mahoneyc3a9c212009-03-30 14:02:25 -04002058 reiserfs_panic(NULL, "PAP-5720", "found direct item "
2059 "%h or position (%d) does not match "
2060 "to key %K", found_ih,
Jeff Mahoneyd68caa92009-03-30 14:02:49 -04002061 pos_in_item(path), key);
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07002062 }
2063 if (is_indirect_le_ih(found_ih)) {
2064 if (le_ih_k_offset(found_ih) +
2065 op_bytes_number(found_ih,
2066 get_last_bh(path)->b_size) !=
Jeff Mahoneyd68caa92009-03-30 14:02:49 -04002067 cpu_key_k_offset(key)
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07002068 || I_UNFM_NUM(found_ih) != pos_in_item(path)
2069 || get_ih_free_space(found_ih) != 0)
Jeff Mahoneyc3a9c212009-03-30 14:02:25 -04002070 reiserfs_panic(NULL, "PAP-5730", "found indirect "
2071 "item (%h) or position (%d) does not "
2072 "match to key (%K)",
Jeff Mahoneyd68caa92009-03-30 14:02:49 -04002073 found_ih, pos_in_item(path), key);
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07002074 }
2075}
2076#endif /* config reiserfs check */
Linus Torvalds1da177e2005-04-16 15:20:36 -07002077
Jeff Mahoney098297b2014-04-23 10:00:36 -04002078/*
2079 * Paste bytes to the existing item.
2080 * Returns bytes number pasted into the item.
2081 */
2082int reiserfs_paste_into_item(struct reiserfs_transaction_handle *th,
2083 /* Path to the pasted item. */
2084 struct treepath *search_path,
2085 /* Key to search for the needed item. */
2086 const struct cpu_key *key,
2087 /* Inode item belongs to */
2088 struct inode *inode,
2089 /* Pointer to the bytes to paste. */
2090 const char *body,
2091 /* Size of pasted bytes. */
Jeff Mahoneyee939612009-03-30 14:02:50 -04002092 int pasted_size)
Jeff Mahoney098297b2014-04-23 10:00:36 -04002093{
Jeff Mahoneyd2d03952013-08-08 17:34:47 -04002094 struct super_block *sb = inode->i_sb;
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07002095 struct tree_balance s_paste_balance;
2096 int retval;
2097 int fs_gen;
Jeff Mahoneyd2d03952013-08-08 17:34:47 -04002098 int depth;
Linus Torvalds1da177e2005-04-16 15:20:36 -07002099
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07002100 BUG_ON(!th->t_trans_id);
Linus Torvalds1da177e2005-04-16 15:20:36 -07002101
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07002102 fs_gen = get_generation(inode->i_sb);
Linus Torvalds1da177e2005-04-16 15:20:36 -07002103
2104#ifdef REISERQUOTA_DEBUG
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07002105 reiserfs_debug(inode->i_sb, REISERFS_DEBUG_CODE,
2106 "reiserquota paste_into_item(): allocating %u id=%u type=%c",
Jeff Mahoneyee939612009-03-30 14:02:50 -04002107 pasted_size, inode->i_uid,
Jeff Mahoneya228bf82014-04-23 10:00:42 -04002108 key2type(&key->on_disk_key));
Linus Torvalds1da177e2005-04-16 15:20:36 -07002109#endif
2110
Jeff Mahoneyd2d03952013-08-08 17:34:47 -04002111 depth = reiserfs_write_unlock_nested(sb);
Christoph Hellwig5dd40562010-03-03 09:05:00 -05002112 retval = dquot_alloc_space_nodirty(inode, pasted_size);
Jeff Mahoneyd2d03952013-08-08 17:34:47 -04002113 reiserfs_write_lock_nested(sb, depth);
Christoph Hellwig5dd40562010-03-03 09:05:00 -05002114 if (retval) {
Jeff Mahoneyd68caa92009-03-30 14:02:49 -04002115 pathrelse(search_path);
Christoph Hellwig5dd40562010-03-03 09:05:00 -05002116 return retval;
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07002117 }
Jeff Mahoneyd68caa92009-03-30 14:02:49 -04002118 init_tb_struct(th, &s_paste_balance, th->t_super, search_path,
Jeff Mahoneyee939612009-03-30 14:02:50 -04002119 pasted_size);
Linus Torvalds1da177e2005-04-16 15:20:36 -07002120#ifdef DISPLACE_NEW_PACKING_LOCALITIES
Jeff Mahoneyd68caa92009-03-30 14:02:49 -04002121 s_paste_balance.key = key->on_disk_key;
Linus Torvalds1da177e2005-04-16 15:20:36 -07002122#endif
2123
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07002124 /* DQUOT_* can schedule, must check before the fix_nodes */
2125 if (fs_changed(fs_gen, inode->i_sb)) {
2126 goto search_again;
2127 }
Linus Torvalds1da177e2005-04-16 15:20:36 -07002128
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07002129 while ((retval =
2130 fix_nodes(M_PASTE, &s_paste_balance, NULL,
Jeff Mahoneyd68caa92009-03-30 14:02:49 -04002131 body)) == REPEAT_SEARCH) {
Jeff Mahoneycf776a72014-04-23 10:00:41 -04002132search_again:
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07002133 /* file system changed while we were in the fix_nodes */
2134 PROC_INFO_INC(th->t_super, paste_into_item_restarted);
2135 retval =
Jeff Mahoneyd68caa92009-03-30 14:02:49 -04002136 search_for_position_by_key(th->t_super, key,
2137 search_path);
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07002138 if (retval == IO_ERROR) {
2139 retval = -EIO;
2140 goto error_out;
2141 }
2142 if (retval == POSITION_FOUND) {
Jeff Mahoney45b03d52009-03-30 14:02:21 -04002143 reiserfs_warning(inode->i_sb, "PAP-5710",
2144 "entry or pasted byte (%K) exists",
Jeff Mahoneyd68caa92009-03-30 14:02:49 -04002145 key);
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07002146 retval = -EEXIST;
2147 goto error_out;
2148 }
Linus Torvalds1da177e2005-04-16 15:20:36 -07002149#ifdef CONFIG_REISERFS_CHECK
Jeff Mahoneyd68caa92009-03-30 14:02:49 -04002150 check_research_for_paste(search_path, key);
Linus Torvalds1da177e2005-04-16 15:20:36 -07002151#endif
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07002152 }
Linus Torvalds1da177e2005-04-16 15:20:36 -07002153
Jeff Mahoney098297b2014-04-23 10:00:36 -04002154 /*
2155 * Perform balancing after all resources are collected by fix_nodes,
2156 * and accessing them will not risk triggering schedule.
2157 */
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07002158 if (retval == CARRY_ON) {
Jeff Mahoneyd68caa92009-03-30 14:02:49 -04002159 do_balance(&s_paste_balance, NULL /*ih */ , body, M_PASTE);
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07002160 return 0;
2161 }
2162 retval = (retval == NO_DISK_SPACE) ? -ENOSPC : -EIO;
Jeff Mahoneycf776a72014-04-23 10:00:41 -04002163error_out:
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07002164 /* this also releases the path */
2165 unfix_nodes(&s_paste_balance);
Linus Torvalds1da177e2005-04-16 15:20:36 -07002166#ifdef REISERQUOTA_DEBUG
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07002167 reiserfs_debug(inode->i_sb, REISERFS_DEBUG_CODE,
2168 "reiserquota paste_into_item(): freeing %u id=%u type=%c",
Jeff Mahoneyee939612009-03-30 14:02:50 -04002169 pasted_size, inode->i_uid,
Jeff Mahoneya228bf82014-04-23 10:00:42 -04002170 key2type(&key->on_disk_key));
Linus Torvalds1da177e2005-04-16 15:20:36 -07002171#endif
Jeff Mahoneyd2d03952013-08-08 17:34:47 -04002172 depth = reiserfs_write_unlock_nested(sb);
Christoph Hellwig5dd40562010-03-03 09:05:00 -05002173 dquot_free_space_nodirty(inode, pasted_size);
Jeff Mahoneyd2d03952013-08-08 17:34:47 -04002174 reiserfs_write_lock_nested(sb, depth);
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07002175 return retval;
Linus Torvalds1da177e2005-04-16 15:20:36 -07002176}
2177
Jeff Mahoney098297b2014-04-23 10:00:36 -04002178/*
2179 * Insert new item into the buffer at the path.
Jeff Mahoneyd68caa92009-03-30 14:02:49 -04002180 * th - active transaction handle
2181 * path - path to the inserted item
2182 * ih - pointer to the item header to insert
2183 * body - pointer to the bytes to insert
2184 */
2185int reiserfs_insert_item(struct reiserfs_transaction_handle *th,
2186 struct treepath *path, const struct cpu_key *key,
2187 struct item_head *ih, struct inode *inode,
2188 const char *body)
2189{
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07002190 struct tree_balance s_ins_balance;
2191 int retval;
2192 int fs_gen = 0;
2193 int quota_bytes = 0;
Linus Torvalds1da177e2005-04-16 15:20:36 -07002194
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07002195 BUG_ON(!th->t_trans_id);
Linus Torvalds1da177e2005-04-16 15:20:36 -07002196
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07002197 if (inode) { /* Do we count quotas for item? */
Jeff Mahoneyd2d03952013-08-08 17:34:47 -04002198 int depth;
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07002199 fs_gen = get_generation(inode->i_sb);
Jeff Mahoneyd68caa92009-03-30 14:02:49 -04002200 quota_bytes = ih_item_len(ih);
Linus Torvalds1da177e2005-04-16 15:20:36 -07002201
Jeff Mahoney098297b2014-04-23 10:00:36 -04002202 /*
2203 * hack so the quota code doesn't have to guess
2204 * if the file has a tail, links are always tails,
2205 * so there's no guessing needed
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07002206 */
Jeff Mahoneyd68caa92009-03-30 14:02:49 -04002207 if (!S_ISLNK(inode->i_mode) && is_direct_le_ih(ih))
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07002208 quota_bytes = inode->i_sb->s_blocksize + UNFM_P_SIZE;
Linus Torvalds1da177e2005-04-16 15:20:36 -07002209#ifdef REISERQUOTA_DEBUG
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07002210 reiserfs_debug(inode->i_sb, REISERFS_DEBUG_CODE,
2211 "reiserquota insert_item(): allocating %u id=%u type=%c",
Jeff Mahoneyd68caa92009-03-30 14:02:49 -04002212 quota_bytes, inode->i_uid, head2type(ih));
Linus Torvalds1da177e2005-04-16 15:20:36 -07002213#endif
Jeff Mahoney098297b2014-04-23 10:00:36 -04002214 /*
2215 * We can't dirty inode here. It would be immediately
2216 * written but appropriate stat item isn't inserted yet...
2217 */
Jeff Mahoneyd2d03952013-08-08 17:34:47 -04002218 depth = reiserfs_write_unlock_nested(inode->i_sb);
Christoph Hellwig5dd40562010-03-03 09:05:00 -05002219 retval = dquot_alloc_space_nodirty(inode, quota_bytes);
Jeff Mahoneyd2d03952013-08-08 17:34:47 -04002220 reiserfs_write_lock_nested(inode->i_sb, depth);
Christoph Hellwig5dd40562010-03-03 09:05:00 -05002221 if (retval) {
Jeff Mahoneyd68caa92009-03-30 14:02:49 -04002222 pathrelse(path);
Christoph Hellwig5dd40562010-03-03 09:05:00 -05002223 return retval;
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07002224 }
Linus Torvalds1da177e2005-04-16 15:20:36 -07002225 }
Jeff Mahoneyd68caa92009-03-30 14:02:49 -04002226 init_tb_struct(th, &s_ins_balance, th->t_super, path,
2227 IH_SIZE + ih_item_len(ih));
Linus Torvalds1da177e2005-04-16 15:20:36 -07002228#ifdef DISPLACE_NEW_PACKING_LOCALITIES
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07002229 s_ins_balance.key = key->on_disk_key;
Linus Torvalds1da177e2005-04-16 15:20:36 -07002230#endif
Jeff Mahoney098297b2014-04-23 10:00:36 -04002231 /*
2232 * DQUOT_* can schedule, must check to be sure calling
2233 * fix_nodes is safe
2234 */
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07002235 if (inode && fs_changed(fs_gen, inode->i_sb)) {
2236 goto search_again;
Linus Torvalds1da177e2005-04-16 15:20:36 -07002237 }
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07002238
2239 while ((retval =
Jeff Mahoneyd68caa92009-03-30 14:02:49 -04002240 fix_nodes(M_INSERT, &s_ins_balance, ih,
2241 body)) == REPEAT_SEARCH) {
Jeff Mahoneycf776a72014-04-23 10:00:41 -04002242search_again:
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07002243 /* file system changed while we were in the fix_nodes */
2244 PROC_INFO_INC(th->t_super, insert_item_restarted);
Jeff Mahoneyd68caa92009-03-30 14:02:49 -04002245 retval = search_item(th->t_super, key, path);
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07002246 if (retval == IO_ERROR) {
2247 retval = -EIO;
2248 goto error_out;
2249 }
2250 if (retval == ITEM_FOUND) {
Jeff Mahoney45b03d52009-03-30 14:02:21 -04002251 reiserfs_warning(th->t_super, "PAP-5760",
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07002252 "key %K already exists in the tree",
2253 key);
2254 retval = -EEXIST;
2255 goto error_out;
2256 }
Linus Torvalds1da177e2005-04-16 15:20:36 -07002257 }
Linus Torvalds1da177e2005-04-16 15:20:36 -07002258
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07002259 /* make balancing after all resources will be collected at a time */
2260 if (retval == CARRY_ON) {
Jeff Mahoneyd68caa92009-03-30 14:02:49 -04002261 do_balance(&s_ins_balance, ih, body, M_INSERT);
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07002262 return 0;
2263 }
Linus Torvalds1da177e2005-04-16 15:20:36 -07002264
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07002265 retval = (retval == NO_DISK_SPACE) ? -ENOSPC : -EIO;
Jeff Mahoneycf776a72014-04-23 10:00:41 -04002266error_out:
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07002267 /* also releases the path */
2268 unfix_nodes(&s_ins_balance);
Linus Torvalds1da177e2005-04-16 15:20:36 -07002269#ifdef REISERQUOTA_DEBUG
Yunfeng Yeaacee542020-01-30 22:17:26 -08002270 if (inode)
2271 reiserfs_debug(th->t_super, REISERFS_DEBUG_CODE,
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07002272 "reiserquota insert_item(): freeing %u id=%u type=%c",
Jeff Mahoneyd68caa92009-03-30 14:02:49 -04002273 quota_bytes, inode->i_uid, head2type(ih));
Linus Torvalds1da177e2005-04-16 15:20:36 -07002274#endif
Jeff Mahoneyd2d03952013-08-08 17:34:47 -04002275 if (inode) {
2276 int depth = reiserfs_write_unlock_nested(inode->i_sb);
Christoph Hellwig5dd40562010-03-03 09:05:00 -05002277 dquot_free_space_nodirty(inode, quota_bytes);
Jeff Mahoneyd2d03952013-08-08 17:34:47 -04002278 reiserfs_write_lock_nested(inode->i_sb, depth);
2279 }
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07002280 return retval;
Linus Torvalds1da177e2005-04-16 15:20:36 -07002281}