blob: 369ef53e89e15053d770b16b5db2d10700b2c3db [file] [log] [blame]
Fred Isaman9e692962011-07-30 20:52:41 -04001/*
2 * linux/fs/nfs/blocklayout/blocklayout.h
3 *
4 * Module for the NFSv4.1 pNFS block layout driver.
5 *
6 * Copyright (c) 2006 The Regents of the University of Michigan.
7 * All rights reserved.
8 *
9 * Andy Adamson <andros@citi.umich.edu>
10 * Fred Isaman <iisaman@umich.edu>
11 *
12 * permission is granted to use, copy, create derivative works and
13 * redistribute this software and such derivative works for any purpose,
14 * so long as the name of the university of michigan is not used in
15 * any advertising or publicity pertaining to the use or distribution
16 * of this software without specific, written prior authorization. if
17 * the above copyright notice or any other identification of the
18 * university of michigan is included in any copy of any portion of
19 * this software, then the disclaimer below must also be included.
20 *
21 * this software is provided as is, without representation from the
22 * university of michigan as to its fitness for any purpose, and without
23 * warranty by the university of michigan of any kind, either express
24 * or implied, including without limitation the implied warranties of
25 * merchantability and fitness for a particular purpose. the regents
26 * of the university of michigan shall not be liable for any damages,
27 * including special, indirect, incidental, or consequential damages,
28 * with respect to any claim arising out or in connection with the use
29 * of the software, even if it has been or is hereafter advised of the
30 * possibility of such damages.
31 */
32
33#include "blocklayout.h"
34#define NFSDBG_FACILITY NFSDBG_PNFS_LD
35
Fred Isamanc1c2a4c2011-07-30 20:52:49 -040036/* Bit numbers */
37#define EXTENT_INITIALIZED 0
38#define EXTENT_WRITTEN 1
39#define EXTENT_IN_COMMIT 2
40#define INTERNAL_EXISTS MY_MAX_TAGS
41#define INTERNAL_MASK ((1 << INTERNAL_EXISTS) - 1)
42
43/* Returns largest t<=s s.t. t%base==0 */
44static inline sector_t normalize(sector_t s, int base)
45{
46 sector_t tmp = s; /* Since do_div modifies its argument */
47 return s - do_div(tmp, base);
48}
49
50static inline sector_t normalize_up(sector_t s, int base)
51{
52 return normalize(s + base - 1, base);
53}
54
55/* Complete stub using list while determine API wanted */
56
57/* Returns tags, or negative */
58static int32_t _find_entry(struct my_tree *tree, u64 s)
59{
60 struct pnfs_inval_tracking *pos;
61
62 dprintk("%s(%llu) enter\n", __func__, s);
63 list_for_each_entry_reverse(pos, &tree->mtt_stub, it_link) {
64 if (pos->it_sector > s)
65 continue;
66 else if (pos->it_sector == s)
67 return pos->it_tags & INTERNAL_MASK;
68 else
69 break;
70 }
71 return -ENOENT;
72}
73
74static inline
75int _has_tag(struct my_tree *tree, u64 s, int32_t tag)
76{
77 int32_t tags;
78
79 dprintk("%s(%llu, %i) enter\n", __func__, s, tag);
80 s = normalize(s, tree->mtt_step_size);
81 tags = _find_entry(tree, s);
82 if ((tags < 0) || !(tags & (1 << tag)))
83 return 0;
84 else
85 return 1;
86}
87
88/* Creates entry with tag, or if entry already exists, unions tag to it.
89 * If storage is not NULL, newly created entry will use it.
90 * Returns number of entries added, or negative on error.
91 */
92static int _add_entry(struct my_tree *tree, u64 s, int32_t tag,
93 struct pnfs_inval_tracking *storage)
94{
95 int found = 0;
96 struct pnfs_inval_tracking *pos;
97
98 dprintk("%s(%llu, %i, %p) enter\n", __func__, s, tag, storage);
99 list_for_each_entry_reverse(pos, &tree->mtt_stub, it_link) {
100 if (pos->it_sector > s)
101 continue;
102 else if (pos->it_sector == s) {
103 found = 1;
104 break;
105 } else
106 break;
107 }
108 if (found) {
109 pos->it_tags |= (1 << tag);
110 return 0;
111 } else {
112 struct pnfs_inval_tracking *new;
Peng Tao57582b32012-01-12 23:18:45 +0800113 new = storage;
Fred Isamanc1c2a4c2011-07-30 20:52:49 -0400114 new->it_sector = s;
115 new->it_tags = (1 << tag);
116 list_add(&new->it_link, &pos->it_link);
117 return 1;
118 }
119}
120
121/* XXXX Really want option to not create */
122/* Over range, unions tag with existing entries, else creates entry with tag */
123static int _set_range(struct my_tree *tree, int32_t tag, u64 s, u64 length)
124{
125 u64 i;
126
127 dprintk("%s(%i, %llu, %llu) enter\n", __func__, tag, s, length);
128 for (i = normalize(s, tree->mtt_step_size); i < s + length;
129 i += tree->mtt_step_size)
130 if (_add_entry(tree, i, tag, NULL))
131 return -ENOMEM;
132 return 0;
133}
134
135/* Ensure that future operations on given range of tree will not malloc */
Peng Tao39e567a2012-01-12 23:18:41 +0800136static int _preload_range(struct pnfs_inval_markings *marks,
137 u64 offset, u64 length)
Fred Isamanc1c2a4c2011-07-30 20:52:49 -0400138{
139 u64 start, end, s;
140 int count, i, used = 0, status = -ENOMEM;
141 struct pnfs_inval_tracking **storage;
Peng Tao39e567a2012-01-12 23:18:41 +0800142 struct my_tree *tree = &marks->im_tree;
Fred Isamanc1c2a4c2011-07-30 20:52:49 -0400143
144 dprintk("%s(%llu, %llu) enter\n", __func__, offset, length);
145 start = normalize(offset, tree->mtt_step_size);
146 end = normalize_up(offset + length, tree->mtt_step_size);
147 count = (int)(end - start) / (int)tree->mtt_step_size;
148
149 /* Pre-malloc what memory we might need */
150 storage = kmalloc(sizeof(*storage) * count, GFP_NOFS);
151 if (!storage)
152 return -ENOMEM;
153 for (i = 0; i < count; i++) {
154 storage[i] = kmalloc(sizeof(struct pnfs_inval_tracking),
155 GFP_NOFS);
156 if (!storage[i])
157 goto out_cleanup;
158 }
159
Peng Tao39e567a2012-01-12 23:18:41 +0800160 spin_lock(&marks->im_lock);
Fred Isamanc1c2a4c2011-07-30 20:52:49 -0400161 for (s = start; s < end; s += tree->mtt_step_size)
162 used += _add_entry(tree, s, INTERNAL_EXISTS, storage[used]);
Peng Tao39e567a2012-01-12 23:18:41 +0800163 spin_unlock(&marks->im_lock);
Fred Isamanc1c2a4c2011-07-30 20:52:49 -0400164
Fred Isamanc1c2a4c2011-07-30 20:52:49 -0400165 status = 0;
166
167 out_cleanup:
168 for (i = used; i < count; i++) {
169 if (!storage[i])
170 break;
171 kfree(storage[i]);
172 }
173 kfree(storage);
174 return status;
175}
176
177static void set_needs_init(sector_t *array, sector_t offset)
178{
179 sector_t *p = array;
180
181 dprintk("%s enter\n", __func__);
182 if (!p)
183 return;
184 while (*p < offset)
185 p++;
186 if (*p == offset)
187 return;
188 else if (*p == ~0) {
189 *p++ = offset;
190 *p = ~0;
191 return;
192 } else {
193 sector_t *save = p;
194 dprintk("%s Adding %llu\n", __func__, (u64)offset);
195 while (*p != ~0)
196 p++;
197 p++;
198 memmove(save + 1, save, (char *)p - (char *)save);
199 *save = offset;
200 return;
201 }
202}
203
204/* We are relying on page lock to serialize this */
205int bl_is_sector_init(struct pnfs_inval_markings *marks, sector_t isect)
206{
207 int rv;
208
209 spin_lock(&marks->im_lock);
210 rv = _has_tag(&marks->im_tree, isect, EXTENT_INITIALIZED);
211 spin_unlock(&marks->im_lock);
212 return rv;
213}
214
Fred Isaman31e63062011-07-30 20:52:55 -0400215/* Assume start, end already sector aligned */
216static int
217_range_has_tag(struct my_tree *tree, u64 start, u64 end, int32_t tag)
218{
219 struct pnfs_inval_tracking *pos;
220 u64 expect = 0;
221
222 dprintk("%s(%llu, %llu, %i) enter\n", __func__, start, end, tag);
223 list_for_each_entry_reverse(pos, &tree->mtt_stub, it_link) {
224 if (pos->it_sector >= end)
225 continue;
226 if (!expect) {
227 if ((pos->it_sector == end - tree->mtt_step_size) &&
228 (pos->it_tags & (1 << tag))) {
229 expect = pos->it_sector - tree->mtt_step_size;
230 if (pos->it_sector < tree->mtt_step_size || expect < start)
231 return 1;
232 continue;
233 } else {
234 return 0;
235 }
236 }
237 if (pos->it_sector != expect || !(pos->it_tags & (1 << tag)))
238 return 0;
239 expect -= tree->mtt_step_size;
240 if (expect < start)
241 return 1;
242 }
243 return 0;
244}
245
246static int is_range_written(struct pnfs_inval_markings *marks,
247 sector_t start, sector_t end)
248{
249 int rv;
250
251 spin_lock(&marks->im_lock);
252 rv = _range_has_tag(&marks->im_tree, start, end, EXTENT_WRITTEN);
253 spin_unlock(&marks->im_lock);
254 return rv;
255}
256
Fred Isamanc1c2a4c2011-07-30 20:52:49 -0400257/* Marks sectors in [offest, offset_length) as having been initialized.
258 * All lengths are step-aligned, where step is min(pagesize, blocksize).
259 * Notes where partial block is initialized, and helps prepare it for
260 * complete initialization later.
261 */
262/* Currently assumes offset is page-aligned */
263int bl_mark_sectors_init(struct pnfs_inval_markings *marks,
264 sector_t offset, sector_t length,
265 sector_t **pages)
266{
267 sector_t s, start, end;
268 sector_t *array = NULL; /* Pages to mark */
269
270 dprintk("%s(offset=%llu,len=%llu) enter\n",
271 __func__, (u64)offset, (u64)length);
272 s = max((sector_t) 3,
273 2 * (marks->im_block_size / (PAGE_CACHE_SECTORS)));
274 dprintk("%s set max=%llu\n", __func__, (u64)s);
275 if (pages) {
276 array = kmalloc(s * sizeof(sector_t), GFP_NOFS);
277 if (!array)
278 goto outerr;
279 array[0] = ~0;
280 }
281
282 start = normalize(offset, marks->im_block_size);
283 end = normalize_up(offset + length, marks->im_block_size);
Peng Tao39e567a2012-01-12 23:18:41 +0800284 if (_preload_range(marks, start, end - start))
Fred Isamanc1c2a4c2011-07-30 20:52:49 -0400285 goto outerr;
286
287 spin_lock(&marks->im_lock);
288
289 for (s = normalize_up(start, PAGE_CACHE_SECTORS);
290 s < offset; s += PAGE_CACHE_SECTORS) {
291 dprintk("%s pre-area pages\n", __func__);
292 /* Portion of used block is not initialized */
293 if (!_has_tag(&marks->im_tree, s, EXTENT_INITIALIZED))
294 set_needs_init(array, s);
295 }
296 if (_set_range(&marks->im_tree, EXTENT_INITIALIZED, offset, length))
297 goto out_unlock;
298 for (s = normalize_up(offset + length, PAGE_CACHE_SECTORS);
299 s < end; s += PAGE_CACHE_SECTORS) {
300 dprintk("%s post-area pages\n", __func__);
301 if (!_has_tag(&marks->im_tree, s, EXTENT_INITIALIZED))
302 set_needs_init(array, s);
303 }
304
305 spin_unlock(&marks->im_lock);
306
307 if (pages) {
308 if (array[0] == ~0) {
309 kfree(array);
310 *pages = NULL;
311 } else
312 *pages = array;
313 }
314 return 0;
315
316 out_unlock:
317 spin_unlock(&marks->im_lock);
318 outerr:
319 if (pages) {
320 kfree(array);
321 *pages = NULL;
322 }
323 return -ENOMEM;
324}
325
Fred Isaman90ace122011-07-30 20:52:51 -0400326/* Marks sectors in [offest, offset+length) as having been written to disk.
327 * All lengths should be block aligned.
328 */
329static int mark_written_sectors(struct pnfs_inval_markings *marks,
330 sector_t offset, sector_t length)
331{
332 int status;
333
334 dprintk("%s(offset=%llu,len=%llu) enter\n", __func__,
335 (u64)offset, (u64)length);
336 spin_lock(&marks->im_lock);
337 status = _set_range(&marks->im_tree, EXTENT_WRITTEN, offset, length);
338 spin_unlock(&marks->im_lock);
339 return status;
340}
341
342static void print_short_extent(struct pnfs_block_short_extent *be)
343{
344 dprintk("PRINT SHORT EXTENT extent %p\n", be);
345 if (be) {
346 dprintk(" be_f_offset %llu\n", (u64)be->bse_f_offset);
347 dprintk(" be_length %llu\n", (u64)be->bse_length);
348 }
349}
350
351static void print_clist(struct list_head *list, unsigned int count)
352{
353 struct pnfs_block_short_extent *be;
354 unsigned int i = 0;
355
356 ifdebug(FACILITY) {
357 printk(KERN_DEBUG "****************\n");
358 printk(KERN_DEBUG "Extent list looks like:\n");
359 list_for_each_entry(be, list, bse_node) {
360 i++;
361 print_short_extent(be);
362 }
363 if (i != count)
364 printk(KERN_DEBUG "\n\nExpected %u entries\n\n\n", count);
365 printk(KERN_DEBUG "****************\n");
366 }
367}
368
Fred Isamanb2be7812011-07-30 20:52:52 -0400369/* Note: In theory, we should do more checking that devid's match between
370 * old and new, but if they don't, the lists are too corrupt to salvage anyway.
371 */
372/* Note this is very similar to bl_add_merge_extent */
373static void add_to_commitlist(struct pnfs_block_layout *bl,
374 struct pnfs_block_short_extent *new)
375{
376 struct list_head *clist = &bl->bl_commit;
377 struct pnfs_block_short_extent *old, *save;
378 sector_t end = new->bse_f_offset + new->bse_length;
379
380 dprintk("%s enter\n", __func__);
381 print_short_extent(new);
382 print_clist(clist, bl->bl_count);
383 bl->bl_count++;
384 /* Scan for proper place to insert, extending new to the left
385 * as much as possible.
386 */
387 list_for_each_entry_safe(old, save, clist, bse_node) {
388 if (new->bse_f_offset < old->bse_f_offset)
389 break;
390 if (end <= old->bse_f_offset + old->bse_length) {
391 /* Range is already in list */
392 bl->bl_count--;
393 kfree(new);
394 return;
395 } else if (new->bse_f_offset <=
396 old->bse_f_offset + old->bse_length) {
397 /* new overlaps or abuts existing be */
398 if (new->bse_mdev == old->bse_mdev) {
399 /* extend new to fully replace old */
400 new->bse_length += new->bse_f_offset -
401 old->bse_f_offset;
402 new->bse_f_offset = old->bse_f_offset;
403 list_del(&old->bse_node);
404 bl->bl_count--;
405 kfree(old);
406 }
407 }
408 }
409 /* Note that if we never hit the above break, old will not point to a
410 * valid extent. However, in that case &old->bse_node==list.
411 */
412 list_add_tail(&new->bse_node, &old->bse_node);
413 /* Scan forward for overlaps. If we find any, extend new and
414 * remove the overlapped extent.
415 */
416 old = list_prepare_entry(new, clist, bse_node);
417 list_for_each_entry_safe_continue(old, save, clist, bse_node) {
418 if (end < old->bse_f_offset)
419 break;
420 /* new overlaps or abuts old */
421 if (new->bse_mdev == old->bse_mdev) {
422 if (end < old->bse_f_offset + old->bse_length) {
423 /* extend new to fully cover old */
424 end = old->bse_f_offset + old->bse_length;
425 new->bse_length = end - new->bse_f_offset;
426 }
427 list_del(&old->bse_node);
428 bl->bl_count--;
429 kfree(old);
430 }
431 }
432 dprintk("%s: after merging\n", __func__);
433 print_clist(clist, bl->bl_count);
434}
435
Fred Isaman31e63062011-07-30 20:52:55 -0400436/* Note the range described by offset, length is guaranteed to be contained
437 * within be.
438 */
439int bl_mark_for_commit(struct pnfs_block_extent *be,
440 sector_t offset, sector_t length)
441{
442 sector_t new_end, end = offset + length;
443 struct pnfs_block_short_extent *new;
444 struct pnfs_block_layout *bl = container_of(be->be_inval,
445 struct pnfs_block_layout,
446 bl_inval);
447
448 new = kmalloc(sizeof(*new), GFP_NOFS);
449 if (!new)
450 return -ENOMEM;
451
452 mark_written_sectors(be->be_inval, offset, length);
453 /* We want to add the range to commit list, but it must be
454 * block-normalized, and verified that the normalized range has
455 * been entirely written to disk.
456 */
457 new->bse_f_offset = offset;
458 offset = normalize(offset, bl->bl_blocksize);
459 if (offset < new->bse_f_offset) {
460 if (is_range_written(be->be_inval, offset, new->bse_f_offset))
461 new->bse_f_offset = offset;
462 else
463 new->bse_f_offset = offset + bl->bl_blocksize;
464 }
465 new_end = normalize_up(end, bl->bl_blocksize);
466 if (end < new_end) {
467 if (is_range_written(be->be_inval, end, new_end))
468 end = new_end;
469 else
470 end = new_end - bl->bl_blocksize;
471 }
472 if (end <= new->bse_f_offset) {
473 kfree(new);
474 return 0;
475 }
476 new->bse_length = end - new->bse_f_offset;
477 new->bse_devid = be->be_devid;
478 new->bse_mdev = be->be_mdev;
479
480 spin_lock(&bl->bl_ext_lock);
481 /* new will be freed, either by add_to_commitlist if it decides not
482 * to use it, or after LAYOUTCOMMIT uses it in the commitlist.
483 */
484 add_to_commitlist(bl, new);
485 spin_unlock(&bl->bl_ext_lock);
486 return 0;
487}
488
Fred Isaman9e692962011-07-30 20:52:41 -0400489static void print_bl_extent(struct pnfs_block_extent *be)
490{
491 dprintk("PRINT EXTENT extent %p\n", be);
492 if (be) {
493 dprintk(" be_f_offset %llu\n", (u64)be->be_f_offset);
494 dprintk(" be_length %llu\n", (u64)be->be_length);
495 dprintk(" be_v_offset %llu\n", (u64)be->be_v_offset);
496 dprintk(" be_state %d\n", be->be_state);
497 }
498}
499
500static void
501destroy_extent(struct kref *kref)
502{
503 struct pnfs_block_extent *be;
504
505 be = container_of(kref, struct pnfs_block_extent, be_refcnt);
506 dprintk("%s be=%p\n", __func__, be);
507 kfree(be);
508}
509
510void
511bl_put_extent(struct pnfs_block_extent *be)
512{
513 if (be) {
514 dprintk("%s enter %p (%i)\n", __func__, be,
515 atomic_read(&be->be_refcnt.refcount));
516 kref_put(&be->be_refcnt, destroy_extent);
517 }
518}
519
520struct pnfs_block_extent *bl_alloc_extent(void)
521{
522 struct pnfs_block_extent *be;
523
524 be = kmalloc(sizeof(struct pnfs_block_extent), GFP_NOFS);
525 if (!be)
526 return NULL;
527 INIT_LIST_HEAD(&be->be_node);
528 kref_init(&be->be_refcnt);
529 be->be_inval = NULL;
530 return be;
531}
532
533static void print_elist(struct list_head *list)
534{
535 struct pnfs_block_extent *be;
536 dprintk("****************\n");
537 dprintk("Extent list looks like:\n");
538 list_for_each_entry(be, list, be_node) {
539 print_bl_extent(be);
540 }
541 dprintk("****************\n");
542}
Fred Isaman03341d22011-07-30 20:52:45 -0400543
544static inline int
545extents_consistent(struct pnfs_block_extent *old, struct pnfs_block_extent *new)
546{
547 /* Note this assumes new->be_f_offset >= old->be_f_offset */
548 return (new->be_state == old->be_state) &&
549 ((new->be_state == PNFS_BLOCK_NONE_DATA) ||
550 ((new->be_v_offset - old->be_v_offset ==
551 new->be_f_offset - old->be_f_offset) &&
552 new->be_mdev == old->be_mdev));
553}
554
555/* Adds new to appropriate list in bl, modifying new and removing existing
556 * extents as appropriate to deal with overlaps.
557 *
558 * See bl_find_get_extent for list constraints.
559 *
560 * Refcount on new is already set. If end up not using it, or error out,
561 * need to put the reference.
562 *
563 * bl->bl_ext_lock is held by caller.
564 */
565int
566bl_add_merge_extent(struct pnfs_block_layout *bl,
567 struct pnfs_block_extent *new)
568{
569 struct pnfs_block_extent *be, *tmp;
570 sector_t end = new->be_f_offset + new->be_length;
571 struct list_head *list;
572
573 dprintk("%s enter with be=%p\n", __func__, new);
574 print_bl_extent(new);
575 list = &bl->bl_extents[bl_choose_list(new->be_state)];
576 print_elist(list);
577
578 /* Scan for proper place to insert, extending new to the left
579 * as much as possible.
580 */
Fred Isaman90ace122011-07-30 20:52:51 -0400581 list_for_each_entry_safe_reverse(be, tmp, list, be_node) {
582 if (new->be_f_offset >= be->be_f_offset + be->be_length)
Fred Isaman03341d22011-07-30 20:52:45 -0400583 break;
Fred Isaman90ace122011-07-30 20:52:51 -0400584 if (new->be_f_offset >= be->be_f_offset) {
585 if (end <= be->be_f_offset + be->be_length) {
586 /* new is a subset of existing be*/
587 if (extents_consistent(be, new)) {
588 dprintk("%s: new is subset, ignoring\n",
589 __func__);
590 bl_put_extent(new);
591 return 0;
592 } else {
593 goto out_err;
594 }
595 } else {
596 /* |<-- be -->|
597 * |<-- new -->| */
598 if (extents_consistent(be, new)) {
599 /* extend new to fully replace be */
600 new->be_length += new->be_f_offset -
601 be->be_f_offset;
602 new->be_f_offset = be->be_f_offset;
603 new->be_v_offset = be->be_v_offset;
604 dprintk("%s: removing %p\n", __func__, be);
605 list_del(&be->be_node);
606 bl_put_extent(be);
607 } else {
608 goto out_err;
609 }
610 }
611 } else if (end >= be->be_f_offset + be->be_length) {
612 /* new extent overlap existing be */
Fred Isaman03341d22011-07-30 20:52:45 -0400613 if (extents_consistent(be, new)) {
614 /* extend new to fully replace be */
Fred Isaman03341d22011-07-30 20:52:45 -0400615 dprintk("%s: removing %p\n", __func__, be);
616 list_del(&be->be_node);
617 bl_put_extent(be);
Fred Isaman90ace122011-07-30 20:52:51 -0400618 } else {
Fred Isaman03341d22011-07-30 20:52:45 -0400619 goto out_err;
Fred Isaman90ace122011-07-30 20:52:51 -0400620 }
621 } else if (end > be->be_f_offset) {
622 /* |<-- be -->|
623 *|<-- new -->| */
624 if (extents_consistent(new, be)) {
625 /* extend new to fully replace be */
626 new->be_length += be->be_f_offset + be->be_length -
627 new->be_f_offset - new->be_length;
628 dprintk("%s: removing %p\n", __func__, be);
629 list_del(&be->be_node);
630 bl_put_extent(be);
631 } else {
632 goto out_err;
633 }
Fred Isaman03341d22011-07-30 20:52:45 -0400634 }
635 }
636 /* Note that if we never hit the above break, be will not point to a
637 * valid extent. However, in that case &be->be_node==list.
638 */
Fred Isaman90ace122011-07-30 20:52:51 -0400639 list_add(&new->be_node, &be->be_node);
Fred Isaman03341d22011-07-30 20:52:45 -0400640 dprintk("%s: inserting new\n", __func__);
641 print_elist(list);
Fred Isaman03341d22011-07-30 20:52:45 -0400642 /* FIXME - The per-list consistency checks have all been done,
643 * should now check cross-list consistency.
644 */
645 return 0;
646
647 out_err:
648 bl_put_extent(new);
649 return -EIO;
650}
Fred Isaman6d742ba2011-07-30 20:52:48 -0400651
652/* Returns extent, or NULL. If a second READ extent exists, it is returned
653 * in cow_read, if given.
654 *
655 * The extents are kept in two seperate ordered lists, one for READ and NONE,
656 * one for READWRITE and INVALID. Within each list, we assume:
657 * 1. Extents are ordered by file offset.
658 * 2. For any given isect, there is at most one extents that matches.
659 */
660struct pnfs_block_extent *
661bl_find_get_extent(struct pnfs_block_layout *bl, sector_t isect,
662 struct pnfs_block_extent **cow_read)
663{
664 struct pnfs_block_extent *be, *cow, *ret;
665 int i;
666
667 dprintk("%s enter with isect %llu\n", __func__, (u64)isect);
668 cow = ret = NULL;
669 spin_lock(&bl->bl_ext_lock);
670 for (i = 0; i < EXTENT_LISTS; i++) {
671 list_for_each_entry_reverse(be, &bl->bl_extents[i], be_node) {
672 if (isect >= be->be_f_offset + be->be_length)
673 break;
674 if (isect >= be->be_f_offset) {
675 /* We have found an extent */
676 dprintk("%s Get %p (%i)\n", __func__, be,
677 atomic_read(&be->be_refcnt.refcount));
678 kref_get(&be->be_refcnt);
679 if (!ret)
680 ret = be;
681 else if (be->be_state != PNFS_BLOCK_READ_DATA)
682 bl_put_extent(be);
683 else
684 cow = be;
685 break;
686 }
687 }
688 if (ret &&
689 (!cow_read || ret->be_state != PNFS_BLOCK_INVALID_DATA))
690 break;
691 }
692 spin_unlock(&bl->bl_ext_lock);
693 if (cow_read)
694 *cow_read = cow;
695 print_bl_extent(ret);
696 return ret;
697}
Fred Isaman9f377042011-07-30 20:52:50 -0400698
Fred Isamanb2be7812011-07-30 20:52:52 -0400699/* Similar to bl_find_get_extent, but called with lock held, and ignores cow */
700static struct pnfs_block_extent *
701bl_find_get_extent_locked(struct pnfs_block_layout *bl, sector_t isect)
702{
703 struct pnfs_block_extent *be, *ret = NULL;
704 int i;
705
706 dprintk("%s enter with isect %llu\n", __func__, (u64)isect);
707 for (i = 0; i < EXTENT_LISTS; i++) {
708 if (ret)
709 break;
710 list_for_each_entry_reverse(be, &bl->bl_extents[i], be_node) {
711 if (isect >= be->be_f_offset + be->be_length)
712 break;
713 if (isect >= be->be_f_offset) {
714 /* We have found an extent */
715 dprintk("%s Get %p (%i)\n", __func__, be,
716 atomic_read(&be->be_refcnt.refcount));
717 kref_get(&be->be_refcnt);
718 ret = be;
719 break;
720 }
721 }
722 }
723 print_bl_extent(ret);
724 return ret;
725}
726
Fred Isaman90ace122011-07-30 20:52:51 -0400727int
728encode_pnfs_block_layoutupdate(struct pnfs_block_layout *bl,
729 struct xdr_stream *xdr,
730 const struct nfs4_layoutcommit_args *arg)
731{
732 struct pnfs_block_short_extent *lce, *save;
733 unsigned int count = 0;
734 __be32 *p, *xdr_start;
735
736 dprintk("%s enter\n", __func__);
737 /* BUG - creation of bl_commit is buggy - need to wait for
738 * entire block to be marked WRITTEN before it can be added.
739 */
740 spin_lock(&bl->bl_ext_lock);
741 /* Want to adjust for possible truncate */
742 /* We now want to adjust argument range */
743
744 /* XDR encode the ranges found */
745 xdr_start = xdr_reserve_space(xdr, 8);
746 if (!xdr_start)
747 goto out;
748 list_for_each_entry_safe(lce, save, &bl->bl_commit, bse_node) {
749 p = xdr_reserve_space(xdr, 7 * 4 + sizeof(lce->bse_devid.data));
750 if (!p)
751 break;
752 p = xdr_encode_opaque_fixed(p, lce->bse_devid.data, NFS4_DEVICEID4_SIZE);
753 p = xdr_encode_hyper(p, lce->bse_f_offset << SECTOR_SHIFT);
754 p = xdr_encode_hyper(p, lce->bse_length << SECTOR_SHIFT);
755 p = xdr_encode_hyper(p, 0LL);
756 *p++ = cpu_to_be32(PNFS_BLOCK_READWRITE_DATA);
757 list_del(&lce->bse_node);
758 list_add_tail(&lce->bse_node, &bl->bl_committing);
759 bl->bl_count--;
760 count++;
761 }
762 xdr_start[0] = cpu_to_be32((xdr->p - xdr_start - 1) * 4);
763 xdr_start[1] = cpu_to_be32(count);
764out:
765 spin_unlock(&bl->bl_ext_lock);
766 dprintk("%s found %i ranges\n", __func__, count);
767 return 0;
768}
769
Fred Isaman9f377042011-07-30 20:52:50 -0400770/* Helper function to set_to_rw that initialize a new extent */
771static void
772_prep_new_extent(struct pnfs_block_extent *new,
773 struct pnfs_block_extent *orig,
774 sector_t offset, sector_t length, int state)
775{
776 kref_init(&new->be_refcnt);
777 /* don't need to INIT_LIST_HEAD(&new->be_node) */
778 memcpy(&new->be_devid, &orig->be_devid, sizeof(struct nfs4_deviceid));
779 new->be_mdev = orig->be_mdev;
780 new->be_f_offset = offset;
781 new->be_length = length;
782 new->be_v_offset = orig->be_v_offset - orig->be_f_offset + offset;
783 new->be_state = state;
784 new->be_inval = orig->be_inval;
785}
786
787/* Tries to merge be with extent in front of it in list.
788 * Frees storage if not used.
789 */
790static struct pnfs_block_extent *
791_front_merge(struct pnfs_block_extent *be, struct list_head *head,
792 struct pnfs_block_extent *storage)
793{
794 struct pnfs_block_extent *prev;
795
796 if (!storage)
797 goto no_merge;
798 if (&be->be_node == head || be->be_node.prev == head)
799 goto no_merge;
800 prev = list_entry(be->be_node.prev, struct pnfs_block_extent, be_node);
801 if ((prev->be_f_offset + prev->be_length != be->be_f_offset) ||
802 !extents_consistent(prev, be))
803 goto no_merge;
804 _prep_new_extent(storage, prev, prev->be_f_offset,
805 prev->be_length + be->be_length, prev->be_state);
806 list_replace(&prev->be_node, &storage->be_node);
807 bl_put_extent(prev);
808 list_del(&be->be_node);
809 bl_put_extent(be);
810 return storage;
811
812 no_merge:
813 kfree(storage);
814 return be;
815}
Fred Isamanb2be7812011-07-30 20:52:52 -0400816
817static u64
818set_to_rw(struct pnfs_block_layout *bl, u64 offset, u64 length)
819{
820 u64 rv = offset + length;
821 struct pnfs_block_extent *be, *e1, *e2, *e3, *new, *old;
822 struct pnfs_block_extent *children[3];
823 struct pnfs_block_extent *merge1 = NULL, *merge2 = NULL;
824 int i = 0, j;
825
826 dprintk("%s(%llu, %llu)\n", __func__, offset, length);
827 /* Create storage for up to three new extents e1, e2, e3 */
828 e1 = kmalloc(sizeof(*e1), GFP_ATOMIC);
829 e2 = kmalloc(sizeof(*e2), GFP_ATOMIC);
830 e3 = kmalloc(sizeof(*e3), GFP_ATOMIC);
831 /* BUG - we are ignoring any failure */
832 if (!e1 || !e2 || !e3)
833 goto out_nosplit;
834
835 spin_lock(&bl->bl_ext_lock);
836 be = bl_find_get_extent_locked(bl, offset);
837 rv = be->be_f_offset + be->be_length;
838 if (be->be_state != PNFS_BLOCK_INVALID_DATA) {
839 spin_unlock(&bl->bl_ext_lock);
840 goto out_nosplit;
841 }
842 /* Add e* to children, bumping e*'s krefs */
843 if (be->be_f_offset != offset) {
844 _prep_new_extent(e1, be, be->be_f_offset,
845 offset - be->be_f_offset,
846 PNFS_BLOCK_INVALID_DATA);
847 children[i++] = e1;
848 print_bl_extent(e1);
849 } else
850 merge1 = e1;
851 _prep_new_extent(e2, be, offset,
852 min(length, be->be_f_offset + be->be_length - offset),
853 PNFS_BLOCK_READWRITE_DATA);
854 children[i++] = e2;
855 print_bl_extent(e2);
856 if (offset + length < be->be_f_offset + be->be_length) {
857 _prep_new_extent(e3, be, e2->be_f_offset + e2->be_length,
858 be->be_f_offset + be->be_length -
859 offset - length,
860 PNFS_BLOCK_INVALID_DATA);
861 children[i++] = e3;
862 print_bl_extent(e3);
863 } else
864 merge2 = e3;
865
866 /* Remove be from list, and insert the e* */
867 /* We don't get refs on e*, since this list is the base reference
868 * set when init'ed.
869 */
870 if (i < 3)
871 children[i] = NULL;
872 new = children[0];
873 list_replace(&be->be_node, &new->be_node);
874 bl_put_extent(be);
875 new = _front_merge(new, &bl->bl_extents[RW_EXTENT], merge1);
876 for (j = 1; j < i; j++) {
877 old = new;
878 new = children[j];
879 list_add(&new->be_node, &old->be_node);
880 }
881 if (merge2) {
882 /* This is a HACK, should just create a _back_merge function */
883 new = list_entry(new->be_node.next,
884 struct pnfs_block_extent, be_node);
885 new = _front_merge(new, &bl->bl_extents[RW_EXTENT], merge2);
886 }
887 spin_unlock(&bl->bl_ext_lock);
888
889 /* Since we removed the base reference above, be is now scheduled for
890 * destruction.
891 */
892 bl_put_extent(be);
893 dprintk("%s returns %llu after split\n", __func__, rv);
894 return rv;
895
896 out_nosplit:
897 kfree(e1);
898 kfree(e2);
899 kfree(e3);
900 dprintk("%s returns %llu without splitting\n", __func__, rv);
901 return rv;
902}
903
904void
905clean_pnfs_block_layoutupdate(struct pnfs_block_layout *bl,
906 const struct nfs4_layoutcommit_args *arg,
907 int status)
908{
909 struct pnfs_block_short_extent *lce, *save;
910
911 dprintk("%s status %d\n", __func__, status);
912 list_for_each_entry_safe(lce, save, &bl->bl_committing, bse_node) {
913 if (likely(!status)) {
914 u64 offset = lce->bse_f_offset;
915 u64 end = offset + lce->bse_length;
916
917 do {
918 offset = set_to_rw(bl, offset, end - offset);
919 } while (offset < end);
920 list_del(&lce->bse_node);
921
922 kfree(lce);
923 } else {
924 list_del(&lce->bse_node);
925 spin_lock(&bl->bl_ext_lock);
926 add_to_commitlist(bl, lce);
927 spin_unlock(&bl->bl_ext_lock);
928 }
929 }
930}