linux/fs/ocfs2/extent_map.c
<<
>>
Prefs
   1/* -*- mode: c; c-basic-offset: 8; -*-
   2 * vim: noexpandtab sw=8 ts=8 sts=0:
   3 *
   4 * extent_map.c
   5 *
   6 * Block/Cluster mapping functions
   7 *
   8 * Copyright (C) 2004 Oracle.  All rights reserved.
   9 *
  10 * This program is free software; you can redistribute it and/or
  11 * modify it under the terms of the GNU General Public
  12 * License, version 2,  as published by the Free Software Foundation.
  13 *
  14 * This program is distributed in the hope that it will be useful,
  15 * but WITHOUT ANY WARRANTY; without even the implied warranty of
  16 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
  17 * General Public License for more details.
  18 *
  19 * You should have received a copy of the GNU General Public
  20 * License along with this program; if not, write to the
  21 * Free Software Foundation, Inc., 59 Temple Place - Suite 330,
  22 * Boston, MA 021110-1307, USA.
  23 */
  24
  25#include <linux/fs.h>
  26#include <linux/init.h>
  27#include <linux/types.h>
  28
  29#define MLOG_MASK_PREFIX ML_EXTENT_MAP
  30#include <cluster/masklog.h>
  31
  32#include "ocfs2.h"
  33
  34#include "alloc.h"
  35#include "extent_map.h"
  36#include "inode.h"
  37#include "super.h"
  38
  39#include "buffer_head_io.h"
  40
  41/*
  42 * The extent caching implementation is intentionally trivial.
  43 *
  44 * We only cache a small number of extents stored directly on the
  45 * inode, so linear order operations are acceptable. If we ever want
  46 * to increase the size of the extent map, then these algorithms must
  47 * get smarter.
  48 */
  49
  50void ocfs2_extent_map_init(struct inode *inode)
  51{
  52        struct ocfs2_inode_info *oi = OCFS2_I(inode);
  53
  54        oi->ip_extent_map.em_num_items = 0;
  55        INIT_LIST_HEAD(&oi->ip_extent_map.em_list);
  56}
  57
  58static void __ocfs2_extent_map_lookup(struct ocfs2_extent_map *em,
  59                                      unsigned int cpos,
  60                                      struct ocfs2_extent_map_item **ret_emi)
  61{
  62        unsigned int range;
  63        struct ocfs2_extent_map_item *emi;
  64
  65        *ret_emi = NULL;
  66
  67        list_for_each_entry(emi, &em->em_list, ei_list) {
  68                range = emi->ei_cpos + emi->ei_clusters;
  69
  70                if (cpos >= emi->ei_cpos && cpos < range) {
  71                        list_move(&emi->ei_list, &em->em_list);
  72
  73                        *ret_emi = emi;
  74                        break;
  75                }
  76        }
  77}
  78
  79static int ocfs2_extent_map_lookup(struct inode *inode, unsigned int cpos,
  80                                   unsigned int *phys, unsigned int *len,
  81                                   unsigned int *flags)
  82{
  83        unsigned int coff;
  84        struct ocfs2_inode_info *oi = OCFS2_I(inode);
  85        struct ocfs2_extent_map_item *emi;
  86
  87        spin_lock(&oi->ip_lock);
  88
  89        __ocfs2_extent_map_lookup(&oi->ip_extent_map, cpos, &emi);
  90        if (emi) {
  91                coff = cpos - emi->ei_cpos;
  92                *phys = emi->ei_phys + coff;
  93                if (len)
  94                        *len = emi->ei_clusters - coff;
  95                if (flags)
  96                        *flags = emi->ei_flags;
  97        }
  98
  99        spin_unlock(&oi->ip_lock);
 100
 101        if (emi == NULL)
 102                return -ENOENT;
 103
 104        return 0;
 105}
 106
 107/*
 108 * Forget about all clusters equal to or greater than cpos.
 109 */
 110void ocfs2_extent_map_trunc(struct inode *inode, unsigned int cpos)
 111{
 112        struct ocfs2_extent_map_item *emi, *n;
 113        struct ocfs2_inode_info *oi = OCFS2_I(inode);
 114        struct ocfs2_extent_map *em = &oi->ip_extent_map;
 115        LIST_HEAD(tmp_list);
 116        unsigned int range;
 117
 118        spin_lock(&oi->ip_lock);
 119        list_for_each_entry_safe(emi, n, &em->em_list, ei_list) {
 120                if (emi->ei_cpos >= cpos) {
 121                        /* Full truncate of this record. */
 122                        list_move(&emi->ei_list, &tmp_list);
 123                        BUG_ON(em->em_num_items == 0);
 124                        em->em_num_items--;
 125                        continue;
 126                }
 127
 128                range = emi->ei_cpos + emi->ei_clusters;
 129                if (range > cpos) {
 130                        /* Partial truncate */
 131                        emi->ei_clusters = cpos - emi->ei_cpos;
 132                }
 133        }
 134        spin_unlock(&oi->ip_lock);
 135
 136        list_for_each_entry_safe(emi, n, &tmp_list, ei_list) {
 137                list_del(&emi->ei_list);
 138                kfree(emi);
 139        }
 140}
 141
 142/*
 143 * Is any part of emi2 contained within emi1
 144 */
 145static int ocfs2_ei_is_contained(struct ocfs2_extent_map_item *emi1,
 146                                 struct ocfs2_extent_map_item *emi2)
 147{
 148        unsigned int range1, range2;
 149
 150        /*
 151         * Check if logical start of emi2 is inside emi1
 152         */
 153        range1 = emi1->ei_cpos + emi1->ei_clusters;
 154        if (emi2->ei_cpos >= emi1->ei_cpos && emi2->ei_cpos < range1)
 155                return 1;
 156
 157        /*
 158         * Check if logical end of emi2 is inside emi1
 159         */
 160        range2 = emi2->ei_cpos + emi2->ei_clusters;
 161        if (range2 > emi1->ei_cpos && range2 <= range1)
 162                return 1;
 163
 164        return 0;
 165}
 166
 167static void ocfs2_copy_emi_fields(struct ocfs2_extent_map_item *dest,
 168                                  struct ocfs2_extent_map_item *src)
 169{
 170        dest->ei_cpos = src->ei_cpos;
 171        dest->ei_phys = src->ei_phys;
 172        dest->ei_clusters = src->ei_clusters;
 173        dest->ei_flags = src->ei_flags;
 174}
 175
 176/*
 177 * Try to merge emi with ins. Returns 1 if merge succeeds, zero
 178 * otherwise.
 179 */
 180static int ocfs2_try_to_merge_extent_map(struct ocfs2_extent_map_item *emi,
 181                                         struct ocfs2_extent_map_item *ins)
 182{
 183        /*
 184         * Handle contiguousness
 185         */
 186        if (ins->ei_phys == (emi->ei_phys + emi->ei_clusters) &&
 187            ins->ei_cpos == (emi->ei_cpos + emi->ei_clusters) &&
 188            ins->ei_flags == emi->ei_flags) {
 189                emi->ei_clusters += ins->ei_clusters;
 190                return 1;
 191        } else if ((ins->ei_phys + ins->ei_clusters) == emi->ei_phys &&
 192                   (ins->ei_cpos + ins->ei_clusters) == emi->ei_phys &&
 193                   ins->ei_flags == emi->ei_flags) {
 194                emi->ei_phys = ins->ei_phys;
 195                emi->ei_cpos = ins->ei_cpos;
 196                emi->ei_clusters += ins->ei_clusters;
 197                return 1;
 198        }
 199
 200        /*
 201         * Overlapping extents - this shouldn't happen unless we've
 202         * split an extent to change it's flags. That is exceedingly
 203         * rare, so there's no sense in trying to optimize it yet.
 204         */
 205        if (ocfs2_ei_is_contained(emi, ins) ||
 206            ocfs2_ei_is_contained(ins, emi)) {
 207                ocfs2_copy_emi_fields(emi, ins);
 208                return 1;
 209        }
 210
 211        /* No merge was possible. */
 212        return 0;
 213}
 214
 215/*
 216 * In order to reduce complexity on the caller, this insert function
 217 * is intentionally liberal in what it will accept.
 218 *
 219 * The only rule is that the truncate call *must* be used whenever
 220 * records have been deleted. This avoids inserting overlapping
 221 * records with different physical mappings.
 222 */
 223void ocfs2_extent_map_insert_rec(struct inode *inode,
 224                                 struct ocfs2_extent_rec *rec)
 225{
 226        struct ocfs2_inode_info *oi = OCFS2_I(inode);
 227        struct ocfs2_extent_map *em = &oi->ip_extent_map;
 228        struct ocfs2_extent_map_item *emi, *new_emi = NULL;
 229        struct ocfs2_extent_map_item ins;
 230
 231        ins.ei_cpos = le32_to_cpu(rec->e_cpos);
 232        ins.ei_phys = ocfs2_blocks_to_clusters(inode->i_sb,
 233                                               le64_to_cpu(rec->e_blkno));
 234        ins.ei_clusters = le16_to_cpu(rec->e_leaf_clusters);
 235        ins.ei_flags = rec->e_flags;
 236
 237search:
 238        spin_lock(&oi->ip_lock);
 239
 240        list_for_each_entry(emi, &em->em_list, ei_list) {
 241                if (ocfs2_try_to_merge_extent_map(emi, &ins)) {
 242                        list_move(&emi->ei_list, &em->em_list);
 243                        spin_unlock(&oi->ip_lock);
 244                        goto out;
 245                }
 246        }
 247
 248        /*
 249         * No item could be merged.
 250         *
 251         * Either allocate and add a new item, or overwrite the last recently
 252         * inserted.
 253         */
 254
 255        if (em->em_num_items < OCFS2_MAX_EXTENT_MAP_ITEMS) {
 256                if (new_emi == NULL) {
 257                        spin_unlock(&oi->ip_lock);
 258
 259                        new_emi = kmalloc(sizeof(*new_emi), GFP_NOFS);
 260                        if (new_emi == NULL)
 261                                goto out;
 262
 263                        goto search;
 264                }
 265
 266                ocfs2_copy_emi_fields(new_emi, &ins);
 267                list_add(&new_emi->ei_list, &em->em_list);
 268                em->em_num_items++;
 269                new_emi = NULL;
 270        } else {
 271                BUG_ON(list_empty(&em->em_list) || em->em_num_items == 0);
 272                emi = list_entry(em->em_list.prev,
 273                                 struct ocfs2_extent_map_item, ei_list);
 274                list_move(&emi->ei_list, &em->em_list);
 275                ocfs2_copy_emi_fields(emi, &ins);
 276        }
 277
 278        spin_unlock(&oi->ip_lock);
 279
 280out:
 281        if (new_emi)
 282                kfree(new_emi);
 283}
 284
 285/*
 286 * Return the 1st index within el which contains an extent start
 287 * larger than v_cluster.
 288 */
 289static int ocfs2_search_for_hole_index(struct ocfs2_extent_list *el,
 290                                       u32 v_cluster)
 291{
 292        int i;
 293        struct ocfs2_extent_rec *rec;
 294
 295        for(i = 0; i < le16_to_cpu(el->l_next_free_rec); i++) {
 296                rec = &el->l_recs[i];
 297
 298                if (v_cluster < le32_to_cpu(rec->e_cpos))
 299                        break;
 300        }
 301
 302        return i;
 303}
 304
 305/*
 306 * Figure out the size of a hole which starts at v_cluster within the given
 307 * extent list.
 308 *
 309 * If there is no more allocation past v_cluster, we return the maximum
 310 * cluster size minus v_cluster.
 311 *
 312 * If we have in-inode extents, then el points to the dinode list and
 313 * eb_bh is NULL. Otherwise, eb_bh should point to the extent block
 314 * containing el.
 315 */
 316static int ocfs2_figure_hole_clusters(struct inode *inode,
 317                                      struct ocfs2_extent_list *el,
 318                                      struct buffer_head *eb_bh,
 319                                      u32 v_cluster,
 320                                      u32 *num_clusters)
 321{
 322        int ret, i;
 323        struct buffer_head *next_eb_bh = NULL;
 324        struct ocfs2_extent_block *eb, *next_eb;
 325
 326        i = ocfs2_search_for_hole_index(el, v_cluster);
 327
 328        if (i == le16_to_cpu(el->l_next_free_rec) && eb_bh) {
 329                eb = (struct ocfs2_extent_block *)eb_bh->b_data;
 330
 331                /*
 332                 * Check the next leaf for any extents.
 333                 */
 334
 335                if (le64_to_cpu(eb->h_next_leaf_blk) == 0ULL)
 336                        goto no_more_extents;
 337
 338                ret = ocfs2_read_block(OCFS2_SB(inode->i_sb),
 339                                       le64_to_cpu(eb->h_next_leaf_blk),
 340                                       &next_eb_bh, OCFS2_BH_CACHED, inode);
 341                if (ret) {
 342                        mlog_errno(ret);
 343                        goto out;
 344                }
 345                next_eb = (struct ocfs2_extent_block *)next_eb_bh->b_data;
 346
 347                if (!OCFS2_IS_VALID_EXTENT_BLOCK(next_eb)) {
 348                        ret = -EROFS;
 349                        OCFS2_RO_ON_INVALID_EXTENT_BLOCK(inode->i_sb, next_eb);
 350                        goto out;
 351                }
 352
 353                el = &next_eb->h_list;
 354
 355                i = ocfs2_search_for_hole_index(el, v_cluster);
 356        }
 357
 358no_more_extents:
 359        if (i == le16_to_cpu(el->l_next_free_rec)) {
 360                /*
 361                 * We're at the end of our existing allocation. Just
 362                 * return the maximum number of clusters we could
 363                 * possibly allocate.
 364                 */
 365                *num_clusters = UINT_MAX - v_cluster;
 366        } else {
 367                *num_clusters = le32_to_cpu(el->l_recs[i].e_cpos) - v_cluster;
 368        }
 369
 370        ret = 0;
 371out:
 372        brelse(next_eb_bh);
 373        return ret;
 374}
 375
 376int ocfs2_get_clusters(struct inode *inode, u32 v_cluster,
 377                       u32 *p_cluster, u32 *num_clusters,
 378                       unsigned int *extent_flags)
 379{
 380        int ret, i;
 381        unsigned int flags = 0;
 382        struct buffer_head *di_bh = NULL;
 383        struct buffer_head *eb_bh = NULL;
 384        struct ocfs2_dinode *di;
 385        struct ocfs2_extent_block *eb;
 386        struct ocfs2_extent_list *el;
 387        struct ocfs2_extent_rec *rec;
 388        u32 coff;
 389
 390        if (OCFS2_I(inode)->ip_dyn_features & OCFS2_INLINE_DATA_FL) {
 391                ret = -ERANGE;
 392                mlog_errno(ret);
 393                goto out;
 394        }
 395
 396        ret = ocfs2_extent_map_lookup(inode, v_cluster, p_cluster,
 397                                      num_clusters, extent_flags);
 398        if (ret == 0)
 399                goto out;
 400
 401        ret = ocfs2_read_block(OCFS2_SB(inode->i_sb), OCFS2_I(inode)->ip_blkno,
 402                               &di_bh, OCFS2_BH_CACHED, inode);
 403        if (ret) {
 404                mlog_errno(ret);
 405                goto out;
 406        }
 407
 408        di = (struct ocfs2_dinode *) di_bh->b_data;
 409        el = &di->id2.i_list;
 410
 411        if (el->l_tree_depth) {
 412                ret = ocfs2_find_leaf(inode, el, v_cluster, &eb_bh);
 413                if (ret) {
 414                        mlog_errno(ret);
 415                        goto out;
 416                }
 417
 418                eb = (struct ocfs2_extent_block *) eb_bh->b_data;
 419                el = &eb->h_list;
 420
 421                if (el->l_tree_depth) {
 422                        ocfs2_error(inode->i_sb,
 423                                    "Inode %lu has non zero tree depth in "
 424                                    "leaf block %llu\n", inode->i_ino,
 425                                    (unsigned long long)eb_bh->b_blocknr);
 426                        ret = -EROFS;
 427                        goto out;
 428                }
 429        }
 430
 431        i = ocfs2_search_extent_list(el, v_cluster);
 432        if (i == -1) {
 433                /*
 434                 * A hole was found. Return some canned values that
 435                 * callers can key on. If asked for, num_clusters will
 436                 * be populated with the size of the hole.
 437                 */
 438                *p_cluster = 0;
 439                if (num_clusters) {
 440                        ret = ocfs2_figure_hole_clusters(inode, el, eb_bh,
 441                                                         v_cluster,
 442                                                         num_clusters);
 443                        if (ret) {
 444                                mlog_errno(ret);
 445                                goto out;
 446                        }
 447                }
 448        } else {
 449                rec = &el->l_recs[i];
 450
 451                BUG_ON(v_cluster < le32_to_cpu(rec->e_cpos));
 452
 453                if (!rec->e_blkno) {
 454                        ocfs2_error(inode->i_sb, "Inode %lu has bad extent "
 455                                    "record (%u, %u, 0)", inode->i_ino,
 456                                    le32_to_cpu(rec->e_cpos),
 457                                    ocfs2_rec_clusters(el, rec));
 458                        ret = -EROFS;
 459                        goto out;
 460                }
 461
 462                coff = v_cluster - le32_to_cpu(rec->e_cpos);
 463
 464                *p_cluster = ocfs2_blocks_to_clusters(inode->i_sb,
 465                                                    le64_to_cpu(rec->e_blkno));
 466                *p_cluster = *p_cluster + coff;
 467
 468                if (num_clusters)
 469                        *num_clusters = ocfs2_rec_clusters(el, rec) - coff;
 470
 471                flags = rec->e_flags;
 472
 473                ocfs2_extent_map_insert_rec(inode, rec);
 474        }
 475
 476        if (extent_flags)
 477                *extent_flags = flags;
 478
 479out:
 480        brelse(di_bh);
 481        brelse(eb_bh);
 482        return ret;
 483}
 484
 485/*
 486 * This expects alloc_sem to be held. The allocation cannot change at
 487 * all while the map is in the process of being updated.
 488 */
 489int ocfs2_extent_map_get_blocks(struct inode *inode, u64 v_blkno, u64 *p_blkno,
 490                                u64 *ret_count, unsigned int *extent_flags)
 491{
 492        int ret;
 493        int bpc = ocfs2_clusters_to_blocks(inode->i_sb, 1);
 494        u32 cpos, num_clusters, p_cluster;
 495        u64 boff = 0;
 496
 497        cpos = ocfs2_blocks_to_clusters(inode->i_sb, v_blkno);
 498
 499        ret = ocfs2_get_clusters(inode, cpos, &p_cluster, &num_clusters,
 500                                 extent_flags);
 501        if (ret) {
 502                mlog_errno(ret);
 503                goto out;
 504        }
 505
 506        /*
 507         * p_cluster == 0 indicates a hole.
 508         */
 509        if (p_cluster) {
 510                boff = ocfs2_clusters_to_blocks(inode->i_sb, p_cluster);
 511                boff += (v_blkno & (u64)(bpc - 1));
 512        }
 513
 514        *p_blkno = boff;
 515
 516        if (ret_count) {
 517                *ret_count = ocfs2_clusters_to_blocks(inode->i_sb, num_clusters);
 518                *ret_count -= v_blkno & (u64)(bpc - 1);
 519        }
 520
 521out:
 522        return ret;
 523}
 524