dm-snap.c 29.2 KB
Newer Older
L
Linus Torvalds 已提交
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19
/*
 * dm-snapshot.c
 *
 * Copyright (C) 2001-2002 Sistina Software (UK) Limited.
 *
 * This file is released under the GPL.
 */

#include <linux/blkdev.h>
#include <linux/ctype.h>
#include <linux/device-mapper.h>
#include <linux/fs.h>
#include <linux/init.h>
#include <linux/kdev_t.h>
#include <linux/list.h>
#include <linux/mempool.h>
#include <linux/module.h>
#include <linux/slab.h>
#include <linux/vmalloc.h>
V
vignesh babu 已提交
20
#include <linux/log2.h>
L
Linus Torvalds 已提交
21 22 23 24 25

#include "dm-snap.h"
#include "dm-bio-list.h"
#include "kcopyd.h"

26 27
#define DM_MSG_PREFIX "snapshots"

L
Linus Torvalds 已提交
28 29 30 31 32 33 34 35 36 37 38
/*
 * The percentage increment we will wake up users at
 */
#define WAKE_UP_PERCENT 5

/*
 * kcopyd priority of snapshot operations
 */
#define SNAPSHOT_COPY_PRIORITY 2

/*
39
 * Reserve 1MB for each snapshot initially (with minimum of 1 page).
L
Linus Torvalds 已提交
40
 */
41
#define SNAPSHOT_PAGES (((1UL << 20) >> PAGE_SHIFT) ? : 1)
L
Linus Torvalds 已提交
42

43
static struct workqueue_struct *ksnapd;
D
David Howells 已提交
44
static void flush_queued_bios(struct work_struct *work);
45

A
Alasdair G Kergon 已提交
46 47
struct dm_snap_pending_exception {
	struct dm_snap_exception e;
L
Linus Torvalds 已提交
48 49 50 51 52 53 54 55

	/*
	 * Origin buffers waiting for this to complete are held
	 * in a bio list
	 */
	struct bio_list origin_bios;
	struct bio_list snapshot_bios;

56 57 58 59 60
	/*
	 * Short-term queue of pending exceptions prior to submission.
	 */
	struct list_head list;

L
Linus Torvalds 已提交
61
	/*
62
	 * The primary pending_exception is the one that holds
63
	 * the ref_count and the list of origin_bios for a
64 65
	 * group of pending_exceptions.  It is always last to get freed.
	 * These fields get set up when writing to the origin.
L
Linus Torvalds 已提交
66
	 */
A
Alasdair G Kergon 已提交
67
	struct dm_snap_pending_exception *primary_pe;
68 69 70 71 72 73 74 75

	/*
	 * Number of pending_exceptions processing this chunk.
	 * When this drops to zero we must complete the origin bios.
	 * If incrementing or decrementing this, hold pe->snap->lock for
	 * the sibling concerned and not pe->primary_pe->snap->lock unless
	 * they are the same.
	 */
76
	atomic_t ref_count;
L
Linus Torvalds 已提交
77 78 79 80 81 82 83 84 85 86 87 88 89 90 91

	/* Pointer back to snapshot context */
	struct dm_snapshot *snap;

	/*
	 * 1 indicates the exception has already been sent to
	 * kcopyd.
	 */
	int started;
};

/*
 * Hash table mapping origin volumes to lists of snapshots and
 * a lock to protect it
 */
92 93
static struct kmem_cache *exception_cache;
static struct kmem_cache *pending_cache;
L
Linus Torvalds 已提交
94 95 96 97 98 99 100 101 102 103 104 105 106 107 108 109 110 111 112 113 114 115 116 117 118 119 120 121 122 123 124
static mempool_t *pending_pool;

/*
 * One of these per registered origin, held in the snapshot_origins hash
 */
struct origin {
	/* The origin device */
	struct block_device *bdev;

	struct list_head hash_list;

	/* List of snapshots for this origin */
	struct list_head snapshots;
};

/*
 * Size of the hash table for origin volumes. If we make this
 * the size of the minors list then it should be nearly perfect
 */
#define ORIGIN_HASH_SIZE 256
#define ORIGIN_MASK      0xFF
static struct list_head *_origins;
static struct rw_semaphore _origins_lock;

static int init_origin_hash(void)
{
	int i;

	_origins = kmalloc(ORIGIN_HASH_SIZE * sizeof(struct list_head),
			   GFP_KERNEL);
	if (!_origins) {
125
		DMERR("unable to allocate memory");
L
Linus Torvalds 已提交
126 127 128 129 130 131 132 133 134 135 136 137 138 139 140
		return -ENOMEM;
	}

	for (i = 0; i < ORIGIN_HASH_SIZE; i++)
		INIT_LIST_HEAD(_origins + i);
	init_rwsem(&_origins_lock);

	return 0;
}

static void exit_origin_hash(void)
{
	kfree(_origins);
}

A
Alasdair G Kergon 已提交
141
static unsigned origin_hash(struct block_device *bdev)
L
Linus Torvalds 已提交
142 143 144 145 146 147 148 149 150 151 152 153 154 155 156 157 158 159 160 161 162 163 164 165 166 167 168 169 170 171 172 173 174 175 176 177 178 179 180 181 182 183 184 185 186 187 188 189 190 191 192 193 194 195 196 197 198 199 200 201 202 203 204 205 206 207 208 209 210 211 212 213 214 215
{
	return bdev->bd_dev & ORIGIN_MASK;
}

static struct origin *__lookup_origin(struct block_device *origin)
{
	struct list_head *ol;
	struct origin *o;

	ol = &_origins[origin_hash(origin)];
	list_for_each_entry (o, ol, hash_list)
		if (bdev_equal(o->bdev, origin))
			return o;

	return NULL;
}

static void __insert_origin(struct origin *o)
{
	struct list_head *sl = &_origins[origin_hash(o->bdev)];
	list_add_tail(&o->hash_list, sl);
}

/*
 * Make a note of the snapshot and its origin so we can look it
 * up when the origin has a write on it.
 */
static int register_snapshot(struct dm_snapshot *snap)
{
	struct origin *o;
	struct block_device *bdev = snap->origin->bdev;

	down_write(&_origins_lock);
	o = __lookup_origin(bdev);

	if (!o) {
		/* New origin */
		o = kmalloc(sizeof(*o), GFP_KERNEL);
		if (!o) {
			up_write(&_origins_lock);
			return -ENOMEM;
		}

		/* Initialise the struct */
		INIT_LIST_HEAD(&o->snapshots);
		o->bdev = bdev;

		__insert_origin(o);
	}

	list_add_tail(&snap->list, &o->snapshots);

	up_write(&_origins_lock);
	return 0;
}

static void unregister_snapshot(struct dm_snapshot *s)
{
	struct origin *o;

	down_write(&_origins_lock);
	o = __lookup_origin(s->origin->bdev);

	list_del(&s->list);
	if (list_empty(&o->snapshots)) {
		list_del(&o->hash_list);
		kfree(o);
	}

	up_write(&_origins_lock);
}

/*
 * Implementation of the exception hash tables.
216 217
 * The lowest hash_shift bits of the chunk number are ignored, allowing
 * some consecutive chunks to be grouped together.
L
Linus Torvalds 已提交
218
 */
219 220
static int init_exception_table(struct exception_table *et, uint32_t size,
				unsigned hash_shift)
L
Linus Torvalds 已提交
221 222 223
{
	unsigned int i;

224
	et->hash_shift = hash_shift;
L
Linus Torvalds 已提交
225 226 227 228 229 230 231 232 233 234 235
	et->hash_mask = size - 1;
	et->table = dm_vcalloc(size, sizeof(struct list_head));
	if (!et->table)
		return -ENOMEM;

	for (i = 0; i < size; i++)
		INIT_LIST_HEAD(et->table + i);

	return 0;
}

236
static void exit_exception_table(struct exception_table *et, struct kmem_cache *mem)
L
Linus Torvalds 已提交
237 238
{
	struct list_head *slot;
A
Alasdair G Kergon 已提交
239
	struct dm_snap_exception *ex, *next;
L
Linus Torvalds 已提交
240 241 242 243 244 245 246 247 248 249 250 251 252
	int i, size;

	size = et->hash_mask + 1;
	for (i = 0; i < size; i++) {
		slot = et->table + i;

		list_for_each_entry_safe (ex, next, slot, hash_list)
			kmem_cache_free(mem, ex);
	}

	vfree(et->table);
}

A
Alasdair G Kergon 已提交
253
static uint32_t exception_hash(struct exception_table *et, chunk_t chunk)
L
Linus Torvalds 已提交
254
{
255
	return (chunk >> et->hash_shift) & et->hash_mask;
L
Linus Torvalds 已提交
256 257
}

A
Alasdair G Kergon 已提交
258 259
static void insert_exception(struct exception_table *eh,
			     struct dm_snap_exception *e)
L
Linus Torvalds 已提交
260 261 262 263 264
{
	struct list_head *l = &eh->table[exception_hash(eh, e->old_chunk)];
	list_add(&e->hash_list, l);
}

A
Alasdair G Kergon 已提交
265
static void remove_exception(struct dm_snap_exception *e)
L
Linus Torvalds 已提交
266 267 268 269 270 271 272 273
{
	list_del(&e->hash_list);
}

/*
 * Return the exception data for a sector, or NULL if not
 * remapped.
 */
A
Alasdair G Kergon 已提交
274 275
static struct dm_snap_exception *lookup_exception(struct exception_table *et,
						  chunk_t chunk)
L
Linus Torvalds 已提交
276 277
{
	struct list_head *slot;
A
Alasdair G Kergon 已提交
278
	struct dm_snap_exception *e;
L
Linus Torvalds 已提交
279 280 281

	slot = &et->table[exception_hash(et, chunk)];
	list_for_each_entry (e, slot, hash_list)
282 283
		if (chunk >= e->old_chunk &&
		    chunk <= e->old_chunk + dm_consecutive_chunk_count(e))
L
Linus Torvalds 已提交
284 285 286 287 288
			return e;

	return NULL;
}

A
Alasdair G Kergon 已提交
289
static struct dm_snap_exception *alloc_exception(void)
L
Linus Torvalds 已提交
290
{
A
Alasdair G Kergon 已提交
291
	struct dm_snap_exception *e;
L
Linus Torvalds 已提交
292 293 294 295 296 297 298 299

	e = kmem_cache_alloc(exception_cache, GFP_NOIO);
	if (!e)
		e = kmem_cache_alloc(exception_cache, GFP_ATOMIC);

	return e;
}

A
Alasdair G Kergon 已提交
300
static void free_exception(struct dm_snap_exception *e)
L
Linus Torvalds 已提交
301 302 303 304
{
	kmem_cache_free(exception_cache, e);
}

A
Alasdair G Kergon 已提交
305
static struct dm_snap_pending_exception *alloc_pending_exception(void)
L
Linus Torvalds 已提交
306 307 308 309
{
	return mempool_alloc(pending_pool, GFP_NOIO);
}

A
Alasdair G Kergon 已提交
310
static void free_pending_exception(struct dm_snap_pending_exception *pe)
L
Linus Torvalds 已提交
311 312 313 314
{
	mempool_free(pe, pending_pool);
}

315 316 317 318 319 320 321 322 323 324 325 326 327 328 329 330 331 332 333 334 335 336 337 338 339 340 341 342 343 344 345 346 347 348 349 350 351 352 353 354 355 356 357
static void insert_completed_exception(struct dm_snapshot *s,
				       struct dm_snap_exception *new_e)
{
	struct exception_table *eh = &s->complete;
	struct list_head *l;
	struct dm_snap_exception *e = NULL;

	l = &eh->table[exception_hash(eh, new_e->old_chunk)];

	/* Add immediately if this table doesn't support consecutive chunks */
	if (!eh->hash_shift)
		goto out;

	/* List is ordered by old_chunk */
	list_for_each_entry_reverse(e, l, hash_list) {
		/* Insert after an existing chunk? */
		if (new_e->old_chunk == (e->old_chunk +
					 dm_consecutive_chunk_count(e) + 1) &&
		    new_e->new_chunk == (dm_chunk_number(e->new_chunk) +
					 dm_consecutive_chunk_count(e) + 1)) {
			dm_consecutive_chunk_count_inc(e);
			free_exception(new_e);
			return;
		}

		/* Insert before an existing chunk? */
		if (new_e->old_chunk == (e->old_chunk - 1) &&
		    new_e->new_chunk == (dm_chunk_number(e->new_chunk) - 1)) {
			dm_consecutive_chunk_count_inc(e);
			e->old_chunk--;
			e->new_chunk--;
			free_exception(new_e);
			return;
		}

		if (new_e->old_chunk > e->old_chunk)
			break;
	}

out:
	list_add(&new_e->hash_list, e ? &e->hash_list : l);
}

L
Linus Torvalds 已提交
358 359
int dm_add_exception(struct dm_snapshot *s, chunk_t old, chunk_t new)
{
A
Alasdair G Kergon 已提交
360
	struct dm_snap_exception *e;
L
Linus Torvalds 已提交
361 362 363 364 365 366

	e = alloc_exception();
	if (!e)
		return -ENOMEM;

	e->old_chunk = old;
367 368

	/* Consecutive_count is implicitly initialised to zero */
L
Linus Torvalds 已提交
369
	e->new_chunk = new;
370 371 372

	insert_completed_exception(s, e);

L
Linus Torvalds 已提交
373 374 375 376 377 378 379 380 381 382 383 384 385 386 387 388 389 390 391 392 393 394 395 396 397 398 399 400 401 402 403 404 405
	return 0;
}

/*
 * Hard coded magic.
 */
static int calc_max_buckets(void)
{
	/* use a fixed size of 2MB */
	unsigned long mem = 2 * 1024 * 1024;
	mem /= sizeof(struct list_head);

	return mem;
}

/*
 * Allocate room for a suitable hash table.
 */
static int init_hash_tables(struct dm_snapshot *s)
{
	sector_t hash_size, cow_dev_size, origin_dev_size, max_buckets;

	/*
	 * Calculate based on the size of the original volume or
	 * the COW volume...
	 */
	cow_dev_size = get_dev_size(s->cow->bdev);
	origin_dev_size = get_dev_size(s->origin->bdev);
	max_buckets = calc_max_buckets();

	hash_size = min(origin_dev_size, cow_dev_size) >> s->chunk_shift;
	hash_size = min(hash_size, max_buckets);

406
	hash_size = rounddown_pow_of_two(hash_size);
407 408
	if (init_exception_table(&s->complete, hash_size,
				 DM_CHUNK_CONSECUTIVE_BITS))
L
Linus Torvalds 已提交
409 410 411 412 413 414 415 416 417 418
		return -ENOMEM;

	/*
	 * Allocate hash table for in-flight exceptions
	 * Make this smaller than the real hash table
	 */
	hash_size >>= 3;
	if (hash_size < 64)
		hash_size = 64;

419
	if (init_exception_table(&s->pending, hash_size, 0)) {
L
Linus Torvalds 已提交
420 421 422 423 424 425 426 427 428 429 430
		exit_exception_table(&s->complete, exception_cache);
		return -ENOMEM;
	}

	return 0;
}

/*
 * Round a number up to the nearest 'size' boundary.  size must
 * be a power of 2.
 */
A
Alasdair G Kergon 已提交
431
static ulong round_up(ulong n, ulong size)
L
Linus Torvalds 已提交
432 433 434 435 436
{
	size--;
	return (n + size) & ~size;
}

437 438 439 440 441 442 443 444 445 446 447 448 449 450 451 452 453 454 455 456 457 458 459 460
static int set_chunk_size(struct dm_snapshot *s, const char *chunk_size_arg,
			  char **error)
{
	unsigned long chunk_size;
	char *value;

	chunk_size = simple_strtoul(chunk_size_arg, &value, 10);
	if (*chunk_size_arg == '\0' || *value != '\0') {
		*error = "Invalid chunk size";
		return -EINVAL;
	}

	if (!chunk_size) {
		s->chunk_size = s->chunk_mask = s->chunk_shift = 0;
		return 0;
	}

	/*
	 * Chunk size must be multiple of page size.  Silently
	 * round up if it's not.
	 */
	chunk_size = round_up(chunk_size, PAGE_SIZE >> 9);

	/* Check chunk_size is a power of 2 */
V
vignesh babu 已提交
461
	if (!is_power_of_2(chunk_size)) {
462 463 464 465 466 467 468 469 470 471 472 473 474 475 476 477 478
		*error = "Chunk size is not a power of 2";
		return -EINVAL;
	}

	/* Validate the chunk size against the device block size */
	if (chunk_size % (bdev_hardsect_size(s->cow->bdev) >> 9)) {
		*error = "Chunk size is not a multiple of device blocksize";
		return -EINVAL;
	}

	s->chunk_size = chunk_size;
	s->chunk_mask = chunk_size - 1;
	s->chunk_shift = ffs(chunk_size) - 1;

	return 0;
}

L
Linus Torvalds 已提交
479 480 481 482 483 484 485 486 487 488 489
/*
 * Construct a snapshot mapping: <origin_dev> <COW-dev> <p/n> <chunk-size>
 */
static int snapshot_ctr(struct dm_target *ti, unsigned int argc, char **argv)
{
	struct dm_snapshot *s;
	int r = -EINVAL;
	char persistent;
	char *origin_path;
	char *cow_path;

490
	if (argc != 4) {
491
		ti->error = "requires exactly 4 arguments";
L
Linus Torvalds 已提交
492 493 494 495 496 497 498 499 500 501 502 503 504 505 506 507 508 509 510 511 512 513 514 515 516 517 518 519 520 521 522 523 524 525 526 527
		r = -EINVAL;
		goto bad1;
	}

	origin_path = argv[0];
	cow_path = argv[1];
	persistent = toupper(*argv[2]);

	if (persistent != 'P' && persistent != 'N') {
		ti->error = "Persistent flag is not P or N";
		r = -EINVAL;
		goto bad1;
	}

	s = kmalloc(sizeof(*s), GFP_KERNEL);
	if (s == NULL) {
		ti->error = "Cannot allocate snapshot context private "
		    "structure";
		r = -ENOMEM;
		goto bad1;
	}

	r = dm_get_device(ti, origin_path, 0, ti->len, FMODE_READ, &s->origin);
	if (r) {
		ti->error = "Cannot get origin device";
		goto bad2;
	}

	r = dm_get_device(ti, cow_path, 0, 0,
			  FMODE_READ | FMODE_WRITE, &s->cow);
	if (r) {
		dm_put_device(ti, s->origin);
		ti->error = "Cannot get COW device";
		goto bad2;
	}

528 529
	r = set_chunk_size(s, argv[3], &ti->error);
	if (r)
L
Linus Torvalds 已提交
530 531 532 533 534
		goto bad3;

	s->type = persistent;

	s->valid = 1;
535
	s->active = 0;
L
Linus Torvalds 已提交
536 537
	s->last_percent = 0;
	init_rwsem(&s->lock);
538
	spin_lock_init(&s->pe_lock);
539
	s->ti = ti;
L
Linus Torvalds 已提交
540 541 542 543 544 545 546 547 548 549 550

	/* Allocate hash table for COW data */
	if (init_hash_tables(s)) {
		ti->error = "Unable to allocate hash table space";
		r = -ENOMEM;
		goto bad3;
	}

	s->store.snap = s;

	if (persistent == 'P')
551
		r = dm_create_persistent(&s->store);
L
Linus Torvalds 已提交
552
	else
553
		r = dm_create_transient(&s->store);
L
Linus Torvalds 已提交
554 555 556 557 558 559 560 561 562 563 564 565 566

	if (r) {
		ti->error = "Couldn't create exception store";
		r = -EINVAL;
		goto bad4;
	}

	r = kcopyd_client_create(SNAPSHOT_PAGES, &s->kcopyd_client);
	if (r) {
		ti->error = "Could not create kcopyd client";
		goto bad5;
	}

567
	/* Metadata must only be loaded into one table at once */
568
	r = s->store.read_metadata(&s->store);
569
	if (r < 0) {
570 571
		ti->error = "Failed to read snapshot metadata";
		goto bad6;
572 573 574
	} else if (r > 0) {
		s->valid = 0;
		DMWARN("Snapshot is marked invalid.");
575
	}
576

577
	bio_list_init(&s->queued_bios);
D
David Howells 已提交
578
	INIT_WORK(&s->queued_bios_work, flush_queued_bios);
579

L
Linus Torvalds 已提交
580
	/* Add snapshot to the list of snapshots for this origin */
581
	/* Exceptions aren't triggered till snapshot_resume() is called */
L
Linus Torvalds 已提交
582 583 584 585 586 587 588
	if (register_snapshot(s)) {
		r = -EINVAL;
		ti->error = "Cannot register snapshot origin";
		goto bad6;
	}

	ti->private = s;
589
	ti->split_io = s->chunk_size;
L
Linus Torvalds 已提交
590 591 592 593 594 595 596 597 598 599 600 601 602 603 604 605 606 607 608 609 610 611 612 613

	return 0;

 bad6:
	kcopyd_client_destroy(s->kcopyd_client);

 bad5:
	s->store.destroy(&s->store);

 bad4:
	exit_exception_table(&s->pending, pending_cache);
	exit_exception_table(&s->complete, exception_cache);

 bad3:
	dm_put_device(ti, s->cow);
	dm_put_device(ti, s->origin);

 bad2:
	kfree(s);

 bad1:
	return r;
}

614 615 616 617 618 619 620 621 622 623 624
static void __free_exceptions(struct dm_snapshot *s)
{
	kcopyd_client_destroy(s->kcopyd_client);
	s->kcopyd_client = NULL;

	exit_exception_table(&s->pending, pending_cache);
	exit_exception_table(&s->complete, exception_cache);

	s->store.destroy(&s->store);
}

L
Linus Torvalds 已提交
625 626
static void snapshot_dtr(struct dm_target *ti)
{
A
Alasdair G Kergon 已提交
627
	struct dm_snapshot *s = ti->private;
L
Linus Torvalds 已提交
628

629 630
	flush_workqueue(ksnapd);

631 632
	/* Prevent further origin writes from using this snapshot. */
	/* After this returns there can be no new kcopyd jobs. */
L
Linus Torvalds 已提交
633 634
	unregister_snapshot(s);

635
	__free_exceptions(s);
L
Linus Torvalds 已提交
636 637 638

	dm_put_device(ti, s->origin);
	dm_put_device(ti, s->cow);
639

L
Linus Torvalds 已提交
640 641 642 643 644 645 646 647 648 649 650 651 652 653 654 655 656 657
	kfree(s);
}

/*
 * Flush a list of buffers.
 */
static void flush_bios(struct bio *bio)
{
	struct bio *n;

	while (bio) {
		n = bio->bi_next;
		bio->bi_next = NULL;
		generic_make_request(bio);
		bio = n;
	}
}

D
David Howells 已提交
658
static void flush_queued_bios(struct work_struct *work)
659
{
D
David Howells 已提交
660 661
	struct dm_snapshot *s =
		container_of(work, struct dm_snapshot, queued_bios_work);
662 663 664 665 666 667 668 669 670 671
	struct bio *queued_bios;
	unsigned long flags;

	spin_lock_irqsave(&s->pe_lock, flags);
	queued_bios = bio_list_get(&s->queued_bios);
	spin_unlock_irqrestore(&s->pe_lock, flags);

	flush_bios(queued_bios);
}

L
Linus Torvalds 已提交
672 673 674 675 676 677 678 679 680 681
/*
 * Error a list of buffers.
 */
static void error_bios(struct bio *bio)
{
	struct bio *n;

	while (bio) {
		n = bio->bi_next;
		bio->bi_next = NULL;
682
		bio_io_error(bio);
L
Linus Torvalds 已提交
683 684 685 686
		bio = n;
	}
}

687
static void __invalidate_snapshot(struct dm_snapshot *s, int err)
688 689 690 691 692 693 694 695 696 697 698 699 700 701
{
	if (!s->valid)
		return;

	if (err == -EIO)
		DMERR("Invalidating snapshot: Error reading/writing.");
	else if (err == -ENOMEM)
		DMERR("Invalidating snapshot: Unable to allocate exception.");

	if (s->store.drop_snapshot)
		s->store.drop_snapshot(&s->store);

	s->valid = 0;

702
	dm_table_event(s->ti->table);
703 704
}

A
Alasdair G Kergon 已提交
705
static void get_pending_exception(struct dm_snap_pending_exception *pe)
706 707 708 709
{
	atomic_inc(&pe->ref_count);
}

A
Alasdair G Kergon 已提交
710
static struct bio *put_pending_exception(struct dm_snap_pending_exception *pe)
711
{
A
Alasdair G Kergon 已提交
712
	struct dm_snap_pending_exception *primary_pe;
713 714 715 716 717 718 719 720 721 722 723 724 725 726 727 728 729 730 731 732 733 734 735 736 737 738 739 740 741
	struct bio *origin_bios = NULL;

	primary_pe = pe->primary_pe;

	/*
	 * If this pe is involved in a write to the origin and
	 * it is the last sibling to complete then release
	 * the bios for the original write to the origin.
	 */
	if (primary_pe &&
	    atomic_dec_and_test(&primary_pe->ref_count))
		origin_bios = bio_list_get(&primary_pe->origin_bios);

	/*
	 * Free the pe if it's not linked to an origin write or if
	 * it's not itself a primary pe.
	 */
	if (!primary_pe || primary_pe != pe)
		free_pending_exception(pe);

	/*
	 * Free the primary pe if nothing references it.
	 */
	if (primary_pe && !atomic_read(&primary_pe->ref_count))
		free_pending_exception(primary_pe);

	return origin_bios;
}

A
Alasdair G Kergon 已提交
742
static void pending_complete(struct dm_snap_pending_exception *pe, int success)
L
Linus Torvalds 已提交
743
{
A
Alasdair G Kergon 已提交
744
	struct dm_snap_exception *e;
L
Linus Torvalds 已提交
745
	struct dm_snapshot *s = pe->snap;
746 747 748
	struct bio *origin_bios = NULL;
	struct bio *snapshot_bios = NULL;
	int error = 0;
L
Linus Torvalds 已提交
749

750 751
	if (!success) {
		/* Read/write error - snapshot is unusable */
L
Linus Torvalds 已提交
752
		down_write(&s->lock);
753
		__invalidate_snapshot(s, -EIO);
754
		error = 1;
755 756 757 758 759
		goto out;
	}

	e = alloc_exception();
	if (!e) {
L
Linus Torvalds 已提交
760
		down_write(&s->lock);
761
		__invalidate_snapshot(s, -ENOMEM);
762
		error = 1;
763 764 765
		goto out;
	}
	*e = pe->e;
L
Linus Torvalds 已提交
766

767 768 769
	down_write(&s->lock);
	if (!s->valid) {
		free_exception(e);
770
		error = 1;
771
		goto out;
L
Linus Torvalds 已提交
772 773
	}

774 775 776 777
	/*
	 * Add a proper exception, and remove the
	 * in-flight exception from the list.
	 */
778
	insert_completed_exception(s, e);
779

L
Linus Torvalds 已提交
780
 out:
781
	remove_exception(&pe->e);
782
	snapshot_bios = bio_list_get(&pe->snapshot_bios);
783
	origin_bios = put_pending_exception(pe);
L
Linus Torvalds 已提交
784

785 786 787 788 789 790 791 792 793
	up_write(&s->lock);

	/* Submit any pending write bios */
	if (error)
		error_bios(snapshot_bios);
	else
		flush_bios(snapshot_bios);

	flush_bios(origin_bios);
L
Linus Torvalds 已提交
794 795 796 797
}

static void commit_callback(void *context, int success)
{
A
Alasdair G Kergon 已提交
798 799
	struct dm_snap_pending_exception *pe = context;

L
Linus Torvalds 已提交
800 801 802 803 804 805 806
	pending_complete(pe, success);
}

/*
 * Called when the copy I/O has finished.  kcopyd actually runs
 * this code so don't block.
 */
807
static void copy_callback(int read_err, unsigned long write_err, void *context)
L
Linus Torvalds 已提交
808
{
A
Alasdair G Kergon 已提交
809
	struct dm_snap_pending_exception *pe = context;
L
Linus Torvalds 已提交
810 811 812 813 814 815 816 817 818 819 820 821 822 823
	struct dm_snapshot *s = pe->snap;

	if (read_err || write_err)
		pending_complete(pe, 0);

	else
		/* Update the metadata if we are persistent */
		s->store.commit_exception(&s->store, &pe->e, commit_callback,
					  pe);
}

/*
 * Dispatches the copy operation to kcopyd.
 */
A
Alasdair G Kergon 已提交
824
static void start_copy(struct dm_snap_pending_exception *pe)
L
Linus Torvalds 已提交
825 826 827 828 829 830 831 832 833 834 835 836 837 838 839 840 841 842 843 844 845 846 847 848 849 850 851 852 853
{
	struct dm_snapshot *s = pe->snap;
	struct io_region src, dest;
	struct block_device *bdev = s->origin->bdev;
	sector_t dev_size;

	dev_size = get_dev_size(bdev);

	src.bdev = bdev;
	src.sector = chunk_to_sector(s, pe->e.old_chunk);
	src.count = min(s->chunk_size, dev_size - src.sector);

	dest.bdev = s->cow->bdev;
	dest.sector = chunk_to_sector(s, pe->e.new_chunk);
	dest.count = src.count;

	/* Hand over to kcopyd */
	kcopyd_copy(s->kcopyd_client,
		    &src, 1, &dest, 0, copy_callback, pe);
}

/*
 * Looks to see if this snapshot already has a pending exception
 * for this chunk, otherwise it allocates a new one and inserts
 * it into the pending table.
 *
 * NOTE: a write lock must be held on snap->lock before calling
 * this.
 */
A
Alasdair G Kergon 已提交
854
static struct dm_snap_pending_exception *
L
Linus Torvalds 已提交
855 856
__find_pending_exception(struct dm_snapshot *s, struct bio *bio)
{
A
Alasdair G Kergon 已提交
857 858
	struct dm_snap_exception *e;
	struct dm_snap_pending_exception *pe;
L
Linus Torvalds 已提交
859 860 861 862 863 864 865 866
	chunk_t chunk = sector_to_chunk(s, bio->bi_sector);

	/*
	 * Is there a pending exception for this already ?
	 */
	e = lookup_exception(&s->pending, chunk);
	if (e) {
		/* cast the exception to a pending exception */
A
Alasdair G Kergon 已提交
867
		pe = container_of(e, struct dm_snap_pending_exception, e);
868 869
		goto out;
	}
L
Linus Torvalds 已提交
870

871 872 873 874 875 876 877
	/*
	 * Create a new pending exception, we don't want
	 * to hold the lock while we do this.
	 */
	up_write(&s->lock);
	pe = alloc_pending_exception();
	down_write(&s->lock);
L
Linus Torvalds 已提交
878

879 880 881 882
	if (!s->valid) {
		free_pending_exception(pe);
		return NULL;
	}
L
Linus Torvalds 已提交
883

884 885 886
	e = lookup_exception(&s->pending, chunk);
	if (e) {
		free_pending_exception(pe);
A
Alasdair G Kergon 已提交
887
		pe = container_of(e, struct dm_snap_pending_exception, e);
888
		goto out;
L
Linus Torvalds 已提交
889 890
	}

891 892 893 894
	pe->e.old_chunk = chunk;
	bio_list_init(&pe->origin_bios);
	bio_list_init(&pe->snapshot_bios);
	pe->primary_pe = NULL;
895
	atomic_set(&pe->ref_count, 0);
896 897 898 899 900 901 902 903
	pe->snap = s;
	pe->started = 0;

	if (s->store.prepare_exception(&s->store, &pe->e)) {
		free_pending_exception(pe);
		return NULL;
	}

904
	get_pending_exception(pe);
905 906 907
	insert_exception(&s->pending, &pe->e);

 out:
L
Linus Torvalds 已提交
908 909 910
	return pe;
}

A
Alasdair G Kergon 已提交
911
static void remap_exception(struct dm_snapshot *s, struct dm_snap_exception *e,
912
			    struct bio *bio, chunk_t chunk)
L
Linus Torvalds 已提交
913 914
{
	bio->bi_bdev = s->cow->bdev;
915 916 917
	bio->bi_sector = chunk_to_sector(s, dm_chunk_number(e->new_chunk) +
			 (chunk - e->old_chunk)) +
			 (bio->bi_sector & s->chunk_mask);
L
Linus Torvalds 已提交
918 919 920 921 922
}

static int snapshot_map(struct dm_target *ti, struct bio *bio,
			union map_info *map_context)
{
A
Alasdair G Kergon 已提交
923 924
	struct dm_snap_exception *e;
	struct dm_snapshot *s = ti->private;
925
	int r = DM_MAPIO_REMAPPED;
L
Linus Torvalds 已提交
926
	chunk_t chunk;
A
Alasdair G Kergon 已提交
927
	struct dm_snap_pending_exception *pe = NULL;
L
Linus Torvalds 已提交
928 929 930 931

	chunk = sector_to_chunk(s, bio->bi_sector);

	/* Full snapshots are not usable */
932
	/* To get here the table must be live so s->active is always set. */
L
Linus Torvalds 已提交
933
	if (!s->valid)
934
		return -EIO;
L
Linus Torvalds 已提交
935

936 937 938 939 940 941 942 943 944 945 946 947
	/* FIXME: should only take write lock if we need
	 * to copy an exception */
	down_write(&s->lock);

	if (!s->valid) {
		r = -EIO;
		goto out_unlock;
	}

	/* If the block is already remapped - use that, else remap it */
	e = lookup_exception(&s->complete, chunk);
	if (e) {
948
		remap_exception(s, e, bio, chunk);
949 950 951
		goto out_unlock;
	}

L
Linus Torvalds 已提交
952 953 954 955 956 957
	/*
	 * Write to snapshot - higher level takes care of RW/RO
	 * flags so we should only get this if we are
	 * writeable.
	 */
	if (bio_rw(bio) == WRITE) {
958 959
		pe = __find_pending_exception(s, bio);
		if (!pe) {
960
			__invalidate_snapshot(s, -ENOMEM);
961 962
			r = -EIO;
			goto out_unlock;
L
Linus Torvalds 已提交
963 964
		}

965
		remap_exception(s, &pe->e, bio, chunk);
966 967
		bio_list_add(&pe->snapshot_bios, bio);

968
		r = DM_MAPIO_SUBMITTED;
969

970 971 972
		if (!pe->started) {
			/* this is protected by snap->lock */
			pe->started = 1;
973
			up_write(&s->lock);
974
			start_copy(pe);
975 976 977
			goto out;
		}
	} else
L
Linus Torvalds 已提交
978 979 980 981 982 983
		/*
		 * FIXME: this read path scares me because we
		 * always use the origin when we have a pending
		 * exception.  However I can't think of a
		 * situation where this is wrong - ejt.
		 */
984
		bio->bi_bdev = s->origin->bdev;
L
Linus Torvalds 已提交
985

986 987 988
 out_unlock:
	up_write(&s->lock);
 out:
L
Linus Torvalds 已提交
989 990 991 992 993
	return r;
}

static void snapshot_resume(struct dm_target *ti)
{
A
Alasdair G Kergon 已提交
994
	struct dm_snapshot *s = ti->private;
L
Linus Torvalds 已提交
995

996 997 998
	down_write(&s->lock);
	s->active = 1;
	up_write(&s->lock);
L
Linus Torvalds 已提交
999 1000 1001 1002 1003
}

static int snapshot_status(struct dm_target *ti, status_type_t type,
			   char *result, unsigned int maxlen)
{
A
Alasdair G Kergon 已提交
1004
	struct dm_snapshot *snap = ti->private;
L
Linus Torvalds 已提交
1005 1006 1007 1008 1009 1010 1011 1012 1013 1014 1015

	switch (type) {
	case STATUSTYPE_INFO:
		if (!snap->valid)
			snprintf(result, maxlen, "Invalid");
		else {
			if (snap->store.fraction_full) {
				sector_t numerator, denominator;
				snap->store.fraction_full(&snap->store,
							  &numerator,
							  &denominator);
A
Andrew Morton 已提交
1016 1017 1018
				snprintf(result, maxlen, "%llu/%llu",
					(unsigned long long)numerator,
					(unsigned long long)denominator);
L
Linus Torvalds 已提交
1019 1020 1021 1022 1023 1024 1025 1026 1027 1028 1029 1030
			}
			else
				snprintf(result, maxlen, "Unknown");
		}
		break;

	case STATUSTYPE_TABLE:
		/*
		 * kdevname returns a static pointer so we need
		 * to make private copies if the output is to
		 * make sense.
		 */
A
Andrew Morton 已提交
1031
		snprintf(result, maxlen, "%s %s %c %llu",
L
Linus Torvalds 已提交
1032
			 snap->origin->name, snap->cow->name,
A
Andrew Morton 已提交
1033 1034
			 snap->type,
			 (unsigned long long)snap->chunk_size);
L
Linus Torvalds 已提交
1035 1036 1037 1038 1039 1040 1041 1042 1043 1044 1045
		break;
	}

	return 0;
}

/*-----------------------------------------------------------------
 * Origin methods
 *---------------------------------------------------------------*/
static int __origin_write(struct list_head *snapshots, struct bio *bio)
{
1046
	int r = DM_MAPIO_REMAPPED, first = 0;
L
Linus Torvalds 已提交
1047
	struct dm_snapshot *snap;
A
Alasdair G Kergon 已提交
1048 1049
	struct dm_snap_exception *e;
	struct dm_snap_pending_exception *pe, *next_pe, *primary_pe = NULL;
L
Linus Torvalds 已提交
1050
	chunk_t chunk;
1051
	LIST_HEAD(pe_queue);
L
Linus Torvalds 已提交
1052 1053 1054 1055

	/* Do all the snapshots on this origin */
	list_for_each_entry (snap, snapshots, list) {

1056 1057
		down_write(&snap->lock);

1058 1059
		/* Only deal with valid and active snapshots */
		if (!snap->valid || !snap->active)
1060
			goto next_snapshot;
L
Linus Torvalds 已提交
1061

1062
		/* Nothing to do if writing beyond end of snapshot */
1063
		if (bio->bi_sector >= dm_table_get_size(snap->ti->table))
1064
			goto next_snapshot;
L
Linus Torvalds 已提交
1065 1066 1067 1068 1069 1070 1071 1072 1073 1074 1075

		/*
		 * Remember, different snapshots can have
		 * different chunk sizes.
		 */
		chunk = sector_to_chunk(snap, bio->bi_sector);

		/*
		 * Check exception table to see if block
		 * is already remapped in this snapshot
		 * and trigger an exception if not.
1076
		 *
1077
		 * ref_count is initialised to 1 so pending_complete()
1078
		 * won't destroy the primary_pe while we're inside this loop.
L
Linus Torvalds 已提交
1079 1080
		 */
		e = lookup_exception(&snap->complete, chunk);
1081 1082 1083 1084 1085
		if (e)
			goto next_snapshot;

		pe = __find_pending_exception(snap, bio);
		if (!pe) {
1086
			__invalidate_snapshot(snap, -ENOMEM);
1087 1088 1089 1090 1091 1092 1093 1094 1095 1096 1097 1098 1099
			goto next_snapshot;
		}

		if (!primary_pe) {
			/*
			 * Either every pe here has same
			 * primary_pe or none has one yet.
			 */
			if (pe->primary_pe)
				primary_pe = pe->primary_pe;
			else {
				primary_pe = pe;
				first = 1;
L
Linus Torvalds 已提交
1100
			}
1101 1102 1103

			bio_list_add(&primary_pe->origin_bios, bio);

1104
			r = DM_MAPIO_SUBMITTED;
1105 1106 1107 1108
		}

		if (!pe->primary_pe) {
			pe->primary_pe = primary_pe;
1109
			get_pending_exception(primary_pe);
1110 1111 1112 1113 1114
		}

		if (!pe->started) {
			pe->started = 1;
			list_add_tail(&pe->list, &pe_queue);
L
Linus Torvalds 已提交
1115 1116
		}

1117
 next_snapshot:
L
Linus Torvalds 已提交
1118 1119 1120
		up_write(&snap->lock);
	}

1121
	if (!primary_pe)
1122
		return r;
1123 1124 1125

	/*
	 * If this is the first time we're processing this chunk and
1126
	 * ref_count is now 1 it means all the pending exceptions
1127 1128 1129 1130
	 * got completed while we were in the loop above, so it falls to
	 * us here to remove the primary_pe and submit any origin_bios.
	 */

1131
	if (first && atomic_dec_and_test(&primary_pe->ref_count)) {
1132 1133 1134
		flush_bios(bio_list_get(&primary_pe->origin_bios));
		free_pending_exception(primary_pe);
		/* If we got here, pe_queue is necessarily empty. */
1135
		return r;
1136 1137
	}

L
Linus Torvalds 已提交
1138 1139 1140
	/*
	 * Now that we have a complete pe list we can start the copying.
	 */
1141 1142
	list_for_each_entry_safe(pe, next_pe, &pe_queue, list)
		start_copy(pe);
L
Linus Torvalds 已提交
1143 1144 1145 1146 1147 1148 1149 1150 1151 1152

	return r;
}

/*
 * Called on a write from the origin driver.
 */
static int do_origin(struct dm_dev *origin, struct bio *bio)
{
	struct origin *o;
1153
	int r = DM_MAPIO_REMAPPED;
L
Linus Torvalds 已提交
1154 1155 1156 1157 1158 1159 1160 1161 1162 1163 1164 1165 1166 1167 1168 1169 1170 1171 1172 1173 1174 1175 1176 1177 1178

	down_read(&_origins_lock);
	o = __lookup_origin(origin->bdev);
	if (o)
		r = __origin_write(&o->snapshots, bio);
	up_read(&_origins_lock);

	return r;
}

/*
 * Origin: maps a linear range of a device, with hooks for snapshotting.
 */

/*
 * Construct an origin mapping: <dev_path>
 * The context for an origin is merely a 'struct dm_dev *'
 * pointing to the real device.
 */
static int origin_ctr(struct dm_target *ti, unsigned int argc, char **argv)
{
	int r;
	struct dm_dev *dev;

	if (argc != 1) {
1179
		ti->error = "origin: incorrect number of arguments";
L
Linus Torvalds 已提交
1180 1181 1182 1183 1184 1185 1186 1187 1188 1189 1190 1191 1192 1193 1194 1195
		return -EINVAL;
	}

	r = dm_get_device(ti, argv[0], 0, ti->len,
			  dm_table_get_mode(ti->table), &dev);
	if (r) {
		ti->error = "Cannot get target device";
		return r;
	}

	ti->private = dev;
	return 0;
}

static void origin_dtr(struct dm_target *ti)
{
A
Alasdair G Kergon 已提交
1196
	struct dm_dev *dev = ti->private;
L
Linus Torvalds 已提交
1197 1198 1199 1200 1201 1202
	dm_put_device(ti, dev);
}

static int origin_map(struct dm_target *ti, struct bio *bio,
		      union map_info *map_context)
{
A
Alasdair G Kergon 已提交
1203
	struct dm_dev *dev = ti->private;
L
Linus Torvalds 已提交
1204 1205 1206
	bio->bi_bdev = dev->bdev;

	/* Only tell snapshots if this is a write */
1207
	return (bio_rw(bio) == WRITE) ? do_origin(dev, bio) : DM_MAPIO_REMAPPED;
L
Linus Torvalds 已提交
1208 1209 1210 1211 1212 1213 1214 1215 1216 1217
}

#define min_not_zero(l, r) (l == 0) ? r : ((r == 0) ? l : min(l, r))

/*
 * Set the target "split_io" field to the minimum of all the snapshots'
 * chunk sizes.
 */
static void origin_resume(struct dm_target *ti)
{
A
Alasdair G Kergon 已提交
1218
	struct dm_dev *dev = ti->private;
L
Linus Torvalds 已提交
1219 1220 1221 1222 1223 1224 1225 1226 1227 1228 1229 1230 1231 1232 1233 1234 1235
	struct dm_snapshot *snap;
	struct origin *o;
	chunk_t chunk_size = 0;

	down_read(&_origins_lock);
	o = __lookup_origin(dev->bdev);
	if (o)
		list_for_each_entry (snap, &o->snapshots, list)
			chunk_size = min_not_zero(chunk_size, snap->chunk_size);
	up_read(&_origins_lock);

	ti->split_io = chunk_size;
}

static int origin_status(struct dm_target *ti, status_type_t type, char *result,
			 unsigned int maxlen)
{
A
Alasdair G Kergon 已提交
1236
	struct dm_dev *dev = ti->private;
L
Linus Torvalds 已提交
1237 1238 1239 1240 1241 1242 1243 1244 1245 1246 1247 1248 1249 1250 1251 1252

	switch (type) {
	case STATUSTYPE_INFO:
		result[0] = '\0';
		break;

	case STATUSTYPE_TABLE:
		snprintf(result, maxlen, "%s", dev->name);
		break;
	}

	return 0;
}

static struct target_type origin_target = {
	.name    = "snapshot-origin",
1253
	.version = {1, 6, 0},
L
Linus Torvalds 已提交
1254 1255 1256 1257 1258 1259 1260 1261 1262 1263
	.module  = THIS_MODULE,
	.ctr     = origin_ctr,
	.dtr     = origin_dtr,
	.map     = origin_map,
	.resume  = origin_resume,
	.status  = origin_status,
};

static struct target_type snapshot_target = {
	.name    = "snapshot",
1264
	.version = {1, 6, 0},
L
Linus Torvalds 已提交
1265 1266 1267 1268 1269 1270 1271 1272 1273 1274 1275 1276 1277 1278 1279 1280 1281 1282 1283 1284
	.module  = THIS_MODULE,
	.ctr     = snapshot_ctr,
	.dtr     = snapshot_dtr,
	.map     = snapshot_map,
	.resume  = snapshot_resume,
	.status  = snapshot_status,
};

static int __init dm_snapshot_init(void)
{
	int r;

	r = dm_register_target(&snapshot_target);
	if (r) {
		DMERR("snapshot target register failed %d", r);
		return r;
	}

	r = dm_register_target(&origin_target);
	if (r < 0) {
1285
		DMERR("Origin target register failed %d", r);
L
Linus Torvalds 已提交
1286 1287 1288 1289 1290 1291 1292 1293 1294
		goto bad1;
	}

	r = init_origin_hash();
	if (r) {
		DMERR("init_origin_hash failed.");
		goto bad2;
	}

A
Alasdair G Kergon 已提交
1295
	exception_cache = KMEM_CACHE(dm_snap_exception, 0);
L
Linus Torvalds 已提交
1296 1297 1298 1299 1300 1301
	if (!exception_cache) {
		DMERR("Couldn't create exception cache.");
		r = -ENOMEM;
		goto bad3;
	}

A
Alasdair G Kergon 已提交
1302
	pending_cache = KMEM_CACHE(dm_snap_pending_exception, 0);
L
Linus Torvalds 已提交
1303 1304 1305 1306 1307 1308
	if (!pending_cache) {
		DMERR("Couldn't create pending cache.");
		r = -ENOMEM;
		goto bad4;
	}

1309
	pending_pool = mempool_create_slab_pool(128, pending_cache);
L
Linus Torvalds 已提交
1310 1311 1312 1313 1314 1315
	if (!pending_pool) {
		DMERR("Couldn't create pending pool.");
		r = -ENOMEM;
		goto bad5;
	}

1316 1317 1318 1319 1320 1321 1322
	ksnapd = create_singlethread_workqueue("ksnapd");
	if (!ksnapd) {
		DMERR("Failed to create ksnapd workqueue.");
		r = -ENOMEM;
		goto bad6;
	}

L
Linus Torvalds 已提交
1323 1324
	return 0;

1325 1326
      bad6:
	mempool_destroy(pending_pool);
L
Linus Torvalds 已提交
1327 1328 1329 1330 1331 1332 1333 1334 1335 1336 1337 1338 1339 1340 1341 1342 1343
      bad5:
	kmem_cache_destroy(pending_cache);
      bad4:
	kmem_cache_destroy(exception_cache);
      bad3:
	exit_origin_hash();
      bad2:
	dm_unregister_target(&origin_target);
      bad1:
	dm_unregister_target(&snapshot_target);
	return r;
}

static void __exit dm_snapshot_exit(void)
{
	int r;

1344 1345
	destroy_workqueue(ksnapd);

L
Linus Torvalds 已提交
1346 1347 1348 1349 1350 1351 1352 1353 1354 1355 1356 1357 1358 1359 1360 1361 1362 1363 1364 1365 1366
	r = dm_unregister_target(&snapshot_target);
	if (r)
		DMERR("snapshot unregister failed %d", r);

	r = dm_unregister_target(&origin_target);
	if (r)
		DMERR("origin unregister failed %d", r);

	exit_origin_hash();
	mempool_destroy(pending_pool);
	kmem_cache_destroy(pending_cache);
	kmem_cache_destroy(exception_cache);
}

/* Module hooks */
module_init(dm_snapshot_init);
module_exit(dm_snapshot_exit);

MODULE_DESCRIPTION(DM_NAME " snapshot target");
MODULE_AUTHOR("Joe Thornber");
MODULE_LICENSE("GPL");