blob: b092338d596684ba69a88b689c4744d3ec53c2f9 [file] [log] [blame]
Linus Torvalds1da177e2005-04-16 15:20:36 -07001/*
2 * dm-snapshot.c
3 *
4 * Copyright (C) 2001-2002 Sistina Software (UK) Limited.
5 *
6 * This file is released under the GPL.
7 */
8
9#include <linux/blkdev.h>
Linus Torvalds1da177e2005-04-16 15:20:36 -070010#include <linux/device-mapper.h>
Mikulas Patocka90fa1522009-01-06 03:04:54 +000011#include <linux/delay.h>
Linus Torvalds1da177e2005-04-16 15:20:36 -070012#include <linux/fs.h>
13#include <linux/init.h>
14#include <linux/kdev_t.h>
15#include <linux/list.h>
16#include <linux/mempool.h>
17#include <linux/module.h>
18#include <linux/slab.h>
19#include <linux/vmalloc.h>
vignesh babu6f3c3f02007-10-19 22:38:44 +010020#include <linux/log2.h>
Alasdair G Kergona765e202008-04-24 22:02:01 +010021#include <linux/dm-kcopyd.h>
Linus Torvalds1da177e2005-04-16 15:20:36 -070022
Jonathan Brassowaea53d92009-01-06 03:05:15 +000023#include "dm-exception-store.h"
Linus Torvalds1da177e2005-04-16 15:20:36 -070024
Alasdair G Kergon72d94862006-06-26 00:27:35 -070025#define DM_MSG_PREFIX "snapshots"
26
Mikulas Patockad698aa42009-12-10 23:52:30 +000027static const char dm_snapshot_merge_target_name[] = "snapshot-merge";
28
29#define dm_target_is_snapshot_merge(ti) \
30 ((ti)->type->name == dm_snapshot_merge_target_name)
31
Linus Torvalds1da177e2005-04-16 15:20:36 -070032/*
Mikulas Patockacd45daf2008-07-21 12:00:32 +010033 * The size of the mempool used to track chunks in use.
34 */
35#define MIN_IOS 256
36
Jonathan Brassowccc45ea2009-04-02 19:55:34 +010037#define DM_TRACKED_CHUNK_HASH_SIZE 16
38#define DM_TRACKED_CHUNK_HASH(x) ((unsigned long)(x) & \
39 (DM_TRACKED_CHUNK_HASH_SIZE - 1))
40
Jon Brassow191437a2009-12-10 23:52:10 +000041struct dm_exception_table {
Jonathan Brassowccc45ea2009-04-02 19:55:34 +010042 uint32_t hash_mask;
43 unsigned hash_shift;
44 struct list_head *table;
45};
46
47struct dm_snapshot {
48 struct rw_semaphore lock;
49
50 struct dm_dev *origin;
Mike Snitzerfc56f6f2009-12-10 23:52:12 +000051 struct dm_dev *cow;
52
53 struct dm_target *ti;
Jonathan Brassowccc45ea2009-04-02 19:55:34 +010054
55 /* List of snapshots per Origin */
56 struct list_head list;
57
Mike Snitzerd8ddb1c2009-12-10 23:52:35 +000058 /*
59 * You can't use a snapshot if this is 0 (e.g. if full).
60 * A snapshot-merge target never clears this.
61 */
Jonathan Brassowccc45ea2009-04-02 19:55:34 +010062 int valid;
63
64 /* Origin writes don't trigger exceptions until this is set */
65 int active;
66
Jonathan Brassowccc45ea2009-04-02 19:55:34 +010067 atomic_t pending_exceptions_count;
68
Mikulas Patocka4c0c59e2013-11-29 18:13:37 -050069 /* Protected by "lock" */
70 sector_t exception_start_sequence;
71
72 /* Protected by kcopyd single-threaded callback */
73 sector_t exception_complete_sequence;
74
75 /*
76 * A list of pending exceptions that completed out of order.
77 * Protected by kcopyd single-threaded callback.
78 */
79 struct list_head out_of_order_list;
80
Mike Snitzer924e6002010-03-06 02:32:33 +000081 mempool_t *pending_pool;
82
Jon Brassow191437a2009-12-10 23:52:10 +000083 struct dm_exception_table pending;
84 struct dm_exception_table complete;
Jonathan Brassowccc45ea2009-04-02 19:55:34 +010085
86 /*
87 * pe_lock protects all pending_exception operations and access
88 * as well as the snapshot_bios list.
89 */
90 spinlock_t pe_lock;
91
Mike Snitzer924e6002010-03-06 02:32:33 +000092 /* Chunks with outstanding reads */
93 spinlock_t tracked_chunk_lock;
94 mempool_t *tracked_chunk_pool;
95 struct hlist_head tracked_chunk_hash[DM_TRACKED_CHUNK_HASH_SIZE];
96
Jonathan Brassowccc45ea2009-04-02 19:55:34 +010097 /* The on disk metadata handler */
98 struct dm_exception_store *store;
99
100 struct dm_kcopyd_client *kcopyd_client;
101
Mike Snitzer924e6002010-03-06 02:32:33 +0000102 /* Wait for events based on state_bits */
103 unsigned long state_bits;
104
105 /* Range of chunks currently being merged. */
106 chunk_t first_merging_chunk;
107 int num_merging_chunks;
Mikulas Patocka1e03f972009-12-10 23:52:32 +0000108
Mike Snitzerd8ddb1c2009-12-10 23:52:35 +0000109 /*
110 * The merge operation failed if this flag is set.
111 * Failure modes are handled as follows:
112 * - I/O error reading the header
113 * => don't load the target; abort.
114 * - Header does not have "valid" flag set
115 * => use the origin; forget about the snapshot.
116 * - I/O error when reading exceptions
117 * => don't load the target; abort.
118 * (We can't use the intermediate origin state.)
119 * - I/O error while merging
120 * => stop merging; set merge_failed; process I/O normally.
121 */
122 int merge_failed;
123
Mikulas Patocka9fe862542009-12-10 23:52:33 +0000124 /*
125 * Incoming bios that overlap with chunks being merged must wait
126 * for them to be committed.
127 */
128 struct bio_list bios_queued_during_merge;
Jonathan Brassowccc45ea2009-04-02 19:55:34 +0100129};
130
Mikulas Patocka1e03f972009-12-10 23:52:32 +0000131/*
132 * state_bits:
133 * RUNNING_MERGE - Merge operation is in progress.
134 * SHUTDOWN_MERGE - Set to signal that merge needs to be stopped;
135 * cleared afterwards.
136 */
137#define RUNNING_MERGE 0
138#define SHUTDOWN_MERGE 1
139
Mikulas Patockac2411042010-08-12 04:13:51 +0100140struct dm_dev *dm_snap_origin(struct dm_snapshot *s)
141{
142 return s->origin;
143}
144EXPORT_SYMBOL(dm_snap_origin);
145
Mike Snitzerfc56f6f2009-12-10 23:52:12 +0000146struct dm_dev *dm_snap_cow(struct dm_snapshot *s)
147{
148 return s->cow;
149}
150EXPORT_SYMBOL(dm_snap_cow);
151
Jonathan Brassowccc45ea2009-04-02 19:55:34 +0100152static sector_t chunk_to_sector(struct dm_exception_store *store,
153 chunk_t chunk)
154{
155 return chunk << store->chunk_shift;
156}
157
158static int bdev_equal(struct block_device *lhs, struct block_device *rhs)
159{
160 /*
161 * There is only ever one instance of a particular block
162 * device so we can compare pointers safely.
163 */
164 return lhs == rhs;
165}
166
Alasdair G Kergon028867a2007-07-12 17:26:32 +0100167struct dm_snap_pending_exception {
Jon Brassow1d4989c2009-12-10 23:52:10 +0000168 struct dm_exception e;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700169
170 /*
171 * Origin buffers waiting for this to complete are held
172 * in a bio list
173 */
174 struct bio_list origin_bios;
175 struct bio_list snapshot_bios;
176
Linus Torvalds1da177e2005-04-16 15:20:36 -0700177 /* Pointer back to snapshot context */
178 struct dm_snapshot *snap;
179
180 /*
181 * 1 indicates the exception has already been sent to
182 * kcopyd.
183 */
184 int started;
Mikulas Patockaa6e50b42011-08-02 12:32:04 +0100185
Mikulas Patocka4c0c59e2013-11-29 18:13:37 -0500186 /* There was copying error. */
187 int copy_error;
188
189 /* A sequence number, it is used for in-order completion. */
190 sector_t exception_sequence;
191
192 struct list_head out_of_order_entry;
193
Mikulas Patockaa6e50b42011-08-02 12:32:04 +0100194 /*
195 * For writing a complete chunk, bypassing the copy.
196 */
197 struct bio *full_bio;
198 bio_end_io_t *full_bio_end_io;
199 void *full_bio_private;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700200};
201
202/*
203 * Hash table mapping origin volumes to lists of snapshots and
204 * a lock to protect it
205 */
Christoph Lametere18b8902006-12-06 20:33:20 -0800206static struct kmem_cache *exception_cache;
207static struct kmem_cache *pending_cache;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700208
Mikulas Patockacd45daf2008-07-21 12:00:32 +0100209struct dm_snap_tracked_chunk {
210 struct hlist_node node;
211 chunk_t chunk;
212};
213
214static struct kmem_cache *tracked_chunk_cache;
215
216static struct dm_snap_tracked_chunk *track_chunk(struct dm_snapshot *s,
217 chunk_t chunk)
218{
219 struct dm_snap_tracked_chunk *c = mempool_alloc(s->tracked_chunk_pool,
220 GFP_NOIO);
221 unsigned long flags;
222
223 c->chunk = chunk;
224
225 spin_lock_irqsave(&s->tracked_chunk_lock, flags);
226 hlist_add_head(&c->node,
227 &s->tracked_chunk_hash[DM_TRACKED_CHUNK_HASH(chunk)]);
228 spin_unlock_irqrestore(&s->tracked_chunk_lock, flags);
229
230 return c;
231}
232
233static void stop_tracking_chunk(struct dm_snapshot *s,
234 struct dm_snap_tracked_chunk *c)
235{
236 unsigned long flags;
237
238 spin_lock_irqsave(&s->tracked_chunk_lock, flags);
239 hlist_del(&c->node);
240 spin_unlock_irqrestore(&s->tracked_chunk_lock, flags);
241
242 mempool_free(c, s->tracked_chunk_pool);
243}
244
Mikulas Patockaa8d41b52008-07-21 12:00:34 +0100245static int __chunk_is_tracked(struct dm_snapshot *s, chunk_t chunk)
246{
247 struct dm_snap_tracked_chunk *c;
248 struct hlist_node *hn;
249 int found = 0;
250
251 spin_lock_irq(&s->tracked_chunk_lock);
252
253 hlist_for_each_entry(c, hn,
254 &s->tracked_chunk_hash[DM_TRACKED_CHUNK_HASH(chunk)], node) {
255 if (c->chunk == chunk) {
256 found = 1;
257 break;
258 }
259 }
260
261 spin_unlock_irq(&s->tracked_chunk_lock);
262
263 return found;
264}
265
Linus Torvalds1da177e2005-04-16 15:20:36 -0700266/*
Mike Snitzer615d1eb2009-12-10 23:52:29 +0000267 * This conflicting I/O is extremely improbable in the caller,
268 * so msleep(1) is sufficient and there is no need for a wait queue.
269 */
270static void __check_for_conflicting_io(struct dm_snapshot *s, chunk_t chunk)
271{
272 while (__chunk_is_tracked(s, chunk))
273 msleep(1);
274}
275
276/*
Linus Torvalds1da177e2005-04-16 15:20:36 -0700277 * One of these per registered origin, held in the snapshot_origins hash
278 */
279struct origin {
280 /* The origin device */
281 struct block_device *bdev;
282
283 struct list_head hash_list;
284
285 /* List of snapshots for this origin */
286 struct list_head snapshots;
287};
288
289/*
290 * Size of the hash table for origin volumes. If we make this
291 * the size of the minors list then it should be nearly perfect
292 */
293#define ORIGIN_HASH_SIZE 256
294#define ORIGIN_MASK 0xFF
295static struct list_head *_origins;
296static struct rw_semaphore _origins_lock;
297
Mikulas Patocka73dfd072009-12-10 23:52:34 +0000298static DECLARE_WAIT_QUEUE_HEAD(_pending_exceptions_done);
299static DEFINE_SPINLOCK(_pending_exceptions_done_spinlock);
300static uint64_t _pending_exceptions_done_count;
301
Linus Torvalds1da177e2005-04-16 15:20:36 -0700302static int init_origin_hash(void)
303{
304 int i;
305
306 _origins = kmalloc(ORIGIN_HASH_SIZE * sizeof(struct list_head),
307 GFP_KERNEL);
308 if (!_origins) {
Alasdair G Kergon72d94862006-06-26 00:27:35 -0700309 DMERR("unable to allocate memory");
Linus Torvalds1da177e2005-04-16 15:20:36 -0700310 return -ENOMEM;
311 }
312
313 for (i = 0; i < ORIGIN_HASH_SIZE; i++)
314 INIT_LIST_HEAD(_origins + i);
315 init_rwsem(&_origins_lock);
316
317 return 0;
318}
319
320static void exit_origin_hash(void)
321{
322 kfree(_origins);
323}
324
Alasdair G Kergon028867a2007-07-12 17:26:32 +0100325static unsigned origin_hash(struct block_device *bdev)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700326{
327 return bdev->bd_dev & ORIGIN_MASK;
328}
329
330static struct origin *__lookup_origin(struct block_device *origin)
331{
332 struct list_head *ol;
333 struct origin *o;
334
335 ol = &_origins[origin_hash(origin)];
336 list_for_each_entry (o, ol, hash_list)
337 if (bdev_equal(o->bdev, origin))
338 return o;
339
340 return NULL;
341}
342
343static void __insert_origin(struct origin *o)
344{
345 struct list_head *sl = &_origins[origin_hash(o->bdev)];
346 list_add_tail(&o->hash_list, sl);
347}
348
349/*
Mike Snitzerc1f0c182009-12-10 23:52:24 +0000350 * _origins_lock must be held when calling this function.
351 * Returns number of snapshots registered using the supplied cow device, plus:
352 * snap_src - a snapshot suitable for use as a source of exception handover
353 * snap_dest - a snapshot capable of receiving exception handover.
Mikulas Patocka9d3b15c2009-12-10 23:52:32 +0000354 * snap_merge - an existing snapshot-merge target linked to the same origin.
355 * There can be at most one snapshot-merge target. The parameter is optional.
Mike Snitzerc1f0c182009-12-10 23:52:24 +0000356 *
Mikulas Patocka9d3b15c2009-12-10 23:52:32 +0000357 * Possible return values and states of snap_src and snap_dest.
Mike Snitzerc1f0c182009-12-10 23:52:24 +0000358 * 0: NULL, NULL - first new snapshot
359 * 1: snap_src, NULL - normal snapshot
360 * 2: snap_src, snap_dest - waiting for handover
361 * 2: snap_src, NULL - handed over, waiting for old to be deleted
362 * 1: NULL, snap_dest - source got destroyed without handover
363 */
364static int __find_snapshots_sharing_cow(struct dm_snapshot *snap,
365 struct dm_snapshot **snap_src,
Mikulas Patocka9d3b15c2009-12-10 23:52:32 +0000366 struct dm_snapshot **snap_dest,
367 struct dm_snapshot **snap_merge)
Mike Snitzerc1f0c182009-12-10 23:52:24 +0000368{
369 struct dm_snapshot *s;
370 struct origin *o;
371 int count = 0;
372 int active;
373
374 o = __lookup_origin(snap->origin->bdev);
375 if (!o)
376 goto out;
377
378 list_for_each_entry(s, &o->snapshots, list) {
Mikulas Patocka9d3b15c2009-12-10 23:52:32 +0000379 if (dm_target_is_snapshot_merge(s->ti) && snap_merge)
380 *snap_merge = s;
Mike Snitzerc1f0c182009-12-10 23:52:24 +0000381 if (!bdev_equal(s->cow->bdev, snap->cow->bdev))
382 continue;
383
384 down_read(&s->lock);
385 active = s->active;
386 up_read(&s->lock);
387
388 if (active) {
389 if (snap_src)
390 *snap_src = s;
391 } else if (snap_dest)
392 *snap_dest = s;
393
394 count++;
395 }
396
397out:
398 return count;
399}
400
401/*
402 * On success, returns 1 if this snapshot is a handover destination,
403 * otherwise returns 0.
404 */
405static int __validate_exception_handover(struct dm_snapshot *snap)
406{
407 struct dm_snapshot *snap_src = NULL, *snap_dest = NULL;
Mikulas Patocka9d3b15c2009-12-10 23:52:32 +0000408 struct dm_snapshot *snap_merge = NULL;
Mike Snitzerc1f0c182009-12-10 23:52:24 +0000409
410 /* Does snapshot need exceptions handed over to it? */
Mikulas Patocka9d3b15c2009-12-10 23:52:32 +0000411 if ((__find_snapshots_sharing_cow(snap, &snap_src, &snap_dest,
412 &snap_merge) == 2) ||
Mike Snitzerc1f0c182009-12-10 23:52:24 +0000413 snap_dest) {
414 snap->ti->error = "Snapshot cow pairing for exception "
415 "table handover failed";
416 return -EINVAL;
417 }
418
419 /*
420 * If no snap_src was found, snap cannot become a handover
421 * destination.
422 */
423 if (!snap_src)
424 return 0;
425
Mikulas Patocka9d3b15c2009-12-10 23:52:32 +0000426 /*
427 * Non-snapshot-merge handover?
428 */
429 if (!dm_target_is_snapshot_merge(snap->ti))
430 return 1;
431
432 /*
433 * Do not allow more than one merging snapshot.
434 */
435 if (snap_merge) {
436 snap->ti->error = "A snapshot is already merging.";
437 return -EINVAL;
438 }
439
Mikulas Patocka1e03f972009-12-10 23:52:32 +0000440 if (!snap_src->store->type->prepare_merge ||
441 !snap_src->store->type->commit_merge) {
442 snap->ti->error = "Snapshot exception store does not "
443 "support snapshot-merge.";
444 return -EINVAL;
445 }
446
Mike Snitzerc1f0c182009-12-10 23:52:24 +0000447 return 1;
448}
449
450static void __insert_snapshot(struct origin *o, struct dm_snapshot *s)
451{
452 struct dm_snapshot *l;
453
454 /* Sort the list according to chunk size, largest-first smallest-last */
455 list_for_each_entry(l, &o->snapshots, list)
456 if (l->store->chunk_size < s->store->chunk_size)
457 break;
458 list_add_tail(&s->list, &l->list);
459}
460
461/*
Linus Torvalds1da177e2005-04-16 15:20:36 -0700462 * Make a note of the snapshot and its origin so we can look it
463 * up when the origin has a write on it.
Mike Snitzerc1f0c182009-12-10 23:52:24 +0000464 *
465 * Also validate snapshot exception store handovers.
466 * On success, returns 1 if this registration is a handover destination,
467 * otherwise returns 0.
Linus Torvalds1da177e2005-04-16 15:20:36 -0700468 */
469static int register_snapshot(struct dm_snapshot *snap)
470{
Mike Snitzerc1f0c182009-12-10 23:52:24 +0000471 struct origin *o, *new_o = NULL;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700472 struct block_device *bdev = snap->origin->bdev;
Mike Snitzerc1f0c182009-12-10 23:52:24 +0000473 int r = 0;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700474
Mikulas Patocka60c856c82008-10-30 13:33:12 +0000475 new_o = kmalloc(sizeof(*new_o), GFP_KERNEL);
476 if (!new_o)
477 return -ENOMEM;
478
Linus Torvalds1da177e2005-04-16 15:20:36 -0700479 down_write(&_origins_lock);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700480
Mike Snitzerc1f0c182009-12-10 23:52:24 +0000481 r = __validate_exception_handover(snap);
482 if (r < 0) {
483 kfree(new_o);
484 goto out;
485 }
486
487 o = __lookup_origin(bdev);
Mikulas Patocka60c856c82008-10-30 13:33:12 +0000488 if (o)
489 kfree(new_o);
490 else {
Linus Torvalds1da177e2005-04-16 15:20:36 -0700491 /* New origin */
Mikulas Patocka60c856c82008-10-30 13:33:12 +0000492 o = new_o;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700493
494 /* Initialise the struct */
495 INIT_LIST_HEAD(&o->snapshots);
496 o->bdev = bdev;
497
498 __insert_origin(o);
499 }
500
Mike Snitzerc1f0c182009-12-10 23:52:24 +0000501 __insert_snapshot(o, snap);
502
503out:
504 up_write(&_origins_lock);
505
506 return r;
507}
508
509/*
510 * Move snapshot to correct place in list according to chunk size.
511 */
512static void reregister_snapshot(struct dm_snapshot *s)
513{
514 struct block_device *bdev = s->origin->bdev;
515
516 down_write(&_origins_lock);
517
518 list_del(&s->list);
519 __insert_snapshot(__lookup_origin(bdev), s);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700520
521 up_write(&_origins_lock);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700522}
523
524static void unregister_snapshot(struct dm_snapshot *s)
525{
526 struct origin *o;
527
528 down_write(&_origins_lock);
529 o = __lookup_origin(s->origin->bdev);
530
531 list_del(&s->list);
Mike Snitzerc1f0c182009-12-10 23:52:24 +0000532 if (o && list_empty(&o->snapshots)) {
Linus Torvalds1da177e2005-04-16 15:20:36 -0700533 list_del(&o->hash_list);
534 kfree(o);
535 }
536
537 up_write(&_origins_lock);
538}
539
540/*
541 * Implementation of the exception hash tables.
Milan Brozd74f81f2008-02-08 02:11:27 +0000542 * The lowest hash_shift bits of the chunk number are ignored, allowing
543 * some consecutive chunks to be grouped together.
Linus Torvalds1da177e2005-04-16 15:20:36 -0700544 */
Jon Brassow3510cb92009-12-10 23:52:11 +0000545static int dm_exception_table_init(struct dm_exception_table *et,
546 uint32_t size, unsigned hash_shift)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700547{
548 unsigned int i;
549
Milan Brozd74f81f2008-02-08 02:11:27 +0000550 et->hash_shift = hash_shift;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700551 et->hash_mask = size - 1;
552 et->table = dm_vcalloc(size, sizeof(struct list_head));
553 if (!et->table)
554 return -ENOMEM;
555
556 for (i = 0; i < size; i++)
557 INIT_LIST_HEAD(et->table + i);
558
559 return 0;
560}
561
Jon Brassow3510cb92009-12-10 23:52:11 +0000562static void dm_exception_table_exit(struct dm_exception_table *et,
563 struct kmem_cache *mem)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700564{
565 struct list_head *slot;
Jon Brassow1d4989c2009-12-10 23:52:10 +0000566 struct dm_exception *ex, *next;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700567 int i, size;
568
569 size = et->hash_mask + 1;
570 for (i = 0; i < size; i++) {
571 slot = et->table + i;
572
573 list_for_each_entry_safe (ex, next, slot, hash_list)
574 kmem_cache_free(mem, ex);
575 }
576
577 vfree(et->table);
578}
579
Jon Brassow191437a2009-12-10 23:52:10 +0000580static uint32_t exception_hash(struct dm_exception_table *et, chunk_t chunk)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700581{
Milan Brozd74f81f2008-02-08 02:11:27 +0000582 return (chunk >> et->hash_shift) & et->hash_mask;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700583}
584
Jon Brassow3510cb92009-12-10 23:52:11 +0000585static void dm_remove_exception(struct dm_exception *e)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700586{
587 list_del(&e->hash_list);
588}
589
590/*
591 * Return the exception data for a sector, or NULL if not
592 * remapped.
593 */
Jon Brassow3510cb92009-12-10 23:52:11 +0000594static struct dm_exception *dm_lookup_exception(struct dm_exception_table *et,
595 chunk_t chunk)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700596{
597 struct list_head *slot;
Jon Brassow1d4989c2009-12-10 23:52:10 +0000598 struct dm_exception *e;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700599
600 slot = &et->table[exception_hash(et, chunk)];
601 list_for_each_entry (e, slot, hash_list)
Milan Brozd74f81f2008-02-08 02:11:27 +0000602 if (chunk >= e->old_chunk &&
603 chunk <= e->old_chunk + dm_consecutive_chunk_count(e))
Linus Torvalds1da177e2005-04-16 15:20:36 -0700604 return e;
605
606 return NULL;
607}
608
Jon Brassow3510cb92009-12-10 23:52:11 +0000609static struct dm_exception *alloc_completed_exception(void)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700610{
Jon Brassow1d4989c2009-12-10 23:52:10 +0000611 struct dm_exception *e;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700612
613 e = kmem_cache_alloc(exception_cache, GFP_NOIO);
614 if (!e)
615 e = kmem_cache_alloc(exception_cache, GFP_ATOMIC);
616
617 return e;
618}
619
Jon Brassow3510cb92009-12-10 23:52:11 +0000620static void free_completed_exception(struct dm_exception *e)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700621{
622 kmem_cache_free(exception_cache, e);
623}
624
Mikulas Patocka92e86812008-07-21 12:00:35 +0100625static struct dm_snap_pending_exception *alloc_pending_exception(struct dm_snapshot *s)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700626{
Mikulas Patocka92e86812008-07-21 12:00:35 +0100627 struct dm_snap_pending_exception *pe = mempool_alloc(s->pending_pool,
628 GFP_NOIO);
629
Mikulas Patocka879129d2008-10-30 13:33:16 +0000630 atomic_inc(&s->pending_exceptions_count);
Mikulas Patocka92e86812008-07-21 12:00:35 +0100631 pe->snap = s;
632
633 return pe;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700634}
635
Alasdair G Kergon028867a2007-07-12 17:26:32 +0100636static void free_pending_exception(struct dm_snap_pending_exception *pe)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700637{
Mikulas Patocka879129d2008-10-30 13:33:16 +0000638 struct dm_snapshot *s = pe->snap;
639
640 mempool_free(pe, s->pending_pool);
641 smp_mb__before_atomic_dec();
642 atomic_dec(&s->pending_exceptions_count);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700643}
644
Jon Brassow3510cb92009-12-10 23:52:11 +0000645static void dm_insert_exception(struct dm_exception_table *eh,
646 struct dm_exception *new_e)
Milan Brozd74f81f2008-02-08 02:11:27 +0000647{
Milan Brozd74f81f2008-02-08 02:11:27 +0000648 struct list_head *l;
Jon Brassow1d4989c2009-12-10 23:52:10 +0000649 struct dm_exception *e = NULL;
Milan Brozd74f81f2008-02-08 02:11:27 +0000650
651 l = &eh->table[exception_hash(eh, new_e->old_chunk)];
652
653 /* Add immediately if this table doesn't support consecutive chunks */
654 if (!eh->hash_shift)
655 goto out;
656
657 /* List is ordered by old_chunk */
658 list_for_each_entry_reverse(e, l, hash_list) {
659 /* Insert after an existing chunk? */
660 if (new_e->old_chunk == (e->old_chunk +
661 dm_consecutive_chunk_count(e) + 1) &&
662 new_e->new_chunk == (dm_chunk_number(e->new_chunk) +
663 dm_consecutive_chunk_count(e) + 1)) {
664 dm_consecutive_chunk_count_inc(e);
Jon Brassow3510cb92009-12-10 23:52:11 +0000665 free_completed_exception(new_e);
Milan Brozd74f81f2008-02-08 02:11:27 +0000666 return;
667 }
668
669 /* Insert before an existing chunk? */
670 if (new_e->old_chunk == (e->old_chunk - 1) &&
671 new_e->new_chunk == (dm_chunk_number(e->new_chunk) - 1)) {
672 dm_consecutive_chunk_count_inc(e);
673 e->old_chunk--;
674 e->new_chunk--;
Jon Brassow3510cb92009-12-10 23:52:11 +0000675 free_completed_exception(new_e);
Milan Brozd74f81f2008-02-08 02:11:27 +0000676 return;
677 }
678
679 if (new_e->old_chunk > e->old_chunk)
680 break;
681 }
682
683out:
684 list_add(&new_e->hash_list, e ? &e->hash_list : l);
685}
686
Jonathan Brassowa159c1a2009-01-06 03:05:19 +0000687/*
688 * Callback used by the exception stores to load exceptions when
689 * initialising.
690 */
691static int dm_add_exception(void *context, chunk_t old, chunk_t new)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700692{
Jonathan Brassowa159c1a2009-01-06 03:05:19 +0000693 struct dm_snapshot *s = context;
Jon Brassow1d4989c2009-12-10 23:52:10 +0000694 struct dm_exception *e;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700695
Jon Brassow3510cb92009-12-10 23:52:11 +0000696 e = alloc_completed_exception();
Linus Torvalds1da177e2005-04-16 15:20:36 -0700697 if (!e)
698 return -ENOMEM;
699
700 e->old_chunk = old;
Milan Brozd74f81f2008-02-08 02:11:27 +0000701
702 /* Consecutive_count is implicitly initialised to zero */
Linus Torvalds1da177e2005-04-16 15:20:36 -0700703 e->new_chunk = new;
Milan Brozd74f81f2008-02-08 02:11:27 +0000704
Jon Brassow3510cb92009-12-10 23:52:11 +0000705 dm_insert_exception(&s->complete, e);
Milan Brozd74f81f2008-02-08 02:11:27 +0000706
Linus Torvalds1da177e2005-04-16 15:20:36 -0700707 return 0;
708}
709
Mikulas Patocka7e201b32009-12-10 23:52:08 +0000710/*
711 * Return a minimum chunk size of all snapshots that have the specified origin.
712 * Return zero if the origin has no snapshots.
713 */
714static sector_t __minimum_chunk_size(struct origin *o)
715{
716 struct dm_snapshot *snap;
717 unsigned chunk_size = 0;
718
719 if (o)
720 list_for_each_entry(snap, &o->snapshots, list)
721 chunk_size = min_not_zero(chunk_size,
722 snap->store->chunk_size);
723
724 return chunk_size;
725}
726
Linus Torvalds1da177e2005-04-16 15:20:36 -0700727/*
728 * Hard coded magic.
729 */
730static int calc_max_buckets(void)
731{
732 /* use a fixed size of 2MB */
733 unsigned long mem = 2 * 1024 * 1024;
734 mem /= sizeof(struct list_head);
735
736 return mem;
737}
738
739/*
Linus Torvalds1da177e2005-04-16 15:20:36 -0700740 * Allocate room for a suitable hash table.
741 */
Jonathan Brassowfee19982009-04-02 19:55:34 +0100742static int init_hash_tables(struct dm_snapshot *s)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700743{
Mikulas Patocka92906e62013-09-18 19:40:42 -0400744 sector_t hash_size, cow_dev_size, max_buckets;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700745
746 /*
747 * Calculate based on the size of the original volume or
748 * the COW volume...
749 */
Mike Snitzerfc56f6f2009-12-10 23:52:12 +0000750 cow_dev_size = get_dev_size(s->cow->bdev);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700751 max_buckets = calc_max_buckets();
752
Mikulas Patocka92906e62013-09-18 19:40:42 -0400753 hash_size = cow_dev_size >> s->store->chunk_shift;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700754 hash_size = min(hash_size, max_buckets);
755
Mikulas Patocka8e87b9b2009-12-10 23:51:54 +0000756 if (hash_size < 64)
757 hash_size = 64;
Robert P. J. Day8defd832008-02-08 02:10:06 +0000758 hash_size = rounddown_pow_of_two(hash_size);
Jon Brassow3510cb92009-12-10 23:52:11 +0000759 if (dm_exception_table_init(&s->complete, hash_size,
760 DM_CHUNK_CONSECUTIVE_BITS))
Linus Torvalds1da177e2005-04-16 15:20:36 -0700761 return -ENOMEM;
762
763 /*
764 * Allocate hash table for in-flight exceptions
765 * Make this smaller than the real hash table
766 */
767 hash_size >>= 3;
768 if (hash_size < 64)
769 hash_size = 64;
770
Jon Brassow3510cb92009-12-10 23:52:11 +0000771 if (dm_exception_table_init(&s->pending, hash_size, 0)) {
772 dm_exception_table_exit(&s->complete, exception_cache);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700773 return -ENOMEM;
774 }
775
776 return 0;
777}
778
Mikulas Patocka1e03f972009-12-10 23:52:32 +0000779static void merge_shutdown(struct dm_snapshot *s)
780{
781 clear_bit_unlock(RUNNING_MERGE, &s->state_bits);
782 smp_mb__after_clear_bit();
783 wake_up_bit(&s->state_bits, RUNNING_MERGE);
784}
785
Mikulas Patocka9fe862542009-12-10 23:52:33 +0000786static struct bio *__release_queued_bios_after_merge(struct dm_snapshot *s)
787{
788 s->first_merging_chunk = 0;
789 s->num_merging_chunks = 0;
790
791 return bio_list_get(&s->bios_queued_during_merge);
792}
793
Mikulas Patocka1e03f972009-12-10 23:52:32 +0000794/*
795 * Remove one chunk from the index of completed exceptions.
796 */
797static int __remove_single_exception_chunk(struct dm_snapshot *s,
798 chunk_t old_chunk)
799{
800 struct dm_exception *e;
801
Mikulas Patocka1e03f972009-12-10 23:52:32 +0000802 e = dm_lookup_exception(&s->complete, old_chunk);
803 if (!e) {
804 DMERR("Corruption detected: exception for block %llu is "
805 "on disk but not in memory",
806 (unsigned long long)old_chunk);
807 return -EINVAL;
808 }
809
810 /*
811 * If this is the only chunk using this exception, remove exception.
812 */
813 if (!dm_consecutive_chunk_count(e)) {
814 dm_remove_exception(e);
815 free_completed_exception(e);
816 return 0;
817 }
818
819 /*
820 * The chunk may be either at the beginning or the end of a
821 * group of consecutive chunks - never in the middle. We are
822 * removing chunks in the opposite order to that in which they
823 * were added, so this should always be true.
824 * Decrement the consecutive chunk counter and adjust the
825 * starting point if necessary.
826 */
827 if (old_chunk == e->old_chunk) {
828 e->old_chunk++;
829 e->new_chunk++;
830 } else if (old_chunk != e->old_chunk +
831 dm_consecutive_chunk_count(e)) {
832 DMERR("Attempt to merge block %llu from the "
833 "middle of a chunk range [%llu - %llu]",
834 (unsigned long long)old_chunk,
835 (unsigned long long)e->old_chunk,
836 (unsigned long long)
837 e->old_chunk + dm_consecutive_chunk_count(e));
838 return -EINVAL;
839 }
840
841 dm_consecutive_chunk_count_dec(e);
842
843 return 0;
844}
845
Mikulas Patocka9fe862542009-12-10 23:52:33 +0000846static void flush_bios(struct bio *bio);
847
848static int remove_single_exception_chunk(struct dm_snapshot *s)
Mikulas Patocka1e03f972009-12-10 23:52:32 +0000849{
Mikulas Patocka9fe862542009-12-10 23:52:33 +0000850 struct bio *b = NULL;
851 int r;
852 chunk_t old_chunk = s->first_merging_chunk + s->num_merging_chunks - 1;
Mikulas Patocka1e03f972009-12-10 23:52:32 +0000853
854 down_write(&s->lock);
Mikulas Patocka9fe862542009-12-10 23:52:33 +0000855
856 /*
857 * Process chunks (and associated exceptions) in reverse order
858 * so that dm_consecutive_chunk_count_dec() accounting works.
859 */
860 do {
861 r = __remove_single_exception_chunk(s, old_chunk);
862 if (r)
863 goto out;
864 } while (old_chunk-- > s->first_merging_chunk);
865
866 b = __release_queued_bios_after_merge(s);
867
868out:
Mikulas Patocka1e03f972009-12-10 23:52:32 +0000869 up_write(&s->lock);
Mikulas Patocka9fe862542009-12-10 23:52:33 +0000870 if (b)
871 flush_bios(b);
Mikulas Patocka1e03f972009-12-10 23:52:32 +0000872
873 return r;
874}
875
Mikulas Patocka73dfd072009-12-10 23:52:34 +0000876static int origin_write_extent(struct dm_snapshot *merging_snap,
877 sector_t sector, unsigned chunk_size);
878
Mikulas Patocka1e03f972009-12-10 23:52:32 +0000879static void merge_callback(int read_err, unsigned long write_err,
880 void *context);
881
Mikulas Patocka73dfd072009-12-10 23:52:34 +0000882static uint64_t read_pending_exceptions_done_count(void)
883{
884 uint64_t pending_exceptions_done;
885
886 spin_lock(&_pending_exceptions_done_spinlock);
887 pending_exceptions_done = _pending_exceptions_done_count;
888 spin_unlock(&_pending_exceptions_done_spinlock);
889
890 return pending_exceptions_done;
891}
892
893static void increment_pending_exceptions_done_count(void)
894{
895 spin_lock(&_pending_exceptions_done_spinlock);
896 _pending_exceptions_done_count++;
897 spin_unlock(&_pending_exceptions_done_spinlock);
898
899 wake_up_all(&_pending_exceptions_done);
900}
901
Mikulas Patocka1e03f972009-12-10 23:52:32 +0000902static void snapshot_merge_next_chunks(struct dm_snapshot *s)
903{
Mike Snitzer8a2d5282009-12-10 23:52:34 +0000904 int i, linear_chunks;
Mikulas Patocka1e03f972009-12-10 23:52:32 +0000905 chunk_t old_chunk, new_chunk;
906 struct dm_io_region src, dest;
Mike Snitzer8a2d5282009-12-10 23:52:34 +0000907 sector_t io_size;
Mikulas Patocka73dfd072009-12-10 23:52:34 +0000908 uint64_t previous_count;
Mikulas Patocka1e03f972009-12-10 23:52:32 +0000909
910 BUG_ON(!test_bit(RUNNING_MERGE, &s->state_bits));
911 if (unlikely(test_bit(SHUTDOWN_MERGE, &s->state_bits)))
912 goto shut;
913
914 /*
915 * valid flag never changes during merge, so no lock required.
916 */
917 if (!s->valid) {
918 DMERR("Snapshot is invalid: can't merge");
919 goto shut;
920 }
921
Mike Snitzer8a2d5282009-12-10 23:52:34 +0000922 linear_chunks = s->store->type->prepare_merge(s->store, &old_chunk,
923 &new_chunk);
924 if (linear_chunks <= 0) {
Mike Snitzerd8ddb1c2009-12-10 23:52:35 +0000925 if (linear_chunks < 0) {
Mikulas Patocka1e03f972009-12-10 23:52:32 +0000926 DMERR("Read error in exception store: "
927 "shutting down merge");
Mike Snitzerd8ddb1c2009-12-10 23:52:35 +0000928 down_write(&s->lock);
929 s->merge_failed = 1;
930 up_write(&s->lock);
931 }
Mikulas Patocka1e03f972009-12-10 23:52:32 +0000932 goto shut;
933 }
934
Mike Snitzer8a2d5282009-12-10 23:52:34 +0000935 /* Adjust old_chunk and new_chunk to reflect start of linear region */
936 old_chunk = old_chunk + 1 - linear_chunks;
937 new_chunk = new_chunk + 1 - linear_chunks;
938
939 /*
940 * Use one (potentially large) I/O to copy all 'linear_chunks'
941 * from the exception store to the origin
942 */
943 io_size = linear_chunks * s->store->chunk_size;
Mikulas Patocka1e03f972009-12-10 23:52:32 +0000944
Mikulas Patocka1e03f972009-12-10 23:52:32 +0000945 dest.bdev = s->origin->bdev;
946 dest.sector = chunk_to_sector(s->store, old_chunk);
Mike Snitzer8a2d5282009-12-10 23:52:34 +0000947 dest.count = min(io_size, get_dev_size(dest.bdev) - dest.sector);
Mikulas Patocka1e03f972009-12-10 23:52:32 +0000948
949 src.bdev = s->cow->bdev;
950 src.sector = chunk_to_sector(s->store, new_chunk);
951 src.count = dest.count;
952
Mikulas Patocka73dfd072009-12-10 23:52:34 +0000953 /*
954 * Reallocate any exceptions needed in other snapshots then
955 * wait for the pending exceptions to complete.
956 * Each time any pending exception (globally on the system)
957 * completes we are woken and repeat the process to find out
958 * if we can proceed. While this may not seem a particularly
959 * efficient algorithm, it is not expected to have any
960 * significant impact on performance.
961 */
962 previous_count = read_pending_exceptions_done_count();
Mike Snitzer8a2d5282009-12-10 23:52:34 +0000963 while (origin_write_extent(s, dest.sector, io_size)) {
Mikulas Patocka73dfd072009-12-10 23:52:34 +0000964 wait_event(_pending_exceptions_done,
965 (read_pending_exceptions_done_count() !=
966 previous_count));
967 /* Retry after the wait, until all exceptions are done. */
968 previous_count = read_pending_exceptions_done_count();
969 }
970
Mikulas Patocka9fe862542009-12-10 23:52:33 +0000971 down_write(&s->lock);
972 s->first_merging_chunk = old_chunk;
Mike Snitzer8a2d5282009-12-10 23:52:34 +0000973 s->num_merging_chunks = linear_chunks;
Mikulas Patocka9fe862542009-12-10 23:52:33 +0000974 up_write(&s->lock);
975
Mike Snitzer8a2d5282009-12-10 23:52:34 +0000976 /* Wait until writes to all 'linear_chunks' drain */
977 for (i = 0; i < linear_chunks; i++)
978 __check_for_conflicting_io(s, old_chunk + i);
Mikulas Patocka9fe862542009-12-10 23:52:33 +0000979
Mikulas Patocka1e03f972009-12-10 23:52:32 +0000980 dm_kcopyd_copy(s->kcopyd_client, &src, 1, &dest, 0, merge_callback, s);
981 return;
982
983shut:
984 merge_shutdown(s);
985}
986
Mikulas Patocka9fe862542009-12-10 23:52:33 +0000987static void error_bios(struct bio *bio);
988
Mikulas Patocka1e03f972009-12-10 23:52:32 +0000989static void merge_callback(int read_err, unsigned long write_err, void *context)
990{
991 struct dm_snapshot *s = context;
Mikulas Patocka9fe862542009-12-10 23:52:33 +0000992 struct bio *b = NULL;
Mikulas Patocka1e03f972009-12-10 23:52:32 +0000993
994 if (read_err || write_err) {
995 if (read_err)
996 DMERR("Read error: shutting down merge.");
997 else
998 DMERR("Write error: shutting down merge.");
999 goto shut;
1000 }
1001
Mikulas Patocka9fe862542009-12-10 23:52:33 +00001002 if (s->store->type->commit_merge(s->store,
1003 s->num_merging_chunks) < 0) {
Mikulas Patocka1e03f972009-12-10 23:52:32 +00001004 DMERR("Write error in exception store: shutting down merge");
1005 goto shut;
1006 }
1007
Mikulas Patocka9fe862542009-12-10 23:52:33 +00001008 if (remove_single_exception_chunk(s) < 0)
1009 goto shut;
1010
Mikulas Patocka1e03f972009-12-10 23:52:32 +00001011 snapshot_merge_next_chunks(s);
1012
1013 return;
1014
1015shut:
Mikulas Patocka9fe862542009-12-10 23:52:33 +00001016 down_write(&s->lock);
Mike Snitzerd8ddb1c2009-12-10 23:52:35 +00001017 s->merge_failed = 1;
Mikulas Patocka9fe862542009-12-10 23:52:33 +00001018 b = __release_queued_bios_after_merge(s);
1019 up_write(&s->lock);
1020 error_bios(b);
1021
Mikulas Patocka1e03f972009-12-10 23:52:32 +00001022 merge_shutdown(s);
1023}
1024
1025static void start_merge(struct dm_snapshot *s)
1026{
1027 if (!test_and_set_bit(RUNNING_MERGE, &s->state_bits))
1028 snapshot_merge_next_chunks(s);
1029}
1030
1031static int wait_schedule(void *ptr)
1032{
1033 schedule();
1034
1035 return 0;
1036}
1037
1038/*
1039 * Stop the merging process and wait until it finishes.
1040 */
1041static void stop_merge(struct dm_snapshot *s)
1042{
1043 set_bit(SHUTDOWN_MERGE, &s->state_bits);
1044 wait_on_bit(&s->state_bits, RUNNING_MERGE, wait_schedule,
1045 TASK_UNINTERRUPTIBLE);
1046 clear_bit(SHUTDOWN_MERGE, &s->state_bits);
1047}
1048
Linus Torvalds1da177e2005-04-16 15:20:36 -07001049/*
Linus Torvalds1da177e2005-04-16 15:20:36 -07001050 * Construct a snapshot mapping: <origin_dev> <COW-dev> <p/n> <chunk-size>
1051 */
1052static int snapshot_ctr(struct dm_target *ti, unsigned int argc, char **argv)
1053{
1054 struct dm_snapshot *s;
Mikulas Patockacd45daf2008-07-21 12:00:32 +01001055 int i;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001056 int r = -EINVAL;
Mike Snitzerfc56f6f2009-12-10 23:52:12 +00001057 char *origin_path, *cow_path;
Mike Snitzer10b81062009-12-10 23:52:31 +00001058 unsigned args_used, num_flush_requests = 1;
1059 fmode_t origin_mode = FMODE_READ;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001060
Mark McLoughlin4c7e3bf2006-10-03 01:15:25 -07001061 if (argc != 4) {
Alasdair G Kergon72d94862006-06-26 00:27:35 -07001062 ti->error = "requires exactly 4 arguments";
Linus Torvalds1da177e2005-04-16 15:20:36 -07001063 r = -EINVAL;
Mike Snitzerfc56f6f2009-12-10 23:52:12 +00001064 goto bad;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001065 }
1066
Mike Snitzer10b81062009-12-10 23:52:31 +00001067 if (dm_target_is_snapshot_merge(ti)) {
1068 num_flush_requests = 2;
1069 origin_mode = FMODE_WRITE;
1070 }
1071
Linus Torvalds1da177e2005-04-16 15:20:36 -07001072 s = kmalloc(sizeof(*s), GFP_KERNEL);
Jonathan Brassowfee19982009-04-02 19:55:34 +01001073 if (!s) {
Jonathan Brassowa2d2b032011-08-02 12:32:03 +01001074 ti->error = "Cannot allocate private snapshot structure";
Linus Torvalds1da177e2005-04-16 15:20:36 -07001075 r = -ENOMEM;
Mike Snitzerfc56f6f2009-12-10 23:52:12 +00001076 goto bad;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001077 }
1078
Mikulas Patockac2411042010-08-12 04:13:51 +01001079 origin_path = argv[0];
1080 argv++;
1081 argc--;
1082
1083 r = dm_get_device(ti, origin_path, origin_mode, &s->origin);
1084 if (r) {
1085 ti->error = "Cannot get origin device";
1086 goto bad_origin;
1087 }
1088
Mike Snitzerfc56f6f2009-12-10 23:52:12 +00001089 cow_path = argv[0];
1090 argv++;
1091 argc--;
1092
Milan Broz024d37e2011-03-24 13:52:14 +00001093 r = dm_get_device(ti, cow_path, dm_table_get_mode(ti->table), &s->cow);
Mike Snitzerfc56f6f2009-12-10 23:52:12 +00001094 if (r) {
1095 ti->error = "Cannot get COW device";
1096 goto bad_cow;
1097 }
1098
1099 r = dm_exception_store_create(ti, argc, argv, s, &args_used, &s->store);
1100 if (r) {
1101 ti->error = "Couldn't create exception store";
1102 r = -EINVAL;
1103 goto bad_store;
1104 }
1105
1106 argv += args_used;
1107 argc -= args_used;
1108
Mike Snitzerfc56f6f2009-12-10 23:52:12 +00001109 s->ti = ti;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001110 s->valid = 1;
Alasdair G Kergonaa14ede2006-02-01 03:04:50 -08001111 s->active = 0;
Mikulas Patocka879129d2008-10-30 13:33:16 +00001112 atomic_set(&s->pending_exceptions_count, 0);
Mikulas Patocka4c0c59e2013-11-29 18:13:37 -05001113 s->exception_start_sequence = 0;
1114 s->exception_complete_sequence = 0;
1115 INIT_LIST_HEAD(&s->out_of_order_list);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001116 init_rwsem(&s->lock);
Mike Snitzerc1f0c182009-12-10 23:52:24 +00001117 INIT_LIST_HEAD(&s->list);
Alasdair G Kergonca3a9312006-10-03 01:15:30 -07001118 spin_lock_init(&s->pe_lock);
Mikulas Patocka1e03f972009-12-10 23:52:32 +00001119 s->state_bits = 0;
Mike Snitzerd8ddb1c2009-12-10 23:52:35 +00001120 s->merge_failed = 0;
Mikulas Patocka9fe862542009-12-10 23:52:33 +00001121 s->first_merging_chunk = 0;
1122 s->num_merging_chunks = 0;
1123 bio_list_init(&s->bios_queued_during_merge);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001124
1125 /* Allocate hash table for COW data */
Jonathan Brassowfee19982009-04-02 19:55:34 +01001126 if (init_hash_tables(s)) {
Linus Torvalds1da177e2005-04-16 15:20:36 -07001127 ti->error = "Unable to allocate hash table space";
1128 r = -ENOMEM;
Jonathan Brassowfee19982009-04-02 19:55:34 +01001129 goto bad_hash_tables;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001130 }
1131
Mikulas Patockafa34ce72011-05-29 13:03:13 +01001132 s->kcopyd_client = dm_kcopyd_client_create();
1133 if (IS_ERR(s->kcopyd_client)) {
1134 r = PTR_ERR(s->kcopyd_client);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001135 ti->error = "Could not create kcopyd client";
Jonathan Brassowfee19982009-04-02 19:55:34 +01001136 goto bad_kcopyd;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001137 }
1138
Mikulas Patocka92e86812008-07-21 12:00:35 +01001139 s->pending_pool = mempool_create_slab_pool(MIN_IOS, pending_cache);
1140 if (!s->pending_pool) {
1141 ti->error = "Could not allocate mempool for pending exceptions";
Wei Yongjun18b43082013-05-10 14:37:15 +01001142 r = -ENOMEM;
Jonathan Brassowfee19982009-04-02 19:55:34 +01001143 goto bad_pending_pool;
Mikulas Patocka92e86812008-07-21 12:00:35 +01001144 }
1145
Mikulas Patockacd45daf2008-07-21 12:00:32 +01001146 s->tracked_chunk_pool = mempool_create_slab_pool(MIN_IOS,
1147 tracked_chunk_cache);
1148 if (!s->tracked_chunk_pool) {
1149 ti->error = "Could not allocate tracked_chunk mempool for "
1150 "tracking reads";
Mikulas Patocka92e86812008-07-21 12:00:35 +01001151 goto bad_tracked_chunk_pool;
Mikulas Patockacd45daf2008-07-21 12:00:32 +01001152 }
1153
1154 for (i = 0; i < DM_TRACKED_CHUNK_HASH_SIZE; i++)
1155 INIT_HLIST_HEAD(&s->tracked_chunk_hash[i]);
1156
1157 spin_lock_init(&s->tracked_chunk_lock);
1158
Mike Snitzerc1f0c182009-12-10 23:52:24 +00001159 ti->private = s;
Mike Snitzer10b81062009-12-10 23:52:31 +00001160 ti->num_flush_requests = num_flush_requests;
Mike Snitzerc1f0c182009-12-10 23:52:24 +00001161
1162 /* Add snapshot to the list of snapshots for this origin */
1163 /* Exceptions aren't triggered till snapshot_resume() is called */
1164 r = register_snapshot(s);
1165 if (r == -ENOMEM) {
1166 ti->error = "Snapshot origin struct allocation failed";
1167 goto bad_load_and_register;
1168 } else if (r < 0) {
1169 /* invalid handover, register_snapshot has set ti->error */
1170 goto bad_load_and_register;
1171 }
1172
1173 /*
1174 * Metadata must only be loaded into one table at once, so skip this
1175 * if metadata will be handed over during resume.
1176 * Chunk size will be set during the handover - set it to zero to
1177 * ensure it's ignored.
1178 */
1179 if (r > 0) {
1180 s->store->chunk_size = 0;
1181 return 0;
1182 }
1183
Jonathan Brassow493df712009-04-02 19:55:31 +01001184 r = s->store->type->read_metadata(s->store, dm_add_exception,
1185 (void *)s);
Milan Broz07641472007-07-12 17:28:13 +01001186 if (r < 0) {
Mark McLoughlinf9cea4f2006-10-03 01:15:25 -07001187 ti->error = "Failed to read snapshot metadata";
Mike Snitzerc1f0c182009-12-10 23:52:24 +00001188 goto bad_read_metadata;
Milan Broz07641472007-07-12 17:28:13 +01001189 } else if (r > 0) {
1190 s->valid = 0;
1191 DMWARN("Snapshot is marked invalid.");
Mark McLoughlinf9cea4f2006-10-03 01:15:25 -07001192 }
Alasdair G Kergonaa14ede2006-02-01 03:04:50 -08001193
Mikulas Patocka3f2412d2009-10-16 23:18:16 +01001194 if (!s->store->chunk_size) {
1195 ti->error = "Chunk size not set";
Mike Snitzerc1f0c182009-12-10 23:52:24 +00001196 goto bad_read_metadata;
Mikulas Patocka3f2412d2009-10-16 23:18:16 +01001197 }
Jonathan Brassowd0216842009-04-02 19:55:32 +01001198 ti->split_io = s->store->chunk_size;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001199
1200 return 0;
1201
Mike Snitzerc1f0c182009-12-10 23:52:24 +00001202bad_read_metadata:
1203 unregister_snapshot(s);
1204
Jonathan Brassowfee19982009-04-02 19:55:34 +01001205bad_load_and_register:
Mikulas Patockacd45daf2008-07-21 12:00:32 +01001206 mempool_destroy(s->tracked_chunk_pool);
1207
Jonathan Brassowfee19982009-04-02 19:55:34 +01001208bad_tracked_chunk_pool:
Mikulas Patocka92e86812008-07-21 12:00:35 +01001209 mempool_destroy(s->pending_pool);
1210
Jonathan Brassowfee19982009-04-02 19:55:34 +01001211bad_pending_pool:
Heinz Mauelshageneb69aca2008-04-24 21:43:19 +01001212 dm_kcopyd_client_destroy(s->kcopyd_client);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001213
Jonathan Brassowfee19982009-04-02 19:55:34 +01001214bad_kcopyd:
Jon Brassow3510cb92009-12-10 23:52:11 +00001215 dm_exception_table_exit(&s->pending, pending_cache);
1216 dm_exception_table_exit(&s->complete, exception_cache);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001217
Jonathan Brassowfee19982009-04-02 19:55:34 +01001218bad_hash_tables:
Mike Snitzerfc56f6f2009-12-10 23:52:12 +00001219 dm_exception_store_destroy(s->store);
1220
1221bad_store:
1222 dm_put_device(ti, s->cow);
1223
1224bad_cow:
Mikulas Patockac2411042010-08-12 04:13:51 +01001225 dm_put_device(ti, s->origin);
1226
1227bad_origin:
Linus Torvalds1da177e2005-04-16 15:20:36 -07001228 kfree(s);
1229
Mike Snitzerfc56f6f2009-12-10 23:52:12 +00001230bad:
Linus Torvalds1da177e2005-04-16 15:20:36 -07001231 return r;
1232}
1233
Milan Broz31c93a02006-12-08 02:41:11 -08001234static void __free_exceptions(struct dm_snapshot *s)
1235{
Heinz Mauelshageneb69aca2008-04-24 21:43:19 +01001236 dm_kcopyd_client_destroy(s->kcopyd_client);
Milan Broz31c93a02006-12-08 02:41:11 -08001237 s->kcopyd_client = NULL;
1238
Jon Brassow3510cb92009-12-10 23:52:11 +00001239 dm_exception_table_exit(&s->pending, pending_cache);
1240 dm_exception_table_exit(&s->complete, exception_cache);
Milan Broz31c93a02006-12-08 02:41:11 -08001241}
1242
Mike Snitzerc1f0c182009-12-10 23:52:24 +00001243static void __handover_exceptions(struct dm_snapshot *snap_src,
1244 struct dm_snapshot *snap_dest)
1245{
1246 union {
1247 struct dm_exception_table table_swap;
1248 struct dm_exception_store *store_swap;
1249 } u;
1250
1251 /*
1252 * Swap all snapshot context information between the two instances.
1253 */
1254 u.table_swap = snap_dest->complete;
1255 snap_dest->complete = snap_src->complete;
1256 snap_src->complete = u.table_swap;
1257
1258 u.store_swap = snap_dest->store;
1259 snap_dest->store = snap_src->store;
1260 snap_src->store = u.store_swap;
1261
1262 snap_dest->store->snap = snap_dest;
1263 snap_src->store->snap = snap_src;
1264
1265 snap_dest->ti->split_io = snap_dest->store->chunk_size;
1266 snap_dest->valid = snap_src->valid;
1267
1268 /*
1269 * Set source invalid to ensure it receives no further I/O.
1270 */
1271 snap_src->valid = 0;
1272}
1273
Linus Torvalds1da177e2005-04-16 15:20:36 -07001274static void snapshot_dtr(struct dm_target *ti)
1275{
Mikulas Patockacd45daf2008-07-21 12:00:32 +01001276#ifdef CONFIG_DM_DEBUG
1277 int i;
1278#endif
Alasdair G Kergon028867a2007-07-12 17:26:32 +01001279 struct dm_snapshot *s = ti->private;
Mike Snitzerc1f0c182009-12-10 23:52:24 +00001280 struct dm_snapshot *snap_src = NULL, *snap_dest = NULL;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001281
Mike Snitzerc1f0c182009-12-10 23:52:24 +00001282 down_read(&_origins_lock);
1283 /* Check whether exception handover must be cancelled */
Mikulas Patocka9d3b15c2009-12-10 23:52:32 +00001284 (void) __find_snapshots_sharing_cow(s, &snap_src, &snap_dest, NULL);
Mike Snitzerc1f0c182009-12-10 23:52:24 +00001285 if (snap_src && snap_dest && (s == snap_src)) {
1286 down_write(&snap_dest->lock);
1287 snap_dest->valid = 0;
1288 up_write(&snap_dest->lock);
1289 DMERR("Cancelling snapshot handover.");
1290 }
1291 up_read(&_origins_lock);
1292
Mikulas Patocka1e03f972009-12-10 23:52:32 +00001293 if (dm_target_is_snapshot_merge(ti))
1294 stop_merge(s);
1295
Alasdair G Kergon138728d2006-03-27 01:17:50 -08001296 /* Prevent further origin writes from using this snapshot. */
1297 /* After this returns there can be no new kcopyd jobs. */
Linus Torvalds1da177e2005-04-16 15:20:36 -07001298 unregister_snapshot(s);
1299
Mikulas Patocka879129d2008-10-30 13:33:16 +00001300 while (atomic_read(&s->pending_exceptions_count))
Mikulas Patocka90fa1522009-01-06 03:04:54 +00001301 msleep(1);
Mikulas Patocka879129d2008-10-30 13:33:16 +00001302 /*
1303 * Ensure instructions in mempool_destroy aren't reordered
1304 * before atomic_read.
1305 */
1306 smp_mb();
1307
Mikulas Patockacd45daf2008-07-21 12:00:32 +01001308#ifdef CONFIG_DM_DEBUG
1309 for (i = 0; i < DM_TRACKED_CHUNK_HASH_SIZE; i++)
1310 BUG_ON(!hlist_empty(&s->tracked_chunk_hash[i]));
1311#endif
1312
1313 mempool_destroy(s->tracked_chunk_pool);
1314
Milan Broz31c93a02006-12-08 02:41:11 -08001315 __free_exceptions(s);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001316
Mikulas Patocka92e86812008-07-21 12:00:35 +01001317 mempool_destroy(s->pending_pool);
1318
Jonathan Brassowfee19982009-04-02 19:55:34 +01001319 dm_exception_store_destroy(s->store);
Alasdair G Kergon138728d2006-03-27 01:17:50 -08001320
Mike Snitzerfc56f6f2009-12-10 23:52:12 +00001321 dm_put_device(ti, s->cow);
1322
Mikulas Patockac2411042010-08-12 04:13:51 +01001323 dm_put_device(ti, s->origin);
1324
Linus Torvalds1da177e2005-04-16 15:20:36 -07001325 kfree(s);
1326}
1327
1328/*
1329 * Flush a list of buffers.
1330 */
1331static void flush_bios(struct bio *bio)
1332{
1333 struct bio *n;
1334
1335 while (bio) {
1336 n = bio->bi_next;
1337 bio->bi_next = NULL;
1338 generic_make_request(bio);
1339 bio = n;
1340 }
1341}
1342
Mikulas Patocka515ad662009-12-10 23:52:30 +00001343static int do_origin(struct dm_dev *origin, struct bio *bio);
1344
1345/*
1346 * Flush a list of buffers.
1347 */
1348static void retry_origin_bios(struct dm_snapshot *s, struct bio *bio)
1349{
1350 struct bio *n;
1351 int r;
1352
1353 while (bio) {
1354 n = bio->bi_next;
1355 bio->bi_next = NULL;
1356 r = do_origin(s->origin, bio);
1357 if (r == DM_MAPIO_REMAPPED)
1358 generic_make_request(bio);
1359 bio = n;
1360 }
1361}
1362
Linus Torvalds1da177e2005-04-16 15:20:36 -07001363/*
1364 * Error a list of buffers.
1365 */
1366static void error_bios(struct bio *bio)
1367{
1368 struct bio *n;
1369
1370 while (bio) {
1371 n = bio->bi_next;
1372 bio->bi_next = NULL;
NeilBrown6712ecf2007-09-27 12:47:43 +02001373 bio_io_error(bio);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001374 bio = n;
1375 }
1376}
1377
Alasdair G Kergon695368a2006-10-03 01:15:31 -07001378static void __invalidate_snapshot(struct dm_snapshot *s, int err)
Alasdair G Kergon76df1c62006-03-27 01:17:45 -08001379{
1380 if (!s->valid)
1381 return;
1382
1383 if (err == -EIO)
1384 DMERR("Invalidating snapshot: Error reading/writing.");
1385 else if (err == -ENOMEM)
1386 DMERR("Invalidating snapshot: Unable to allocate exception.");
1387
Jonathan Brassow493df712009-04-02 19:55:31 +01001388 if (s->store->type->drop_snapshot)
1389 s->store->type->drop_snapshot(s->store);
Alasdair G Kergon76df1c62006-03-27 01:17:45 -08001390
1391 s->valid = 0;
1392
Mike Snitzerfc56f6f2009-12-10 23:52:12 +00001393 dm_table_event(s->ti->table);
Alasdair G Kergon76df1c62006-03-27 01:17:45 -08001394}
1395
Alasdair G Kergon028867a2007-07-12 17:26:32 +01001396static void pending_complete(struct dm_snap_pending_exception *pe, int success)
Linus Torvalds1da177e2005-04-16 15:20:36 -07001397{
Jon Brassow1d4989c2009-12-10 23:52:10 +00001398 struct dm_exception *e;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001399 struct dm_snapshot *s = pe->snap;
Alasdair G Kergon9d493fa2006-10-03 01:15:29 -07001400 struct bio *origin_bios = NULL;
1401 struct bio *snapshot_bios = NULL;
Mikulas Patockaa6e50b42011-08-02 12:32:04 +01001402 struct bio *full_bio = NULL;
Alasdair G Kergon9d493fa2006-10-03 01:15:29 -07001403 int error = 0;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001404
Alasdair G Kergon76df1c62006-03-27 01:17:45 -08001405 if (!success) {
Linus Torvalds1da177e2005-04-16 15:20:36 -07001406 /* Read/write error - snapshot is unusable */
1407 down_write(&s->lock);
Alasdair G Kergon695368a2006-10-03 01:15:31 -07001408 __invalidate_snapshot(s, -EIO);
Alasdair G Kergon9d493fa2006-10-03 01:15:29 -07001409 error = 1;
Alasdair G Kergon76df1c62006-03-27 01:17:45 -08001410 goto out;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001411 }
1412
Jon Brassow3510cb92009-12-10 23:52:11 +00001413 e = alloc_completed_exception();
Alasdair G Kergon76df1c62006-03-27 01:17:45 -08001414 if (!e) {
1415 down_write(&s->lock);
Alasdair G Kergon695368a2006-10-03 01:15:31 -07001416 __invalidate_snapshot(s, -ENOMEM);
Alasdair G Kergon9d493fa2006-10-03 01:15:29 -07001417 error = 1;
Alasdair G Kergon76df1c62006-03-27 01:17:45 -08001418 goto out;
1419 }
1420 *e = pe->e;
1421
Alasdair G Kergon9d493fa2006-10-03 01:15:29 -07001422 down_write(&s->lock);
1423 if (!s->valid) {
Jon Brassow3510cb92009-12-10 23:52:11 +00001424 free_completed_exception(e);
Alasdair G Kergon9d493fa2006-10-03 01:15:29 -07001425 error = 1;
1426 goto out;
1427 }
1428
Mike Snitzer615d1eb2009-12-10 23:52:29 +00001429 /* Check for conflicting reads */
1430 __check_for_conflicting_io(s, pe->e.old_chunk);
Mikulas Patockaa8d41b52008-07-21 12:00:34 +01001431
1432 /*
Alasdair G Kergon76df1c62006-03-27 01:17:45 -08001433 * Add a proper exception, and remove the
1434 * in-flight exception from the list.
1435 */
Jon Brassow3510cb92009-12-10 23:52:11 +00001436 dm_insert_exception(&s->complete, e);
Alasdair G Kergon76df1c62006-03-27 01:17:45 -08001437
Jonathan Brassowa2d2b032011-08-02 12:32:03 +01001438out:
Jon Brassow3510cb92009-12-10 23:52:11 +00001439 dm_remove_exception(&pe->e);
Alasdair G Kergon9d493fa2006-10-03 01:15:29 -07001440 snapshot_bios = bio_list_get(&pe->snapshot_bios);
Mikulas Patocka515ad662009-12-10 23:52:30 +00001441 origin_bios = bio_list_get(&pe->origin_bios);
Mikulas Patockaa6e50b42011-08-02 12:32:04 +01001442 full_bio = pe->full_bio;
1443 if (full_bio) {
1444 full_bio->bi_end_io = pe->full_bio_end_io;
1445 full_bio->bi_private = pe->full_bio_private;
1446 }
Mikulas Patocka515ad662009-12-10 23:52:30 +00001447 free_pending_exception(pe);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001448
Mikulas Patocka73dfd072009-12-10 23:52:34 +00001449 increment_pending_exceptions_done_count();
1450
Alasdair G Kergon9d493fa2006-10-03 01:15:29 -07001451 up_write(&s->lock);
1452
1453 /* Submit any pending write bios */
Mikulas Patockaa6e50b42011-08-02 12:32:04 +01001454 if (error) {
1455 if (full_bio)
1456 bio_io_error(full_bio);
Alasdair G Kergon9d493fa2006-10-03 01:15:29 -07001457 error_bios(snapshot_bios);
Mikulas Patockaa6e50b42011-08-02 12:32:04 +01001458 } else {
1459 if (full_bio)
1460 bio_endio(full_bio, 0);
Alasdair G Kergon9d493fa2006-10-03 01:15:29 -07001461 flush_bios(snapshot_bios);
Mikulas Patockaa6e50b42011-08-02 12:32:04 +01001462 }
Alasdair G Kergon9d493fa2006-10-03 01:15:29 -07001463
Mikulas Patocka515ad662009-12-10 23:52:30 +00001464 retry_origin_bios(s, origin_bios);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001465}
1466
1467static void commit_callback(void *context, int success)
1468{
Alasdair G Kergon028867a2007-07-12 17:26:32 +01001469 struct dm_snap_pending_exception *pe = context;
1470
Linus Torvalds1da177e2005-04-16 15:20:36 -07001471 pending_complete(pe, success);
1472}
1473
Mikulas Patocka4c0c59e2013-11-29 18:13:37 -05001474static void complete_exception(struct dm_snap_pending_exception *pe)
1475{
1476 struct dm_snapshot *s = pe->snap;
1477
1478 if (unlikely(pe->copy_error))
1479 pending_complete(pe, 0);
1480
1481 else
1482 /* Update the metadata if we are persistent */
1483 s->store->type->commit_exception(s->store, &pe->e,
1484 commit_callback, pe);
1485}
1486
Linus Torvalds1da177e2005-04-16 15:20:36 -07001487/*
1488 * Called when the copy I/O has finished. kcopyd actually runs
1489 * this code so don't block.
1490 */
Alasdair G Kergon4cdc1d12008-03-28 14:16:10 -07001491static void copy_callback(int read_err, unsigned long write_err, void *context)
Linus Torvalds1da177e2005-04-16 15:20:36 -07001492{
Alasdair G Kergon028867a2007-07-12 17:26:32 +01001493 struct dm_snap_pending_exception *pe = context;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001494 struct dm_snapshot *s = pe->snap;
1495
Mikulas Patocka4c0c59e2013-11-29 18:13:37 -05001496 pe->copy_error = read_err || write_err;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001497
Mikulas Patocka4c0c59e2013-11-29 18:13:37 -05001498 if (pe->exception_sequence == s->exception_complete_sequence) {
1499 s->exception_complete_sequence++;
1500 complete_exception(pe);
1501
1502 while (!list_empty(&s->out_of_order_list)) {
1503 pe = list_entry(s->out_of_order_list.next,
1504 struct dm_snap_pending_exception, out_of_order_entry);
1505 if (pe->exception_sequence != s->exception_complete_sequence)
1506 break;
1507 s->exception_complete_sequence++;
1508 list_del(&pe->out_of_order_entry);
1509 complete_exception(pe);
1510 }
1511 } else {
1512 struct list_head *lh;
1513 struct dm_snap_pending_exception *pe2;
1514
1515 list_for_each_prev(lh, &s->out_of_order_list) {
1516 pe2 = list_entry(lh, struct dm_snap_pending_exception, out_of_order_entry);
1517 if (pe2->exception_sequence < pe->exception_sequence)
1518 break;
1519 }
1520 list_add(&pe->out_of_order_entry, lh);
1521 }
Linus Torvalds1da177e2005-04-16 15:20:36 -07001522}
1523
1524/*
1525 * Dispatches the copy operation to kcopyd.
1526 */
Alasdair G Kergon028867a2007-07-12 17:26:32 +01001527static void start_copy(struct dm_snap_pending_exception *pe)
Linus Torvalds1da177e2005-04-16 15:20:36 -07001528{
1529 struct dm_snapshot *s = pe->snap;
Heinz Mauelshagen22a1ceb2008-04-24 21:43:17 +01001530 struct dm_io_region src, dest;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001531 struct block_device *bdev = s->origin->bdev;
1532 sector_t dev_size;
1533
1534 dev_size = get_dev_size(bdev);
1535
1536 src.bdev = bdev;
Jonathan Brassow71fab002009-04-02 19:55:33 +01001537 src.sector = chunk_to_sector(s->store, pe->e.old_chunk);
Mikulas Patockadf96eee2009-10-16 23:18:17 +01001538 src.count = min((sector_t)s->store->chunk_size, dev_size - src.sector);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001539
Mike Snitzerfc56f6f2009-12-10 23:52:12 +00001540 dest.bdev = s->cow->bdev;
Jonathan Brassow71fab002009-04-02 19:55:33 +01001541 dest.sector = chunk_to_sector(s->store, pe->e.new_chunk);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001542 dest.count = src.count;
1543
1544 /* Hand over to kcopyd */
Jonathan Brassowa2d2b032011-08-02 12:32:03 +01001545 dm_kcopyd_copy(s->kcopyd_client, &src, 1, &dest, 0, copy_callback, pe);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001546}
1547
Mikulas Patockaa6e50b42011-08-02 12:32:04 +01001548static void full_bio_end_io(struct bio *bio, int error)
1549{
1550 void *callback_data = bio->bi_private;
1551
1552 dm_kcopyd_do_callback(callback_data, 0, error ? 1 : 0);
1553}
1554
1555static void start_full_bio(struct dm_snap_pending_exception *pe,
1556 struct bio *bio)
1557{
1558 struct dm_snapshot *s = pe->snap;
1559 void *callback_data;
1560
1561 pe->full_bio = bio;
1562 pe->full_bio_end_io = bio->bi_end_io;
1563 pe->full_bio_private = bio->bi_private;
1564
1565 callback_data = dm_kcopyd_prepare_callback(s->kcopyd_client,
1566 copy_callback, pe);
1567
1568 bio->bi_end_io = full_bio_end_io;
1569 bio->bi_private = callback_data;
1570
1571 generic_make_request(bio);
1572}
1573
Mikulas Patocka29138082009-04-02 19:55:25 +01001574static struct dm_snap_pending_exception *
1575__lookup_pending_exception(struct dm_snapshot *s, chunk_t chunk)
1576{
Jon Brassow3510cb92009-12-10 23:52:11 +00001577 struct dm_exception *e = dm_lookup_exception(&s->pending, chunk);
Mikulas Patocka29138082009-04-02 19:55:25 +01001578
1579 if (!e)
1580 return NULL;
1581
1582 return container_of(e, struct dm_snap_pending_exception, e);
1583}
1584
Linus Torvalds1da177e2005-04-16 15:20:36 -07001585/*
1586 * Looks to see if this snapshot already has a pending exception
1587 * for this chunk, otherwise it allocates a new one and inserts
1588 * it into the pending table.
1589 *
1590 * NOTE: a write lock must be held on snap->lock before calling
1591 * this.
1592 */
Alasdair G Kergon028867a2007-07-12 17:26:32 +01001593static struct dm_snap_pending_exception *
Mikulas Patockac6621392009-04-02 19:55:25 +01001594__find_pending_exception(struct dm_snapshot *s,
1595 struct dm_snap_pending_exception *pe, chunk_t chunk)
Linus Torvalds1da177e2005-04-16 15:20:36 -07001596{
Mikulas Patockac6621392009-04-02 19:55:25 +01001597 struct dm_snap_pending_exception *pe2;
Alasdair G Kergon76df1c62006-03-27 01:17:45 -08001598
Mikulas Patocka29138082009-04-02 19:55:25 +01001599 pe2 = __lookup_pending_exception(s, chunk);
1600 if (pe2) {
Alasdair G Kergon76df1c62006-03-27 01:17:45 -08001601 free_pending_exception(pe);
Mikulas Patocka29138082009-04-02 19:55:25 +01001602 return pe2;
Alasdair G Kergon76df1c62006-03-27 01:17:45 -08001603 }
1604
1605 pe->e.old_chunk = chunk;
1606 bio_list_init(&pe->origin_bios);
1607 bio_list_init(&pe->snapshot_bios);
Alasdair G Kergon76df1c62006-03-27 01:17:45 -08001608 pe->started = 0;
Mikulas Patockaa6e50b42011-08-02 12:32:04 +01001609 pe->full_bio = NULL;
Alasdair G Kergon76df1c62006-03-27 01:17:45 -08001610
Jonathan Brassow493df712009-04-02 19:55:31 +01001611 if (s->store->type->prepare_exception(s->store, &pe->e)) {
Alasdair G Kergon76df1c62006-03-27 01:17:45 -08001612 free_pending_exception(pe);
1613 return NULL;
1614 }
1615
Mikulas Patocka4c0c59e2013-11-29 18:13:37 -05001616 pe->exception_sequence = s->exception_start_sequence++;
1617
Jon Brassow3510cb92009-12-10 23:52:11 +00001618 dm_insert_exception(&s->pending, &pe->e);
Alasdair G Kergon76df1c62006-03-27 01:17:45 -08001619
Linus Torvalds1da177e2005-04-16 15:20:36 -07001620 return pe;
1621}
1622
Jon Brassow1d4989c2009-12-10 23:52:10 +00001623static void remap_exception(struct dm_snapshot *s, struct dm_exception *e,
Milan Brozd74f81f2008-02-08 02:11:27 +00001624 struct bio *bio, chunk_t chunk)
Linus Torvalds1da177e2005-04-16 15:20:36 -07001625{
Mike Snitzerfc56f6f2009-12-10 23:52:12 +00001626 bio->bi_bdev = s->cow->bdev;
Jonathan Brassow71fab002009-04-02 19:55:33 +01001627 bio->bi_sector = chunk_to_sector(s->store,
1628 dm_chunk_number(e->new_chunk) +
1629 (chunk - e->old_chunk)) +
1630 (bio->bi_sector &
1631 s->store->chunk_mask);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001632}
1633
1634static int snapshot_map(struct dm_target *ti, struct bio *bio,
1635 union map_info *map_context)
1636{
Jon Brassow1d4989c2009-12-10 23:52:10 +00001637 struct dm_exception *e;
Alasdair G Kergon028867a2007-07-12 17:26:32 +01001638 struct dm_snapshot *s = ti->private;
Kiyoshi Uedad2a7ad22006-12-08 02:41:06 -08001639 int r = DM_MAPIO_REMAPPED;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001640 chunk_t chunk;
Alasdair G Kergon028867a2007-07-12 17:26:32 +01001641 struct dm_snap_pending_exception *pe = NULL;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001642
Tejun Heod87f4c12010-09-03 11:56:19 +02001643 if (bio->bi_rw & REQ_FLUSH) {
Mike Snitzerfc56f6f2009-12-10 23:52:12 +00001644 bio->bi_bdev = s->cow->bdev;
Mikulas Patocka494b3ee2009-06-22 10:12:25 +01001645 return DM_MAPIO_REMAPPED;
1646 }
1647
Jonathan Brassow71fab002009-04-02 19:55:33 +01001648 chunk = sector_to_chunk(s->store, bio->bi_sector);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001649
1650 /* Full snapshots are not usable */
Alasdair G Kergon76df1c62006-03-27 01:17:45 -08001651 /* To get here the table must be live so s->active is always set. */
Linus Torvalds1da177e2005-04-16 15:20:36 -07001652 if (!s->valid)
Alasdair G Kergonf6a80ea2005-07-12 15:53:01 -07001653 return -EIO;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001654
Alasdair G Kergonba40a2a2006-10-03 01:15:28 -07001655 /* FIXME: should only take write lock if we need
1656 * to copy an exception */
1657 down_write(&s->lock);
1658
1659 if (!s->valid) {
1660 r = -EIO;
1661 goto out_unlock;
1662 }
1663
1664 /* If the block is already remapped - use that, else remap it */
Jon Brassow3510cb92009-12-10 23:52:11 +00001665 e = dm_lookup_exception(&s->complete, chunk);
Alasdair G Kergonba40a2a2006-10-03 01:15:28 -07001666 if (e) {
Milan Brozd74f81f2008-02-08 02:11:27 +00001667 remap_exception(s, e, bio, chunk);
Alasdair G Kergonba40a2a2006-10-03 01:15:28 -07001668 goto out_unlock;
1669 }
1670
Linus Torvalds1da177e2005-04-16 15:20:36 -07001671 /*
1672 * Write to snapshot - higher level takes care of RW/RO
1673 * flags so we should only get this if we are
1674 * writeable.
1675 */
1676 if (bio_rw(bio) == WRITE) {
Mikulas Patocka29138082009-04-02 19:55:25 +01001677 pe = __lookup_pending_exception(s, chunk);
Alasdair G Kergon76df1c62006-03-27 01:17:45 -08001678 if (!pe) {
Mikulas Patockac6621392009-04-02 19:55:25 +01001679 up_write(&s->lock);
1680 pe = alloc_pending_exception(s);
1681 down_write(&s->lock);
1682
1683 if (!s->valid) {
1684 free_pending_exception(pe);
1685 r = -EIO;
1686 goto out_unlock;
1687 }
1688
Jon Brassow3510cb92009-12-10 23:52:11 +00001689 e = dm_lookup_exception(&s->complete, chunk);
Mikulas Patocka35bf6592009-04-02 19:55:26 +01001690 if (e) {
1691 free_pending_exception(pe);
1692 remap_exception(s, e, bio, chunk);
1693 goto out_unlock;
1694 }
1695
Mikulas Patockac6621392009-04-02 19:55:25 +01001696 pe = __find_pending_exception(s, pe, chunk);
Mikulas Patocka29138082009-04-02 19:55:25 +01001697 if (!pe) {
1698 __invalidate_snapshot(s, -ENOMEM);
1699 r = -EIO;
1700 goto out_unlock;
1701 }
Alasdair G Kergon76df1c62006-03-27 01:17:45 -08001702 }
1703
Milan Brozd74f81f2008-02-08 02:11:27 +00001704 remap_exception(s, &pe->e, bio, chunk);
Alasdair G Kergon76df1c62006-03-27 01:17:45 -08001705
Kiyoshi Uedad2a7ad22006-12-08 02:41:06 -08001706 r = DM_MAPIO_SUBMITTED;
Alasdair G Kergonba40a2a2006-10-03 01:15:28 -07001707
Mikulas Patockaa6e50b42011-08-02 12:32:04 +01001708 if (!pe->started &&
1709 bio->bi_size == (s->store->chunk_size << SECTOR_SHIFT)) {
1710 pe->started = 1;
1711 up_write(&s->lock);
1712 start_full_bio(pe, bio);
1713 goto out;
1714 }
1715
1716 bio_list_add(&pe->snapshot_bios, bio);
1717
Alasdair G Kergon76df1c62006-03-27 01:17:45 -08001718 if (!pe->started) {
1719 /* this is protected by snap->lock */
1720 pe->started = 1;
Alasdair G Kergonba40a2a2006-10-03 01:15:28 -07001721 up_write(&s->lock);
Alasdair G Kergon76df1c62006-03-27 01:17:45 -08001722 start_copy(pe);
Alasdair G Kergonba40a2a2006-10-03 01:15:28 -07001723 goto out;
1724 }
Mikulas Patockacd45daf2008-07-21 12:00:32 +01001725 } else {
Alasdair G Kergonba40a2a2006-10-03 01:15:28 -07001726 bio->bi_bdev = s->origin->bdev;
Mikulas Patockacd45daf2008-07-21 12:00:32 +01001727 map_context->ptr = track_chunk(s, chunk);
1728 }
Linus Torvalds1da177e2005-04-16 15:20:36 -07001729
Jonathan Brassowa2d2b032011-08-02 12:32:03 +01001730out_unlock:
Alasdair G Kergonba40a2a2006-10-03 01:15:28 -07001731 up_write(&s->lock);
Jonathan Brassowa2d2b032011-08-02 12:32:03 +01001732out:
Linus Torvalds1da177e2005-04-16 15:20:36 -07001733 return r;
1734}
1735
Mikulas Patocka3452c2a2009-12-10 23:52:31 +00001736/*
1737 * A snapshot-merge target behaves like a combination of a snapshot
1738 * target and a snapshot-origin target. It only generates new
1739 * exceptions in other snapshots and not in the one that is being
1740 * merged.
1741 *
1742 * For each chunk, if there is an existing exception, it is used to
1743 * redirect I/O to the cow device. Otherwise I/O is sent to the origin,
1744 * which in turn might generate exceptions in other snapshots.
Mikulas Patocka9fe862542009-12-10 23:52:33 +00001745 * If merging is currently taking place on the chunk in question, the
1746 * I/O is deferred by adding it to s->bios_queued_during_merge.
Mikulas Patocka3452c2a2009-12-10 23:52:31 +00001747 */
1748static int snapshot_merge_map(struct dm_target *ti, struct bio *bio,
1749 union map_info *map_context)
1750{
1751 struct dm_exception *e;
1752 struct dm_snapshot *s = ti->private;
1753 int r = DM_MAPIO_REMAPPED;
1754 chunk_t chunk;
1755
Tejun Heod87f4c12010-09-03 11:56:19 +02001756 if (bio->bi_rw & REQ_FLUSH) {
Mike Snitzer57cba5d2010-08-12 04:14:04 +01001757 if (!map_context->target_request_nr)
Mike Snitzer10b81062009-12-10 23:52:31 +00001758 bio->bi_bdev = s->origin->bdev;
1759 else
1760 bio->bi_bdev = s->cow->bdev;
1761 map_context->ptr = NULL;
1762 return DM_MAPIO_REMAPPED;
1763 }
1764
Mikulas Patocka3452c2a2009-12-10 23:52:31 +00001765 chunk = sector_to_chunk(s->store, bio->bi_sector);
1766
Mikulas Patocka9fe862542009-12-10 23:52:33 +00001767 down_write(&s->lock);
Mikulas Patocka3452c2a2009-12-10 23:52:31 +00001768
Mikulas Patockad2fdb772009-12-10 23:52:36 +00001769 /* Full merging snapshots are redirected to the origin */
1770 if (!s->valid)
1771 goto redirect_to_origin;
Mikulas Patocka3452c2a2009-12-10 23:52:31 +00001772
1773 /* If the block is already remapped - use that */
1774 e = dm_lookup_exception(&s->complete, chunk);
1775 if (e) {
Mikulas Patocka9fe862542009-12-10 23:52:33 +00001776 /* Queue writes overlapping with chunks being merged */
1777 if (bio_rw(bio) == WRITE &&
1778 chunk >= s->first_merging_chunk &&
1779 chunk < (s->first_merging_chunk +
1780 s->num_merging_chunks)) {
1781 bio->bi_bdev = s->origin->bdev;
1782 bio_list_add(&s->bios_queued_during_merge, bio);
1783 r = DM_MAPIO_SUBMITTED;
1784 goto out_unlock;
1785 }
Mikulas Patocka17aa0332009-12-10 23:52:33 +00001786
Mikulas Patocka3452c2a2009-12-10 23:52:31 +00001787 remap_exception(s, e, bio, chunk);
Mikulas Patocka17aa0332009-12-10 23:52:33 +00001788
1789 if (bio_rw(bio) == WRITE)
1790 map_context->ptr = track_chunk(s, chunk);
Mikulas Patocka3452c2a2009-12-10 23:52:31 +00001791 goto out_unlock;
1792 }
1793
Mikulas Patockad2fdb772009-12-10 23:52:36 +00001794redirect_to_origin:
Mikulas Patocka3452c2a2009-12-10 23:52:31 +00001795 bio->bi_bdev = s->origin->bdev;
1796
1797 if (bio_rw(bio) == WRITE) {
Mikulas Patocka9fe862542009-12-10 23:52:33 +00001798 up_write(&s->lock);
Mikulas Patocka3452c2a2009-12-10 23:52:31 +00001799 return do_origin(s->origin, bio);
1800 }
1801
1802out_unlock:
Mikulas Patocka9fe862542009-12-10 23:52:33 +00001803 up_write(&s->lock);
Mikulas Patocka3452c2a2009-12-10 23:52:31 +00001804
1805 return r;
1806}
1807
Mikulas Patockacd45daf2008-07-21 12:00:32 +01001808static int snapshot_end_io(struct dm_target *ti, struct bio *bio,
1809 int error, union map_info *map_context)
1810{
1811 struct dm_snapshot *s = ti->private;
1812 struct dm_snap_tracked_chunk *c = map_context->ptr;
1813
1814 if (c)
1815 stop_tracking_chunk(s, c);
1816
1817 return 0;
1818}
1819
Mikulas Patocka1e03f972009-12-10 23:52:32 +00001820static void snapshot_merge_presuspend(struct dm_target *ti)
1821{
1822 struct dm_snapshot *s = ti->private;
1823
1824 stop_merge(s);
1825}
1826
Mike Snitzerc1f0c182009-12-10 23:52:24 +00001827static int snapshot_preresume(struct dm_target *ti)
1828{
1829 int r = 0;
1830 struct dm_snapshot *s = ti->private;
1831 struct dm_snapshot *snap_src = NULL, *snap_dest = NULL;
1832
1833 down_read(&_origins_lock);
Mikulas Patocka9d3b15c2009-12-10 23:52:32 +00001834 (void) __find_snapshots_sharing_cow(s, &snap_src, &snap_dest, NULL);
Mike Snitzerc1f0c182009-12-10 23:52:24 +00001835 if (snap_src && snap_dest) {
1836 down_read(&snap_src->lock);
1837 if (s == snap_src) {
1838 DMERR("Unable to resume snapshot source until "
1839 "handover completes.");
1840 r = -EINVAL;
Mike Snitzerb83b2f22011-01-13 19:59:59 +00001841 } else if (!dm_suspended(snap_src->ti)) {
Mike Snitzerc1f0c182009-12-10 23:52:24 +00001842 DMERR("Unable to perform snapshot handover until "
1843 "source is suspended.");
1844 r = -EINVAL;
1845 }
1846 up_read(&snap_src->lock);
1847 }
1848 up_read(&_origins_lock);
1849
1850 return r;
1851}
1852
Linus Torvalds1da177e2005-04-16 15:20:36 -07001853static void snapshot_resume(struct dm_target *ti)
1854{
Alasdair G Kergon028867a2007-07-12 17:26:32 +01001855 struct dm_snapshot *s = ti->private;
Mike Snitzerc1f0c182009-12-10 23:52:24 +00001856 struct dm_snapshot *snap_src = NULL, *snap_dest = NULL;
1857
1858 down_read(&_origins_lock);
Mikulas Patocka9d3b15c2009-12-10 23:52:32 +00001859 (void) __find_snapshots_sharing_cow(s, &snap_src, &snap_dest, NULL);
Mike Snitzerc1f0c182009-12-10 23:52:24 +00001860 if (snap_src && snap_dest) {
1861 down_write(&snap_src->lock);
1862 down_write_nested(&snap_dest->lock, SINGLE_DEPTH_NESTING);
1863 __handover_exceptions(snap_src, snap_dest);
1864 up_write(&snap_dest->lock);
1865 up_write(&snap_src->lock);
1866 }
1867 up_read(&_origins_lock);
1868
1869 /* Now we have correct chunk size, reregister */
1870 reregister_snapshot(s);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001871
Alasdair G Kergonaa14ede2006-02-01 03:04:50 -08001872 down_write(&s->lock);
1873 s->active = 1;
1874 up_write(&s->lock);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001875}
1876
Mikulas Patocka1e03f972009-12-10 23:52:32 +00001877static sector_t get_origin_minimum_chunksize(struct block_device *bdev)
1878{
1879 sector_t min_chunksize;
1880
1881 down_read(&_origins_lock);
1882 min_chunksize = __minimum_chunk_size(__lookup_origin(bdev));
1883 up_read(&_origins_lock);
1884
1885 return min_chunksize;
1886}
1887
1888static void snapshot_merge_resume(struct dm_target *ti)
1889{
1890 struct dm_snapshot *s = ti->private;
1891
1892 /*
1893 * Handover exceptions from existing snapshot.
1894 */
1895 snapshot_resume(ti);
1896
1897 /*
1898 * snapshot-merge acts as an origin, so set ti->split_io
1899 */
1900 ti->split_io = get_origin_minimum_chunksize(s->origin->bdev);
1901
1902 start_merge(s);
1903}
1904
Mikulas Patocka5b7bb4a2013-03-01 22:45:44 +00001905static void snapshot_status(struct dm_target *ti, status_type_t type,
1906 char *result, unsigned int maxlen)
Linus Torvalds1da177e2005-04-16 15:20:36 -07001907{
Jonathan Brassow2e4a31d2009-04-02 19:55:34 +01001908 unsigned sz = 0;
Alasdair G Kergon028867a2007-07-12 17:26:32 +01001909 struct dm_snapshot *snap = ti->private;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001910
1911 switch (type) {
1912 case STATUSTYPE_INFO:
Mikulas Patocka94e76572009-12-10 23:51:53 +00001913
1914 down_write(&snap->lock);
1915
Linus Torvalds1da177e2005-04-16 15:20:36 -07001916 if (!snap->valid)
Jonathan Brassow2e4a31d2009-04-02 19:55:34 +01001917 DMEMIT("Invalid");
Mike Snitzerd8ddb1c2009-12-10 23:52:35 +00001918 else if (snap->merge_failed)
1919 DMEMIT("Merge failed");
Linus Torvalds1da177e2005-04-16 15:20:36 -07001920 else {
Mike Snitzer985903b2009-12-10 23:52:11 +00001921 if (snap->store->type->usage) {
1922 sector_t total_sectors, sectors_allocated,
1923 metadata_sectors;
1924 snap->store->type->usage(snap->store,
1925 &total_sectors,
1926 &sectors_allocated,
1927 &metadata_sectors);
1928 DMEMIT("%llu/%llu %llu",
1929 (unsigned long long)sectors_allocated,
1930 (unsigned long long)total_sectors,
1931 (unsigned long long)metadata_sectors);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001932 }
1933 else
Jonathan Brassow2e4a31d2009-04-02 19:55:34 +01001934 DMEMIT("Unknown");
Linus Torvalds1da177e2005-04-16 15:20:36 -07001935 }
Mikulas Patocka94e76572009-12-10 23:51:53 +00001936
1937 up_write(&snap->lock);
1938
Linus Torvalds1da177e2005-04-16 15:20:36 -07001939 break;
1940
1941 case STATUSTYPE_TABLE:
1942 /*
1943 * kdevname returns a static pointer so we need
1944 * to make private copies if the output is to
1945 * make sense.
1946 */
Mike Snitzerfc56f6f2009-12-10 23:52:12 +00001947 DMEMIT("%s %s", snap->origin->name, snap->cow->name);
Jonathan Brassow1e302a92009-04-02 19:55:35 +01001948 snap->store->type->status(snap->store, type, result + sz,
1949 maxlen - sz);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001950 break;
1951 }
Linus Torvalds1da177e2005-04-16 15:20:36 -07001952}
1953
Mike Snitzer8811f462009-09-04 20:40:19 +01001954static int snapshot_iterate_devices(struct dm_target *ti,
1955 iterate_devices_callout_fn fn, void *data)
1956{
1957 struct dm_snapshot *snap = ti->private;
Mikulas Patocka1e5554c2010-08-12 04:13:50 +01001958 int r;
Mike Snitzer8811f462009-09-04 20:40:19 +01001959
Mikulas Patocka1e5554c2010-08-12 04:13:50 +01001960 r = fn(ti, snap->origin, 0, ti->len, data);
1961
1962 if (!r)
1963 r = fn(ti, snap->cow, 0, get_dev_size(snap->cow->bdev), data);
1964
1965 return r;
Mike Snitzer8811f462009-09-04 20:40:19 +01001966}
1967
1968
Linus Torvalds1da177e2005-04-16 15:20:36 -07001969/*-----------------------------------------------------------------
1970 * Origin methods
1971 *---------------------------------------------------------------*/
Mikulas Patocka9eaae8f2009-12-10 23:52:28 +00001972
1973/*
1974 * If no exceptions need creating, DM_MAPIO_REMAPPED is returned and any
1975 * supplied bio was ignored. The caller may submit it immediately.
1976 * (No remapping actually occurs as the origin is always a direct linear
1977 * map.)
1978 *
1979 * If further exceptions are required, DM_MAPIO_SUBMITTED is returned
1980 * and any supplied bio is added to a list to be submitted once all
1981 * the necessary exceptions exist.
1982 */
1983static int __origin_write(struct list_head *snapshots, sector_t sector,
1984 struct bio *bio)
Linus Torvalds1da177e2005-04-16 15:20:36 -07001985{
Mikulas Patocka515ad662009-12-10 23:52:30 +00001986 int r = DM_MAPIO_REMAPPED;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001987 struct dm_snapshot *snap;
Jon Brassow1d4989c2009-12-10 23:52:10 +00001988 struct dm_exception *e;
Mikulas Patocka515ad662009-12-10 23:52:30 +00001989 struct dm_snap_pending_exception *pe;
1990 struct dm_snap_pending_exception *pe_to_start_now = NULL;
1991 struct dm_snap_pending_exception *pe_to_start_last = NULL;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001992 chunk_t chunk;
1993
1994 /* Do all the snapshots on this origin */
1995 list_for_each_entry (snap, snapshots, list) {
Mikulas Patocka3452c2a2009-12-10 23:52:31 +00001996 /*
1997 * Don't make new exceptions in a merging snapshot
1998 * because it has effectively been deleted
1999 */
2000 if (dm_target_is_snapshot_merge(snap->ti))
2001 continue;
2002
Alasdair G Kergon76df1c62006-03-27 01:17:45 -08002003 down_write(&snap->lock);
2004
Alasdair G Kergonaa14ede2006-02-01 03:04:50 -08002005 /* Only deal with valid and active snapshots */
2006 if (!snap->valid || !snap->active)
Alasdair G Kergon76df1c62006-03-27 01:17:45 -08002007 goto next_snapshot;
Linus Torvalds1da177e2005-04-16 15:20:36 -07002008
Alasdair G Kergond5e404c2005-07-12 15:53:05 -07002009 /* Nothing to do if writing beyond end of snapshot */
Mikulas Patocka9eaae8f2009-12-10 23:52:28 +00002010 if (sector >= dm_table_get_size(snap->ti->table))
Alasdair G Kergon76df1c62006-03-27 01:17:45 -08002011 goto next_snapshot;
Linus Torvalds1da177e2005-04-16 15:20:36 -07002012
2013 /*
2014 * Remember, different snapshots can have
2015 * different chunk sizes.
2016 */
Mikulas Patocka9eaae8f2009-12-10 23:52:28 +00002017 chunk = sector_to_chunk(snap->store, sector);
Linus Torvalds1da177e2005-04-16 15:20:36 -07002018
2019 /*
2020 * Check exception table to see if block
2021 * is already remapped in this snapshot
2022 * and trigger an exception if not.
2023 */
Jon Brassow3510cb92009-12-10 23:52:11 +00002024 e = dm_lookup_exception(&snap->complete, chunk);
Alasdair G Kergon76df1c62006-03-27 01:17:45 -08002025 if (e)
2026 goto next_snapshot;
Linus Torvalds1da177e2005-04-16 15:20:36 -07002027
Mikulas Patocka29138082009-04-02 19:55:25 +01002028 pe = __lookup_pending_exception(snap, chunk);
Alasdair G Kergon76df1c62006-03-27 01:17:45 -08002029 if (!pe) {
Mikulas Patockac6621392009-04-02 19:55:25 +01002030 up_write(&snap->lock);
2031 pe = alloc_pending_exception(snap);
2032 down_write(&snap->lock);
2033
2034 if (!snap->valid) {
2035 free_pending_exception(pe);
2036 goto next_snapshot;
2037 }
2038
Jon Brassow3510cb92009-12-10 23:52:11 +00002039 e = dm_lookup_exception(&snap->complete, chunk);
Mikulas Patocka35bf6592009-04-02 19:55:26 +01002040 if (e) {
2041 free_pending_exception(pe);
2042 goto next_snapshot;
2043 }
2044
Mikulas Patockac6621392009-04-02 19:55:25 +01002045 pe = __find_pending_exception(snap, pe, chunk);
Mikulas Patocka29138082009-04-02 19:55:25 +01002046 if (!pe) {
2047 __invalidate_snapshot(snap, -ENOMEM);
2048 goto next_snapshot;
2049 }
Linus Torvalds1da177e2005-04-16 15:20:36 -07002050 }
2051
Mikulas Patocka515ad662009-12-10 23:52:30 +00002052 r = DM_MAPIO_SUBMITTED;
2053
2054 /*
2055 * If an origin bio was supplied, queue it to wait for the
2056 * completion of this exception, and start this one last,
2057 * at the end of the function.
2058 */
2059 if (bio) {
2060 bio_list_add(&pe->origin_bios, bio);
2061 bio = NULL;
2062
2063 if (!pe->started) {
2064 pe->started = 1;
2065 pe_to_start_last = pe;
Alasdair G Kergon76df1c62006-03-27 01:17:45 -08002066 }
Alasdair G Kergon76df1c62006-03-27 01:17:45 -08002067 }
2068
2069 if (!pe->started) {
2070 pe->started = 1;
Mikulas Patocka515ad662009-12-10 23:52:30 +00002071 pe_to_start_now = pe;
Alasdair G Kergon76df1c62006-03-27 01:17:45 -08002072 }
2073
Jonathan Brassowa2d2b032011-08-02 12:32:03 +01002074next_snapshot:
Linus Torvalds1da177e2005-04-16 15:20:36 -07002075 up_write(&snap->lock);
Linus Torvalds1da177e2005-04-16 15:20:36 -07002076
Mikulas Patocka515ad662009-12-10 23:52:30 +00002077 if (pe_to_start_now) {
2078 start_copy(pe_to_start_now);
2079 pe_to_start_now = NULL;
2080 }
Alasdair G Kergonb4b610f2006-03-27 01:17:44 -08002081 }
2082
Linus Torvalds1da177e2005-04-16 15:20:36 -07002083 /*
Mikulas Patocka515ad662009-12-10 23:52:30 +00002084 * Submit the exception against which the bio is queued last,
2085 * to give the other exceptions a head start.
Linus Torvalds1da177e2005-04-16 15:20:36 -07002086 */
Mikulas Patocka515ad662009-12-10 23:52:30 +00002087 if (pe_to_start_last)
2088 start_copy(pe_to_start_last);
Linus Torvalds1da177e2005-04-16 15:20:36 -07002089
2090 return r;
2091}
2092
2093/*
2094 * Called on a write from the origin driver.
2095 */
2096static int do_origin(struct dm_dev *origin, struct bio *bio)
2097{
2098 struct origin *o;
Kiyoshi Uedad2a7ad22006-12-08 02:41:06 -08002099 int r = DM_MAPIO_REMAPPED;
Linus Torvalds1da177e2005-04-16 15:20:36 -07002100
2101 down_read(&_origins_lock);
2102 o = __lookup_origin(origin->bdev);
2103 if (o)
Mikulas Patocka9eaae8f2009-12-10 23:52:28 +00002104 r = __origin_write(&o->snapshots, bio->bi_sector, bio);
Linus Torvalds1da177e2005-04-16 15:20:36 -07002105 up_read(&_origins_lock);
2106
2107 return r;
2108}
2109
2110/*
Mikulas Patocka73dfd072009-12-10 23:52:34 +00002111 * Trigger exceptions in all non-merging snapshots.
2112 *
2113 * The chunk size of the merging snapshot may be larger than the chunk
2114 * size of some other snapshot so we may need to reallocate multiple
2115 * chunks in other snapshots.
2116 *
2117 * We scan all the overlapping exceptions in the other snapshots.
2118 * Returns 1 if anything was reallocated and must be waited for,
2119 * otherwise returns 0.
2120 *
2121 * size must be a multiple of merging_snap's chunk_size.
2122 */
2123static int origin_write_extent(struct dm_snapshot *merging_snap,
2124 sector_t sector, unsigned size)
2125{
2126 int must_wait = 0;
2127 sector_t n;
2128 struct origin *o;
2129
2130 /*
2131 * The origin's __minimum_chunk_size() got stored in split_io
2132 * by snapshot_merge_resume().
2133 */
2134 down_read(&_origins_lock);
2135 o = __lookup_origin(merging_snap->origin->bdev);
2136 for (n = 0; n < size; n += merging_snap->ti->split_io)
2137 if (__origin_write(&o->snapshots, sector + n, NULL) ==
2138 DM_MAPIO_SUBMITTED)
2139 must_wait = 1;
2140 up_read(&_origins_lock);
2141
2142 return must_wait;
2143}
2144
2145/*
Linus Torvalds1da177e2005-04-16 15:20:36 -07002146 * Origin: maps a linear range of a device, with hooks for snapshotting.
2147 */
2148
2149/*
2150 * Construct an origin mapping: <dev_path>
2151 * The context for an origin is merely a 'struct dm_dev *'
2152 * pointing to the real device.
2153 */
2154static int origin_ctr(struct dm_target *ti, unsigned int argc, char **argv)
2155{
2156 int r;
2157 struct dm_dev *dev;
2158
2159 if (argc != 1) {
Alasdair G Kergon72d94862006-06-26 00:27:35 -07002160 ti->error = "origin: incorrect number of arguments";
Linus Torvalds1da177e2005-04-16 15:20:36 -07002161 return -EINVAL;
2162 }
2163
Nikanth Karthikesan8215d6e2010-03-06 02:32:27 +00002164 r = dm_get_device(ti, argv[0], dm_table_get_mode(ti->table), &dev);
Linus Torvalds1da177e2005-04-16 15:20:36 -07002165 if (r) {
2166 ti->error = "Cannot get target device";
2167 return r;
2168 }
2169
2170 ti->private = dev;
Mikulas Patocka494b3ee2009-06-22 10:12:25 +01002171 ti->num_flush_requests = 1;
2172
Linus Torvalds1da177e2005-04-16 15:20:36 -07002173 return 0;
2174}
2175
2176static void origin_dtr(struct dm_target *ti)
2177{
Alasdair G Kergon028867a2007-07-12 17:26:32 +01002178 struct dm_dev *dev = ti->private;
Linus Torvalds1da177e2005-04-16 15:20:36 -07002179 dm_put_device(ti, dev);
2180}
2181
2182static int origin_map(struct dm_target *ti, struct bio *bio,
2183 union map_info *map_context)
2184{
Alasdair G Kergon028867a2007-07-12 17:26:32 +01002185 struct dm_dev *dev = ti->private;
Linus Torvalds1da177e2005-04-16 15:20:36 -07002186 bio->bi_bdev = dev->bdev;
2187
Tejun Heod87f4c12010-09-03 11:56:19 +02002188 if (bio->bi_rw & REQ_FLUSH)
Mikulas Patocka494b3ee2009-06-22 10:12:25 +01002189 return DM_MAPIO_REMAPPED;
2190
Linus Torvalds1da177e2005-04-16 15:20:36 -07002191 /* Only tell snapshots if this is a write */
Kiyoshi Uedad2a7ad22006-12-08 02:41:06 -08002192 return (bio_rw(bio) == WRITE) ? do_origin(dev, bio) : DM_MAPIO_REMAPPED;
Linus Torvalds1da177e2005-04-16 15:20:36 -07002193}
2194
Linus Torvalds1da177e2005-04-16 15:20:36 -07002195/*
2196 * Set the target "split_io" field to the minimum of all the snapshots'
2197 * chunk sizes.
2198 */
2199static void origin_resume(struct dm_target *ti)
2200{
Alasdair G Kergon028867a2007-07-12 17:26:32 +01002201 struct dm_dev *dev = ti->private;
Linus Torvalds1da177e2005-04-16 15:20:36 -07002202
Mikulas Patocka1e03f972009-12-10 23:52:32 +00002203 ti->split_io = get_origin_minimum_chunksize(dev->bdev);
Linus Torvalds1da177e2005-04-16 15:20:36 -07002204}
2205
Mikulas Patocka5b7bb4a2013-03-01 22:45:44 +00002206static void origin_status(struct dm_target *ti, status_type_t type, char *result,
2207 unsigned int maxlen)
Linus Torvalds1da177e2005-04-16 15:20:36 -07002208{
Alasdair G Kergon028867a2007-07-12 17:26:32 +01002209 struct dm_dev *dev = ti->private;
Linus Torvalds1da177e2005-04-16 15:20:36 -07002210
2211 switch (type) {
2212 case STATUSTYPE_INFO:
2213 result[0] = '\0';
2214 break;
2215
2216 case STATUSTYPE_TABLE:
2217 snprintf(result, maxlen, "%s", dev->name);
2218 break;
2219 }
Linus Torvalds1da177e2005-04-16 15:20:36 -07002220}
2221
Mikulas Patockab1d55522010-08-12 04:14:02 +01002222static int origin_merge(struct dm_target *ti, struct bvec_merge_data *bvm,
2223 struct bio_vec *biovec, int max_size)
2224{
2225 struct dm_dev *dev = ti->private;
2226 struct request_queue *q = bdev_get_queue(dev->bdev);
2227
2228 if (!q->merge_bvec_fn)
2229 return max_size;
2230
2231 bvm->bi_bdev = dev->bdev;
2232 bvm->bi_sector = bvm->bi_sector;
2233
2234 return min(max_size, q->merge_bvec_fn(q, bvm, biovec));
2235}
2236
Mike Snitzer8811f462009-09-04 20:40:19 +01002237static int origin_iterate_devices(struct dm_target *ti,
2238 iterate_devices_callout_fn fn, void *data)
2239{
2240 struct dm_dev *dev = ti->private;
2241
2242 return fn(ti, dev, 0, ti->len, data);
2243}
2244
Linus Torvalds1da177e2005-04-16 15:20:36 -07002245static struct target_type origin_target = {
2246 .name = "snapshot-origin",
Mike Snitzerb83b2f22011-01-13 19:59:59 +00002247 .version = {1, 7, 1},
Linus Torvalds1da177e2005-04-16 15:20:36 -07002248 .module = THIS_MODULE,
2249 .ctr = origin_ctr,
2250 .dtr = origin_dtr,
2251 .map = origin_map,
2252 .resume = origin_resume,
2253 .status = origin_status,
Mikulas Patockab1d55522010-08-12 04:14:02 +01002254 .merge = origin_merge,
Mike Snitzer8811f462009-09-04 20:40:19 +01002255 .iterate_devices = origin_iterate_devices,
Linus Torvalds1da177e2005-04-16 15:20:36 -07002256};
2257
2258static struct target_type snapshot_target = {
2259 .name = "snapshot",
Mikulas Patocka4c0c59e2013-11-29 18:13:37 -05002260 .version = {1, 10, 2},
Linus Torvalds1da177e2005-04-16 15:20:36 -07002261 .module = THIS_MODULE,
2262 .ctr = snapshot_ctr,
2263 .dtr = snapshot_dtr,
2264 .map = snapshot_map,
Mikulas Patockacd45daf2008-07-21 12:00:32 +01002265 .end_io = snapshot_end_io,
Mike Snitzerc1f0c182009-12-10 23:52:24 +00002266 .preresume = snapshot_preresume,
Linus Torvalds1da177e2005-04-16 15:20:36 -07002267 .resume = snapshot_resume,
2268 .status = snapshot_status,
Mike Snitzer8811f462009-09-04 20:40:19 +01002269 .iterate_devices = snapshot_iterate_devices,
Linus Torvalds1da177e2005-04-16 15:20:36 -07002270};
2271
Mikulas Patockad698aa42009-12-10 23:52:30 +00002272static struct target_type merge_target = {
2273 .name = dm_snapshot_merge_target_name,
Mike Snitzerb83b2f22011-01-13 19:59:59 +00002274 .version = {1, 1, 0},
Mikulas Patockad698aa42009-12-10 23:52:30 +00002275 .module = THIS_MODULE,
2276 .ctr = snapshot_ctr,
2277 .dtr = snapshot_dtr,
Mikulas Patocka3452c2a2009-12-10 23:52:31 +00002278 .map = snapshot_merge_map,
Mikulas Patockad698aa42009-12-10 23:52:30 +00002279 .end_io = snapshot_end_io,
Mikulas Patocka1e03f972009-12-10 23:52:32 +00002280 .presuspend = snapshot_merge_presuspend,
Mikulas Patockad698aa42009-12-10 23:52:30 +00002281 .preresume = snapshot_preresume,
Mikulas Patocka1e03f972009-12-10 23:52:32 +00002282 .resume = snapshot_merge_resume,
Mikulas Patockad698aa42009-12-10 23:52:30 +00002283 .status = snapshot_status,
2284 .iterate_devices = snapshot_iterate_devices,
2285};
2286
Linus Torvalds1da177e2005-04-16 15:20:36 -07002287static int __init dm_snapshot_init(void)
2288{
2289 int r;
2290
Alasdair G Kergon4db6bfe2009-01-06 03:05:17 +00002291 r = dm_exception_store_init();
2292 if (r) {
2293 DMERR("Failed to initialize exception stores");
2294 return r;
2295 }
2296
Linus Torvalds1da177e2005-04-16 15:20:36 -07002297 r = dm_register_target(&snapshot_target);
Mikulas Patockad698aa42009-12-10 23:52:30 +00002298 if (r < 0) {
Linus Torvalds1da177e2005-04-16 15:20:36 -07002299 DMERR("snapshot target register failed %d", r);
Jonathan Brassow034a1862009-10-16 23:18:14 +01002300 goto bad_register_snapshot_target;
Linus Torvalds1da177e2005-04-16 15:20:36 -07002301 }
2302
2303 r = dm_register_target(&origin_target);
2304 if (r < 0) {
Alasdair G Kergon72d94862006-06-26 00:27:35 -07002305 DMERR("Origin target register failed %d", r);
Mikulas Patockad698aa42009-12-10 23:52:30 +00002306 goto bad_register_origin_target;
2307 }
2308
2309 r = dm_register_target(&merge_target);
2310 if (r < 0) {
2311 DMERR("Merge target register failed %d", r);
2312 goto bad_register_merge_target;
Linus Torvalds1da177e2005-04-16 15:20:36 -07002313 }
2314
2315 r = init_origin_hash();
2316 if (r) {
2317 DMERR("init_origin_hash failed.");
Mikulas Patockad698aa42009-12-10 23:52:30 +00002318 goto bad_origin_hash;
Linus Torvalds1da177e2005-04-16 15:20:36 -07002319 }
2320
Jon Brassow1d4989c2009-12-10 23:52:10 +00002321 exception_cache = KMEM_CACHE(dm_exception, 0);
Linus Torvalds1da177e2005-04-16 15:20:36 -07002322 if (!exception_cache) {
2323 DMERR("Couldn't create exception cache.");
2324 r = -ENOMEM;
Mikulas Patockad698aa42009-12-10 23:52:30 +00002325 goto bad_exception_cache;
Linus Torvalds1da177e2005-04-16 15:20:36 -07002326 }
2327
Alasdair G Kergon028867a2007-07-12 17:26:32 +01002328 pending_cache = KMEM_CACHE(dm_snap_pending_exception, 0);
Linus Torvalds1da177e2005-04-16 15:20:36 -07002329 if (!pending_cache) {
2330 DMERR("Couldn't create pending cache.");
2331 r = -ENOMEM;
Mikulas Patockad698aa42009-12-10 23:52:30 +00002332 goto bad_pending_cache;
Linus Torvalds1da177e2005-04-16 15:20:36 -07002333 }
2334
Mikulas Patockacd45daf2008-07-21 12:00:32 +01002335 tracked_chunk_cache = KMEM_CACHE(dm_snap_tracked_chunk, 0);
2336 if (!tracked_chunk_cache) {
2337 DMERR("Couldn't create cache to track chunks in use.");
2338 r = -ENOMEM;
Mikulas Patockad698aa42009-12-10 23:52:30 +00002339 goto bad_tracked_chunk_cache;
Mikulas Patockacd45daf2008-07-21 12:00:32 +01002340 }
2341
Linus Torvalds1da177e2005-04-16 15:20:36 -07002342 return 0;
2343
Mikulas Patockad698aa42009-12-10 23:52:30 +00002344bad_tracked_chunk_cache:
Linus Torvalds1da177e2005-04-16 15:20:36 -07002345 kmem_cache_destroy(pending_cache);
Mikulas Patockad698aa42009-12-10 23:52:30 +00002346bad_pending_cache:
Linus Torvalds1da177e2005-04-16 15:20:36 -07002347 kmem_cache_destroy(exception_cache);
Mikulas Patockad698aa42009-12-10 23:52:30 +00002348bad_exception_cache:
Linus Torvalds1da177e2005-04-16 15:20:36 -07002349 exit_origin_hash();
Mikulas Patockad698aa42009-12-10 23:52:30 +00002350bad_origin_hash:
2351 dm_unregister_target(&merge_target);
2352bad_register_merge_target:
Linus Torvalds1da177e2005-04-16 15:20:36 -07002353 dm_unregister_target(&origin_target);
Mikulas Patockad698aa42009-12-10 23:52:30 +00002354bad_register_origin_target:
Linus Torvalds1da177e2005-04-16 15:20:36 -07002355 dm_unregister_target(&snapshot_target);
Jonathan Brassow034a1862009-10-16 23:18:14 +01002356bad_register_snapshot_target:
2357 dm_exception_store_exit();
Mikulas Patockad698aa42009-12-10 23:52:30 +00002358
Linus Torvalds1da177e2005-04-16 15:20:36 -07002359 return r;
2360}
2361
2362static void __exit dm_snapshot_exit(void)
2363{
Mikulas Patocka10d3bd02009-01-06 03:04:58 +00002364 dm_unregister_target(&snapshot_target);
2365 dm_unregister_target(&origin_target);
Mikulas Patockad698aa42009-12-10 23:52:30 +00002366 dm_unregister_target(&merge_target);
Linus Torvalds1da177e2005-04-16 15:20:36 -07002367
2368 exit_origin_hash();
Linus Torvalds1da177e2005-04-16 15:20:36 -07002369 kmem_cache_destroy(pending_cache);
2370 kmem_cache_destroy(exception_cache);
Mikulas Patockacd45daf2008-07-21 12:00:32 +01002371 kmem_cache_destroy(tracked_chunk_cache);
Alasdair G Kergon4db6bfe2009-01-06 03:05:17 +00002372
2373 dm_exception_store_exit();
Linus Torvalds1da177e2005-04-16 15:20:36 -07002374}
2375
2376/* Module hooks */
2377module_init(dm_snapshot_init);
2378module_exit(dm_snapshot_exit);
2379
2380MODULE_DESCRIPTION(DM_NAME " snapshot target");
2381MODULE_AUTHOR("Joe Thornber");
2382MODULE_LICENSE("GPL");
Mikulas Patocka71b17322013-03-01 22:45:47 +00002383MODULE_ALIAS("dm-snapshot-origin");
2384MODULE_ALIAS("dm-snapshot-merge");