blob: fd769c8dac3212cb0289083e06b7a2d3f3fa9257 [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
11/*
12 * This file contains functions dealing with S+tree
13 *
14 * B_IS_IN_TREE
15 * copy_item_head
16 * comp_short_keys
17 * comp_keys
18 * comp_short_le_keys
19 * le_key2cpu_key
20 * comp_le_keys
21 * bin_search
22 * get_lkey
23 * get_rkey
24 * key_in_buffer
25 * decrement_bcount
Linus Torvalds1da177e2005-04-16 15:20:36 -070026 * reiserfs_check_path
27 * pathrelse_and_restore
28 * pathrelse
29 * search_by_key_reada
30 * search_by_key
31 * search_for_position_by_key
32 * comp_items
33 * prepare_for_direct_item
34 * prepare_for_direntry_item
35 * prepare_for_delete_or_cut
36 * calc_deleted_bytes_number
37 * init_tb_struct
38 * padd_item
39 * reiserfs_delete_item
40 * reiserfs_delete_solid_item
41 * reiserfs_delete_object
42 * maybe_indirect_to_direct
43 * indirect_to_direct_roll_back
44 * reiserfs_cut_from_item
45 * truncate_directory
46 * reiserfs_do_truncate
47 * reiserfs_paste_into_item
48 * reiserfs_insert_item
49 */
50
Linus Torvalds1da177e2005-04-16 15:20:36 -070051#include <linux/time.h>
52#include <linux/string.h>
53#include <linux/pagemap.h>
54#include <linux/reiserfs_fs.h>
Linus Torvalds1da177e2005-04-16 15:20:36 -070055#include <linux/buffer_head.h>
56#include <linux/quotaops.h>
57
58/* Does the buffer contain a disk block which is in the tree. */
Jeff Mahoneyad31a4f2009-03-30 14:02:46 -040059inline int B_IS_IN_TREE(const struct buffer_head *bh)
Linus Torvalds1da177e2005-04-16 15:20:36 -070060{
61
Jeff Mahoneyad31a4f2009-03-30 14:02:46 -040062 RFALSE(B_LEVEL(bh) > MAX_HEIGHT,
63 "PAP-1010: block (%b) has too big level (%z)", bh, bh);
Linus Torvalds1da177e2005-04-16 15:20:36 -070064
Jeff Mahoneyad31a4f2009-03-30 14:02:46 -040065 return (B_LEVEL(bh) != FREE_LEVEL);
Linus Torvalds1da177e2005-04-16 15:20:36 -070066}
67
68//
69// to gets item head in le form
70//
Jeff Mahoneyd68caa92009-03-30 14:02:49 -040071inline void copy_item_head(struct item_head *to,
72 const struct item_head *from)
Linus Torvalds1da177e2005-04-16 15:20:36 -070073{
Jeff Mahoneyd68caa92009-03-30 14:02:49 -040074 memcpy(to, from, IH_SIZE);
Linus Torvalds1da177e2005-04-16 15:20:36 -070075}
76
Linus Torvalds1da177e2005-04-16 15:20:36 -070077/* k1 is pointer to on-disk structure which is stored in little-endian
78 form. k2 is pointer to cpu variable. For key of items of the same
79 object this returns 0.
Jeff Mahoney0222e652009-03-30 14:02:44 -040080 Returns: -1 if key1 < key2
Linus Torvalds1da177e2005-04-16 15:20:36 -070081 0 if key1 == key2
82 1 if key1 > key2 */
Linus Torvaldsbd4c6252005-07-12 20:21:28 -070083inline int comp_short_keys(const struct reiserfs_key *le_key,
84 const struct cpu_key *cpu_key)
Linus Torvalds1da177e2005-04-16 15:20:36 -070085{
Linus Torvaldsbd4c6252005-07-12 20:21:28 -070086 __u32 n;
87 n = le32_to_cpu(le_key->k_dir_id);
88 if (n < cpu_key->on_disk_key.k_dir_id)
89 return -1;
90 if (n > cpu_key->on_disk_key.k_dir_id)
91 return 1;
92 n = le32_to_cpu(le_key->k_objectid);
93 if (n < cpu_key->on_disk_key.k_objectid)
94 return -1;
95 if (n > cpu_key->on_disk_key.k_objectid)
96 return 1;
97 return 0;
Linus Torvalds1da177e2005-04-16 15:20:36 -070098}
99
Linus Torvalds1da177e2005-04-16 15:20:36 -0700100/* k1 is pointer to on-disk structure which is stored in little-endian
101 form. k2 is pointer to cpu variable.
102 Compare keys using all 4 key fields.
103 Returns: -1 if key1 < key2 0
104 if key1 = key2 1 if key1 > key2 */
Linus Torvaldsbd4c6252005-07-12 20:21:28 -0700105static inline int comp_keys(const struct reiserfs_key *le_key,
106 const struct cpu_key *cpu_key)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700107{
Linus Torvaldsbd4c6252005-07-12 20:21:28 -0700108 int retval;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700109
Linus Torvaldsbd4c6252005-07-12 20:21:28 -0700110 retval = comp_short_keys(le_key, cpu_key);
111 if (retval)
112 return retval;
113 if (le_key_k_offset(le_key_version(le_key), le_key) <
114 cpu_key_k_offset(cpu_key))
115 return -1;
116 if (le_key_k_offset(le_key_version(le_key), le_key) >
117 cpu_key_k_offset(cpu_key))
118 return 1;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700119
Linus Torvaldsbd4c6252005-07-12 20:21:28 -0700120 if (cpu_key->key_length == 3)
121 return 0;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700122
Linus Torvaldsbd4c6252005-07-12 20:21:28 -0700123 /* this part is needed only when tail conversion is in progress */
124 if (le_key_k_type(le_key_version(le_key), le_key) <
125 cpu_key_k_type(cpu_key))
126 return -1;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700127
Linus Torvaldsbd4c6252005-07-12 20:21:28 -0700128 if (le_key_k_type(le_key_version(le_key), le_key) >
129 cpu_key_k_type(cpu_key))
130 return 1;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700131
Linus Torvaldsbd4c6252005-07-12 20:21:28 -0700132 return 0;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700133}
134
Linus Torvaldsbd4c6252005-07-12 20:21:28 -0700135inline int comp_short_le_keys(const struct reiserfs_key *key1,
136 const struct reiserfs_key *key2)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700137{
Jeff Mahoneyd68caa92009-03-30 14:02:49 -0400138 __u32 *k1_u32, *k2_u32;
Linus Torvaldsbd4c6252005-07-12 20:21:28 -0700139 int n_key_length = REISERFS_SHORT_KEY_LEN;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700140
Jeff Mahoneyd68caa92009-03-30 14:02:49 -0400141 k1_u32 = (__u32 *) key1;
142 k2_u32 = (__u32 *) key2;
143 for (; n_key_length--; ++k1_u32, ++k2_u32) {
144 if (le32_to_cpu(*k1_u32) < le32_to_cpu(*k2_u32))
Linus Torvaldsbd4c6252005-07-12 20:21:28 -0700145 return -1;
Jeff Mahoneyd68caa92009-03-30 14:02:49 -0400146 if (le32_to_cpu(*k1_u32) > le32_to_cpu(*k2_u32))
Linus Torvaldsbd4c6252005-07-12 20:21:28 -0700147 return 1;
148 }
149 return 0;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700150}
151
Linus Torvaldsbd4c6252005-07-12 20:21:28 -0700152inline void le_key2cpu_key(struct cpu_key *to, const struct reiserfs_key *from)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700153{
Linus Torvaldsbd4c6252005-07-12 20:21:28 -0700154 int version;
155 to->on_disk_key.k_dir_id = le32_to_cpu(from->k_dir_id);
156 to->on_disk_key.k_objectid = le32_to_cpu(from->k_objectid);
157
158 // find out version of the key
159 version = le_key_version(from);
160 to->version = version;
161 to->on_disk_key.k_offset = le_key_k_offset(version, from);
162 to->on_disk_key.k_type = le_key_k_type(version, from);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700163}
164
Linus Torvalds1da177e2005-04-16 15:20:36 -0700165// this does not say which one is bigger, it only returns 1 if keys
166// are not equal, 0 otherwise
Linus Torvaldsbd4c6252005-07-12 20:21:28 -0700167inline int comp_le_keys(const struct reiserfs_key *k1,
168 const struct reiserfs_key *k2)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700169{
Linus Torvaldsbd4c6252005-07-12 20:21:28 -0700170 return memcmp(k1, k2, sizeof(struct reiserfs_key));
Linus Torvalds1da177e2005-04-16 15:20:36 -0700171}
172
173/**************************************************************************
174 * Binary search toolkit function *
175 * Search for an item in the array by the item key *
176 * Returns: 1 if found, 0 if not found; *
Jeff Mahoneyd68caa92009-03-30 14:02:49 -0400177 * *pos = number of the searched element if found, else the *
178 * number of the first element that is larger than key. *
Linus Torvalds1da177e2005-04-16 15:20:36 -0700179 **************************************************************************/
180/* For those not familiar with binary search: n_lbound is the leftmost item that it
181 could be, n_rbound the rightmost item that it could be. We examine the item
182 halfway between n_lbound and n_rbound, and that tells us either that we can increase
183 n_lbound, or decrease n_rbound, or that we have found it, or if n_lbound <= n_rbound that
184 there are no possible items, and we have not found it. With each examination we
185 cut the number of possible items it could be by one more than half rounded down,
186 or we find it. */
Jeff Mahoneyd68caa92009-03-30 14:02:49 -0400187static inline int bin_search(const void *key, /* Key to search for. */
188 const void *base, /* First item in the array. */
189 int num, /* Number of items in the array. */
190 int width, /* Item size in the array.
191 searched. Lest the reader be
192 confused, note that this is crafted
193 as a general function, and when it
194 is applied specifically to the array
195 of item headers in a node, width
196 is actually the item header size not
197 the item size. */
198 int *pos /* Number of the searched for element. */
Linus Torvaldsbd4c6252005-07-12 20:21:28 -0700199 )
200{
201 int n_rbound, n_lbound, n_j;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700202
Jeff Mahoneyd68caa92009-03-30 14:02:49 -0400203 for (n_j = ((n_rbound = num - 1) + (n_lbound = 0)) / 2;
Linus Torvaldsbd4c6252005-07-12 20:21:28 -0700204 n_lbound <= n_rbound; n_j = (n_rbound + n_lbound) / 2)
205 switch (comp_keys
Jeff Mahoneyd68caa92009-03-30 14:02:49 -0400206 ((struct reiserfs_key *)((char *)base +
207 n_j * width),
208 (struct cpu_key *)key)) {
Linus Torvaldsbd4c6252005-07-12 20:21:28 -0700209 case -1:
210 n_lbound = n_j + 1;
211 continue;
212 case 1:
213 n_rbound = n_j - 1;
214 continue;
215 case 0:
Jeff Mahoneyd68caa92009-03-30 14:02:49 -0400216 *pos = n_j;
Linus Torvaldsbd4c6252005-07-12 20:21:28 -0700217 return ITEM_FOUND; /* Key found in the array. */
218 }
Linus Torvalds1da177e2005-04-16 15:20:36 -0700219
Linus Torvaldsbd4c6252005-07-12 20:21:28 -0700220 /* bin_search did not find given key, it returns position of key,
221 that is minimal and greater than the given one. */
Jeff Mahoneyd68caa92009-03-30 14:02:49 -0400222 *pos = n_lbound;
Linus Torvaldsbd4c6252005-07-12 20:21:28 -0700223 return ITEM_NOT_FOUND;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700224}
225
226#ifdef CONFIG_REISERFS_CHECK
Linus Torvaldsbd4c6252005-07-12 20:21:28 -0700227extern struct tree_balance *cur_tb;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700228#endif
229
Linus Torvalds1da177e2005-04-16 15:20:36 -0700230/* Minimal possible key. It is never in the tree. */
Linus Torvaldsbd4c6252005-07-12 20:21:28 -0700231const struct reiserfs_key MIN_KEY = { 0, 0, {{0, 0},} };
Linus Torvalds1da177e2005-04-16 15:20:36 -0700232
233/* Maximal possible key. It is never in the tree. */
Linus Torvaldsbd4c6252005-07-12 20:21:28 -0700234static const struct reiserfs_key MAX_KEY = {
Al Viro3e8962b2005-05-01 08:59:18 -0700235 __constant_cpu_to_le32(0xffffffff),
236 __constant_cpu_to_le32(0xffffffff),
237 {{__constant_cpu_to_le32(0xffffffff),
Linus Torvaldsbd4c6252005-07-12 20:21:28 -0700238 __constant_cpu_to_le32(0xffffffff)},}
Al Viro3e8962b2005-05-01 08:59:18 -0700239};
Linus Torvalds1da177e2005-04-16 15:20:36 -0700240
Linus Torvalds1da177e2005-04-16 15:20:36 -0700241/* Get delimiting key of the buffer by looking for it in the buffers in the path, starting from the bottom
242 of the path, and going upwards. We must check the path's validity at each step. If the key is not in
243 the path, there is no delimiting key in the tree (buffer is first or last buffer in tree), and in this
244 case we return a special key, either MIN_KEY or MAX_KEY. */
Josef "Jeff" Sipekfec6d052006-12-08 02:36:32 -0800245static inline const struct reiserfs_key *get_lkey(const struct treepath
Jeff Mahoneyd68caa92009-03-30 14:02:49 -0400246 *chk_path,
Linus Torvaldsbd4c6252005-07-12 20:21:28 -0700247 const struct super_block
Jeff Mahoneya9dd3642009-03-30 14:02:45 -0400248 *sb)
Linus Torvaldsbd4c6252005-07-12 20:21:28 -0700249{
Jeff Mahoneyd68caa92009-03-30 14:02:49 -0400250 int n_position, n_path_offset = chk_path->path_length;
251 struct buffer_head *parent;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700252
Linus Torvaldsbd4c6252005-07-12 20:21:28 -0700253 RFALSE(n_path_offset < FIRST_PATH_ELEMENT_OFFSET,
254 "PAP-5010: invalid offset in the path");
Linus Torvalds1da177e2005-04-16 15:20:36 -0700255
Linus Torvaldsbd4c6252005-07-12 20:21:28 -0700256 /* While not higher in path than first element. */
257 while (n_path_offset-- > FIRST_PATH_ELEMENT_OFFSET) {
Linus Torvalds1da177e2005-04-16 15:20:36 -0700258
Linus Torvaldsbd4c6252005-07-12 20:21:28 -0700259 RFALSE(!buffer_uptodate
Jeff Mahoneyd68caa92009-03-30 14:02:49 -0400260 (PATH_OFFSET_PBUFFER(chk_path, n_path_offset)),
Linus Torvaldsbd4c6252005-07-12 20:21:28 -0700261 "PAP-5020: parent is not uptodate");
262
263 /* Parent at the path is not in the tree now. */
264 if (!B_IS_IN_TREE
Jeff Mahoneyd68caa92009-03-30 14:02:49 -0400265 (parent =
266 PATH_OFFSET_PBUFFER(chk_path, n_path_offset)))
Linus Torvaldsbd4c6252005-07-12 20:21:28 -0700267 return &MAX_KEY;
268 /* Check whether position in the parent is correct. */
269 if ((n_position =
Jeff Mahoneyd68caa92009-03-30 14:02:49 -0400270 PATH_OFFSET_POSITION(chk_path,
Linus Torvaldsbd4c6252005-07-12 20:21:28 -0700271 n_path_offset)) >
Jeff Mahoneyd68caa92009-03-30 14:02:49 -0400272 B_NR_ITEMS(parent))
Linus Torvaldsbd4c6252005-07-12 20:21:28 -0700273 return &MAX_KEY;
274 /* Check whether parent at the path really points to the child. */
Jeff Mahoneyd68caa92009-03-30 14:02:49 -0400275 if (B_N_CHILD_NUM(parent, n_position) !=
276 PATH_OFFSET_PBUFFER(chk_path,
Linus Torvaldsbd4c6252005-07-12 20:21:28 -0700277 n_path_offset + 1)->b_blocknr)
278 return &MAX_KEY;
279 /* Return delimiting key if position in the parent is not equal to zero. */
280 if (n_position)
Jeff Mahoneyd68caa92009-03-30 14:02:49 -0400281 return B_N_PDELIM_KEY(parent, n_position - 1);
Linus Torvaldsbd4c6252005-07-12 20:21:28 -0700282 }
283 /* Return MIN_KEY if we are in the root of the buffer tree. */
Jeff Mahoneyd68caa92009-03-30 14:02:49 -0400284 if (PATH_OFFSET_PBUFFER(chk_path, FIRST_PATH_ELEMENT_OFFSET)->
Jeff Mahoneya9dd3642009-03-30 14:02:45 -0400285 b_blocknr == SB_ROOT_BLOCK(sb))
Linus Torvaldsbd4c6252005-07-12 20:21:28 -0700286 return &MIN_KEY;
287 return &MAX_KEY;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700288}
289
Linus Torvalds1da177e2005-04-16 15:20:36 -0700290/* Get delimiting key of the buffer at the path and its right neighbor. */
Jeff Mahoneyd68caa92009-03-30 14:02:49 -0400291inline const struct reiserfs_key *get_rkey(const struct treepath *chk_path,
Jeff Mahoneya9dd3642009-03-30 14:02:45 -0400292 const struct super_block *sb)
Linus Torvaldsbd4c6252005-07-12 20:21:28 -0700293{
Jeff Mahoneyd68caa92009-03-30 14:02:49 -0400294 int n_position, n_path_offset = chk_path->path_length;
295 struct buffer_head *parent;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700296
Linus Torvaldsbd4c6252005-07-12 20:21:28 -0700297 RFALSE(n_path_offset < FIRST_PATH_ELEMENT_OFFSET,
298 "PAP-5030: invalid offset in the path");
Linus Torvalds1da177e2005-04-16 15:20:36 -0700299
Linus Torvaldsbd4c6252005-07-12 20:21:28 -0700300 while (n_path_offset-- > FIRST_PATH_ELEMENT_OFFSET) {
Linus Torvalds1da177e2005-04-16 15:20:36 -0700301
Linus Torvaldsbd4c6252005-07-12 20:21:28 -0700302 RFALSE(!buffer_uptodate
Jeff Mahoneyd68caa92009-03-30 14:02:49 -0400303 (PATH_OFFSET_PBUFFER(chk_path, n_path_offset)),
Linus Torvaldsbd4c6252005-07-12 20:21:28 -0700304 "PAP-5040: parent is not uptodate");
Linus Torvalds1da177e2005-04-16 15:20:36 -0700305
Linus Torvaldsbd4c6252005-07-12 20:21:28 -0700306 /* Parent at the path is not in the tree now. */
307 if (!B_IS_IN_TREE
Jeff Mahoneyd68caa92009-03-30 14:02:49 -0400308 (parent =
309 PATH_OFFSET_PBUFFER(chk_path, n_path_offset)))
Linus Torvaldsbd4c6252005-07-12 20:21:28 -0700310 return &MIN_KEY;
311 /* Check whether position in the parent is correct. */
312 if ((n_position =
Jeff Mahoneyd68caa92009-03-30 14:02:49 -0400313 PATH_OFFSET_POSITION(chk_path,
Linus Torvaldsbd4c6252005-07-12 20:21:28 -0700314 n_path_offset)) >
Jeff Mahoneyd68caa92009-03-30 14:02:49 -0400315 B_NR_ITEMS(parent))
Linus Torvaldsbd4c6252005-07-12 20:21:28 -0700316 return &MIN_KEY;
317 /* Check whether parent at the path really points to the child. */
Jeff Mahoneyd68caa92009-03-30 14:02:49 -0400318 if (B_N_CHILD_NUM(parent, n_position) !=
319 PATH_OFFSET_PBUFFER(chk_path,
Linus Torvaldsbd4c6252005-07-12 20:21:28 -0700320 n_path_offset + 1)->b_blocknr)
321 return &MIN_KEY;
322 /* Return delimiting key if position in the parent is not the last one. */
Jeff Mahoneyd68caa92009-03-30 14:02:49 -0400323 if (n_position != B_NR_ITEMS(parent))
324 return B_N_PDELIM_KEY(parent, n_position);
Linus Torvaldsbd4c6252005-07-12 20:21:28 -0700325 }
326 /* Return MAX_KEY if we are in the root of the buffer tree. */
Jeff Mahoneyd68caa92009-03-30 14:02:49 -0400327 if (PATH_OFFSET_PBUFFER(chk_path, FIRST_PATH_ELEMENT_OFFSET)->
Jeff Mahoneya9dd3642009-03-30 14:02:45 -0400328 b_blocknr == SB_ROOT_BLOCK(sb))
Linus Torvaldsbd4c6252005-07-12 20:21:28 -0700329 return &MAX_KEY;
330 return &MIN_KEY;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700331}
332
Linus Torvalds1da177e2005-04-16 15:20:36 -0700333/* Check whether a key is contained in the tree rooted from a buffer at a path. */
334/* This works by looking at the left and right delimiting keys for the buffer in the last path_element in
335 the path. These delimiting keys are stored at least one level above that buffer in the tree. If the
336 buffer is the first or last node in the tree order then one of the delimiting keys may be absent, and in
337 this case get_lkey and get_rkey return a special key which is MIN_KEY or MAX_KEY. */
Jeff Mahoneyd68caa92009-03-30 14:02:49 -0400338static inline int key_in_buffer(struct treepath *chk_path, /* Path which should be checked. */
339 const struct cpu_key *key, /* Key which should be checked. */
340 struct super_block *sb
Linus Torvaldsbd4c6252005-07-12 20:21:28 -0700341 )
342{
Linus Torvalds1da177e2005-04-16 15:20:36 -0700343
Jeff Mahoneyd68caa92009-03-30 14:02:49 -0400344 RFALSE(!key || chk_path->path_length < FIRST_PATH_ELEMENT_OFFSET
345 || chk_path->path_length > MAX_HEIGHT,
Linus Torvaldsbd4c6252005-07-12 20:21:28 -0700346 "PAP-5050: pointer to the key(%p) is NULL or invalid path length(%d)",
Jeff Mahoneyd68caa92009-03-30 14:02:49 -0400347 key, chk_path->path_length);
348 RFALSE(!PATH_PLAST_BUFFER(chk_path)->b_bdev,
Linus Torvaldsbd4c6252005-07-12 20:21:28 -0700349 "PAP-5060: device must not be NODEV");
Linus Torvalds1da177e2005-04-16 15:20:36 -0700350
Jeff Mahoneyd68caa92009-03-30 14:02:49 -0400351 if (comp_keys(get_lkey(chk_path, sb), key) == 1)
Linus Torvaldsbd4c6252005-07-12 20:21:28 -0700352 /* left delimiting key is bigger, that the key we look for */
353 return 0;
Jeff Mahoneyd68caa92009-03-30 14:02:49 -0400354 /* if ( comp_keys(key, get_rkey(chk_path, sb)) != -1 ) */
355 if (comp_keys(get_rkey(chk_path, sb), key) != 1)
356 /* key must be less than right delimitiing key */
Linus Torvaldsbd4c6252005-07-12 20:21:28 -0700357 return 0;
358 return 1;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700359}
360
Josef "Jeff" Sipekfec6d052006-12-08 02:36:32 -0800361int reiserfs_check_path(struct treepath *p)
Linus Torvaldsbd4c6252005-07-12 20:21:28 -0700362{
363 RFALSE(p->path_length != ILLEGAL_PATH_ELEMENT_OFFSET,
364 "path not properly relsed");
365 return 0;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700366}
367
Jeff Mahoney3cd6dbe2009-03-30 14:02:43 -0400368/* Drop the reference to each buffer in a path and restore
369 * dirty bits clean when preparing the buffer for the log.
370 * This version should only be called from fix_nodes() */
371void pathrelse_and_restore(struct super_block *sb,
Jeff Mahoneyd68caa92009-03-30 14:02:49 -0400372 struct treepath *search_path)
Linus Torvaldsbd4c6252005-07-12 20:21:28 -0700373{
Jeff Mahoneyd68caa92009-03-30 14:02:49 -0400374 int n_path_offset = search_path->path_length;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700375
Linus Torvaldsbd4c6252005-07-12 20:21:28 -0700376 RFALSE(n_path_offset < ILLEGAL_PATH_ELEMENT_OFFSET,
377 "clm-4000: invalid path offset");
378
379 while (n_path_offset > ILLEGAL_PATH_ELEMENT_OFFSET) {
Jeff Mahoney3cd6dbe2009-03-30 14:02:43 -0400380 struct buffer_head *bh;
Jeff Mahoneyd68caa92009-03-30 14:02:49 -0400381 bh = PATH_OFFSET_PBUFFER(search_path, n_path_offset--);
Jeff Mahoney3cd6dbe2009-03-30 14:02:43 -0400382 reiserfs_restore_prepared_buffer(sb, bh);
383 brelse(bh);
Linus Torvaldsbd4c6252005-07-12 20:21:28 -0700384 }
Jeff Mahoneyd68caa92009-03-30 14:02:49 -0400385 search_path->path_length = ILLEGAL_PATH_ELEMENT_OFFSET;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700386}
387
Jeff Mahoney3cd6dbe2009-03-30 14:02:43 -0400388/* Drop the reference to each buffer in a path */
Jeff Mahoneyd68caa92009-03-30 14:02:49 -0400389void pathrelse(struct treepath *search_path)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700390{
Jeff Mahoneyd68caa92009-03-30 14:02:49 -0400391 int n_path_offset = search_path->path_length;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700392
Linus Torvaldsbd4c6252005-07-12 20:21:28 -0700393 RFALSE(n_path_offset < ILLEGAL_PATH_ELEMENT_OFFSET,
394 "PAP-5090: invalid path offset");
Linus Torvalds1da177e2005-04-16 15:20:36 -0700395
Linus Torvaldsbd4c6252005-07-12 20:21:28 -0700396 while (n_path_offset > ILLEGAL_PATH_ELEMENT_OFFSET)
Jeff Mahoneyd68caa92009-03-30 14:02:49 -0400397 brelse(PATH_OFFSET_PBUFFER(search_path, n_path_offset--));
Linus Torvalds1da177e2005-04-16 15:20:36 -0700398
Jeff Mahoneyd68caa92009-03-30 14:02:49 -0400399 search_path->path_length = ILLEGAL_PATH_ELEMENT_OFFSET;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700400}
401
Linus Torvaldsbd4c6252005-07-12 20:21:28 -0700402static int is_leaf(char *buf, int blocksize, struct buffer_head *bh)
403{
404 struct block_head *blkh;
405 struct item_head *ih;
406 int used_space;
407 int prev_location;
408 int i;
409 int nr;
410
411 blkh = (struct block_head *)buf;
412 if (blkh_level(blkh) != DISK_LEAF_NODE_LEVEL) {
Jeff Mahoney45b03d52009-03-30 14:02:21 -0400413 reiserfs_warning(NULL, "reiserfs-5080",
414 "this should be caught earlier");
Linus Torvaldsbd4c6252005-07-12 20:21:28 -0700415 return 0;
416 }
417
418 nr = blkh_nr_item(blkh);
419 if (nr < 1 || nr > ((blocksize - BLKH_SIZE) / (IH_SIZE + MIN_ITEM_LEN))) {
420 /* item number is too big or too small */
Jeff Mahoney45b03d52009-03-30 14:02:21 -0400421 reiserfs_warning(NULL, "reiserfs-5081",
422 "nr_item seems wrong: %z", bh);
Linus Torvaldsbd4c6252005-07-12 20:21:28 -0700423 return 0;
424 }
425 ih = (struct item_head *)(buf + BLKH_SIZE) + nr - 1;
426 used_space = BLKH_SIZE + IH_SIZE * nr + (blocksize - ih_location(ih));
427 if (used_space != blocksize - blkh_free_space(blkh)) {
428 /* free space does not match to calculated amount of use space */
Jeff Mahoney45b03d52009-03-30 14:02:21 -0400429 reiserfs_warning(NULL, "reiserfs-5082",
430 "free space seems wrong: %z", bh);
Linus Torvaldsbd4c6252005-07-12 20:21:28 -0700431 return 0;
432 }
433 // FIXME: it is_leaf will hit performance too much - we may have
434 // return 1 here
435
436 /* check tables of item heads */
437 ih = (struct item_head *)(buf + BLKH_SIZE);
438 prev_location = blocksize;
439 for (i = 0; i < nr; i++, ih++) {
440 if (le_ih_k_type(ih) == TYPE_ANY) {
Jeff Mahoney45b03d52009-03-30 14:02:21 -0400441 reiserfs_warning(NULL, "reiserfs-5083",
442 "wrong item type for item %h",
Linus Torvaldsbd4c6252005-07-12 20:21:28 -0700443 ih);
444 return 0;
445 }
446 if (ih_location(ih) >= blocksize
447 || ih_location(ih) < IH_SIZE * nr) {
Jeff Mahoney45b03d52009-03-30 14:02:21 -0400448 reiserfs_warning(NULL, "reiserfs-5084",
449 "item location seems wrong: %h",
Linus Torvaldsbd4c6252005-07-12 20:21:28 -0700450 ih);
451 return 0;
452 }
453 if (ih_item_len(ih) < 1
454 || ih_item_len(ih) > MAX_ITEM_LEN(blocksize)) {
Jeff Mahoney45b03d52009-03-30 14:02:21 -0400455 reiserfs_warning(NULL, "reiserfs-5085",
456 "item length seems wrong: %h",
Linus Torvaldsbd4c6252005-07-12 20:21:28 -0700457 ih);
458 return 0;
459 }
460 if (prev_location - ih_location(ih) != ih_item_len(ih)) {
Jeff Mahoney45b03d52009-03-30 14:02:21 -0400461 reiserfs_warning(NULL, "reiserfs-5086",
462 "item location seems wrong "
463 "(second one): %h", ih);
Linus Torvaldsbd4c6252005-07-12 20:21:28 -0700464 return 0;
465 }
466 prev_location = ih_location(ih);
467 }
468
469 // one may imagine much more checks
470 return 1;
471}
Linus Torvalds1da177e2005-04-16 15:20:36 -0700472
473/* returns 1 if buf looks like an internal node, 0 otherwise */
Linus Torvaldsbd4c6252005-07-12 20:21:28 -0700474static int is_internal(char *buf, int blocksize, struct buffer_head *bh)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700475{
Linus Torvaldsbd4c6252005-07-12 20:21:28 -0700476 struct block_head *blkh;
477 int nr;
478 int used_space;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700479
Linus Torvaldsbd4c6252005-07-12 20:21:28 -0700480 blkh = (struct block_head *)buf;
481 nr = blkh_level(blkh);
482 if (nr <= DISK_LEAF_NODE_LEVEL || nr > MAX_HEIGHT) {
483 /* this level is not possible for internal nodes */
Jeff Mahoney45b03d52009-03-30 14:02:21 -0400484 reiserfs_warning(NULL, "reiserfs-5087",
485 "this should be caught earlier");
Linus Torvaldsbd4c6252005-07-12 20:21:28 -0700486 return 0;
487 }
Linus Torvalds1da177e2005-04-16 15:20:36 -0700488
Linus Torvaldsbd4c6252005-07-12 20:21:28 -0700489 nr = blkh_nr_item(blkh);
490 if (nr > (blocksize - BLKH_SIZE - DC_SIZE) / (KEY_SIZE + DC_SIZE)) {
491 /* for internal which is not root we might check min number of keys */
Jeff Mahoney45b03d52009-03-30 14:02:21 -0400492 reiserfs_warning(NULL, "reiserfs-5088",
493 "number of key seems wrong: %z", bh);
Linus Torvaldsbd4c6252005-07-12 20:21:28 -0700494 return 0;
495 }
Linus Torvalds1da177e2005-04-16 15:20:36 -0700496
Linus Torvaldsbd4c6252005-07-12 20:21:28 -0700497 used_space = BLKH_SIZE + KEY_SIZE * nr + DC_SIZE * (nr + 1);
498 if (used_space != blocksize - blkh_free_space(blkh)) {
Jeff Mahoney45b03d52009-03-30 14:02:21 -0400499 reiserfs_warning(NULL, "reiserfs-5089",
500 "free space seems wrong: %z", bh);
Linus Torvaldsbd4c6252005-07-12 20:21:28 -0700501 return 0;
502 }
503 // one may imagine much more checks
504 return 1;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700505}
506
Linus Torvalds1da177e2005-04-16 15:20:36 -0700507// make sure that bh contains formatted node of reiserfs tree of
508// 'level'-th level
Linus Torvaldsbd4c6252005-07-12 20:21:28 -0700509static int is_tree_node(struct buffer_head *bh, int level)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700510{
Linus Torvaldsbd4c6252005-07-12 20:21:28 -0700511 if (B_LEVEL(bh) != level) {
Jeff Mahoney45b03d52009-03-30 14:02:21 -0400512 reiserfs_warning(NULL, "reiserfs-5090", "node level %d does "
513 "not match to the expected one %d",
Linus Torvaldsbd4c6252005-07-12 20:21:28 -0700514 B_LEVEL(bh), level);
515 return 0;
516 }
517 if (level == DISK_LEAF_NODE_LEVEL)
518 return is_leaf(bh->b_data, bh->b_size, bh);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700519
Linus Torvaldsbd4c6252005-07-12 20:21:28 -0700520 return is_internal(bh->b_data, bh->b_size, bh);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700521}
522
Linus Torvalds1da177e2005-04-16 15:20:36 -0700523#define SEARCH_BY_KEY_READA 16
524
525/* The function is NOT SCHEDULE-SAFE! */
Linus Torvaldsbd4c6252005-07-12 20:21:28 -0700526static void search_by_key_reada(struct super_block *s,
527 struct buffer_head **bh,
Jeff Mahoney3ee16672007-10-18 23:39:25 -0700528 b_blocknr_t *b, int num)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700529{
Linus Torvaldsbd4c6252005-07-12 20:21:28 -0700530 int i, j;
531
532 for (i = 0; i < num; i++) {
533 bh[i] = sb_getblk(s, b[i]);
534 }
535 for (j = 0; j < i; j++) {
536 /*
537 * note, this needs attention if we are getting rid of the BKL
538 * you have to make sure the prepared bit isn't set on this buffer
539 */
540 if (!buffer_uptodate(bh[j]))
541 ll_rw_block(READA, 1, bh + j);
542 brelse(bh[j]);
543 }
Linus Torvalds1da177e2005-04-16 15:20:36 -0700544}
545
546/**************************************************************************
547 * Algorithm SearchByKey *
548 * look for item in the Disk S+Tree by its key *
Jeff Mahoneya9dd3642009-03-30 14:02:45 -0400549 * Input: sb - super block *
Jeff Mahoneyd68caa92009-03-30 14:02:49 -0400550 * key - pointer to the key to search *
Linus Torvalds1da177e2005-04-16 15:20:36 -0700551 * Output: ITEM_FOUND, ITEM_NOT_FOUND or IO_ERROR *
Jeff Mahoneyd68caa92009-03-30 14:02:49 -0400552 * search_path - path from the root to the needed leaf *
Linus Torvalds1da177e2005-04-16 15:20:36 -0700553 **************************************************************************/
554
555/* This function fills up the path from the root to the leaf as it
556 descends the tree looking for the key. It uses reiserfs_bread to
557 try to find buffers in the cache given their block number. If it
558 does not find them in the cache it reads them from disk. For each
559 node search_by_key finds using reiserfs_bread it then uses
560 bin_search to look through that node. bin_search will find the
561 position of the block_number of the next node if it is looking
562 through an internal node. If it is looking through a leaf node
563 bin_search will find the position of the item which has key either
564 equal to given key, or which is the maximal key less than the given
565 key. search_by_key returns a path that must be checked for the
566 correctness of the top of the path but need not be checked for the
567 correctness of the bottom of the path */
568/* The function is NOT SCHEDULE-SAFE! */
Jeff Mahoneyd68caa92009-03-30 14:02:49 -0400569int search_by_key(struct super_block *sb, const struct cpu_key *key, /* Key to search. */
570 struct treepath *search_path,/* This structure was
Linus Torvaldsbd4c6252005-07-12 20:21:28 -0700571 allocated and initialized
572 by the calling
573 function. It is filled up
574 by this function. */
575 int n_stop_level /* How far down the tree to search. To
576 stop at leaf level - set to
577 DISK_LEAF_NODE_LEVEL */
578 )
579{
Jeff Mahoney3ee16672007-10-18 23:39:25 -0700580 b_blocknr_t n_block_number;
Linus Torvaldsbd4c6252005-07-12 20:21:28 -0700581 int expected_level;
Jeff Mahoneyad31a4f2009-03-30 14:02:46 -0400582 struct buffer_head *bh;
Jeff Mahoneyd68caa92009-03-30 14:02:49 -0400583 struct path_element *last_element;
Linus Torvaldsbd4c6252005-07-12 20:21:28 -0700584 int n_node_level, n_retval;
585 int right_neighbor_of_leaf_node;
586 int fs_gen;
587 struct buffer_head *reada_bh[SEARCH_BY_KEY_READA];
Jeff Mahoney3ee16672007-10-18 23:39:25 -0700588 b_blocknr_t reada_blocks[SEARCH_BY_KEY_READA];
Linus Torvaldsbd4c6252005-07-12 20:21:28 -0700589 int reada_count = 0;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700590
591#ifdef CONFIG_REISERFS_CHECK
Linus Torvaldsbd4c6252005-07-12 20:21:28 -0700592 int n_repeat_counter = 0;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700593#endif
Linus Torvalds1da177e2005-04-16 15:20:36 -0700594
Jeff Mahoneya9dd3642009-03-30 14:02:45 -0400595 PROC_INFO_INC(sb, search_by_key);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700596
Linus Torvaldsbd4c6252005-07-12 20:21:28 -0700597 /* As we add each node to a path we increase its count. This means that
598 we must be careful to release all nodes in a path before we either
599 discard the path struct or re-use the path struct, as we do here. */
Linus Torvalds1da177e2005-04-16 15:20:36 -0700600
Jeff Mahoneyd68caa92009-03-30 14:02:49 -0400601 pathrelse(search_path);
Linus Torvaldsbd4c6252005-07-12 20:21:28 -0700602
603 right_neighbor_of_leaf_node = 0;
604
605 /* With each iteration of this loop we search through the items in the
606 current node, and calculate the next current node(next path element)
607 for the next iteration of this loop.. */
Jeff Mahoneya9dd3642009-03-30 14:02:45 -0400608 n_block_number = SB_ROOT_BLOCK(sb);
Linus Torvaldsbd4c6252005-07-12 20:21:28 -0700609 expected_level = -1;
610 while (1) {
Linus Torvalds1da177e2005-04-16 15:20:36 -0700611
612#ifdef CONFIG_REISERFS_CHECK
Linus Torvaldsbd4c6252005-07-12 20:21:28 -0700613 if (!(++n_repeat_counter % 50000))
Jeff Mahoneya9dd3642009-03-30 14:02:45 -0400614 reiserfs_warning(sb, "PAP-5100",
Jeff Mahoney45b03d52009-03-30 14:02:21 -0400615 "%s: there were %d iterations of "
616 "while loop looking for key %K",
Linus Torvaldsbd4c6252005-07-12 20:21:28 -0700617 current->comm, n_repeat_counter,
Jeff Mahoneyd68caa92009-03-30 14:02:49 -0400618 key);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700619#endif
620
Linus Torvaldsbd4c6252005-07-12 20:21:28 -0700621 /* prep path to have another element added to it. */
Jeff Mahoneyd68caa92009-03-30 14:02:49 -0400622 last_element =
623 PATH_OFFSET_PELEMENT(search_path,
624 ++search_path->path_length);
Jeff Mahoneya9dd3642009-03-30 14:02:45 -0400625 fs_gen = get_generation(sb);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700626
Linus Torvaldsbd4c6252005-07-12 20:21:28 -0700627 /* Read the next tree node, and set the last element in the path to
628 have a pointer to it. */
Jeff Mahoneyd68caa92009-03-30 14:02:49 -0400629 if ((bh = last_element->pe_buffer =
Jeff Mahoneya9dd3642009-03-30 14:02:45 -0400630 sb_getblk(sb, n_block_number))) {
Jeff Mahoneyad31a4f2009-03-30 14:02:46 -0400631 if (!buffer_uptodate(bh) && reada_count > 1)
Jeff Mahoneya9dd3642009-03-30 14:02:45 -0400632 search_by_key_reada(sb, reada_bh,
Linus Torvaldsbd4c6252005-07-12 20:21:28 -0700633 reada_blocks, reada_count);
Jeff Mahoneyad31a4f2009-03-30 14:02:46 -0400634 ll_rw_block(READ, 1, &bh);
635 wait_on_buffer(bh);
636 if (!buffer_uptodate(bh))
Linus Torvaldsbd4c6252005-07-12 20:21:28 -0700637 goto io_error;
638 } else {
639 io_error:
Jeff Mahoneyd68caa92009-03-30 14:02:49 -0400640 search_path->path_length--;
641 pathrelse(search_path);
Linus Torvaldsbd4c6252005-07-12 20:21:28 -0700642 return IO_ERROR;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700643 }
Linus Torvaldsbd4c6252005-07-12 20:21:28 -0700644 reada_count = 0;
645 if (expected_level == -1)
Jeff Mahoneya9dd3642009-03-30 14:02:45 -0400646 expected_level = SB_TREE_HEIGHT(sb);
Linus Torvaldsbd4c6252005-07-12 20:21:28 -0700647 expected_level--;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700648
Linus Torvaldsbd4c6252005-07-12 20:21:28 -0700649 /* It is possible that schedule occurred. We must check whether the key
650 to search is still in the tree rooted from the current buffer. If
651 not then repeat search from the root. */
Jeff Mahoneya9dd3642009-03-30 14:02:45 -0400652 if (fs_changed(fs_gen, sb) &&
Jeff Mahoneyad31a4f2009-03-30 14:02:46 -0400653 (!B_IS_IN_TREE(bh) ||
654 B_LEVEL(bh) != expected_level ||
Jeff Mahoneyd68caa92009-03-30 14:02:49 -0400655 !key_in_buffer(search_path, key, sb))) {
Jeff Mahoneya9dd3642009-03-30 14:02:45 -0400656 PROC_INFO_INC(sb, search_by_key_fs_changed);
657 PROC_INFO_INC(sb, search_by_key_restarted);
658 PROC_INFO_INC(sb,
Linus Torvaldsbd4c6252005-07-12 20:21:28 -0700659 sbk_restarted[expected_level - 1]);
Jeff Mahoneyd68caa92009-03-30 14:02:49 -0400660 pathrelse(search_path);
Linus Torvaldsbd4c6252005-07-12 20:21:28 -0700661
662 /* Get the root block number so that we can repeat the search
663 starting from the root. */
Jeff Mahoneya9dd3642009-03-30 14:02:45 -0400664 n_block_number = SB_ROOT_BLOCK(sb);
Linus Torvaldsbd4c6252005-07-12 20:21:28 -0700665 expected_level = -1;
666 right_neighbor_of_leaf_node = 0;
667
668 /* repeat search from the root */
669 continue;
670 }
671
Jeff Mahoneyd68caa92009-03-30 14:02:49 -0400672 /* only check that the key is in the buffer if key is not
Linus Torvaldsbd4c6252005-07-12 20:21:28 -0700673 equal to the MAX_KEY. Latter case is only possible in
674 "finish_unfinished()" processing during mount. */
Jeff Mahoneyd68caa92009-03-30 14:02:49 -0400675 RFALSE(comp_keys(&MAX_KEY, key) &&
676 !key_in_buffer(search_path, key, sb),
Linus Torvaldsbd4c6252005-07-12 20:21:28 -0700677 "PAP-5130: key is not in the buffer");
678#ifdef CONFIG_REISERFS_CHECK
679 if (cur_tb) {
680 print_cur_tb("5140");
Jeff Mahoneya9dd3642009-03-30 14:02:45 -0400681 reiserfs_panic(sb, "PAP-5140",
Jeff Mahoneyc3a9c212009-03-30 14:02:25 -0400682 "schedule occurred in do_balance!");
Linus Torvaldsbd4c6252005-07-12 20:21:28 -0700683 }
684#endif
685
686 // make sure, that the node contents look like a node of
687 // certain level
Jeff Mahoneyad31a4f2009-03-30 14:02:46 -0400688 if (!is_tree_node(bh, expected_level)) {
Jeff Mahoneya9dd3642009-03-30 14:02:45 -0400689 reiserfs_error(sb, "vs-5150",
Jeff Mahoney0030b642009-03-30 14:02:28 -0400690 "invalid format found in block %ld. "
Jeff Mahoneyad31a4f2009-03-30 14:02:46 -0400691 "Fsck?", bh->b_blocknr);
Jeff Mahoneyd68caa92009-03-30 14:02:49 -0400692 pathrelse(search_path);
Linus Torvaldsbd4c6252005-07-12 20:21:28 -0700693 return IO_ERROR;
694 }
695
696 /* ok, we have acquired next formatted node in the tree */
Jeff Mahoneyad31a4f2009-03-30 14:02:46 -0400697 n_node_level = B_LEVEL(bh);
Linus Torvaldsbd4c6252005-07-12 20:21:28 -0700698
Jeff Mahoneyad31a4f2009-03-30 14:02:46 -0400699 PROC_INFO_BH_STAT(sb, bh, n_node_level - 1);
Linus Torvaldsbd4c6252005-07-12 20:21:28 -0700700
701 RFALSE(n_node_level < n_stop_level,
702 "vs-5152: tree level (%d) is less than stop level (%d)",
703 n_node_level, n_stop_level);
704
Jeff Mahoneyd68caa92009-03-30 14:02:49 -0400705 n_retval = bin_search(key, B_N_PITEM_HEAD(bh, 0),
Jeff Mahoneyad31a4f2009-03-30 14:02:46 -0400706 B_NR_ITEMS(bh),
Linus Torvaldsbd4c6252005-07-12 20:21:28 -0700707 (n_node_level ==
708 DISK_LEAF_NODE_LEVEL) ? IH_SIZE :
709 KEY_SIZE,
Jeff Mahoneyd68caa92009-03-30 14:02:49 -0400710 &(last_element->pe_position));
Linus Torvaldsbd4c6252005-07-12 20:21:28 -0700711 if (n_node_level == n_stop_level) {
712 return n_retval;
713 }
714
715 /* we are not in the stop level */
716 if (n_retval == ITEM_FOUND)
717 /* item has been found, so we choose the pointer which is to the right of the found one */
Jeff Mahoneyd68caa92009-03-30 14:02:49 -0400718 last_element->pe_position++;
Linus Torvaldsbd4c6252005-07-12 20:21:28 -0700719
720 /* if item was not found we choose the position which is to
721 the left of the found item. This requires no code,
722 bin_search did it already. */
723
724 /* So we have chosen a position in the current node which is
725 an internal node. Now we calculate child block number by
726 position in the node. */
727 n_block_number =
Jeff Mahoneyd68caa92009-03-30 14:02:49 -0400728 B_N_CHILD_NUM(bh, last_element->pe_position);
Linus Torvaldsbd4c6252005-07-12 20:21:28 -0700729
730 /* if we are going to read leaf nodes, try for read ahead as well */
Jeff Mahoneyd68caa92009-03-30 14:02:49 -0400731 if ((search_path->reada & PATH_READA) &&
Linus Torvaldsbd4c6252005-07-12 20:21:28 -0700732 n_node_level == DISK_LEAF_NODE_LEVEL + 1) {
Jeff Mahoneyd68caa92009-03-30 14:02:49 -0400733 int pos = last_element->pe_position;
Jeff Mahoneyad31a4f2009-03-30 14:02:46 -0400734 int limit = B_NR_ITEMS(bh);
Linus Torvaldsbd4c6252005-07-12 20:21:28 -0700735 struct reiserfs_key *le_key;
736
Jeff Mahoneyd68caa92009-03-30 14:02:49 -0400737 if (search_path->reada & PATH_READA_BACK)
Linus Torvaldsbd4c6252005-07-12 20:21:28 -0700738 limit = 0;
739 while (reada_count < SEARCH_BY_KEY_READA) {
740 if (pos == limit)
741 break;
742 reada_blocks[reada_count++] =
Jeff Mahoneyad31a4f2009-03-30 14:02:46 -0400743 B_N_CHILD_NUM(bh, pos);
Jeff Mahoneyd68caa92009-03-30 14:02:49 -0400744 if (search_path->reada & PATH_READA_BACK)
Linus Torvaldsbd4c6252005-07-12 20:21:28 -0700745 pos--;
746 else
747 pos++;
748
749 /*
750 * check to make sure we're in the same object
751 */
Jeff Mahoneyad31a4f2009-03-30 14:02:46 -0400752 le_key = B_N_PDELIM_KEY(bh, pos);
Linus Torvaldsbd4c6252005-07-12 20:21:28 -0700753 if (le32_to_cpu(le_key->k_objectid) !=
Jeff Mahoneyd68caa92009-03-30 14:02:49 -0400754 key->on_disk_key.k_objectid) {
Linus Torvaldsbd4c6252005-07-12 20:21:28 -0700755 break;
756 }
757 }
758 }
759 }
760}
Linus Torvalds1da177e2005-04-16 15:20:36 -0700761
762/* Form the path to an item and position in this item which contains
Jeff Mahoneyd68caa92009-03-30 14:02:49 -0400763 file byte defined by key. If there is no such item
Linus Torvalds1da177e2005-04-16 15:20:36 -0700764 corresponding to the key, we point the path to the item with
Jeff Mahoneyd68caa92009-03-30 14:02:49 -0400765 maximal key less than key, and *pos_in_item is set to one
Linus Torvalds1da177e2005-04-16 15:20:36 -0700766 past the last entry/byte in the item. If searching for entry in a
Jeff Mahoneyd68caa92009-03-30 14:02:49 -0400767 directory item, and it is not found, *pos_in_item is set to one
Linus Torvalds1da177e2005-04-16 15:20:36 -0700768 entry more than the entry with maximal key which is less than the
769 sought key.
770
771 Note that if there is no entry in this same node which is one more,
772 then we point to an imaginary entry. for direct items, the
773 position is in units of bytes, for indirect items the position is
774 in units of blocknr entries, for directory items the position is in
775 units of directory entries. */
776
777/* The function is NOT SCHEDULE-SAFE! */
Jeff Mahoneya9dd3642009-03-30 14:02:45 -0400778int search_for_position_by_key(struct super_block *sb, /* Pointer to the super block. */
Linus Torvaldsbd4c6252005-07-12 20:21:28 -0700779 const struct cpu_key *p_cpu_key, /* Key to search (cpu variable) */
Jeff Mahoneyd68caa92009-03-30 14:02:49 -0400780 struct treepath *search_path /* Filled up by this function. */
Linus Torvaldsbd4c6252005-07-12 20:21:28 -0700781 )
782{
783 struct item_head *p_le_ih; /* pointer to on-disk structure */
784 int n_blk_size;
785 loff_t item_offset, offset;
786 struct reiserfs_dir_entry de;
787 int retval;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700788
Linus Torvaldsbd4c6252005-07-12 20:21:28 -0700789 /* If searching for directory entry. */
790 if (is_direntry_cpu_key(p_cpu_key))
Jeff Mahoneyd68caa92009-03-30 14:02:49 -0400791 return search_by_entry_key(sb, p_cpu_key, search_path,
Linus Torvaldsbd4c6252005-07-12 20:21:28 -0700792 &de);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700793
Linus Torvaldsbd4c6252005-07-12 20:21:28 -0700794 /* If not searching for directory entry. */
Linus Torvalds1da177e2005-04-16 15:20:36 -0700795
Linus Torvaldsbd4c6252005-07-12 20:21:28 -0700796 /* If item is found. */
Jeff Mahoneyd68caa92009-03-30 14:02:49 -0400797 retval = search_item(sb, p_cpu_key, search_path);
Linus Torvaldsbd4c6252005-07-12 20:21:28 -0700798 if (retval == IO_ERROR)
799 return retval;
800 if (retval == ITEM_FOUND) {
Linus Torvalds1da177e2005-04-16 15:20:36 -0700801
Linus Torvaldsbd4c6252005-07-12 20:21:28 -0700802 RFALSE(!ih_item_len
803 (B_N_PITEM_HEAD
Jeff Mahoneyd68caa92009-03-30 14:02:49 -0400804 (PATH_PLAST_BUFFER(search_path),
805 PATH_LAST_POSITION(search_path))),
Linus Torvaldsbd4c6252005-07-12 20:21:28 -0700806 "PAP-5165: item length equals zero");
Linus Torvalds1da177e2005-04-16 15:20:36 -0700807
Jeff Mahoneyd68caa92009-03-30 14:02:49 -0400808 pos_in_item(search_path) = 0;
Linus Torvaldsbd4c6252005-07-12 20:21:28 -0700809 return POSITION_FOUND;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700810 }
Linus Torvalds1da177e2005-04-16 15:20:36 -0700811
Jeff Mahoneyd68caa92009-03-30 14:02:49 -0400812 RFALSE(!PATH_LAST_POSITION(search_path),
Linus Torvaldsbd4c6252005-07-12 20:21:28 -0700813 "PAP-5170: position equals zero");
814
815 /* Item is not found. Set path to the previous item. */
816 p_le_ih =
Jeff Mahoneyd68caa92009-03-30 14:02:49 -0400817 B_N_PITEM_HEAD(PATH_PLAST_BUFFER(search_path),
818 --PATH_LAST_POSITION(search_path));
Jeff Mahoneya9dd3642009-03-30 14:02:45 -0400819 n_blk_size = sb->s_blocksize;
Linus Torvaldsbd4c6252005-07-12 20:21:28 -0700820
821 if (comp_short_keys(&(p_le_ih->ih_key), p_cpu_key)) {
822 return FILE_NOT_FOUND;
823 }
824 // FIXME: quite ugly this far
825
826 item_offset = le_ih_k_offset(p_le_ih);
827 offset = cpu_key_k_offset(p_cpu_key);
828
829 /* Needed byte is contained in the item pointed to by the path. */
830 if (item_offset <= offset &&
831 item_offset + op_bytes_number(p_le_ih, n_blk_size) > offset) {
Jeff Mahoneyd68caa92009-03-30 14:02:49 -0400832 pos_in_item(search_path) = offset - item_offset;
Linus Torvaldsbd4c6252005-07-12 20:21:28 -0700833 if (is_indirect_le_ih(p_le_ih)) {
Jeff Mahoneyd68caa92009-03-30 14:02:49 -0400834 pos_in_item(search_path) /= n_blk_size;
Linus Torvaldsbd4c6252005-07-12 20:21:28 -0700835 }
836 return POSITION_FOUND;
837 }
838
839 /* Needed byte is not contained in the item pointed to by the
840 path. Set pos_in_item out of the item. */
841 if (is_indirect_le_ih(p_le_ih))
Jeff Mahoneyd68caa92009-03-30 14:02:49 -0400842 pos_in_item(search_path) =
Linus Torvaldsbd4c6252005-07-12 20:21:28 -0700843 ih_item_len(p_le_ih) / UNFM_P_SIZE;
844 else
Jeff Mahoneyd68caa92009-03-30 14:02:49 -0400845 pos_in_item(search_path) = ih_item_len(p_le_ih);
Linus Torvaldsbd4c6252005-07-12 20:21:28 -0700846
847 return POSITION_NOT_FOUND;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700848}
849
Linus Torvalds1da177e2005-04-16 15:20:36 -0700850/* Compare given item and item pointed to by the path. */
Jeff Mahoneyd68caa92009-03-30 14:02:49 -0400851int comp_items(const struct item_head *stored_ih, const struct treepath *path)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700852{
Jeff Mahoneyd68caa92009-03-30 14:02:49 -0400853 struct buffer_head *bh = PATH_PLAST_BUFFER(path);
Linus Torvaldsbd4c6252005-07-12 20:21:28 -0700854 struct item_head *ih;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700855
Linus Torvaldsbd4c6252005-07-12 20:21:28 -0700856 /* Last buffer at the path is not in the tree. */
Jeff Mahoneyad31a4f2009-03-30 14:02:46 -0400857 if (!B_IS_IN_TREE(bh))
Linus Torvaldsbd4c6252005-07-12 20:21:28 -0700858 return 1;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700859
Linus Torvaldsbd4c6252005-07-12 20:21:28 -0700860 /* Last path position is invalid. */
Jeff Mahoneyd68caa92009-03-30 14:02:49 -0400861 if (PATH_LAST_POSITION(path) >= B_NR_ITEMS(bh))
Linus Torvaldsbd4c6252005-07-12 20:21:28 -0700862 return 1;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700863
Linus Torvaldsbd4c6252005-07-12 20:21:28 -0700864 /* we need only to know, whether it is the same item */
Jeff Mahoneyd68caa92009-03-30 14:02:49 -0400865 ih = get_ih(path);
Linus Torvaldsbd4c6252005-07-12 20:21:28 -0700866 return memcmp(stored_ih, ih, IH_SIZE);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700867}
868
Linus Torvalds1da177e2005-04-16 15:20:36 -0700869/* unformatted nodes are not logged anymore, ever. This is safe
870** now
871*/
872#define held_by_others(bh) (atomic_read(&(bh)->b_count) > 1)
873
874// block can not be forgotten as it is in I/O or held by someone
875#define block_in_use(bh) (buffer_locked(bh) || (held_by_others(bh)))
876
Linus Torvalds1da177e2005-04-16 15:20:36 -0700877// prepare for delete or cut of direct item
Josef "Jeff" Sipekfec6d052006-12-08 02:36:32 -0800878static inline int prepare_for_direct_item(struct treepath *path,
Linus Torvaldsbd4c6252005-07-12 20:21:28 -0700879 struct item_head *le_ih,
880 struct inode *inode,
881 loff_t new_file_length, int *cut_size)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700882{
Linus Torvaldsbd4c6252005-07-12 20:21:28 -0700883 loff_t round_len;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700884
Linus Torvaldsbd4c6252005-07-12 20:21:28 -0700885 if (new_file_length == max_reiserfs_offset(inode)) {
886 /* item has to be deleted */
887 *cut_size = -(IH_SIZE + ih_item_len(le_ih));
888 return M_DELETE;
889 }
890 // new file gets truncated
891 if (get_inode_item_key_version(inode) == KEY_FORMAT_3_6) {
Jeff Mahoney0222e652009-03-30 14:02:44 -0400892 //
Linus Torvaldsbd4c6252005-07-12 20:21:28 -0700893 round_len = ROUND_UP(new_file_length);
894 /* this was n_new_file_length < le_ih ... */
895 if (round_len < le_ih_k_offset(le_ih)) {
896 *cut_size = -(IH_SIZE + ih_item_len(le_ih));
897 return M_DELETE; /* Delete this item. */
898 }
899 /* Calculate first position and size for cutting from item. */
900 pos_in_item(path) = round_len - (le_ih_k_offset(le_ih) - 1);
901 *cut_size = -(ih_item_len(le_ih) - pos_in_item(path));
Linus Torvalds1da177e2005-04-16 15:20:36 -0700902
Linus Torvaldsbd4c6252005-07-12 20:21:28 -0700903 return M_CUT; /* Cut from this item. */
904 }
905
906 // old file: items may have any length
907
908 if (new_file_length < le_ih_k_offset(le_ih)) {
909 *cut_size = -(IH_SIZE + ih_item_len(le_ih));
910 return M_DELETE; /* Delete this item. */
Linus Torvalds1da177e2005-04-16 15:20:36 -0700911 }
912 /* Calculate first position and size for cutting from item. */
Linus Torvaldsbd4c6252005-07-12 20:21:28 -0700913 *cut_size = -(ih_item_len(le_ih) -
914 (pos_in_item(path) =
915 new_file_length + 1 - le_ih_k_offset(le_ih)));
916 return M_CUT; /* Cut from this item. */
Linus Torvalds1da177e2005-04-16 15:20:36 -0700917}
918
Josef "Jeff" Sipekfec6d052006-12-08 02:36:32 -0800919static inline int prepare_for_direntry_item(struct treepath *path,
Linus Torvaldsbd4c6252005-07-12 20:21:28 -0700920 struct item_head *le_ih,
921 struct inode *inode,
922 loff_t new_file_length,
923 int *cut_size)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700924{
Linus Torvaldsbd4c6252005-07-12 20:21:28 -0700925 if (le_ih_k_offset(le_ih) == DOT_OFFSET &&
926 new_file_length == max_reiserfs_offset(inode)) {
927 RFALSE(ih_entry_count(le_ih) != 2,
928 "PAP-5220: incorrect empty directory item (%h)", le_ih);
929 *cut_size = -(IH_SIZE + ih_item_len(le_ih));
930 return M_DELETE; /* Delete the directory item containing "." and ".." entry. */
931 }
Linus Torvalds1da177e2005-04-16 15:20:36 -0700932
Linus Torvaldsbd4c6252005-07-12 20:21:28 -0700933 if (ih_entry_count(le_ih) == 1) {
934 /* Delete the directory item such as there is one record only
935 in this item */
936 *cut_size = -(IH_SIZE + ih_item_len(le_ih));
937 return M_DELETE;
938 }
939
940 /* Cut one record from the directory item. */
941 *cut_size =
942 -(DEH_SIZE +
943 entry_length(get_last_bh(path), le_ih, pos_in_item(path)));
944 return M_CUT;
945}
Linus Torvalds1da177e2005-04-16 15:20:36 -0700946
Alexander Zarochentzev23f9e0f2006-03-25 03:06:57 -0800947#define JOURNAL_FOR_FREE_BLOCK_AND_UPDATE_SD (2 * JOURNAL_PER_BALANCE_CNT + 1)
948
Linus Torvalds1da177e2005-04-16 15:20:36 -0700949/* If the path points to a directory or direct item, calculate mode and the size cut, for balance.
950 If the path points to an indirect item, remove some number of its unformatted nodes.
951 In case of file truncate calculate whether this item must be deleted/truncated or last
952 unformatted node of this item will be converted to a direct item.
953 This function returns a determination of what balance mode the calling function should employ. */
Jeff Mahoneyd68caa92009-03-30 14:02:49 -0400954static char prepare_for_delete_or_cut(struct reiserfs_transaction_handle *th, struct inode *inode, struct treepath *path, const struct cpu_key *item_key, int *removed, /* Number of unformatted nodes which were removed
Linus Torvaldsbd4c6252005-07-12 20:21:28 -0700955 from end of the file. */
Jeff Mahoneyd68caa92009-03-30 14:02:49 -0400956 int *cut_size, unsigned long long n_new_file_length /* MAX_KEY_OFFSET in case of delete. */
Linus Torvaldsbd4c6252005-07-12 20:21:28 -0700957 )
958{
Jeff Mahoneya9dd3642009-03-30 14:02:45 -0400959 struct super_block *sb = inode->i_sb;
Jeff Mahoneyd68caa92009-03-30 14:02:49 -0400960 struct item_head *p_le_ih = PATH_PITEM_HEAD(path);
961 struct buffer_head *bh = PATH_PLAST_BUFFER(path);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700962
Linus Torvaldsbd4c6252005-07-12 20:21:28 -0700963 BUG_ON(!th->t_trans_id);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700964
Linus Torvaldsbd4c6252005-07-12 20:21:28 -0700965 /* Stat_data item. */
966 if (is_statdata_le_ih(p_le_ih)) {
Linus Torvalds1da177e2005-04-16 15:20:36 -0700967
Linus Torvaldsbd4c6252005-07-12 20:21:28 -0700968 RFALSE(n_new_file_length != max_reiserfs_offset(inode),
969 "PAP-5210: mode must be M_DELETE");
Linus Torvalds1da177e2005-04-16 15:20:36 -0700970
Jeff Mahoneyd68caa92009-03-30 14:02:49 -0400971 *cut_size = -(IH_SIZE + ih_item_len(p_le_ih));
Linus Torvaldsbd4c6252005-07-12 20:21:28 -0700972 return M_DELETE;
973 }
Linus Torvalds1da177e2005-04-16 15:20:36 -0700974
Linus Torvaldsbd4c6252005-07-12 20:21:28 -0700975 /* Directory item. */
976 if (is_direntry_le_ih(p_le_ih))
Jeff Mahoneyd68caa92009-03-30 14:02:49 -0400977 return prepare_for_direntry_item(path, p_le_ih, inode,
Linus Torvaldsbd4c6252005-07-12 20:21:28 -0700978 n_new_file_length,
Jeff Mahoneyd68caa92009-03-30 14:02:49 -0400979 cut_size);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700980
Linus Torvaldsbd4c6252005-07-12 20:21:28 -0700981 /* Direct item. */
982 if (is_direct_le_ih(p_le_ih))
Jeff Mahoneyd68caa92009-03-30 14:02:49 -0400983 return prepare_for_direct_item(path, p_le_ih, inode,
984 n_new_file_length, cut_size);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700985
Linus Torvaldsbd4c6252005-07-12 20:21:28 -0700986 /* Case of an indirect item. */
987 {
Jeff Mahoneya9dd3642009-03-30 14:02:45 -0400988 int blk_size = sb->s_blocksize;
Alexander Zarochentzev23f9e0f2006-03-25 03:06:57 -0800989 struct item_head s_ih;
990 int need_re_search;
991 int delete = 0;
992 int result = M_CUT;
993 int pos = 0;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700994
Alexander Zarochentzev23f9e0f2006-03-25 03:06:57 -0800995 if ( n_new_file_length == max_reiserfs_offset (inode) ) {
996 /* prepare_for_delete_or_cut() is called by
997 * reiserfs_delete_item() */
998 n_new_file_length = 0;
999 delete = 1;
1000 }
Linus Torvalds1da177e2005-04-16 15:20:36 -07001001
Alexander Zarochentzev23f9e0f2006-03-25 03:06:57 -08001002 do {
1003 need_re_search = 0;
Jeff Mahoneyd68caa92009-03-30 14:02:49 -04001004 *cut_size = 0;
1005 bh = PATH_PLAST_BUFFER(path);
1006 copy_item_head(&s_ih, PATH_PITEM_HEAD(path));
Alexander Zarochentzev23f9e0f2006-03-25 03:06:57 -08001007 pos = I_UNFM_NUM(&s_ih);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001008
Alexander Zarochentzev23f9e0f2006-03-25 03:06:57 -08001009 while (le_ih_k_offset (&s_ih) + (pos - 1) * blk_size > n_new_file_length) {
Al Viro87588dd2007-07-26 17:47:03 +01001010 __le32 *unfm;
1011 __u32 block;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001012
Alexander Zarochentzev23f9e0f2006-03-25 03:06:57 -08001013 /* Each unformatted block deletion may involve one additional
1014 * bitmap block into the transaction, thereby the initial
1015 * journal space reservation might not be enough. */
Jeff Mahoneyd68caa92009-03-30 14:02:49 -04001016 if (!delete && (*cut_size) != 0 &&
1017 reiserfs_transaction_free_space(th) < JOURNAL_FOR_FREE_BLOCK_AND_UPDATE_SD)
Alexander Zarochentzev23f9e0f2006-03-25 03:06:57 -08001018 break;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001019
Jeff Mahoneyad31a4f2009-03-30 14:02:46 -04001020 unfm = (__le32 *)B_I_PITEM(bh, &s_ih) + pos - 1;
Alexander Zarochentzev23f9e0f2006-03-25 03:06:57 -08001021 block = get_block_num(unfm, 0);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001022
Alexander Zarochentzev23f9e0f2006-03-25 03:06:57 -08001023 if (block != 0) {
Jeff Mahoneyad31a4f2009-03-30 14:02:46 -04001024 reiserfs_prepare_for_journal(sb, bh, 1);
Alexander Zarochentzev23f9e0f2006-03-25 03:06:57 -08001025 put_block_num(unfm, 0, 0);
Jeff Mahoneyad31a4f2009-03-30 14:02:46 -04001026 journal_mark_dirty(th, sb, bh);
Alexander Zarochentzev23f9e0f2006-03-25 03:06:57 -08001027 reiserfs_free_block(th, inode, block, 1);
1028 }
Linus Torvalds1da177e2005-04-16 15:20:36 -07001029
Alexander Zarochentzev23f9e0f2006-03-25 03:06:57 -08001030 cond_resched();
Linus Torvalds1da177e2005-04-16 15:20:36 -07001031
Jeff Mahoneyd68caa92009-03-30 14:02:49 -04001032 if (item_moved (&s_ih, path)) {
Alexander Zarochentzev23f9e0f2006-03-25 03:06:57 -08001033 need_re_search = 1;
1034 break;
1035 }
Linus Torvalds1da177e2005-04-16 15:20:36 -07001036
Alexander Zarochentzev23f9e0f2006-03-25 03:06:57 -08001037 pos --;
Jeff Mahoneyd68caa92009-03-30 14:02:49 -04001038 (*removed)++;
1039 (*cut_size) -= UNFM_P_SIZE;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001040
Alexander Zarochentzev23f9e0f2006-03-25 03:06:57 -08001041 if (pos == 0) {
Jeff Mahoneyd68caa92009-03-30 14:02:49 -04001042 (*cut_size) -= IH_SIZE;
Alexander Zarochentzev23f9e0f2006-03-25 03:06:57 -08001043 result = M_DELETE;
1044 break;
1045 }
1046 }
1047 /* a trick. If the buffer has been logged, this will do nothing. If
1048 ** we've broken the loop without logging it, it will restore the
1049 ** buffer */
Jeff Mahoneyad31a4f2009-03-30 14:02:46 -04001050 reiserfs_restore_prepared_buffer(sb, bh);
Alexander Zarochentzev23f9e0f2006-03-25 03:06:57 -08001051 } while (need_re_search &&
Jeff Mahoneyd68caa92009-03-30 14:02:49 -04001052 search_for_position_by_key(sb, item_key, path) == POSITION_FOUND);
1053 pos_in_item(path) = pos * UNFM_P_SIZE;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001054
Jeff Mahoneyd68caa92009-03-30 14:02:49 -04001055 if (*cut_size == 0) {
Alexander Zarochentzev23f9e0f2006-03-25 03:06:57 -08001056 /* Nothing were cut. maybe convert last unformatted node to the
1057 * direct item? */
1058 result = M_CONVERT;
1059 }
1060 return result;
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07001061 }
Linus Torvalds1da177e2005-04-16 15:20:36 -07001062}
1063
1064/* Calculate number of bytes which will be deleted or cut during balance */
Jeff Mahoneya063ae12009-03-30 14:02:48 -04001065static int calc_deleted_bytes_number(struct tree_balance *tb, char c_mode)
Linus Torvalds1da177e2005-04-16 15:20:36 -07001066{
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07001067 int n_del_size;
Jeff Mahoneya063ae12009-03-30 14:02:48 -04001068 struct item_head *p_le_ih = PATH_PITEM_HEAD(tb->tb_path);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001069
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07001070 if (is_statdata_le_ih(p_le_ih))
1071 return 0;
1072
1073 n_del_size =
1074 (c_mode ==
Jeff Mahoneya063ae12009-03-30 14:02:48 -04001075 M_DELETE) ? ih_item_len(p_le_ih) : -tb->insert_size[0];
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07001076 if (is_direntry_le_ih(p_le_ih)) {
1077 // return EMPTY_DIR_SIZE; /* We delete emty directoris only. */
1078 // we can't use EMPTY_DIR_SIZE, as old format dirs have a different
1079 // empty size. ick. FIXME, is this right?
1080 //
1081 return n_del_size;
1082 }
1083
1084 if (is_indirect_le_ih(p_le_ih))
Jeff Mahoneya063ae12009-03-30 14:02:48 -04001085 n_del_size = (n_del_size / UNFM_P_SIZE) *
1086 (PATH_PLAST_BUFFER(tb->tb_path)->b_size);
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07001087 return n_del_size;
1088}
1089
1090static void init_tb_struct(struct reiserfs_transaction_handle *th,
Jeff Mahoneya063ae12009-03-30 14:02:48 -04001091 struct tree_balance *tb,
Jeff Mahoneya9dd3642009-03-30 14:02:45 -04001092 struct super_block *sb,
Jeff Mahoneyd68caa92009-03-30 14:02:49 -04001093 struct treepath *path, int n_size)
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07001094{
1095
1096 BUG_ON(!th->t_trans_id);
1097
Jeff Mahoneya063ae12009-03-30 14:02:48 -04001098 memset(tb, '\0', sizeof(struct tree_balance));
1099 tb->transaction_handle = th;
1100 tb->tb_sb = sb;
Jeff Mahoneyd68caa92009-03-30 14:02:49 -04001101 tb->tb_path = path;
1102 PATH_OFFSET_PBUFFER(path, ILLEGAL_PATH_ELEMENT_OFFSET) = NULL;
1103 PATH_OFFSET_POSITION(path, ILLEGAL_PATH_ELEMENT_OFFSET) = 0;
Jeff Mahoneya063ae12009-03-30 14:02:48 -04001104 tb->insert_size[0] = n_size;
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07001105}
1106
1107void padd_item(char *item, int total_length, int length)
1108{
1109 int i;
1110
1111 for (i = total_length; i > length;)
1112 item[--i] = 0;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001113}
1114
1115#ifdef REISERQUOTA_DEBUG
1116char key2type(struct reiserfs_key *ih)
1117{
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07001118 if (is_direntry_le_key(2, ih))
1119 return 'd';
1120 if (is_direct_le_key(2, ih))
1121 return 'D';
1122 if (is_indirect_le_key(2, ih))
1123 return 'i';
1124 if (is_statdata_le_key(2, ih))
1125 return 's';
1126 return 'u';
Linus Torvalds1da177e2005-04-16 15:20:36 -07001127}
1128
1129char head2type(struct item_head *ih)
1130{
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07001131 if (is_direntry_le_ih(ih))
1132 return 'd';
1133 if (is_direct_le_ih(ih))
1134 return 'D';
1135 if (is_indirect_le_ih(ih))
1136 return 'i';
1137 if (is_statdata_le_ih(ih))
1138 return 's';
1139 return 'u';
Linus Torvalds1da177e2005-04-16 15:20:36 -07001140}
1141#endif
1142
Jeff Mahoneyd68caa92009-03-30 14:02:49 -04001143/* Delete object item.
1144 * th - active transaction handle
1145 * path - path to the deleted item
1146 * item_key - key to search for the deleted item
1147 * indode - used for updating i_blocks and quotas
1148 * un_bh - NULL or unformatted node pointer
1149 */
1150int reiserfs_delete_item(struct reiserfs_transaction_handle *th,
1151 struct treepath *path, const struct cpu_key *item_key,
1152 struct inode *inode, struct buffer_head *un_bh)
1153{
Jeff Mahoney995c7622009-03-30 14:02:47 -04001154 struct super_block *sb = inode->i_sb;
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07001155 struct tree_balance s_del_balance;
1156 struct item_head s_ih;
1157 struct item_head *q_ih;
1158 int quota_cut_bytes;
1159 int n_ret_value, n_del_size, n_removed;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001160
1161#ifdef CONFIG_REISERFS_CHECK
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07001162 char c_mode;
1163 int n_iter = 0;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001164#endif
1165
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07001166 BUG_ON(!th->t_trans_id);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001167
Jeff Mahoneyd68caa92009-03-30 14:02:49 -04001168 init_tb_struct(th, &s_del_balance, sb, path,
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07001169 0 /*size is unknown */ );
Linus Torvalds1da177e2005-04-16 15:20:36 -07001170
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07001171 while (1) {
1172 n_removed = 0;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001173
1174#ifdef CONFIG_REISERFS_CHECK
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07001175 n_iter++;
1176 c_mode =
Linus Torvalds1da177e2005-04-16 15:20:36 -07001177#endif
Jeff Mahoneyd68caa92009-03-30 14:02:49 -04001178 prepare_for_delete_or_cut(th, inode, path,
1179 item_key, &n_removed,
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07001180 &n_del_size,
Jeff Mahoney995c7622009-03-30 14:02:47 -04001181 max_reiserfs_offset(inode));
Linus Torvalds1da177e2005-04-16 15:20:36 -07001182
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07001183 RFALSE(c_mode != M_DELETE, "PAP-5320: mode must be M_DELETE");
Linus Torvalds1da177e2005-04-16 15:20:36 -07001184
Jeff Mahoneyd68caa92009-03-30 14:02:49 -04001185 copy_item_head(&s_ih, PATH_PITEM_HEAD(path));
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07001186 s_del_balance.insert_size[0] = n_del_size;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001187
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07001188 n_ret_value = fix_nodes(M_DELETE, &s_del_balance, NULL, NULL);
1189 if (n_ret_value != REPEAT_SEARCH)
1190 break;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001191
Jeff Mahoneya9dd3642009-03-30 14:02:45 -04001192 PROC_INFO_INC(sb, delete_item_restarted);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001193
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07001194 // file system changed, repeat search
1195 n_ret_value =
Jeff Mahoneyd68caa92009-03-30 14:02:49 -04001196 search_for_position_by_key(sb, item_key, path);
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07001197 if (n_ret_value == IO_ERROR)
1198 break;
1199 if (n_ret_value == FILE_NOT_FOUND) {
Jeff Mahoneya9dd3642009-03-30 14:02:45 -04001200 reiserfs_warning(sb, "vs-5340",
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07001201 "no items of the file %K found",
Jeff Mahoneyd68caa92009-03-30 14:02:49 -04001202 item_key);
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07001203 break;
1204 }
1205 } /* while (1) */
1206
1207 if (n_ret_value != CARRY_ON) {
1208 unfix_nodes(&s_del_balance);
1209 return 0;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001210 }
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07001211 // reiserfs_delete_item returns item length when success
1212 n_ret_value = calc_deleted_bytes_number(&s_del_balance, M_DELETE);
Jeff Mahoneyd68caa92009-03-30 14:02:49 -04001213 q_ih = get_ih(path);
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07001214 quota_cut_bytes = ih_item_len(q_ih);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001215
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07001216 /* hack so the quota code doesn't have to guess if the file
1217 ** has a tail. On tail insert, we allocate quota for 1 unformatted node.
1218 ** We test the offset because the tail might have been
1219 ** split into multiple items, and we only want to decrement for
1220 ** the unfm node once
1221 */
Jeff Mahoney995c7622009-03-30 14:02:47 -04001222 if (!S_ISLNK(inode->i_mode) && is_direct_le_ih(q_ih)) {
Jeff Mahoneya9dd3642009-03-30 14:02:45 -04001223 if ((le_ih_k_offset(q_ih) & (sb->s_blocksize - 1)) == 1) {
1224 quota_cut_bytes = sb->s_blocksize + UNFM_P_SIZE;
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07001225 } else {
1226 quota_cut_bytes = 0;
1227 }
Linus Torvalds1da177e2005-04-16 15:20:36 -07001228 }
Linus Torvalds1da177e2005-04-16 15:20:36 -07001229
Jeff Mahoneyd68caa92009-03-30 14:02:49 -04001230 if (un_bh) {
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07001231 int off;
1232 char *data;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001233
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07001234 /* We are in direct2indirect conversion, so move tail contents
1235 to the unformatted node */
1236 /* note, we do the copy before preparing the buffer because we
1237 ** don't care about the contents of the unformatted node yet.
1238 ** the only thing we really care about is the direct item's data
1239 ** is in the unformatted node.
1240 **
1241 ** Otherwise, we would have to call reiserfs_prepare_for_journal on
1242 ** the unformatted node, which might schedule, meaning we'd have to
1243 ** loop all the way back up to the start of the while loop.
1244 **
1245 ** The unformatted node must be dirtied later on. We can't be
1246 ** sure here if the entire tail has been deleted yet.
1247 **
Jeff Mahoneyd68caa92009-03-30 14:02:49 -04001248 ** un_bh is from the page cache (all unformatted nodes are
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07001249 ** from the page cache) and might be a highmem page. So, we
Jeff Mahoneyd68caa92009-03-30 14:02:49 -04001250 ** can't use un_bh->b_data.
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07001251 ** -clm
1252 */
Linus Torvalds1da177e2005-04-16 15:20:36 -07001253
Jeff Mahoneyd68caa92009-03-30 14:02:49 -04001254 data = kmap_atomic(un_bh->b_page, KM_USER0);
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07001255 off = ((le_ih_k_offset(&s_ih) - 1) & (PAGE_CACHE_SIZE - 1));
1256 memcpy(data + off,
Jeff Mahoneyd68caa92009-03-30 14:02:49 -04001257 B_I_PITEM(PATH_PLAST_BUFFER(path), &s_ih),
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07001258 n_ret_value);
1259 kunmap_atomic(data, KM_USER0);
1260 }
1261 /* Perform balancing after all resources have been collected at once. */
1262 do_balance(&s_del_balance, NULL, NULL, M_DELETE);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001263
1264#ifdef REISERQUOTA_DEBUG
Jeff Mahoneya9dd3642009-03-30 14:02:45 -04001265 reiserfs_debug(sb, REISERFS_DEBUG_CODE,
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07001266 "reiserquota delete_item(): freeing %u, id=%u type=%c",
Jeff Mahoney995c7622009-03-30 14:02:47 -04001267 quota_cut_bytes, inode->i_uid, head2type(&s_ih));
Linus Torvalds1da177e2005-04-16 15:20:36 -07001268#endif
Jeff Mahoney995c7622009-03-30 14:02:47 -04001269 DQUOT_FREE_SPACE_NODIRTY(inode, quota_cut_bytes);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001270
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07001271 /* Return deleted body length */
1272 return n_ret_value;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001273}
1274
Linus Torvalds1da177e2005-04-16 15:20:36 -07001275/* Summary Of Mechanisms For Handling Collisions Between Processes:
1276
1277 deletion of the body of the object is performed by iput(), with the
1278 result that if multiple processes are operating on a file, the
1279 deletion of the body of the file is deferred until the last process
1280 that has an open inode performs its iput().
1281
1282 writes and truncates are protected from collisions by use of
1283 semaphores.
1284
1285 creates, linking, and mknod are protected from collisions with other
1286 processes by making the reiserfs_add_entry() the last step in the
1287 creation, and then rolling back all changes if there was a collision.
1288 - Hans
1289*/
1290
Linus Torvalds1da177e2005-04-16 15:20:36 -07001291/* this deletes item which never gets split */
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07001292void reiserfs_delete_solid_item(struct reiserfs_transaction_handle *th,
1293 struct inode *inode, struct reiserfs_key *key)
Linus Torvalds1da177e2005-04-16 15:20:36 -07001294{
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07001295 struct tree_balance tb;
1296 INITIALIZE_PATH(path);
1297 int item_len = 0;
1298 int tb_init = 0;
1299 struct cpu_key cpu_key;
1300 int retval;
1301 int quota_cut_bytes = 0;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001302
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07001303 BUG_ON(!th->t_trans_id);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001304
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07001305 le_key2cpu_key(&cpu_key, key);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001306
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07001307 while (1) {
1308 retval = search_item(th->t_super, &cpu_key, &path);
1309 if (retval == IO_ERROR) {
Jeff Mahoney0030b642009-03-30 14:02:28 -04001310 reiserfs_error(th->t_super, "vs-5350",
1311 "i/o failure occurred trying "
1312 "to delete %K", &cpu_key);
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07001313 break;
1314 }
1315 if (retval != ITEM_FOUND) {
1316 pathrelse(&path);
1317 // No need for a warning, if there is just no free space to insert '..' item into the newly-created subdir
1318 if (!
1319 ((unsigned long long)
1320 GET_HASH_VALUE(le_key_k_offset
1321 (le_key_version(key), key)) == 0
1322 && (unsigned long long)
1323 GET_GENERATION_NUMBER(le_key_k_offset
1324 (le_key_version(key),
1325 key)) == 1))
Jeff Mahoney45b03d52009-03-30 14:02:21 -04001326 reiserfs_warning(th->t_super, "vs-5355",
1327 "%k not found", key);
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07001328 break;
1329 }
1330 if (!tb_init) {
1331 tb_init = 1;
1332 item_len = ih_item_len(PATH_PITEM_HEAD(&path));
1333 init_tb_struct(th, &tb, th->t_super, &path,
1334 -(IH_SIZE + item_len));
1335 }
1336 quota_cut_bytes = ih_item_len(PATH_PITEM_HEAD(&path));
1337
1338 retval = fix_nodes(M_DELETE, &tb, NULL, NULL);
1339 if (retval == REPEAT_SEARCH) {
1340 PROC_INFO_INC(th->t_super, delete_solid_item_restarted);
1341 continue;
1342 }
1343
1344 if (retval == CARRY_ON) {
1345 do_balance(&tb, NULL, NULL, M_DELETE);
1346 if (inode) { /* Should we count quota for item? (we don't count quotas for save-links) */
Linus Torvalds1da177e2005-04-16 15:20:36 -07001347#ifdef REISERQUOTA_DEBUG
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07001348 reiserfs_debug(th->t_super, REISERFS_DEBUG_CODE,
1349 "reiserquota delete_solid_item(): freeing %u id=%u type=%c",
1350 quota_cut_bytes, inode->i_uid,
1351 key2type(key));
Linus Torvalds1da177e2005-04-16 15:20:36 -07001352#endif
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07001353 DQUOT_FREE_SPACE_NODIRTY(inode,
1354 quota_cut_bytes);
1355 }
1356 break;
1357 }
1358 // IO_ERROR, NO_DISK_SPACE, etc
Jeff Mahoney45b03d52009-03-30 14:02:21 -04001359 reiserfs_warning(th->t_super, "vs-5360",
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07001360 "could not delete %K due to fix_nodes failure",
1361 &cpu_key);
1362 unfix_nodes(&tb);
1363 break;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001364 }
1365
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07001366 reiserfs_check_path(&path);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001367}
1368
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07001369int reiserfs_delete_object(struct reiserfs_transaction_handle *th,
1370 struct inode *inode)
Linus Torvalds1da177e2005-04-16 15:20:36 -07001371{
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07001372 int err;
1373 inode->i_size = 0;
1374 BUG_ON(!th->t_trans_id);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001375
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07001376 /* for directory this deletes item containing "." and ".." */
1377 err =
1378 reiserfs_do_truncate(th, inode, NULL, 0 /*no timestamp updates */ );
1379 if (err)
1380 return err;
1381
Linus Torvalds1da177e2005-04-16 15:20:36 -07001382#if defined( USE_INODE_GENERATION_COUNTER )
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07001383 if (!old_format_only(th->t_super)) {
1384 __le32 *inode_generation;
1385
1386 inode_generation =
1387 &REISERFS_SB(th->t_super)->s_rs->s_inode_generation;
Marcin Slusarz9e902df2008-04-28 02:16:20 -07001388 le32_add_cpu(inode_generation, 1);
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07001389 }
Linus Torvalds1da177e2005-04-16 15:20:36 -07001390/* USE_INODE_GENERATION_COUNTER */
1391#endif
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07001392 reiserfs_delete_solid_item(th, inode, INODE_PKEY(inode));
Linus Torvalds1da177e2005-04-16 15:20:36 -07001393
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07001394 return err;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001395}
1396
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07001397static void unmap_buffers(struct page *page, loff_t pos)
1398{
1399 struct buffer_head *bh;
1400 struct buffer_head *head;
1401 struct buffer_head *next;
1402 unsigned long tail_index;
1403 unsigned long cur_index;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001404
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07001405 if (page) {
1406 if (page_has_buffers(page)) {
1407 tail_index = pos & (PAGE_CACHE_SIZE - 1);
1408 cur_index = 0;
1409 head = page_buffers(page);
1410 bh = head;
1411 do {
1412 next = bh->b_this_page;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001413
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07001414 /* we want to unmap the buffers that contain the tail, and
1415 ** all the buffers after it (since the tail must be at the
1416 ** end of the file). We don't want to unmap file data
1417 ** before the tail, since it might be dirty and waiting to
1418 ** reach disk
1419 */
1420 cur_index += bh->b_size;
1421 if (cur_index > tail_index) {
1422 reiserfs_unmap_buffer(bh);
1423 }
1424 bh = next;
1425 } while (bh != head);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001426 }
Linus Torvalds1da177e2005-04-16 15:20:36 -07001427 }
Linus Torvalds1da177e2005-04-16 15:20:36 -07001428}
1429
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07001430static int maybe_indirect_to_direct(struct reiserfs_transaction_handle *th,
Jeff Mahoney995c7622009-03-30 14:02:47 -04001431 struct inode *inode,
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07001432 struct page *page,
Jeff Mahoneyd68caa92009-03-30 14:02:49 -04001433 struct treepath *path,
1434 const struct cpu_key *item_key,
1435 loff_t n_new_file_size, char *mode)
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07001436{
Jeff Mahoney995c7622009-03-30 14:02:47 -04001437 struct super_block *sb = inode->i_sb;
Jeff Mahoneya9dd3642009-03-30 14:02:45 -04001438 int n_block_size = sb->s_blocksize;
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07001439 int cut_bytes;
1440 BUG_ON(!th->t_trans_id);
Jeff Mahoney995c7622009-03-30 14:02:47 -04001441 BUG_ON(n_new_file_size != inode->i_size);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001442
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07001443 /* the page being sent in could be NULL if there was an i/o error
1444 ** reading in the last block. The user will hit problems trying to
1445 ** read the file, but for now we just skip the indirect2direct
1446 */
Jeff Mahoney995c7622009-03-30 14:02:47 -04001447 if (atomic_read(&inode->i_count) > 1 ||
1448 !tail_has_to_be_packed(inode) ||
1449 !page || (REISERFS_I(inode)->i_flags & i_nopack_mask)) {
Jeff Mahoney0222e652009-03-30 14:02:44 -04001450 /* leave tail in an unformatted node */
Jeff Mahoneyd68caa92009-03-30 14:02:49 -04001451 *mode = M_SKIP_BALANCING;
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07001452 cut_bytes =
1453 n_block_size - (n_new_file_size & (n_block_size - 1));
Jeff Mahoneyd68caa92009-03-30 14:02:49 -04001454 pathrelse(path);
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07001455 return cut_bytes;
1456 }
Jeff Mahoneyd68caa92009-03-30 14:02:49 -04001457 /* Perform the conversion to a direct_item. */
1458 /* return indirect_to_direct(inode, path, item_key,
1459 n_new_file_size, mode); */
1460 return indirect2direct(th, inode, page, path, item_key,
1461 n_new_file_size, mode);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001462}
1463
Linus Torvalds1da177e2005-04-16 15:20:36 -07001464/* we did indirect_to_direct conversion. And we have inserted direct
1465 item successesfully, but there were no disk space to cut unfm
1466 pointer being converted. Therefore we have to delete inserted
1467 direct item(s) */
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07001468static void indirect_to_direct_roll_back(struct reiserfs_transaction_handle *th,
Josef "Jeff" Sipekfec6d052006-12-08 02:36:32 -08001469 struct inode *inode, struct treepath *path)
Linus Torvalds1da177e2005-04-16 15:20:36 -07001470{
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07001471 struct cpu_key tail_key;
1472 int tail_len;
1473 int removed;
1474 BUG_ON(!th->t_trans_id);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001475
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07001476 make_cpu_key(&tail_key, inode, inode->i_size + 1, TYPE_DIRECT, 4); // !!!!
1477 tail_key.key_length = 4;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001478
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07001479 tail_len =
1480 (cpu_key_k_offset(&tail_key) & (inode->i_sb->s_blocksize - 1)) - 1;
1481 while (tail_len) {
1482 /* look for the last byte of the tail */
1483 if (search_for_position_by_key(inode->i_sb, &tail_key, path) ==
1484 POSITION_NOT_FOUND)
Jeff Mahoneyc3a9c212009-03-30 14:02:25 -04001485 reiserfs_panic(inode->i_sb, "vs-5615",
1486 "found invalid item");
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07001487 RFALSE(path->pos_in_item !=
1488 ih_item_len(PATH_PITEM_HEAD(path)) - 1,
1489 "vs-5616: appended bytes found");
1490 PATH_LAST_POSITION(path)--;
1491
1492 removed =
1493 reiserfs_delete_item(th, path, &tail_key, inode,
1494 NULL /*unbh not needed */ );
1495 RFALSE(removed <= 0
1496 || removed > tail_len,
1497 "vs-5617: there was tail %d bytes, removed item length %d bytes",
1498 tail_len, removed);
1499 tail_len -= removed;
1500 set_cpu_key_k_offset(&tail_key,
1501 cpu_key_k_offset(&tail_key) - removed);
1502 }
Jeff Mahoney45b03d52009-03-30 14:02:21 -04001503 reiserfs_warning(inode->i_sb, "reiserfs-5091", "indirect_to_direct "
1504 "conversion has been rolled back due to "
1505 "lack of disk space");
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07001506 //mark_file_without_tail (inode);
1507 mark_inode_dirty(inode);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001508}
1509
Linus Torvalds1da177e2005-04-16 15:20:36 -07001510/* (Truncate or cut entry) or delete object item. Returns < 0 on failure */
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07001511int reiserfs_cut_from_item(struct reiserfs_transaction_handle *th,
Jeff Mahoneyd68caa92009-03-30 14:02:49 -04001512 struct treepath *path,
1513 struct cpu_key *item_key,
Jeff Mahoney995c7622009-03-30 14:02:47 -04001514 struct inode *inode,
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07001515 struct page *page, loff_t n_new_file_size)
Linus Torvalds1da177e2005-04-16 15:20:36 -07001516{
Jeff Mahoney995c7622009-03-30 14:02:47 -04001517 struct super_block *sb = inode->i_sb;
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07001518 /* Every function which is going to call do_balance must first
1519 create a tree_balance structure. Then it must fill up this
1520 structure by using the init_tb_struct and fix_nodes functions.
1521 After that we can make tree balancing. */
1522 struct tree_balance s_cut_balance;
1523 struct item_head *p_le_ih;
1524 int n_cut_size = 0, /* Amount to be cut. */
1525 n_ret_value = CARRY_ON, n_removed = 0, /* Number of the removed unformatted nodes. */
1526 n_is_inode_locked = 0;
1527 char c_mode; /* Mode of the balance. */
1528 int retval2 = -1;
1529 int quota_cut_bytes;
1530 loff_t tail_pos = 0;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001531
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07001532 BUG_ON(!th->t_trans_id);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001533
Jeff Mahoneyd68caa92009-03-30 14:02:49 -04001534 init_tb_struct(th, &s_cut_balance, inode->i_sb, path,
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07001535 n_cut_size);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001536
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07001537 /* Repeat this loop until we either cut the item without needing
1538 to balance, or we fix_nodes without schedule occurring */
1539 while (1) {
1540 /* Determine the balance mode, position of the first byte to
1541 be cut, and size to be cut. In case of the indirect item
1542 free unformatted nodes which are pointed to by the cut
1543 pointers. */
Linus Torvalds1da177e2005-04-16 15:20:36 -07001544
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07001545 c_mode =
Jeff Mahoneyd68caa92009-03-30 14:02:49 -04001546 prepare_for_delete_or_cut(th, inode, path,
1547 item_key, &n_removed,
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07001548 &n_cut_size, n_new_file_size);
1549 if (c_mode == M_CONVERT) {
1550 /* convert last unformatted node to direct item or leave
1551 tail in the unformatted node */
1552 RFALSE(n_ret_value != CARRY_ON,
1553 "PAP-5570: can not convert twice");
Linus Torvalds1da177e2005-04-16 15:20:36 -07001554
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07001555 n_ret_value =
Jeff Mahoney995c7622009-03-30 14:02:47 -04001556 maybe_indirect_to_direct(th, inode, page,
Jeff Mahoneyd68caa92009-03-30 14:02:49 -04001557 path, item_key,
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07001558 n_new_file_size, &c_mode);
1559 if (c_mode == M_SKIP_BALANCING)
1560 /* tail has been left in the unformatted node */
1561 return n_ret_value;
1562
1563 n_is_inode_locked = 1;
1564
1565 /* removing of last unformatted node will change value we
1566 have to return to truncate. Save it */
1567 retval2 = n_ret_value;
Jeff Mahoneya9dd3642009-03-30 14:02:45 -04001568 /*retval2 = sb->s_blocksize - (n_new_file_size & (sb->s_blocksize - 1)); */
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07001569
1570 /* So, we have performed the first part of the conversion:
1571 inserting the new direct item. Now we are removing the
1572 last unformatted node pointer. Set key to search for
1573 it. */
Jeff Mahoneyd68caa92009-03-30 14:02:49 -04001574 set_cpu_key_k_type(item_key, TYPE_INDIRECT);
1575 item_key->key_length = 4;
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07001576 n_new_file_size -=
Jeff Mahoneya9dd3642009-03-30 14:02:45 -04001577 (n_new_file_size & (sb->s_blocksize - 1));
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07001578 tail_pos = n_new_file_size;
Jeff Mahoneyd68caa92009-03-30 14:02:49 -04001579 set_cpu_key_k_offset(item_key, n_new_file_size + 1);
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07001580 if (search_for_position_by_key
Jeff Mahoneyd68caa92009-03-30 14:02:49 -04001581 (sb, item_key,
1582 path) == POSITION_NOT_FOUND) {
1583 print_block(PATH_PLAST_BUFFER(path), 3,
1584 PATH_LAST_POSITION(path) - 1,
1585 PATH_LAST_POSITION(path) + 1);
Jeff Mahoneya9dd3642009-03-30 14:02:45 -04001586 reiserfs_panic(sb, "PAP-5580", "item to "
Jeff Mahoneyc3a9c212009-03-30 14:02:25 -04001587 "convert does not exist (%K)",
Jeff Mahoneyd68caa92009-03-30 14:02:49 -04001588 item_key);
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07001589 }
1590 continue;
1591 }
1592 if (n_cut_size == 0) {
Jeff Mahoneyd68caa92009-03-30 14:02:49 -04001593 pathrelse(path);
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07001594 return 0;
1595 }
1596
1597 s_cut_balance.insert_size[0] = n_cut_size;
1598
1599 n_ret_value = fix_nodes(c_mode, &s_cut_balance, NULL, NULL);
1600 if (n_ret_value != REPEAT_SEARCH)
1601 break;
1602
Jeff Mahoneya9dd3642009-03-30 14:02:45 -04001603 PROC_INFO_INC(sb, cut_from_item_restarted);
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07001604
1605 n_ret_value =
Jeff Mahoneyd68caa92009-03-30 14:02:49 -04001606 search_for_position_by_key(sb, item_key, path);
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07001607 if (n_ret_value == POSITION_FOUND)
1608 continue;
1609
Jeff Mahoneya9dd3642009-03-30 14:02:45 -04001610 reiserfs_warning(sb, "PAP-5610", "item %K not found",
Jeff Mahoneyd68caa92009-03-30 14:02:49 -04001611 item_key);
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07001612 unfix_nodes(&s_cut_balance);
1613 return (n_ret_value == IO_ERROR) ? -EIO : -ENOENT;
1614 } /* while */
1615
1616 // check fix_nodes results (IO_ERROR or NO_DISK_SPACE)
1617 if (n_ret_value != CARRY_ON) {
1618 if (n_is_inode_locked) {
1619 // FIXME: this seems to be not needed: we are always able
1620 // to cut item
Jeff Mahoneyd68caa92009-03-30 14:02:49 -04001621 indirect_to_direct_roll_back(th, inode, path);
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07001622 }
1623 if (n_ret_value == NO_DISK_SPACE)
Jeff Mahoneya9dd3642009-03-30 14:02:45 -04001624 reiserfs_warning(sb, "reiserfs-5092",
Jeff Mahoney45b03d52009-03-30 14:02:21 -04001625 "NO_DISK_SPACE");
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07001626 unfix_nodes(&s_cut_balance);
1627 return -EIO;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001628 }
1629
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07001630 /* go ahead and perform balancing */
Linus Torvalds1da177e2005-04-16 15:20:36 -07001631
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07001632 RFALSE(c_mode == M_PASTE || c_mode == M_INSERT, "invalid mode");
Linus Torvalds1da177e2005-04-16 15:20:36 -07001633
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07001634 /* Calculate number of bytes that need to be cut from the item. */
1635 quota_cut_bytes =
1636 (c_mode ==
Jeff Mahoneyd68caa92009-03-30 14:02:49 -04001637 M_DELETE) ? ih_item_len(get_ih(path)) : -s_cut_balance.
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07001638 insert_size[0];
1639 if (retval2 == -1)
1640 n_ret_value = calc_deleted_bytes_number(&s_cut_balance, c_mode);
1641 else
1642 n_ret_value = retval2;
1643
1644 /* For direct items, we only change the quota when deleting the last
1645 ** item.
1646 */
1647 p_le_ih = PATH_PITEM_HEAD(s_cut_balance.tb_path);
Jeff Mahoney995c7622009-03-30 14:02:47 -04001648 if (!S_ISLNK(inode->i_mode) && is_direct_le_ih(p_le_ih)) {
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07001649 if (c_mode == M_DELETE &&
Jeff Mahoneya9dd3642009-03-30 14:02:45 -04001650 (le_ih_k_offset(p_le_ih) & (sb->s_blocksize - 1)) ==
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07001651 1) {
1652 // FIXME: this is to keep 3.5 happy
Jeff Mahoney995c7622009-03-30 14:02:47 -04001653 REISERFS_I(inode)->i_first_direct_byte = U32_MAX;
Jeff Mahoneya9dd3642009-03-30 14:02:45 -04001654 quota_cut_bytes = sb->s_blocksize + UNFM_P_SIZE;
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07001655 } else {
1656 quota_cut_bytes = 0;
1657 }
Linus Torvalds1da177e2005-04-16 15:20:36 -07001658 }
Linus Torvalds1da177e2005-04-16 15:20:36 -07001659#ifdef CONFIG_REISERFS_CHECK
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07001660 if (n_is_inode_locked) {
1661 struct item_head *le_ih =
1662 PATH_PITEM_HEAD(s_cut_balance.tb_path);
1663 /* we are going to complete indirect2direct conversion. Make
1664 sure, that we exactly remove last unformatted node pointer
1665 of the item */
1666 if (!is_indirect_le_ih(le_ih))
Jeff Mahoneya9dd3642009-03-30 14:02:45 -04001667 reiserfs_panic(sb, "vs-5652",
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07001668 "item must be indirect %h", le_ih);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001669
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07001670 if (c_mode == M_DELETE && ih_item_len(le_ih) != UNFM_P_SIZE)
Jeff Mahoneya9dd3642009-03-30 14:02:45 -04001671 reiserfs_panic(sb, "vs-5653", "completing "
Jeff Mahoneyc3a9c212009-03-30 14:02:25 -04001672 "indirect2direct conversion indirect "
1673 "item %h being deleted must be of "
1674 "4 byte long", le_ih);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001675
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07001676 if (c_mode == M_CUT
1677 && s_cut_balance.insert_size[0] != -UNFM_P_SIZE) {
Jeff Mahoneya9dd3642009-03-30 14:02:45 -04001678 reiserfs_panic(sb, "vs-5654", "can not complete "
Jeff Mahoneyc3a9c212009-03-30 14:02:25 -04001679 "indirect2direct conversion of %h "
1680 "(CUT, insert_size==%d)",
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07001681 le_ih, s_cut_balance.insert_size[0]);
1682 }
1683 /* it would be useful to make sure, that right neighboring
1684 item is direct item of this file */
Linus Torvalds1da177e2005-04-16 15:20:36 -07001685 }
Linus Torvalds1da177e2005-04-16 15:20:36 -07001686#endif
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07001687
1688 do_balance(&s_cut_balance, NULL, NULL, c_mode);
1689 if (n_is_inode_locked) {
1690 /* we've done an indirect->direct conversion. when the data block
1691 ** was freed, it was removed from the list of blocks that must
1692 ** be flushed before the transaction commits, make sure to
1693 ** unmap and invalidate it
1694 */
1695 unmap_buffers(page, tail_pos);
Jeff Mahoney995c7622009-03-30 14:02:47 -04001696 REISERFS_I(inode)->i_flags &= ~i_pack_on_close_mask;
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07001697 }
Linus Torvalds1da177e2005-04-16 15:20:36 -07001698#ifdef REISERQUOTA_DEBUG
Jeff Mahoney995c7622009-03-30 14:02:47 -04001699 reiserfs_debug(inode->i_sb, REISERFS_DEBUG_CODE,
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07001700 "reiserquota cut_from_item(): freeing %u id=%u type=%c",
Jeff Mahoney995c7622009-03-30 14:02:47 -04001701 quota_cut_bytes, inode->i_uid, '?');
Linus Torvalds1da177e2005-04-16 15:20:36 -07001702#endif
Jeff Mahoney995c7622009-03-30 14:02:47 -04001703 DQUOT_FREE_SPACE_NODIRTY(inode, quota_cut_bytes);
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07001704 return n_ret_value;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001705}
1706
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07001707static void truncate_directory(struct reiserfs_transaction_handle *th,
1708 struct inode *inode)
Linus Torvalds1da177e2005-04-16 15:20:36 -07001709{
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07001710 BUG_ON(!th->t_trans_id);
1711 if (inode->i_nlink)
Jeff Mahoney0030b642009-03-30 14:02:28 -04001712 reiserfs_error(inode->i_sb, "vs-5655", "link count != 0");
Linus Torvalds1da177e2005-04-16 15:20:36 -07001713
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07001714 set_le_key_k_offset(KEY_FORMAT_3_5, INODE_PKEY(inode), DOT_OFFSET);
1715 set_le_key_k_type(KEY_FORMAT_3_5, INODE_PKEY(inode), TYPE_DIRENTRY);
1716 reiserfs_delete_solid_item(th, inode, INODE_PKEY(inode));
1717 reiserfs_update_sd(th, inode);
1718 set_le_key_k_offset(KEY_FORMAT_3_5, INODE_PKEY(inode), SD_OFFSET);
1719 set_le_key_k_type(KEY_FORMAT_3_5, INODE_PKEY(inode), TYPE_STAT_DATA);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001720}
1721
Linus Torvalds1da177e2005-04-16 15:20:36 -07001722/* Truncate file to the new size. Note, this must be called with a transaction
1723 already started */
Jeff Mahoney995c7622009-03-30 14:02:47 -04001724int reiserfs_do_truncate(struct reiserfs_transaction_handle *th,
1725 struct inode *inode, /* ->i_size contains new size */
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07001726 struct page *page, /* up to date for last block */
1727 int update_timestamps /* when it is called by
1728 file_release to convert
1729 the tail - no timestamps
1730 should be updated */
1731 )
1732{
1733 INITIALIZE_PATH(s_search_path); /* Path to the current object item. */
1734 struct item_head *p_le_ih; /* Pointer to an item header. */
1735 struct cpu_key s_item_key; /* Key to search for a previous file item. */
1736 loff_t n_file_size, /* Old file size. */
1737 n_new_file_size; /* New file size. */
1738 int n_deleted; /* Number of deleted or truncated bytes. */
1739 int retval;
1740 int err = 0;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001741
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07001742 BUG_ON(!th->t_trans_id);
1743 if (!
Jeff Mahoney995c7622009-03-30 14:02:47 -04001744 (S_ISREG(inode->i_mode) || S_ISDIR(inode->i_mode)
1745 || S_ISLNK(inode->i_mode)))
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07001746 return 0;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001747
Jeff Mahoney995c7622009-03-30 14:02:47 -04001748 if (S_ISDIR(inode->i_mode)) {
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07001749 // deletion of directory - no need to update timestamps
Jeff Mahoney995c7622009-03-30 14:02:47 -04001750 truncate_directory(th, inode);
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07001751 return 0;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001752 }
1753
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07001754 /* Get new file size. */
Jeff Mahoney995c7622009-03-30 14:02:47 -04001755 n_new_file_size = inode->i_size;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001756
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07001757 // FIXME: note, that key type is unimportant here
Jeff Mahoney995c7622009-03-30 14:02:47 -04001758 make_cpu_key(&s_item_key, inode, max_reiserfs_offset(inode),
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07001759 TYPE_DIRECT, 3);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001760
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07001761 retval =
Jeff Mahoney995c7622009-03-30 14:02:47 -04001762 search_for_position_by_key(inode->i_sb, &s_item_key,
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07001763 &s_search_path);
1764 if (retval == IO_ERROR) {
Jeff Mahoney995c7622009-03-30 14:02:47 -04001765 reiserfs_error(inode->i_sb, "vs-5657",
Jeff Mahoney0030b642009-03-30 14:02:28 -04001766 "i/o failure occurred trying to truncate %K",
1767 &s_item_key);
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07001768 err = -EIO;
1769 goto out;
1770 }
1771 if (retval == POSITION_FOUND || retval == FILE_NOT_FOUND) {
Jeff Mahoney995c7622009-03-30 14:02:47 -04001772 reiserfs_error(inode->i_sb, "PAP-5660",
Jeff Mahoney0030b642009-03-30 14:02:28 -04001773 "wrong result %d of search for %K", retval,
1774 &s_item_key);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001775
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07001776 err = -EIO;
1777 goto out;
1778 }
Linus Torvalds1da177e2005-04-16 15:20:36 -07001779
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07001780 s_search_path.pos_in_item--;
1781
1782 /* Get real file size (total length of all file items) */
1783 p_le_ih = PATH_PITEM_HEAD(&s_search_path);
1784 if (is_statdata_le_ih(p_le_ih))
1785 n_file_size = 0;
1786 else {
1787 loff_t offset = le_ih_k_offset(p_le_ih);
1788 int bytes =
Jeff Mahoney995c7622009-03-30 14:02:47 -04001789 op_bytes_number(p_le_ih, inode->i_sb->s_blocksize);
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07001790
1791 /* this may mismatch with real file size: if last direct item
1792 had no padding zeros and last unformatted node had no free
1793 space, this file would have this file size */
1794 n_file_size = offset + bytes - 1;
1795 }
Linus Torvalds1da177e2005-04-16 15:20:36 -07001796 /*
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07001797 * are we doing a full truncate or delete, if so
1798 * kick in the reada code
1799 */
1800 if (n_new_file_size == 0)
1801 s_search_path.reada = PATH_READA | PATH_READA_BACK;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001802
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07001803 if (n_file_size == 0 || n_file_size < n_new_file_size) {
1804 goto update_and_out;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001805 }
Linus Torvalds1da177e2005-04-16 15:20:36 -07001806
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07001807 /* Update key to search for the last file item. */
1808 set_cpu_key_k_offset(&s_item_key, n_file_size);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001809
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07001810 do {
1811 /* Cut or delete file item. */
1812 n_deleted =
1813 reiserfs_cut_from_item(th, &s_search_path, &s_item_key,
Jeff Mahoney995c7622009-03-30 14:02:47 -04001814 inode, page, n_new_file_size);
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07001815 if (n_deleted < 0) {
Jeff Mahoney995c7622009-03-30 14:02:47 -04001816 reiserfs_warning(inode->i_sb, "vs-5665",
Jeff Mahoney45b03d52009-03-30 14:02:21 -04001817 "reiserfs_cut_from_item failed");
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07001818 reiserfs_check_path(&s_search_path);
1819 return 0;
1820 }
Linus Torvalds1da177e2005-04-16 15:20:36 -07001821
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07001822 RFALSE(n_deleted > n_file_size,
1823 "PAP-5670: reiserfs_cut_from_item: too many bytes deleted: deleted %d, file_size %lu, item_key %K",
1824 n_deleted, n_file_size, &s_item_key);
1825
1826 /* Change key to search the last file item. */
1827 n_file_size -= n_deleted;
1828
1829 set_cpu_key_k_offset(&s_item_key, n_file_size);
1830
1831 /* While there are bytes to truncate and previous file item is presented in the tree. */
1832
1833 /*
Jeff Mahoney0222e652009-03-30 14:02:44 -04001834 ** This loop could take a really long time, and could log
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07001835 ** many more blocks than a transaction can hold. So, we do a polite
1836 ** journal end here, and if the transaction needs ending, we make
1837 ** sure the file is consistent before ending the current trans
1838 ** and starting a new one
1839 */
Alexander Zarochentzev23f9e0f2006-03-25 03:06:57 -08001840 if (journal_transaction_should_end(th, 0) ||
1841 reiserfs_transaction_free_space(th) <= JOURNAL_FOR_FREE_BLOCK_AND_UPDATE_SD) {
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07001842 int orig_len_alloc = th->t_blocks_allocated;
Jeff Mahoney3cd6dbe2009-03-30 14:02:43 -04001843 pathrelse(&s_search_path);
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07001844
1845 if (update_timestamps) {
Jeff Mahoney995c7622009-03-30 14:02:47 -04001846 inode->i_mtime = CURRENT_TIME_SEC;
1847 inode->i_ctime = CURRENT_TIME_SEC;
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07001848 }
Jeff Mahoney995c7622009-03-30 14:02:47 -04001849 reiserfs_update_sd(th, inode);
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07001850
Jeff Mahoney995c7622009-03-30 14:02:47 -04001851 err = journal_end(th, inode->i_sb, orig_len_alloc);
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07001852 if (err)
1853 goto out;
Jeff Mahoney995c7622009-03-30 14:02:47 -04001854 err = journal_begin(th, inode->i_sb,
Alexander Zarochentzev23f9e0f2006-03-25 03:06:57 -08001855 JOURNAL_FOR_FREE_BLOCK_AND_UPDATE_SD + JOURNAL_PER_BALANCE_CNT * 4) ;
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07001856 if (err)
1857 goto out;
Jeff Mahoney995c7622009-03-30 14:02:47 -04001858 reiserfs_update_inode_transaction(inode);
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07001859 }
1860 } while (n_file_size > ROUND_UP(n_new_file_size) &&
Jeff Mahoney995c7622009-03-30 14:02:47 -04001861 search_for_position_by_key(inode->i_sb, &s_item_key,
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07001862 &s_search_path) == POSITION_FOUND);
1863
1864 RFALSE(n_file_size > ROUND_UP(n_new_file_size),
1865 "PAP-5680: truncate did not finish: new_file_size %Ld, current %Ld, oid %d",
1866 n_new_file_size, n_file_size, s_item_key.on_disk_key.k_objectid);
1867
1868 update_and_out:
1869 if (update_timestamps) {
1870 // this is truncate, not file closing
Jeff Mahoney995c7622009-03-30 14:02:47 -04001871 inode->i_mtime = CURRENT_TIME_SEC;
1872 inode->i_ctime = CURRENT_TIME_SEC;
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07001873 }
Jeff Mahoney995c7622009-03-30 14:02:47 -04001874 reiserfs_update_sd(th, inode);
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07001875
1876 out:
1877 pathrelse(&s_search_path);
1878 return err;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001879}
1880
Linus Torvalds1da177e2005-04-16 15:20:36 -07001881#ifdef CONFIG_REISERFS_CHECK
1882// this makes sure, that we __append__, not overwrite or add holes
Josef "Jeff" Sipekfec6d052006-12-08 02:36:32 -08001883static void check_research_for_paste(struct treepath *path,
Jeff Mahoneyd68caa92009-03-30 14:02:49 -04001884 const struct cpu_key *key)
Linus Torvalds1da177e2005-04-16 15:20:36 -07001885{
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07001886 struct item_head *found_ih = get_ih(path);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001887
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07001888 if (is_direct_le_ih(found_ih)) {
1889 if (le_ih_k_offset(found_ih) +
1890 op_bytes_number(found_ih,
1891 get_last_bh(path)->b_size) !=
Jeff Mahoneyd68caa92009-03-30 14:02:49 -04001892 cpu_key_k_offset(key)
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07001893 || op_bytes_number(found_ih,
1894 get_last_bh(path)->b_size) !=
1895 pos_in_item(path))
Jeff Mahoneyc3a9c212009-03-30 14:02:25 -04001896 reiserfs_panic(NULL, "PAP-5720", "found direct item "
1897 "%h or position (%d) does not match "
1898 "to key %K", found_ih,
Jeff Mahoneyd68caa92009-03-30 14:02:49 -04001899 pos_in_item(path), key);
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07001900 }
1901 if (is_indirect_le_ih(found_ih)) {
1902 if (le_ih_k_offset(found_ih) +
1903 op_bytes_number(found_ih,
1904 get_last_bh(path)->b_size) !=
Jeff Mahoneyd68caa92009-03-30 14:02:49 -04001905 cpu_key_k_offset(key)
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07001906 || I_UNFM_NUM(found_ih) != pos_in_item(path)
1907 || get_ih_free_space(found_ih) != 0)
Jeff Mahoneyc3a9c212009-03-30 14:02:25 -04001908 reiserfs_panic(NULL, "PAP-5730", "found indirect "
1909 "item (%h) or position (%d) does not "
1910 "match to key (%K)",
Jeff Mahoneyd68caa92009-03-30 14:02:49 -04001911 found_ih, pos_in_item(path), key);
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07001912 }
1913}
1914#endif /* config reiserfs check */
Linus Torvalds1da177e2005-04-16 15:20:36 -07001915
1916/* Paste bytes to the existing item. Returns bytes number pasted into the item. */
Jeff Mahoneyd68caa92009-03-30 14:02:49 -04001917int reiserfs_paste_into_item(struct reiserfs_transaction_handle *th, struct treepath *search_path, /* Path to the pasted item. */
1918 const struct cpu_key *key, /* Key to search for the needed item. */
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07001919 struct inode *inode, /* Inode item belongs to */
Jeff Mahoneyd68caa92009-03-30 14:02:49 -04001920 const char *body, /* Pointer to the bytes to paste. */
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07001921 int n_pasted_size)
1922{ /* Size of pasted bytes. */
1923 struct tree_balance s_paste_balance;
1924 int retval;
1925 int fs_gen;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001926
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07001927 BUG_ON(!th->t_trans_id);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001928
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07001929 fs_gen = get_generation(inode->i_sb);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001930
1931#ifdef REISERQUOTA_DEBUG
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07001932 reiserfs_debug(inode->i_sb, REISERFS_DEBUG_CODE,
1933 "reiserquota paste_into_item(): allocating %u id=%u type=%c",
1934 n_pasted_size, inode->i_uid,
Jeff Mahoneyd68caa92009-03-30 14:02:49 -04001935 key2type(&(key->on_disk_key)));
Linus Torvalds1da177e2005-04-16 15:20:36 -07001936#endif
1937
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07001938 if (DQUOT_ALLOC_SPACE_NODIRTY(inode, n_pasted_size)) {
Jeff Mahoneyd68caa92009-03-30 14:02:49 -04001939 pathrelse(search_path);
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07001940 return -EDQUOT;
1941 }
Jeff Mahoneyd68caa92009-03-30 14:02:49 -04001942 init_tb_struct(th, &s_paste_balance, th->t_super, search_path,
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07001943 n_pasted_size);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001944#ifdef DISPLACE_NEW_PACKING_LOCALITIES
Jeff Mahoneyd68caa92009-03-30 14:02:49 -04001945 s_paste_balance.key = key->on_disk_key;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001946#endif
1947
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07001948 /* DQUOT_* can schedule, must check before the fix_nodes */
1949 if (fs_changed(fs_gen, inode->i_sb)) {
1950 goto search_again;
1951 }
Linus Torvalds1da177e2005-04-16 15:20:36 -07001952
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07001953 while ((retval =
1954 fix_nodes(M_PASTE, &s_paste_balance, NULL,
Jeff Mahoneyd68caa92009-03-30 14:02:49 -04001955 body)) == REPEAT_SEARCH) {
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07001956 search_again:
1957 /* file system changed while we were in the fix_nodes */
1958 PROC_INFO_INC(th->t_super, paste_into_item_restarted);
1959 retval =
Jeff Mahoneyd68caa92009-03-30 14:02:49 -04001960 search_for_position_by_key(th->t_super, key,
1961 search_path);
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07001962 if (retval == IO_ERROR) {
1963 retval = -EIO;
1964 goto error_out;
1965 }
1966 if (retval == POSITION_FOUND) {
Jeff Mahoney45b03d52009-03-30 14:02:21 -04001967 reiserfs_warning(inode->i_sb, "PAP-5710",
1968 "entry or pasted byte (%K) exists",
Jeff Mahoneyd68caa92009-03-30 14:02:49 -04001969 key);
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07001970 retval = -EEXIST;
1971 goto error_out;
1972 }
Linus Torvalds1da177e2005-04-16 15:20:36 -07001973#ifdef CONFIG_REISERFS_CHECK
Jeff Mahoneyd68caa92009-03-30 14:02:49 -04001974 check_research_for_paste(search_path, key);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001975#endif
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07001976 }
Linus Torvalds1da177e2005-04-16 15:20:36 -07001977
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07001978 /* Perform balancing after all resources are collected by fix_nodes, and
1979 accessing them will not risk triggering schedule. */
1980 if (retval == CARRY_ON) {
Jeff Mahoneyd68caa92009-03-30 14:02:49 -04001981 do_balance(&s_paste_balance, NULL /*ih */ , body, M_PASTE);
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07001982 return 0;
1983 }
1984 retval = (retval == NO_DISK_SPACE) ? -ENOSPC : -EIO;
1985 error_out:
1986 /* this also releases the path */
1987 unfix_nodes(&s_paste_balance);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001988#ifdef REISERQUOTA_DEBUG
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07001989 reiserfs_debug(inode->i_sb, REISERFS_DEBUG_CODE,
1990 "reiserquota paste_into_item(): freeing %u id=%u type=%c",
1991 n_pasted_size, inode->i_uid,
Jeff Mahoneyd68caa92009-03-30 14:02:49 -04001992 key2type(&(key->on_disk_key)));
Linus Torvalds1da177e2005-04-16 15:20:36 -07001993#endif
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07001994 DQUOT_FREE_SPACE_NODIRTY(inode, n_pasted_size);
1995 return retval;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001996}
1997
Jeff Mahoneyd68caa92009-03-30 14:02:49 -04001998/* Insert new item into the buffer at the path.
1999 * th - active transaction handle
2000 * path - path to the inserted item
2001 * ih - pointer to the item header to insert
2002 * body - pointer to the bytes to insert
2003 */
2004int reiserfs_insert_item(struct reiserfs_transaction_handle *th,
2005 struct treepath *path, const struct cpu_key *key,
2006 struct item_head *ih, struct inode *inode,
2007 const char *body)
2008{
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07002009 struct tree_balance s_ins_balance;
2010 int retval;
2011 int fs_gen = 0;
2012 int quota_bytes = 0;
Linus Torvalds1da177e2005-04-16 15:20:36 -07002013
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07002014 BUG_ON(!th->t_trans_id);
Linus Torvalds1da177e2005-04-16 15:20:36 -07002015
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07002016 if (inode) { /* Do we count quotas for item? */
2017 fs_gen = get_generation(inode->i_sb);
Jeff Mahoneyd68caa92009-03-30 14:02:49 -04002018 quota_bytes = ih_item_len(ih);
Linus Torvalds1da177e2005-04-16 15:20:36 -07002019
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07002020 /* hack so the quota code doesn't have to guess if the file has
2021 ** a tail, links are always tails, so there's no guessing needed
2022 */
Jeff Mahoneyd68caa92009-03-30 14:02:49 -04002023 if (!S_ISLNK(inode->i_mode) && is_direct_le_ih(ih))
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07002024 quota_bytes = inode->i_sb->s_blocksize + UNFM_P_SIZE;
Linus Torvalds1da177e2005-04-16 15:20:36 -07002025#ifdef REISERQUOTA_DEBUG
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07002026 reiserfs_debug(inode->i_sb, REISERFS_DEBUG_CODE,
2027 "reiserquota insert_item(): allocating %u id=%u type=%c",
Jeff Mahoneyd68caa92009-03-30 14:02:49 -04002028 quota_bytes, inode->i_uid, head2type(ih));
Linus Torvalds1da177e2005-04-16 15:20:36 -07002029#endif
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07002030 /* We can't dirty inode here. It would be immediately written but
2031 * appropriate stat item isn't inserted yet... */
2032 if (DQUOT_ALLOC_SPACE_NODIRTY(inode, quota_bytes)) {
Jeff Mahoneyd68caa92009-03-30 14:02:49 -04002033 pathrelse(path);
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07002034 return -EDQUOT;
2035 }
Linus Torvalds1da177e2005-04-16 15:20:36 -07002036 }
Jeff Mahoneyd68caa92009-03-30 14:02:49 -04002037 init_tb_struct(th, &s_ins_balance, th->t_super, path,
2038 IH_SIZE + ih_item_len(ih));
Linus Torvalds1da177e2005-04-16 15:20:36 -07002039#ifdef DISPLACE_NEW_PACKING_LOCALITIES
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07002040 s_ins_balance.key = key->on_disk_key;
Linus Torvalds1da177e2005-04-16 15:20:36 -07002041#endif
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07002042 /* DQUOT_* can schedule, must check to be sure calling fix_nodes is safe */
2043 if (inode && fs_changed(fs_gen, inode->i_sb)) {
2044 goto search_again;
Linus Torvalds1da177e2005-04-16 15:20:36 -07002045 }
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07002046
2047 while ((retval =
Jeff Mahoneyd68caa92009-03-30 14:02:49 -04002048 fix_nodes(M_INSERT, &s_ins_balance, ih,
2049 body)) == REPEAT_SEARCH) {
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07002050 search_again:
2051 /* file system changed while we were in the fix_nodes */
2052 PROC_INFO_INC(th->t_super, insert_item_restarted);
Jeff Mahoneyd68caa92009-03-30 14:02:49 -04002053 retval = search_item(th->t_super, key, path);
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07002054 if (retval == IO_ERROR) {
2055 retval = -EIO;
2056 goto error_out;
2057 }
2058 if (retval == ITEM_FOUND) {
Jeff Mahoney45b03d52009-03-30 14:02:21 -04002059 reiserfs_warning(th->t_super, "PAP-5760",
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07002060 "key %K already exists in the tree",
2061 key);
2062 retval = -EEXIST;
2063 goto error_out;
2064 }
Linus Torvalds1da177e2005-04-16 15:20:36 -07002065 }
Linus Torvalds1da177e2005-04-16 15:20:36 -07002066
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07002067 /* make balancing after all resources will be collected at a time */
2068 if (retval == CARRY_ON) {
Jeff Mahoneyd68caa92009-03-30 14:02:49 -04002069 do_balance(&s_ins_balance, ih, body, M_INSERT);
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07002070 return 0;
2071 }
Linus Torvalds1da177e2005-04-16 15:20:36 -07002072
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07002073 retval = (retval == NO_DISK_SPACE) ? -ENOSPC : -EIO;
2074 error_out:
2075 /* also releases the path */
2076 unfix_nodes(&s_ins_balance);
Linus Torvalds1da177e2005-04-16 15:20:36 -07002077#ifdef REISERQUOTA_DEBUG
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07002078 reiserfs_debug(th->t_super, REISERFS_DEBUG_CODE,
2079 "reiserquota insert_item(): freeing %u id=%u type=%c",
Jeff Mahoneyd68caa92009-03-30 14:02:49 -04002080 quota_bytes, inode->i_uid, head2type(ih));
Linus Torvalds1da177e2005-04-16 15:20:36 -07002081#endif
Linus Torvaldsbd4c6252005-07-12 20:21:28 -07002082 if (inode)
2083 DQUOT_FREE_SPACE_NODIRTY(inode, quota_bytes);
2084 return retval;
Linus Torvalds1da177e2005-04-16 15:20:36 -07002085}