13241b1d3SJoe Thornber /*
23241b1d3SJoe Thornber  * Copyright (C) 2011 Red Hat, Inc.
33241b1d3SJoe Thornber  *
43241b1d3SJoe Thornber  * This file is released under the GPL.
53241b1d3SJoe Thornber  */
63241b1d3SJoe Thornber 
73241b1d3SJoe Thornber #include "dm-space-map-checker.h"
83241b1d3SJoe Thornber #include "dm-space-map-common.h"
93241b1d3SJoe Thornber #include "dm-space-map-disk.h"
103241b1d3SJoe Thornber #include "dm-space-map.h"
113241b1d3SJoe Thornber #include "dm-transaction-manager.h"
123241b1d3SJoe Thornber 
133241b1d3SJoe Thornber #include <linux/list.h>
143241b1d3SJoe Thornber #include <linux/slab.h>
151944ce60SPaul Gortmaker #include <linux/export.h>
163241b1d3SJoe Thornber #include <linux/device-mapper.h>
173241b1d3SJoe Thornber 
183241b1d3SJoe Thornber #define DM_MSG_PREFIX "space map disk"
193241b1d3SJoe Thornber 
203241b1d3SJoe Thornber /*----------------------------------------------------------------*/
213241b1d3SJoe Thornber 
223241b1d3SJoe Thornber /*
233241b1d3SJoe Thornber  * Space map interface.
243241b1d3SJoe Thornber  */
253241b1d3SJoe Thornber struct sm_disk {
263241b1d3SJoe Thornber 	struct dm_space_map sm;
273241b1d3SJoe Thornber 
283241b1d3SJoe Thornber 	struct ll_disk ll;
293241b1d3SJoe Thornber 	struct ll_disk old_ll;
303241b1d3SJoe Thornber 
313241b1d3SJoe Thornber 	dm_block_t begin;
323241b1d3SJoe Thornber 	dm_block_t nr_allocated_this_transaction;
333241b1d3SJoe Thornber };
343241b1d3SJoe Thornber 
353241b1d3SJoe Thornber static void sm_disk_destroy(struct dm_space_map *sm)
363241b1d3SJoe Thornber {
373241b1d3SJoe Thornber 	struct sm_disk *smd = container_of(sm, struct sm_disk, sm);
383241b1d3SJoe Thornber 
393241b1d3SJoe Thornber 	kfree(smd);
403241b1d3SJoe Thornber }
413241b1d3SJoe Thornber 
423241b1d3SJoe Thornber static int sm_disk_extend(struct dm_space_map *sm, dm_block_t extra_blocks)
433241b1d3SJoe Thornber {
443241b1d3SJoe Thornber 	struct sm_disk *smd = container_of(sm, struct sm_disk, sm);
453241b1d3SJoe Thornber 
463241b1d3SJoe Thornber 	return sm_ll_extend(&smd->ll, extra_blocks);
473241b1d3SJoe Thornber }
483241b1d3SJoe Thornber 
493241b1d3SJoe Thornber static int sm_disk_get_nr_blocks(struct dm_space_map *sm, dm_block_t *count)
503241b1d3SJoe Thornber {
513241b1d3SJoe Thornber 	struct sm_disk *smd = container_of(sm, struct sm_disk, sm);
523241b1d3SJoe Thornber 	*count = smd->old_ll.nr_blocks;
533241b1d3SJoe Thornber 
543241b1d3SJoe Thornber 	return 0;
553241b1d3SJoe Thornber }
563241b1d3SJoe Thornber 
573241b1d3SJoe Thornber static int sm_disk_get_nr_free(struct dm_space_map *sm, dm_block_t *count)
583241b1d3SJoe Thornber {
593241b1d3SJoe Thornber 	struct sm_disk *smd = container_of(sm, struct sm_disk, sm);
603241b1d3SJoe Thornber 	*count = (smd->old_ll.nr_blocks - smd->old_ll.nr_allocated) - smd->nr_allocated_this_transaction;
613241b1d3SJoe Thornber 
623241b1d3SJoe Thornber 	return 0;
633241b1d3SJoe Thornber }
643241b1d3SJoe Thornber 
653241b1d3SJoe Thornber static int sm_disk_get_count(struct dm_space_map *sm, dm_block_t b,
663241b1d3SJoe Thornber 			     uint32_t *result)
673241b1d3SJoe Thornber {
683241b1d3SJoe Thornber 	struct sm_disk *smd = container_of(sm, struct sm_disk, sm);
693241b1d3SJoe Thornber 	return sm_ll_lookup(&smd->ll, b, result);
703241b1d3SJoe Thornber }
713241b1d3SJoe Thornber 
723241b1d3SJoe Thornber static int sm_disk_count_is_more_than_one(struct dm_space_map *sm, dm_block_t b,
733241b1d3SJoe Thornber 					  int *result)
743241b1d3SJoe Thornber {
753241b1d3SJoe Thornber 	int r;
763241b1d3SJoe Thornber 	uint32_t count;
773241b1d3SJoe Thornber 
783241b1d3SJoe Thornber 	r = sm_disk_get_count(sm, b, &count);
793241b1d3SJoe Thornber 	if (r)
803241b1d3SJoe Thornber 		return r;
813241b1d3SJoe Thornber 
823241b1d3SJoe Thornber 	return count > 1;
833241b1d3SJoe Thornber }
843241b1d3SJoe Thornber 
853241b1d3SJoe Thornber static int sm_disk_set_count(struct dm_space_map *sm, dm_block_t b,
863241b1d3SJoe Thornber 			     uint32_t count)
873241b1d3SJoe Thornber {
883241b1d3SJoe Thornber 	int r;
893241b1d3SJoe Thornber 	uint32_t old_count;
903241b1d3SJoe Thornber 	enum allocation_event ev;
913241b1d3SJoe Thornber 	struct sm_disk *smd = container_of(sm, struct sm_disk, sm);
923241b1d3SJoe Thornber 
933241b1d3SJoe Thornber 	r = sm_ll_insert(&smd->ll, b, count, &ev);
943241b1d3SJoe Thornber 	if (!r) {
953241b1d3SJoe Thornber 		switch (ev) {
963241b1d3SJoe Thornber 		case SM_NONE:
973241b1d3SJoe Thornber 			break;
983241b1d3SJoe Thornber 
993241b1d3SJoe Thornber 		case SM_ALLOC:
1003241b1d3SJoe Thornber 			/*
1013241b1d3SJoe Thornber 			 * This _must_ be free in the prior transaction
1023241b1d3SJoe Thornber 			 * otherwise we've lost atomicity.
1033241b1d3SJoe Thornber 			 */
1043241b1d3SJoe Thornber 			smd->nr_allocated_this_transaction++;
1053241b1d3SJoe Thornber 			break;
1063241b1d3SJoe Thornber 
1073241b1d3SJoe Thornber 		case SM_FREE:
1083241b1d3SJoe Thornber 			/*
1093241b1d3SJoe Thornber 			 * It's only free if it's also free in the last
1103241b1d3SJoe Thornber 			 * transaction.
1113241b1d3SJoe Thornber 			 */
1123241b1d3SJoe Thornber 			r = sm_ll_lookup(&smd->old_ll, b, &old_count);
1133241b1d3SJoe Thornber 			if (r)
1143241b1d3SJoe Thornber 				return r;
1153241b1d3SJoe Thornber 
1163241b1d3SJoe Thornber 			if (!old_count)
1173241b1d3SJoe Thornber 				smd->nr_allocated_this_transaction--;
1183241b1d3SJoe Thornber 			break;
1193241b1d3SJoe Thornber 		}
1203241b1d3SJoe Thornber 	}
1213241b1d3SJoe Thornber 
1223241b1d3SJoe Thornber 	return r;
1233241b1d3SJoe Thornber }
1243241b1d3SJoe Thornber 
1253241b1d3SJoe Thornber static int sm_disk_inc_block(struct dm_space_map *sm, dm_block_t b)
1263241b1d3SJoe Thornber {
1273241b1d3SJoe Thornber 	int r;
1283241b1d3SJoe Thornber 	enum allocation_event ev;
1293241b1d3SJoe Thornber 	struct sm_disk *smd = container_of(sm, struct sm_disk, sm);
1303241b1d3SJoe Thornber 
1313241b1d3SJoe Thornber 	r = sm_ll_inc(&smd->ll, b, &ev);
1323241b1d3SJoe Thornber 	if (!r && (ev == SM_ALLOC))
1333241b1d3SJoe Thornber 		/*
1343241b1d3SJoe Thornber 		 * This _must_ be free in the prior transaction
1353241b1d3SJoe Thornber 		 * otherwise we've lost atomicity.
1363241b1d3SJoe Thornber 		 */
1373241b1d3SJoe Thornber 		smd->nr_allocated_this_transaction++;
1383241b1d3SJoe Thornber 
1393241b1d3SJoe Thornber 	return r;
1403241b1d3SJoe Thornber }
1413241b1d3SJoe Thornber 
1423241b1d3SJoe Thornber static int sm_disk_dec_block(struct dm_space_map *sm, dm_block_t b)
1433241b1d3SJoe Thornber {
1443241b1d3SJoe Thornber 	int r;
1453241b1d3SJoe Thornber 	uint32_t old_count;
1463241b1d3SJoe Thornber 	enum allocation_event ev;
1473241b1d3SJoe Thornber 	struct sm_disk *smd = container_of(sm, struct sm_disk, sm);
1483241b1d3SJoe Thornber 
1493241b1d3SJoe Thornber 	r = sm_ll_dec(&smd->ll, b, &ev);
1503241b1d3SJoe Thornber 	if (!r && (ev == SM_FREE)) {
1513241b1d3SJoe Thornber 		/*
1523241b1d3SJoe Thornber 		 * It's only free if it's also free in the last
1533241b1d3SJoe Thornber 		 * transaction.
1543241b1d3SJoe Thornber 		 */
1553241b1d3SJoe Thornber 		r = sm_ll_lookup(&smd->old_ll, b, &old_count);
1563241b1d3SJoe Thornber 		if (r)
1573241b1d3SJoe Thornber 			return r;
1583241b1d3SJoe Thornber 
1593241b1d3SJoe Thornber 		if (!old_count)
1603241b1d3SJoe Thornber 			smd->nr_allocated_this_transaction--;
1613241b1d3SJoe Thornber 	}
1623241b1d3SJoe Thornber 
1633241b1d3SJoe Thornber 	return r;
1643241b1d3SJoe Thornber }
1653241b1d3SJoe Thornber 
1663241b1d3SJoe Thornber static int sm_disk_new_block(struct dm_space_map *sm, dm_block_t *b)
1673241b1d3SJoe Thornber {
1683241b1d3SJoe Thornber 	int r;
1693241b1d3SJoe Thornber 	enum allocation_event ev;
1703241b1d3SJoe Thornber 	struct sm_disk *smd = container_of(sm, struct sm_disk, sm);
1713241b1d3SJoe Thornber 
1723241b1d3SJoe Thornber 	/* FIXME: we should loop round a couple of times */
1733241b1d3SJoe Thornber 	r = sm_ll_find_free_block(&smd->old_ll, smd->begin, smd->old_ll.nr_blocks, b);
1743241b1d3SJoe Thornber 	if (r)
1753241b1d3SJoe Thornber 		return r;
1763241b1d3SJoe Thornber 
1773241b1d3SJoe Thornber 	smd->begin = *b + 1;
1783241b1d3SJoe Thornber 	r = sm_ll_inc(&smd->ll, *b, &ev);
1793241b1d3SJoe Thornber 	if (!r) {
1803241b1d3SJoe Thornber 		BUG_ON(ev != SM_ALLOC);
1813241b1d3SJoe Thornber 		smd->nr_allocated_this_transaction++;
1823241b1d3SJoe Thornber 	}
1833241b1d3SJoe Thornber 
1843241b1d3SJoe Thornber 	return r;
1853241b1d3SJoe Thornber }
1863241b1d3SJoe Thornber 
1873241b1d3SJoe Thornber static int sm_disk_commit(struct dm_space_map *sm)
1883241b1d3SJoe Thornber {
1893241b1d3SJoe Thornber 	int r;
1903241b1d3SJoe Thornber 	dm_block_t nr_free;
1913241b1d3SJoe Thornber 	struct sm_disk *smd = container_of(sm, struct sm_disk, sm);
1923241b1d3SJoe Thornber 
1933241b1d3SJoe Thornber 	r = sm_disk_get_nr_free(sm, &nr_free);
1943241b1d3SJoe Thornber 	if (r)
1953241b1d3SJoe Thornber 		return r;
1963241b1d3SJoe Thornber 
1973241b1d3SJoe Thornber 	r = sm_ll_commit(&smd->ll);
1983241b1d3SJoe Thornber 	if (r)
1993241b1d3SJoe Thornber 		return r;
2003241b1d3SJoe Thornber 
2013241b1d3SJoe Thornber 	memcpy(&smd->old_ll, &smd->ll, sizeof(smd->old_ll));
2023241b1d3SJoe Thornber 	smd->begin = 0;
2033241b1d3SJoe Thornber 	smd->nr_allocated_this_transaction = 0;
2043241b1d3SJoe Thornber 
2053241b1d3SJoe Thornber 	r = sm_disk_get_nr_free(sm, &nr_free);
2063241b1d3SJoe Thornber 	if (r)
2073241b1d3SJoe Thornber 		return r;
2083241b1d3SJoe Thornber 
2093241b1d3SJoe Thornber 	return 0;
2103241b1d3SJoe Thornber }
2113241b1d3SJoe Thornber 
2123241b1d3SJoe Thornber static int sm_disk_root_size(struct dm_space_map *sm, size_t *result)
2133241b1d3SJoe Thornber {
2143241b1d3SJoe Thornber 	*result = sizeof(struct disk_sm_root);
2153241b1d3SJoe Thornber 
2163241b1d3SJoe Thornber 	return 0;
2173241b1d3SJoe Thornber }
2183241b1d3SJoe Thornber 
2193241b1d3SJoe Thornber static int sm_disk_copy_root(struct dm_space_map *sm, void *where_le, size_t max)
2203241b1d3SJoe Thornber {
2213241b1d3SJoe Thornber 	struct sm_disk *smd = container_of(sm, struct sm_disk, sm);
2223241b1d3SJoe Thornber 	struct disk_sm_root root_le;
2233241b1d3SJoe Thornber 
2243241b1d3SJoe Thornber 	root_le.nr_blocks = cpu_to_le64(smd->ll.nr_blocks);
2253241b1d3SJoe Thornber 	root_le.nr_allocated = cpu_to_le64(smd->ll.nr_allocated);
2263241b1d3SJoe Thornber 	root_le.bitmap_root = cpu_to_le64(smd->ll.bitmap_root);
2273241b1d3SJoe Thornber 	root_le.ref_count_root = cpu_to_le64(smd->ll.ref_count_root);
2283241b1d3SJoe Thornber 
2293241b1d3SJoe Thornber 	if (max < sizeof(root_le))
2303241b1d3SJoe Thornber 		return -ENOSPC;
2313241b1d3SJoe Thornber 
2323241b1d3SJoe Thornber 	memcpy(where_le, &root_le, sizeof(root_le));
2333241b1d3SJoe Thornber 
2343241b1d3SJoe Thornber 	return 0;
2353241b1d3SJoe Thornber }
2363241b1d3SJoe Thornber 
2373241b1d3SJoe Thornber /*----------------------------------------------------------------*/
2383241b1d3SJoe Thornber 
2393241b1d3SJoe Thornber static struct dm_space_map ops = {
2403241b1d3SJoe Thornber 	.destroy = sm_disk_destroy,
2413241b1d3SJoe Thornber 	.extend = sm_disk_extend,
2423241b1d3SJoe Thornber 	.get_nr_blocks = sm_disk_get_nr_blocks,
2433241b1d3SJoe Thornber 	.get_nr_free = sm_disk_get_nr_free,
2443241b1d3SJoe Thornber 	.get_count = sm_disk_get_count,
2453241b1d3SJoe Thornber 	.count_is_more_than_one = sm_disk_count_is_more_than_one,
2463241b1d3SJoe Thornber 	.set_count = sm_disk_set_count,
2473241b1d3SJoe Thornber 	.inc_block = sm_disk_inc_block,
2483241b1d3SJoe Thornber 	.dec_block = sm_disk_dec_block,
2493241b1d3SJoe Thornber 	.new_block = sm_disk_new_block,
2503241b1d3SJoe Thornber 	.commit = sm_disk_commit,
2513241b1d3SJoe Thornber 	.root_size = sm_disk_root_size,
2523241b1d3SJoe Thornber 	.copy_root = sm_disk_copy_root
2533241b1d3SJoe Thornber };
2543241b1d3SJoe Thornber 
2553241b1d3SJoe Thornber static struct dm_space_map *dm_sm_disk_create_real(
2563241b1d3SJoe Thornber 	struct dm_transaction_manager *tm,
2573241b1d3SJoe Thornber 	dm_block_t nr_blocks)
2583241b1d3SJoe Thornber {
2593241b1d3SJoe Thornber 	int r;
2603241b1d3SJoe Thornber 	struct sm_disk *smd;
2613241b1d3SJoe Thornber 
2623241b1d3SJoe Thornber 	smd = kmalloc(sizeof(*smd), GFP_KERNEL);
2633241b1d3SJoe Thornber 	if (!smd)
2643241b1d3SJoe Thornber 		return ERR_PTR(-ENOMEM);
2653241b1d3SJoe Thornber 
2663241b1d3SJoe Thornber 	smd->begin = 0;
2673241b1d3SJoe Thornber 	smd->nr_allocated_this_transaction = 0;
2683241b1d3SJoe Thornber 	memcpy(&smd->sm, &ops, sizeof(smd->sm));
2693241b1d3SJoe Thornber 
2703241b1d3SJoe Thornber 	r = sm_ll_new_disk(&smd->ll, tm);
2713241b1d3SJoe Thornber 	if (r)
2723241b1d3SJoe Thornber 		goto bad;
2733241b1d3SJoe Thornber 
2743241b1d3SJoe Thornber 	r = sm_ll_extend(&smd->ll, nr_blocks);
2753241b1d3SJoe Thornber 	if (r)
2763241b1d3SJoe Thornber 		goto bad;
2773241b1d3SJoe Thornber 
2783241b1d3SJoe Thornber 	r = sm_disk_commit(&smd->sm);
2793241b1d3SJoe Thornber 	if (r)
2803241b1d3SJoe Thornber 		goto bad;
2813241b1d3SJoe Thornber 
2823241b1d3SJoe Thornber 	return &smd->sm;
2833241b1d3SJoe Thornber 
2843241b1d3SJoe Thornber bad:
2853241b1d3SJoe Thornber 	kfree(smd);
2863241b1d3SJoe Thornber 	return ERR_PTR(r);
2873241b1d3SJoe Thornber }
2883241b1d3SJoe Thornber 
2893241b1d3SJoe Thornber struct dm_space_map *dm_sm_disk_create(struct dm_transaction_manager *tm,
2903241b1d3SJoe Thornber 				       dm_block_t nr_blocks)
2913241b1d3SJoe Thornber {
2923241b1d3SJoe Thornber 	struct dm_space_map *sm = dm_sm_disk_create_real(tm, nr_blocks);
2933241b1d3SJoe Thornber 	return dm_sm_checker_create_fresh(sm);
2943241b1d3SJoe Thornber }
2953241b1d3SJoe Thornber EXPORT_SYMBOL_GPL(dm_sm_disk_create);
2963241b1d3SJoe Thornber 
2973241b1d3SJoe Thornber static struct dm_space_map *dm_sm_disk_open_real(
2983241b1d3SJoe Thornber 	struct dm_transaction_manager *tm,
2993241b1d3SJoe Thornber 	void *root_le, size_t len)
3003241b1d3SJoe Thornber {
3013241b1d3SJoe Thornber 	int r;
3023241b1d3SJoe Thornber 	struct sm_disk *smd;
3033241b1d3SJoe Thornber 
3043241b1d3SJoe Thornber 	smd = kmalloc(sizeof(*smd), GFP_KERNEL);
3053241b1d3SJoe Thornber 	if (!smd)
3063241b1d3SJoe Thornber 		return ERR_PTR(-ENOMEM);
3073241b1d3SJoe Thornber 
3083241b1d3SJoe Thornber 	smd->begin = 0;
3093241b1d3SJoe Thornber 	smd->nr_allocated_this_transaction = 0;
3103241b1d3SJoe Thornber 	memcpy(&smd->sm, &ops, sizeof(smd->sm));
3113241b1d3SJoe Thornber 
3123241b1d3SJoe Thornber 	r = sm_ll_open_disk(&smd->ll, tm, root_le, len);
3133241b1d3SJoe Thornber 	if (r)
3143241b1d3SJoe Thornber 		goto bad;
3153241b1d3SJoe Thornber 
3163241b1d3SJoe Thornber 	r = sm_disk_commit(&smd->sm);
3173241b1d3SJoe Thornber 	if (r)
3183241b1d3SJoe Thornber 		goto bad;
3193241b1d3SJoe Thornber 
3203241b1d3SJoe Thornber 	return &smd->sm;
3213241b1d3SJoe Thornber 
3223241b1d3SJoe Thornber bad:
3233241b1d3SJoe Thornber 	kfree(smd);
3243241b1d3SJoe Thornber 	return ERR_PTR(r);
3253241b1d3SJoe Thornber }
3263241b1d3SJoe Thornber 
3273241b1d3SJoe Thornber struct dm_space_map *dm_sm_disk_open(struct dm_transaction_manager *tm,
3283241b1d3SJoe Thornber 				     void *root_le, size_t len)
3293241b1d3SJoe Thornber {
3303241b1d3SJoe Thornber 	return dm_sm_checker_create(
3313241b1d3SJoe Thornber 		dm_sm_disk_open_real(tm, root_le, len));
3323241b1d3SJoe Thornber }
3333241b1d3SJoe Thornber EXPORT_SYMBOL_GPL(dm_sm_disk_open);
3343241b1d3SJoe Thornber 
3353241b1d3SJoe Thornber /*----------------------------------------------------------------*/
336