123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523 |
- /* -*- mode: c; c-basic-offset: 8; -*-
- * vim: noexpandtab sw=8 ts=8 sts=0:
- *
- * extent_map.c
- *
- * Block/Cluster mapping functions
- *
- * Copyright (C) 2004 Oracle. All rights reserved.
- *
- * This program is free software; you can redistribute it and/or
- * modify it under the terms of the GNU General Public
- * License, version 2, as published by the Free Software Foundation.
- *
- * This program is distributed in the hope that it will be useful,
- * but WITHOUT ANY WARRANTY; without even the implied warranty of
- * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
- * General Public License for more details.
- *
- * You should have received a copy of the GNU General Public
- * License along with this program; if not, write to the
- * Free Software Foundation, Inc., 59 Temple Place - Suite 330,
- * Boston, MA 021110-1307, USA.
- */
- #include <linux/fs.h>
- #include <linux/init.h>
- #include <linux/types.h>
- #define MLOG_MASK_PREFIX ML_EXTENT_MAP
- #include <cluster/masklog.h>
- #include "ocfs2.h"
- #include "alloc.h"
- #include "extent_map.h"
- #include "inode.h"
- #include "super.h"
- #include "buffer_head_io.h"
- /*
- * The extent caching implementation is intentionally trivial.
- *
- * We only cache a small number of extents stored directly on the
- * inode, so linear order operations are acceptable. If we ever want
- * to increase the size of the extent map, then these algorithms must
- * get smarter.
- */
- void ocfs2_extent_map_init(struct inode *inode)
- {
- struct ocfs2_inode_info *oi = OCFS2_I(inode);
- oi->ip_extent_map.em_num_items = 0;
- INIT_LIST_HEAD(&oi->ip_extent_map.em_list);
- }
- static void __ocfs2_extent_map_lookup(struct ocfs2_extent_map *em,
- unsigned int cpos,
- struct ocfs2_extent_map_item **ret_emi)
- {
- unsigned int range;
- struct ocfs2_extent_map_item *emi;
- *ret_emi = NULL;
- list_for_each_entry(emi, &em->em_list, ei_list) {
- range = emi->ei_cpos + emi->ei_clusters;
- if (cpos >= emi->ei_cpos && cpos < range) {
- list_move(&emi->ei_list, &em->em_list);
- *ret_emi = emi;
- break;
- }
- }
- }
- static int ocfs2_extent_map_lookup(struct inode *inode, unsigned int cpos,
- unsigned int *phys, unsigned int *len,
- unsigned int *flags)
- {
- unsigned int coff;
- struct ocfs2_inode_info *oi = OCFS2_I(inode);
- struct ocfs2_extent_map_item *emi;
- spin_lock(&oi->ip_lock);
- __ocfs2_extent_map_lookup(&oi->ip_extent_map, cpos, &emi);
- if (emi) {
- coff = cpos - emi->ei_cpos;
- *phys = emi->ei_phys + coff;
- if (len)
- *len = emi->ei_clusters - coff;
- if (flags)
- *flags = emi->ei_flags;
- }
- spin_unlock(&oi->ip_lock);
- if (emi == NULL)
- return -ENOENT;
- return 0;
- }
- /*
- * Forget about all clusters equal to or greater than cpos.
- */
- void ocfs2_extent_map_trunc(struct inode *inode, unsigned int cpos)
- {
- struct ocfs2_extent_map_item *emi, *n;
- struct ocfs2_inode_info *oi = OCFS2_I(inode);
- struct ocfs2_extent_map *em = &oi->ip_extent_map;
- LIST_HEAD(tmp_list);
- unsigned int range;
- spin_lock(&oi->ip_lock);
- list_for_each_entry_safe(emi, n, &em->em_list, ei_list) {
- if (emi->ei_cpos >= cpos) {
- /* Full truncate of this record. */
- list_move(&emi->ei_list, &tmp_list);
- BUG_ON(em->em_num_items == 0);
- em->em_num_items--;
- continue;
- }
- range = emi->ei_cpos + emi->ei_clusters;
- if (range > cpos) {
- /* Partial truncate */
- emi->ei_clusters = cpos - emi->ei_cpos;
- }
- }
- spin_unlock(&oi->ip_lock);
- list_for_each_entry_safe(emi, n, &tmp_list, ei_list) {
- list_del(&emi->ei_list);
- kfree(emi);
- }
- }
- /*
- * Is any part of emi2 contained within emi1
- */
- static int ocfs2_ei_is_contained(struct ocfs2_extent_map_item *emi1,
- struct ocfs2_extent_map_item *emi2)
- {
- unsigned int range1, range2;
- /*
- * Check if logical start of emi2 is inside emi1
- */
- range1 = emi1->ei_cpos + emi1->ei_clusters;
- if (emi2->ei_cpos >= emi1->ei_cpos && emi2->ei_cpos < range1)
- return 1;
- /*
- * Check if logical end of emi2 is inside emi1
- */
- range2 = emi2->ei_cpos + emi2->ei_clusters;
- if (range2 > emi1->ei_cpos && range2 <= range1)
- return 1;
- return 0;
- }
- static void ocfs2_copy_emi_fields(struct ocfs2_extent_map_item *dest,
- struct ocfs2_extent_map_item *src)
- {
- dest->ei_cpos = src->ei_cpos;
- dest->ei_phys = src->ei_phys;
- dest->ei_clusters = src->ei_clusters;
- dest->ei_flags = src->ei_flags;
- }
- /*
- * Try to merge emi with ins. Returns 1 if merge succeeds, zero
- * otherwise.
- */
- static int ocfs2_try_to_merge_extent_map(struct ocfs2_extent_map_item *emi,
- struct ocfs2_extent_map_item *ins)
- {
- /*
- * Handle contiguousness
- */
- if (ins->ei_phys == (emi->ei_phys + emi->ei_clusters) &&
- ins->ei_cpos == (emi->ei_cpos + emi->ei_clusters) &&
- ins->ei_flags == emi->ei_flags) {
- emi->ei_clusters += ins->ei_clusters;
- return 1;
- } else if ((ins->ei_phys + ins->ei_clusters) == emi->ei_phys &&
- (ins->ei_cpos + ins->ei_clusters) == emi->ei_phys &&
- ins->ei_flags == emi->ei_flags) {
- emi->ei_phys = ins->ei_phys;
- emi->ei_cpos = ins->ei_cpos;
- emi->ei_clusters += ins->ei_clusters;
- return 1;
- }
- /*
- * Overlapping extents - this shouldn't happen unless we've
- * split an extent to change it's flags. That is exceedingly
- * rare, so there's no sense in trying to optimize it yet.
- */
- if (ocfs2_ei_is_contained(emi, ins) ||
- ocfs2_ei_is_contained(ins, emi)) {
- ocfs2_copy_emi_fields(emi, ins);
- return 1;
- }
- /* No merge was possible. */
- return 0;
- }
- /*
- * In order to reduce complexity on the caller, this insert function
- * is intentionally liberal in what it will accept.
- *
- * The only rule is that the truncate call *must* be used whenever
- * records have been deleted. This avoids inserting overlapping
- * records with different physical mappings.
- */
- void ocfs2_extent_map_insert_rec(struct inode *inode,
- struct ocfs2_extent_rec *rec)
- {
- struct ocfs2_inode_info *oi = OCFS2_I(inode);
- struct ocfs2_extent_map *em = &oi->ip_extent_map;
- struct ocfs2_extent_map_item *emi, *new_emi = NULL;
- struct ocfs2_extent_map_item ins;
- ins.ei_cpos = le32_to_cpu(rec->e_cpos);
- ins.ei_phys = ocfs2_blocks_to_clusters(inode->i_sb,
- le64_to_cpu(rec->e_blkno));
- ins.ei_clusters = le16_to_cpu(rec->e_leaf_clusters);
- ins.ei_flags = rec->e_flags;
- search:
- spin_lock(&oi->ip_lock);
- list_for_each_entry(emi, &em->em_list, ei_list) {
- if (ocfs2_try_to_merge_extent_map(emi, &ins)) {
- list_move(&emi->ei_list, &em->em_list);
- spin_unlock(&oi->ip_lock);
- goto out;
- }
- }
- /*
- * No item could be merged.
- *
- * Either allocate and add a new item, or overwrite the last recently
- * inserted.
- */
- if (em->em_num_items < OCFS2_MAX_EXTENT_MAP_ITEMS) {
- if (new_emi == NULL) {
- spin_unlock(&oi->ip_lock);
- new_emi = kmalloc(sizeof(*new_emi), GFP_NOFS);
- if (new_emi == NULL)
- goto out;
- goto search;
- }
- ocfs2_copy_emi_fields(new_emi, &ins);
- list_add(&new_emi->ei_list, &em->em_list);
- em->em_num_items++;
- new_emi = NULL;
- } else {
- BUG_ON(list_empty(&em->em_list) || em->em_num_items == 0);
- emi = list_entry(em->em_list.prev,
- struct ocfs2_extent_map_item, ei_list);
- list_move(&emi->ei_list, &em->em_list);
- ocfs2_copy_emi_fields(emi, &ins);
- }
- spin_unlock(&oi->ip_lock);
- out:
- if (new_emi)
- kfree(new_emi);
- }
- /*
- * Return the 1st index within el which contains an extent start
- * larger than v_cluster.
- */
- static int ocfs2_search_for_hole_index(struct ocfs2_extent_list *el,
- u32 v_cluster)
- {
- int i;
- struct ocfs2_extent_rec *rec;
- for(i = 0; i < le16_to_cpu(el->l_next_free_rec); i++) {
- rec = &el->l_recs[i];
- if (v_cluster < le32_to_cpu(rec->e_cpos))
- break;
- }
- return i;
- }
- /*
- * Figure out the size of a hole which starts at v_cluster within the given
- * extent list.
- *
- * If there is no more allocation past v_cluster, we return the maximum
- * cluster size minus v_cluster.
- *
- * If we have in-inode extents, then el points to the dinode list and
- * eb_bh is NULL. Otherwise, eb_bh should point to the extent block
- * containing el.
- */
- static int ocfs2_figure_hole_clusters(struct inode *inode,
- struct ocfs2_extent_list *el,
- struct buffer_head *eb_bh,
- u32 v_cluster,
- u32 *num_clusters)
- {
- int ret, i;
- struct buffer_head *next_eb_bh = NULL;
- struct ocfs2_extent_block *eb, *next_eb;
- i = ocfs2_search_for_hole_index(el, v_cluster);
- if (i == le16_to_cpu(el->l_next_free_rec) && eb_bh) {
- eb = (struct ocfs2_extent_block *)eb_bh->b_data;
- /*
- * Check the next leaf for any extents.
- */
- if (le64_to_cpu(eb->h_next_leaf_blk) == 0ULL)
- goto no_more_extents;
- ret = ocfs2_read_block(OCFS2_SB(inode->i_sb),
- le64_to_cpu(eb->h_next_leaf_blk),
- &next_eb_bh, OCFS2_BH_CACHED, inode);
- if (ret) {
- mlog_errno(ret);
- goto out;
- }
- next_eb = (struct ocfs2_extent_block *)next_eb_bh->b_data;
- if (!OCFS2_IS_VALID_EXTENT_BLOCK(next_eb)) {
- ret = -EROFS;
- OCFS2_RO_ON_INVALID_EXTENT_BLOCK(inode->i_sb, next_eb);
- goto out;
- }
- el = &next_eb->h_list;
- i = ocfs2_search_for_hole_index(el, v_cluster);
- }
- no_more_extents:
- if (i == le16_to_cpu(el->l_next_free_rec)) {
- /*
- * We're at the end of our existing allocation. Just
- * return the maximum number of clusters we could
- * possibly allocate.
- */
- *num_clusters = UINT_MAX - v_cluster;
- } else {
- *num_clusters = le32_to_cpu(el->l_recs[i].e_cpos) - v_cluster;
- }
- ret = 0;
- out:
- brelse(next_eb_bh);
- return ret;
- }
- int ocfs2_get_clusters(struct inode *inode, u32 v_cluster,
- u32 *p_cluster, u32 *num_clusters,
- unsigned int *extent_flags)
- {
- int ret, i;
- unsigned int flags = 0;
- struct buffer_head *di_bh = NULL;
- struct buffer_head *eb_bh = NULL;
- struct ocfs2_dinode *di;
- struct ocfs2_extent_block *eb;
- struct ocfs2_extent_list *el;
- struct ocfs2_extent_rec *rec;
- u32 coff;
- if (OCFS2_I(inode)->ip_dyn_features & OCFS2_INLINE_DATA_FL) {
- ret = -ERANGE;
- mlog_errno(ret);
- goto out;
- }
- ret = ocfs2_extent_map_lookup(inode, v_cluster, p_cluster,
- num_clusters, extent_flags);
- if (ret == 0)
- goto out;
- ret = ocfs2_read_block(OCFS2_SB(inode->i_sb), OCFS2_I(inode)->ip_blkno,
- &di_bh, OCFS2_BH_CACHED, inode);
- if (ret) {
- mlog_errno(ret);
- goto out;
- }
- di = (struct ocfs2_dinode *) di_bh->b_data;
- el = &di->id2.i_list;
- if (el->l_tree_depth) {
- ret = ocfs2_find_leaf(inode, el, v_cluster, &eb_bh);
- if (ret) {
- mlog_errno(ret);
- goto out;
- }
- eb = (struct ocfs2_extent_block *) eb_bh->b_data;
- el = &eb->h_list;
- if (el->l_tree_depth) {
- ocfs2_error(inode->i_sb,
- "Inode %lu has non zero tree depth in "
- "leaf block %llu\n", inode->i_ino,
- (unsigned long long)eb_bh->b_blocknr);
- ret = -EROFS;
- goto out;
- }
- }
- i = ocfs2_search_extent_list(el, v_cluster);
- if (i == -1) {
- /*
- * A hole was found. Return some canned values that
- * callers can key on. If asked for, num_clusters will
- * be populated with the size of the hole.
- */
- *p_cluster = 0;
- if (num_clusters) {
- ret = ocfs2_figure_hole_clusters(inode, el, eb_bh,
- v_cluster,
- num_clusters);
- if (ret) {
- mlog_errno(ret);
- goto out;
- }
- }
- } else {
- rec = &el->l_recs[i];
- BUG_ON(v_cluster < le32_to_cpu(rec->e_cpos));
- if (!rec->e_blkno) {
- ocfs2_error(inode->i_sb, "Inode %lu has bad extent "
- "record (%u, %u, 0)", inode->i_ino,
- le32_to_cpu(rec->e_cpos),
- ocfs2_rec_clusters(el, rec));
- ret = -EROFS;
- goto out;
- }
- coff = v_cluster - le32_to_cpu(rec->e_cpos);
- *p_cluster = ocfs2_blocks_to_clusters(inode->i_sb,
- le64_to_cpu(rec->e_blkno));
- *p_cluster = *p_cluster + coff;
- if (num_clusters)
- *num_clusters = ocfs2_rec_clusters(el, rec) - coff;
- flags = rec->e_flags;
- ocfs2_extent_map_insert_rec(inode, rec);
- }
- if (extent_flags)
- *extent_flags = flags;
- out:
- brelse(di_bh);
- brelse(eb_bh);
- return ret;
- }
- /*
- * This expects alloc_sem to be held. The allocation cannot change at
- * all while the map is in the process of being updated.
- */
- int ocfs2_extent_map_get_blocks(struct inode *inode, u64 v_blkno, u64 *p_blkno,
- u64 *ret_count, unsigned int *extent_flags)
- {
- int ret;
- int bpc = ocfs2_clusters_to_blocks(inode->i_sb, 1);
- u32 cpos, num_clusters, p_cluster;
- u64 boff = 0;
- cpos = ocfs2_blocks_to_clusters(inode->i_sb, v_blkno);
- ret = ocfs2_get_clusters(inode, cpos, &p_cluster, &num_clusters,
- extent_flags);
- if (ret) {
- mlog_errno(ret);
- goto out;
- }
- /*
- * p_cluster == 0 indicates a hole.
- */
- if (p_cluster) {
- boff = ocfs2_clusters_to_blocks(inode->i_sb, p_cluster);
- boff += (v_blkno & (u64)(bpc - 1));
- }
- *p_blkno = boff;
- if (ret_count) {
- *ret_count = ocfs2_clusters_to_blocks(inode->i_sb, num_clusters);
- *ret_count -= v_blkno & (u64)(bpc - 1);
- }
- out:
- return ret;
- }
|