2 * Copyright (C) 2001-2002 Sistina Software (UK) Limited.
4 * This file is released under the GPL.
7 #include <linux/blkdev.h>
8 #include <linux/device-mapper.h>
9 #include <linux/delay.h>
11 #include <linux/init.h>
12 #include <linux/kdev_t.h>
13 #include <linux/list.h>
14 #include <linux/list_bl.h>
15 #include <linux/mempool.h>
16 #include <linux/module.h>
17 #include <linux/slab.h>
18 #include <linux/vmalloc.h>
19 #include <linux/log2.h>
20 #include <linux/dm-kcopyd.h>
24 #include "dm-exception-store.h"
26 #define DM_MSG_PREFIX "snapshots"
28 static const char dm_snapshot_merge_target_name[] = "snapshot-merge";
30 #define dm_target_is_snapshot_merge(ti) \
31 ((ti)->type->name == dm_snapshot_merge_target_name)
34 * The size of the mempool used to track chunks in use.
38 #define DM_TRACKED_CHUNK_HASH_SIZE 16
39 #define DM_TRACKED_CHUNK_HASH(x) ((unsigned long)(x) & \
40 (DM_TRACKED_CHUNK_HASH_SIZE - 1))
42 struct dm_exception_table {
45 struct hlist_bl_head *table;
49 struct rw_semaphore lock;
51 struct dm_dev *origin;
56 /* List of snapshots per Origin */
57 struct list_head list;
60 * You can't use a snapshot if this is 0 (e.g. if full).
61 * A snapshot-merge target never clears this.
66 * The snapshot overflowed because of a write to the snapshot device.
67 * We don't have to invalidate the snapshot in this case, but we need
68 * to prevent further writes.
70 int snapshot_overflowed;
72 /* Origin writes don't trigger exceptions until this is set */
75 atomic_t pending_exceptions_count;
77 spinlock_t pe_allocation_lock;
79 /* Protected by "pe_allocation_lock" */
80 sector_t exception_start_sequence;
82 /* Protected by kcopyd single-threaded callback */
83 sector_t exception_complete_sequence;
86 * A list of pending exceptions that completed out of order.
87 * Protected by kcopyd single-threaded callback.
89 struct rb_root out_of_order_tree;
91 mempool_t pending_pool;
93 struct dm_exception_table pending;
94 struct dm_exception_table complete;
97 * pe_lock protects all pending_exception operations and access
98 * as well as the snapshot_bios list.
102 /* Chunks with outstanding reads */
103 spinlock_t tracked_chunk_lock;
104 struct hlist_head tracked_chunk_hash[DM_TRACKED_CHUNK_HASH_SIZE];
106 /* The on disk metadata handler */
107 struct dm_exception_store *store;
109 unsigned in_progress;
110 struct wait_queue_head in_progress_wait;
112 struct dm_kcopyd_client *kcopyd_client;
114 /* Wait for events based on state_bits */
115 unsigned long state_bits;
117 /* Range of chunks currently being merged. */
118 chunk_t first_merging_chunk;
119 int num_merging_chunks;
122 * The merge operation failed if this flag is set.
123 * Failure modes are handled as follows:
124 * - I/O error reading the header
125 * => don't load the target; abort.
126 * - Header does not have "valid" flag set
127 * => use the origin; forget about the snapshot.
128 * - I/O error when reading exceptions
129 * => don't load the target; abort.
130 * (We can't use the intermediate origin state.)
131 * - I/O error while merging
132 * => stop merging; set merge_failed; process I/O normally.
136 bool discard_zeroes_cow:1;
137 bool discard_passdown_origin:1;
140 * Incoming bios that overlap with chunks being merged must wait
141 * for them to be committed.
143 struct bio_list bios_queued_during_merge;
146 * Flush data after merge.
148 struct bio flush_bio;
153 * RUNNING_MERGE - Merge operation is in progress.
154 * SHUTDOWN_MERGE - Set to signal that merge needs to be stopped;
155 * cleared afterwards.
157 #define RUNNING_MERGE 0
158 #define SHUTDOWN_MERGE 1
161 * Maximum number of chunks being copied on write.
163 * The value was decided experimentally as a trade-off between memory
164 * consumption, stalling the kernel's workqueues and maintaining a high enough
167 #define DEFAULT_COW_THRESHOLD 2048
169 static unsigned cow_threshold = DEFAULT_COW_THRESHOLD;
170 module_param_named(snapshot_cow_threshold, cow_threshold, uint, 0644);
171 MODULE_PARM_DESC(snapshot_cow_threshold, "Maximum number of chunks being copied on write");
173 DECLARE_DM_KCOPYD_THROTTLE_WITH_MODULE_PARM(snapshot_copy_throttle,
174 "A percentage of time allocated for copy on write");
176 struct dm_dev *dm_snap_origin(struct dm_snapshot *s)
180 EXPORT_SYMBOL(dm_snap_origin);
182 struct dm_dev *dm_snap_cow(struct dm_snapshot *s)
186 EXPORT_SYMBOL(dm_snap_cow);
188 static sector_t chunk_to_sector(struct dm_exception_store *store,
191 return chunk << store->chunk_shift;
194 static int bdev_equal(struct block_device *lhs, struct block_device *rhs)
197 * There is only ever one instance of a particular block
198 * device so we can compare pointers safely.
203 struct dm_snap_pending_exception {
204 struct dm_exception e;
207 * Origin buffers waiting for this to complete are held
210 struct bio_list origin_bios;
211 struct bio_list snapshot_bios;
213 /* Pointer back to snapshot context */
214 struct dm_snapshot *snap;
217 * 1 indicates the exception has already been sent to
222 /* There was copying error. */
225 /* A sequence number, it is used for in-order completion. */
226 sector_t exception_sequence;
228 struct rb_node out_of_order_node;
231 * For writing a complete chunk, bypassing the copy.
233 struct bio *full_bio;
234 bio_end_io_t *full_bio_end_io;
238 * Hash table mapping origin volumes to lists of snapshots and
239 * a lock to protect it
241 static struct kmem_cache *exception_cache;
242 static struct kmem_cache *pending_cache;
244 struct dm_snap_tracked_chunk {
245 struct hlist_node node;
249 static void init_tracked_chunk(struct bio *bio)
251 struct dm_snap_tracked_chunk *c = dm_per_bio_data(bio, sizeof(struct dm_snap_tracked_chunk));
252 INIT_HLIST_NODE(&c->node);
255 static bool is_bio_tracked(struct bio *bio)
257 struct dm_snap_tracked_chunk *c = dm_per_bio_data(bio, sizeof(struct dm_snap_tracked_chunk));
258 return !hlist_unhashed(&c->node);
261 static void track_chunk(struct dm_snapshot *s, struct bio *bio, chunk_t chunk)
263 struct dm_snap_tracked_chunk *c = dm_per_bio_data(bio, sizeof(struct dm_snap_tracked_chunk));
267 spin_lock_irq(&s->tracked_chunk_lock);
268 hlist_add_head(&c->node,
269 &s->tracked_chunk_hash[DM_TRACKED_CHUNK_HASH(chunk)]);
270 spin_unlock_irq(&s->tracked_chunk_lock);
273 static void stop_tracking_chunk(struct dm_snapshot *s, struct bio *bio)
275 struct dm_snap_tracked_chunk *c = dm_per_bio_data(bio, sizeof(struct dm_snap_tracked_chunk));
278 spin_lock_irqsave(&s->tracked_chunk_lock, flags);
280 spin_unlock_irqrestore(&s->tracked_chunk_lock, flags);
283 static int __chunk_is_tracked(struct dm_snapshot *s, chunk_t chunk)
285 struct dm_snap_tracked_chunk *c;
288 spin_lock_irq(&s->tracked_chunk_lock);
290 hlist_for_each_entry(c,
291 &s->tracked_chunk_hash[DM_TRACKED_CHUNK_HASH(chunk)], node) {
292 if (c->chunk == chunk) {
298 spin_unlock_irq(&s->tracked_chunk_lock);
304 * This conflicting I/O is extremely improbable in the caller,
305 * so msleep(1) is sufficient and there is no need for a wait queue.
307 static void __check_for_conflicting_io(struct dm_snapshot *s, chunk_t chunk)
309 while (__chunk_is_tracked(s, chunk))
314 * One of these per registered origin, held in the snapshot_origins hash
317 /* The origin device */
318 struct block_device *bdev;
320 struct list_head hash_list;
322 /* List of snapshots for this origin */
323 struct list_head snapshots;
327 * This structure is allocated for each origin target
331 struct dm_target *ti;
332 unsigned split_boundary;
333 struct list_head hash_list;
337 * Size of the hash table for origin volumes. If we make this
338 * the size of the minors list then it should be nearly perfect
340 #define ORIGIN_HASH_SIZE 256
341 #define ORIGIN_MASK 0xFF
342 static struct list_head *_origins;
343 static struct list_head *_dm_origins;
344 static struct rw_semaphore _origins_lock;
346 static DECLARE_WAIT_QUEUE_HEAD(_pending_exceptions_done);
347 static DEFINE_SPINLOCK(_pending_exceptions_done_spinlock);
348 static uint64_t _pending_exceptions_done_count;
350 static int init_origin_hash(void)
354 _origins = kmalloc_array(ORIGIN_HASH_SIZE, sizeof(struct list_head),
357 DMERR("unable to allocate memory for _origins");
360 for (i = 0; i < ORIGIN_HASH_SIZE; i++)
361 INIT_LIST_HEAD(_origins + i);
363 _dm_origins = kmalloc_array(ORIGIN_HASH_SIZE,
364 sizeof(struct list_head),
367 DMERR("unable to allocate memory for _dm_origins");
371 for (i = 0; i < ORIGIN_HASH_SIZE; i++)
372 INIT_LIST_HEAD(_dm_origins + i);
374 init_rwsem(&_origins_lock);
379 static void exit_origin_hash(void)
385 static unsigned origin_hash(struct block_device *bdev)
387 return bdev->bd_dev & ORIGIN_MASK;
390 static struct origin *__lookup_origin(struct block_device *origin)
392 struct list_head *ol;
395 ol = &_origins[origin_hash(origin)];
396 list_for_each_entry (o, ol, hash_list)
397 if (bdev_equal(o->bdev, origin))
403 static void __insert_origin(struct origin *o)
405 struct list_head *sl = &_origins[origin_hash(o->bdev)];
406 list_add_tail(&o->hash_list, sl);
409 static struct dm_origin *__lookup_dm_origin(struct block_device *origin)
411 struct list_head *ol;
414 ol = &_dm_origins[origin_hash(origin)];
415 list_for_each_entry (o, ol, hash_list)
416 if (bdev_equal(o->dev->bdev, origin))
422 static void __insert_dm_origin(struct dm_origin *o)
424 struct list_head *sl = &_dm_origins[origin_hash(o->dev->bdev)];
425 list_add_tail(&o->hash_list, sl);
428 static void __remove_dm_origin(struct dm_origin *o)
430 list_del(&o->hash_list);
434 * _origins_lock must be held when calling this function.
435 * Returns number of snapshots registered using the supplied cow device, plus:
436 * snap_src - a snapshot suitable for use as a source of exception handover
437 * snap_dest - a snapshot capable of receiving exception handover.
438 * snap_merge - an existing snapshot-merge target linked to the same origin.
439 * There can be at most one snapshot-merge target. The parameter is optional.
441 * Possible return values and states of snap_src and snap_dest.
442 * 0: NULL, NULL - first new snapshot
443 * 1: snap_src, NULL - normal snapshot
444 * 2: snap_src, snap_dest - waiting for handover
445 * 2: snap_src, NULL - handed over, waiting for old to be deleted
446 * 1: NULL, snap_dest - source got destroyed without handover
448 static int __find_snapshots_sharing_cow(struct dm_snapshot *snap,
449 struct dm_snapshot **snap_src,
450 struct dm_snapshot **snap_dest,
451 struct dm_snapshot **snap_merge)
453 struct dm_snapshot *s;
458 o = __lookup_origin(snap->origin->bdev);
462 list_for_each_entry(s, &o->snapshots, list) {
463 if (dm_target_is_snapshot_merge(s->ti) && snap_merge)
465 if (!bdev_equal(s->cow->bdev, snap->cow->bdev))
475 } else if (snap_dest)
486 * On success, returns 1 if this snapshot is a handover destination,
487 * otherwise returns 0.
489 static int __validate_exception_handover(struct dm_snapshot *snap)
491 struct dm_snapshot *snap_src = NULL, *snap_dest = NULL;
492 struct dm_snapshot *snap_merge = NULL;
494 /* Does snapshot need exceptions handed over to it? */
495 if ((__find_snapshots_sharing_cow(snap, &snap_src, &snap_dest,
496 &snap_merge) == 2) ||
498 snap->ti->error = "Snapshot cow pairing for exception "
499 "table handover failed";
504 * If no snap_src was found, snap cannot become a handover
511 * Non-snapshot-merge handover?
513 if (!dm_target_is_snapshot_merge(snap->ti))
517 * Do not allow more than one merging snapshot.
520 snap->ti->error = "A snapshot is already merging.";
524 if (!snap_src->store->type->prepare_merge ||
525 !snap_src->store->type->commit_merge) {
526 snap->ti->error = "Snapshot exception store does not "
527 "support snapshot-merge.";
534 static void __insert_snapshot(struct origin *o, struct dm_snapshot *s)
536 struct dm_snapshot *l;
538 /* Sort the list according to chunk size, largest-first smallest-last */
539 list_for_each_entry(l, &o->snapshots, list)
540 if (l->store->chunk_size < s->store->chunk_size)
542 list_add_tail(&s->list, &l->list);
546 * Make a note of the snapshot and its origin so we can look it
547 * up when the origin has a write on it.
549 * Also validate snapshot exception store handovers.
550 * On success, returns 1 if this registration is a handover destination,
551 * otherwise returns 0.
553 static int register_snapshot(struct dm_snapshot *snap)
555 struct origin *o, *new_o = NULL;
556 struct block_device *bdev = snap->origin->bdev;
559 new_o = kmalloc(sizeof(*new_o), GFP_KERNEL);
563 down_write(&_origins_lock);
565 r = __validate_exception_handover(snap);
571 o = __lookup_origin(bdev);
578 /* Initialise the struct */
579 INIT_LIST_HEAD(&o->snapshots);
585 __insert_snapshot(o, snap);
588 up_write(&_origins_lock);
594 * Move snapshot to correct place in list according to chunk size.
596 static void reregister_snapshot(struct dm_snapshot *s)
598 struct block_device *bdev = s->origin->bdev;
600 down_write(&_origins_lock);
603 __insert_snapshot(__lookup_origin(bdev), s);
605 up_write(&_origins_lock);
608 static void unregister_snapshot(struct dm_snapshot *s)
612 down_write(&_origins_lock);
613 o = __lookup_origin(s->origin->bdev);
616 if (o && list_empty(&o->snapshots)) {
617 list_del(&o->hash_list);
621 up_write(&_origins_lock);
625 * Implementation of the exception hash tables.
626 * The lowest hash_shift bits of the chunk number are ignored, allowing
627 * some consecutive chunks to be grouped together.
629 static uint32_t exception_hash(struct dm_exception_table *et, chunk_t chunk);
631 /* Lock to protect access to the completed and pending exception hash tables. */
632 struct dm_exception_table_lock {
633 struct hlist_bl_head *complete_slot;
634 struct hlist_bl_head *pending_slot;
637 static void dm_exception_table_lock_init(struct dm_snapshot *s, chunk_t chunk,
638 struct dm_exception_table_lock *lock)
640 struct dm_exception_table *complete = &s->complete;
641 struct dm_exception_table *pending = &s->pending;
643 lock->complete_slot = &complete->table[exception_hash(complete, chunk)];
644 lock->pending_slot = &pending->table[exception_hash(pending, chunk)];
647 static void dm_exception_table_lock(struct dm_exception_table_lock *lock)
649 hlist_bl_lock(lock->complete_slot);
650 hlist_bl_lock(lock->pending_slot);
653 static void dm_exception_table_unlock(struct dm_exception_table_lock *lock)
655 hlist_bl_unlock(lock->pending_slot);
656 hlist_bl_unlock(lock->complete_slot);
659 static int dm_exception_table_init(struct dm_exception_table *et,
660 uint32_t size, unsigned hash_shift)
664 et->hash_shift = hash_shift;
665 et->hash_mask = size - 1;
666 et->table = kvmalloc_array(size, sizeof(struct hlist_bl_head),
671 for (i = 0; i < size; i++)
672 INIT_HLIST_BL_HEAD(et->table + i);
677 static void dm_exception_table_exit(struct dm_exception_table *et,
678 struct kmem_cache *mem)
680 struct hlist_bl_head *slot;
681 struct dm_exception *ex;
682 struct hlist_bl_node *pos, *n;
685 size = et->hash_mask + 1;
686 for (i = 0; i < size; i++) {
687 slot = et->table + i;
689 hlist_bl_for_each_entry_safe(ex, pos, n, slot, hash_list)
690 kmem_cache_free(mem, ex);
696 static uint32_t exception_hash(struct dm_exception_table *et, chunk_t chunk)
698 return (chunk >> et->hash_shift) & et->hash_mask;
701 static void dm_remove_exception(struct dm_exception *e)
703 hlist_bl_del(&e->hash_list);
707 * Return the exception data for a sector, or NULL if not
710 static struct dm_exception *dm_lookup_exception(struct dm_exception_table *et,
713 struct hlist_bl_head *slot;
714 struct hlist_bl_node *pos;
715 struct dm_exception *e;
717 slot = &et->table[exception_hash(et, chunk)];
718 hlist_bl_for_each_entry(e, pos, slot, hash_list)
719 if (chunk >= e->old_chunk &&
720 chunk <= e->old_chunk + dm_consecutive_chunk_count(e))
726 static struct dm_exception *alloc_completed_exception(gfp_t gfp)
728 struct dm_exception *e;
730 e = kmem_cache_alloc(exception_cache, gfp);
731 if (!e && gfp == GFP_NOIO)
732 e = kmem_cache_alloc(exception_cache, GFP_ATOMIC);
737 static void free_completed_exception(struct dm_exception *e)
739 kmem_cache_free(exception_cache, e);
742 static struct dm_snap_pending_exception *alloc_pending_exception(struct dm_snapshot *s)
744 struct dm_snap_pending_exception *pe = mempool_alloc(&s->pending_pool,
747 atomic_inc(&s->pending_exceptions_count);
753 static void free_pending_exception(struct dm_snap_pending_exception *pe)
755 struct dm_snapshot *s = pe->snap;
757 mempool_free(pe, &s->pending_pool);
758 smp_mb__before_atomic();
759 atomic_dec(&s->pending_exceptions_count);
762 static void dm_insert_exception(struct dm_exception_table *eh,
763 struct dm_exception *new_e)
765 struct hlist_bl_head *l;
766 struct hlist_bl_node *pos;
767 struct dm_exception *e = NULL;
769 l = &eh->table[exception_hash(eh, new_e->old_chunk)];
771 /* Add immediately if this table doesn't support consecutive chunks */
775 /* List is ordered by old_chunk */
776 hlist_bl_for_each_entry(e, pos, l, hash_list) {
777 /* Insert after an existing chunk? */
778 if (new_e->old_chunk == (e->old_chunk +
779 dm_consecutive_chunk_count(e) + 1) &&
780 new_e->new_chunk == (dm_chunk_number(e->new_chunk) +
781 dm_consecutive_chunk_count(e) + 1)) {
782 dm_consecutive_chunk_count_inc(e);
783 free_completed_exception(new_e);
787 /* Insert before an existing chunk? */
788 if (new_e->old_chunk == (e->old_chunk - 1) &&
789 new_e->new_chunk == (dm_chunk_number(e->new_chunk) - 1)) {
790 dm_consecutive_chunk_count_inc(e);
793 free_completed_exception(new_e);
797 if (new_e->old_chunk < e->old_chunk)
804 * Either the table doesn't support consecutive chunks or slot
807 hlist_bl_add_head(&new_e->hash_list, l);
808 } else if (new_e->old_chunk < e->old_chunk) {
809 /* Add before an existing exception */
810 hlist_bl_add_before(&new_e->hash_list, &e->hash_list);
812 /* Add to l's tail: e is the last exception in this slot */
813 hlist_bl_add_behind(&new_e->hash_list, &e->hash_list);
818 * Callback used by the exception stores to load exceptions when
821 static int dm_add_exception(void *context, chunk_t old, chunk_t new)
823 struct dm_exception_table_lock lock;
824 struct dm_snapshot *s = context;
825 struct dm_exception *e;
827 e = alloc_completed_exception(GFP_KERNEL);
833 /* Consecutive_count is implicitly initialised to zero */
837 * Although there is no need to lock access to the exception tables
838 * here, if we don't then hlist_bl_add_head(), called by
839 * dm_insert_exception(), will complain about accessing the
840 * corresponding list without locking it first.
842 dm_exception_table_lock_init(s, old, &lock);
844 dm_exception_table_lock(&lock);
845 dm_insert_exception(&s->complete, e);
846 dm_exception_table_unlock(&lock);
852 * Return a minimum chunk size of all snapshots that have the specified origin.
853 * Return zero if the origin has no snapshots.
855 static uint32_t __minimum_chunk_size(struct origin *o)
857 struct dm_snapshot *snap;
858 unsigned chunk_size = 0;
861 list_for_each_entry(snap, &o->snapshots, list)
862 chunk_size = min_not_zero(chunk_size,
863 snap->store->chunk_size);
865 return (uint32_t) chunk_size;
871 static int calc_max_buckets(void)
873 /* use a fixed size of 2MB */
874 unsigned long mem = 2 * 1024 * 1024;
875 mem /= sizeof(struct hlist_bl_head);
881 * Allocate room for a suitable hash table.
883 static int init_hash_tables(struct dm_snapshot *s)
885 sector_t hash_size, cow_dev_size, max_buckets;
888 * Calculate based on the size of the original volume or
891 cow_dev_size = get_dev_size(s->cow->bdev);
892 max_buckets = calc_max_buckets();
894 hash_size = cow_dev_size >> s->store->chunk_shift;
895 hash_size = min(hash_size, max_buckets);
899 hash_size = rounddown_pow_of_two(hash_size);
900 if (dm_exception_table_init(&s->complete, hash_size,
901 DM_CHUNK_CONSECUTIVE_BITS))
905 * Allocate hash table for in-flight exceptions
906 * Make this smaller than the real hash table
912 if (dm_exception_table_init(&s->pending, hash_size, 0)) {
913 dm_exception_table_exit(&s->complete, exception_cache);
920 static void merge_shutdown(struct dm_snapshot *s)
922 clear_bit_unlock(RUNNING_MERGE, &s->state_bits);
923 smp_mb__after_atomic();
924 wake_up_bit(&s->state_bits, RUNNING_MERGE);
927 static struct bio *__release_queued_bios_after_merge(struct dm_snapshot *s)
929 s->first_merging_chunk = 0;
930 s->num_merging_chunks = 0;
932 return bio_list_get(&s->bios_queued_during_merge);
936 * Remove one chunk from the index of completed exceptions.
938 static int __remove_single_exception_chunk(struct dm_snapshot *s,
941 struct dm_exception *e;
943 e = dm_lookup_exception(&s->complete, old_chunk);
945 DMERR("Corruption detected: exception for block %llu is "
946 "on disk but not in memory",
947 (unsigned long long)old_chunk);
952 * If this is the only chunk using this exception, remove exception.
954 if (!dm_consecutive_chunk_count(e)) {
955 dm_remove_exception(e);
956 free_completed_exception(e);
961 * The chunk may be either at the beginning or the end of a
962 * group of consecutive chunks - never in the middle. We are
963 * removing chunks in the opposite order to that in which they
964 * were added, so this should always be true.
965 * Decrement the consecutive chunk counter and adjust the
966 * starting point if necessary.
968 if (old_chunk == e->old_chunk) {
971 } else if (old_chunk != e->old_chunk +
972 dm_consecutive_chunk_count(e)) {
973 DMERR("Attempt to merge block %llu from the "
974 "middle of a chunk range [%llu - %llu]",
975 (unsigned long long)old_chunk,
976 (unsigned long long)e->old_chunk,
978 e->old_chunk + dm_consecutive_chunk_count(e));
982 dm_consecutive_chunk_count_dec(e);
987 static void flush_bios(struct bio *bio);
989 static int remove_single_exception_chunk(struct dm_snapshot *s)
991 struct bio *b = NULL;
993 chunk_t old_chunk = s->first_merging_chunk + s->num_merging_chunks - 1;
995 down_write(&s->lock);
998 * Process chunks (and associated exceptions) in reverse order
999 * so that dm_consecutive_chunk_count_dec() accounting works.
1002 r = __remove_single_exception_chunk(s, old_chunk);
1005 } while (old_chunk-- > s->first_merging_chunk);
1007 b = __release_queued_bios_after_merge(s);
1017 static int origin_write_extent(struct dm_snapshot *merging_snap,
1018 sector_t sector, unsigned chunk_size);
1020 static void merge_callback(int read_err, unsigned long write_err,
1023 static uint64_t read_pending_exceptions_done_count(void)
1025 uint64_t pending_exceptions_done;
1027 spin_lock(&_pending_exceptions_done_spinlock);
1028 pending_exceptions_done = _pending_exceptions_done_count;
1029 spin_unlock(&_pending_exceptions_done_spinlock);
1031 return pending_exceptions_done;
1034 static void increment_pending_exceptions_done_count(void)
1036 spin_lock(&_pending_exceptions_done_spinlock);
1037 _pending_exceptions_done_count++;
1038 spin_unlock(&_pending_exceptions_done_spinlock);
1040 wake_up_all(&_pending_exceptions_done);
1043 static void snapshot_merge_next_chunks(struct dm_snapshot *s)
1045 int i, linear_chunks;
1046 chunk_t old_chunk, new_chunk;
1047 struct dm_io_region src, dest;
1049 uint64_t previous_count;
1051 BUG_ON(!test_bit(RUNNING_MERGE, &s->state_bits));
1052 if (unlikely(test_bit(SHUTDOWN_MERGE, &s->state_bits)))
1056 * valid flag never changes during merge, so no lock required.
1059 DMERR("Snapshot is invalid: can't merge");
1063 linear_chunks = s->store->type->prepare_merge(s->store, &old_chunk,
1065 if (linear_chunks <= 0) {
1066 if (linear_chunks < 0) {
1067 DMERR("Read error in exception store: "
1068 "shutting down merge");
1069 down_write(&s->lock);
1070 s->merge_failed = true;
1076 /* Adjust old_chunk and new_chunk to reflect start of linear region */
1077 old_chunk = old_chunk + 1 - linear_chunks;
1078 new_chunk = new_chunk + 1 - linear_chunks;
1081 * Use one (potentially large) I/O to copy all 'linear_chunks'
1082 * from the exception store to the origin
1084 io_size = linear_chunks * s->store->chunk_size;
1086 dest.bdev = s->origin->bdev;
1087 dest.sector = chunk_to_sector(s->store, old_chunk);
1088 dest.count = min(io_size, get_dev_size(dest.bdev) - dest.sector);
1090 src.bdev = s->cow->bdev;
1091 src.sector = chunk_to_sector(s->store, new_chunk);
1092 src.count = dest.count;
1095 * Reallocate any exceptions needed in other snapshots then
1096 * wait for the pending exceptions to complete.
1097 * Each time any pending exception (globally on the system)
1098 * completes we are woken and repeat the process to find out
1099 * if we can proceed. While this may not seem a particularly
1100 * efficient algorithm, it is not expected to have any
1101 * significant impact on performance.
1103 previous_count = read_pending_exceptions_done_count();
1104 while (origin_write_extent(s, dest.sector, io_size)) {
1105 wait_event(_pending_exceptions_done,
1106 (read_pending_exceptions_done_count() !=
1108 /* Retry after the wait, until all exceptions are done. */
1109 previous_count = read_pending_exceptions_done_count();
1112 down_write(&s->lock);
1113 s->first_merging_chunk = old_chunk;
1114 s->num_merging_chunks = linear_chunks;
1117 /* Wait until writes to all 'linear_chunks' drain */
1118 for (i = 0; i < linear_chunks; i++)
1119 __check_for_conflicting_io(s, old_chunk + i);
1121 dm_kcopyd_copy(s->kcopyd_client, &src, 1, &dest, 0, merge_callback, s);
1128 static void error_bios(struct bio *bio);
1130 static int flush_data(struct dm_snapshot *s)
1132 struct bio *flush_bio = &s->flush_bio;
1134 bio_reset(flush_bio);
1135 bio_set_dev(flush_bio, s->origin->bdev);
1136 flush_bio->bi_opf = REQ_OP_WRITE | REQ_PREFLUSH;
1138 return submit_bio_wait(flush_bio);
1141 static void merge_callback(int read_err, unsigned long write_err, void *context)
1143 struct dm_snapshot *s = context;
1144 struct bio *b = NULL;
1146 if (read_err || write_err) {
1148 DMERR("Read error: shutting down merge.");
1150 DMERR("Write error: shutting down merge.");
1154 if (flush_data(s) < 0) {
1155 DMERR("Flush after merge failed: shutting down merge");
1159 if (s->store->type->commit_merge(s->store,
1160 s->num_merging_chunks) < 0) {
1161 DMERR("Write error in exception store: shutting down merge");
1165 if (remove_single_exception_chunk(s) < 0)
1168 snapshot_merge_next_chunks(s);
1173 down_write(&s->lock);
1174 s->merge_failed = true;
1175 b = __release_queued_bios_after_merge(s);
1182 static void start_merge(struct dm_snapshot *s)
1184 if (!test_and_set_bit(RUNNING_MERGE, &s->state_bits))
1185 snapshot_merge_next_chunks(s);
1189 * Stop the merging process and wait until it finishes.
1191 static void stop_merge(struct dm_snapshot *s)
1193 set_bit(SHUTDOWN_MERGE, &s->state_bits);
1194 wait_on_bit(&s->state_bits, RUNNING_MERGE, TASK_UNINTERRUPTIBLE);
1195 clear_bit(SHUTDOWN_MERGE, &s->state_bits);
1198 static int parse_snapshot_features(struct dm_arg_set *as, struct dm_snapshot *s,
1199 struct dm_target *ti)
1203 const char *arg_name;
1205 static const struct dm_arg _args[] = {
1206 {0, 2, "Invalid number of feature arguments"},
1210 * No feature arguments supplied.
1215 r = dm_read_arg_group(_args, as, &argc, &ti->error);
1219 while (argc && !r) {
1220 arg_name = dm_shift_arg(as);
1223 if (!strcasecmp(arg_name, "discard_zeroes_cow"))
1224 s->discard_zeroes_cow = true;
1226 else if (!strcasecmp(arg_name, "discard_passdown_origin"))
1227 s->discard_passdown_origin = true;
1230 ti->error = "Unrecognised feature requested";
1236 if (!s->discard_zeroes_cow && s->discard_passdown_origin) {
1238 * TODO: really these are disjoint.. but ti->num_discard_bios
1239 * and dm_bio_get_target_bio_nr() require rigid constraints.
1241 ti->error = "discard_passdown_origin feature depends on discard_zeroes_cow";
1249 * Construct a snapshot mapping:
1250 * <origin_dev> <COW-dev> <p|po|n> <chunk-size> [<# feature args> [<arg>]*]
1252 static int snapshot_ctr(struct dm_target *ti, unsigned int argc, char **argv)
1254 struct dm_snapshot *s;
1255 struct dm_arg_set as;
1258 char *origin_path, *cow_path;
1259 dev_t origin_dev, cow_dev;
1260 unsigned args_used, num_flush_bios = 1;
1261 fmode_t origin_mode = FMODE_READ;
1264 ti->error = "requires 4 or more arguments";
1269 if (dm_target_is_snapshot_merge(ti)) {
1271 origin_mode = FMODE_WRITE;
1274 s = kzalloc(sizeof(*s), GFP_KERNEL);
1276 ti->error = "Cannot allocate private snapshot structure";
1283 dm_consume_args(&as, 4);
1284 r = parse_snapshot_features(&as, s, ti);
1288 origin_path = argv[0];
1292 r = dm_get_device(ti, origin_path, origin_mode, &s->origin);
1294 ti->error = "Cannot get origin device";
1297 origin_dev = s->origin->bdev->bd_dev;
1303 cow_dev = dm_get_dev_t(cow_path);
1304 if (cow_dev && cow_dev == origin_dev) {
1305 ti->error = "COW device cannot be the same as origin device";
1310 r = dm_get_device(ti, cow_path, dm_table_get_mode(ti->table), &s->cow);
1312 ti->error = "Cannot get COW device";
1316 r = dm_exception_store_create(ti, argc, argv, s, &args_used, &s->store);
1318 ti->error = "Couldn't create exception store";
1328 s->snapshot_overflowed = 0;
1330 atomic_set(&s->pending_exceptions_count, 0);
1331 spin_lock_init(&s->pe_allocation_lock);
1332 s->exception_start_sequence = 0;
1333 s->exception_complete_sequence = 0;
1334 s->out_of_order_tree = RB_ROOT;
1335 init_rwsem(&s->lock);
1336 INIT_LIST_HEAD(&s->list);
1337 spin_lock_init(&s->pe_lock);
1339 s->merge_failed = false;
1340 s->first_merging_chunk = 0;
1341 s->num_merging_chunks = 0;
1342 bio_list_init(&s->bios_queued_during_merge);
1343 bio_init(&s->flush_bio, NULL, 0);
1345 /* Allocate hash table for COW data */
1346 if (init_hash_tables(s)) {
1347 ti->error = "Unable to allocate hash table space";
1349 goto bad_hash_tables;
1352 init_waitqueue_head(&s->in_progress_wait);
1354 s->kcopyd_client = dm_kcopyd_client_create(&dm_kcopyd_throttle);
1355 if (IS_ERR(s->kcopyd_client)) {
1356 r = PTR_ERR(s->kcopyd_client);
1357 ti->error = "Could not create kcopyd client";
1361 r = mempool_init_slab_pool(&s->pending_pool, MIN_IOS, pending_cache);
1363 ti->error = "Could not allocate mempool for pending exceptions";
1364 goto bad_pending_pool;
1367 for (i = 0; i < DM_TRACKED_CHUNK_HASH_SIZE; i++)
1368 INIT_HLIST_HEAD(&s->tracked_chunk_hash[i]);
1370 spin_lock_init(&s->tracked_chunk_lock);
1373 ti->num_flush_bios = num_flush_bios;
1374 if (s->discard_zeroes_cow)
1375 ti->num_discard_bios = (s->discard_passdown_origin ? 2 : 1);
1376 ti->per_io_data_size = sizeof(struct dm_snap_tracked_chunk);
1378 /* Add snapshot to the list of snapshots for this origin */
1379 /* Exceptions aren't triggered till snapshot_resume() is called */
1380 r = register_snapshot(s);
1382 ti->error = "Snapshot origin struct allocation failed";
1383 goto bad_load_and_register;
1385 /* invalid handover, register_snapshot has set ti->error */
1386 goto bad_load_and_register;
1390 * Metadata must only be loaded into one table at once, so skip this
1391 * if metadata will be handed over during resume.
1392 * Chunk size will be set during the handover - set it to zero to
1393 * ensure it's ignored.
1396 s->store->chunk_size = 0;
1400 r = s->store->type->read_metadata(s->store, dm_add_exception,
1403 ti->error = "Failed to read snapshot metadata";
1404 goto bad_read_metadata;
1407 DMWARN("Snapshot is marked invalid.");
1410 if (!s->store->chunk_size) {
1411 ti->error = "Chunk size not set";
1412 goto bad_read_metadata;
1415 r = dm_set_target_max_io_len(ti, s->store->chunk_size);
1417 goto bad_read_metadata;
1422 unregister_snapshot(s);
1423 bad_load_and_register:
1424 mempool_exit(&s->pending_pool);
1426 dm_kcopyd_client_destroy(s->kcopyd_client);
1428 dm_exception_table_exit(&s->pending, pending_cache);
1429 dm_exception_table_exit(&s->complete, exception_cache);
1431 dm_exception_store_destroy(s->store);
1433 dm_put_device(ti, s->cow);
1435 dm_put_device(ti, s->origin);
1443 static void __free_exceptions(struct dm_snapshot *s)
1445 dm_kcopyd_client_destroy(s->kcopyd_client);
1446 s->kcopyd_client = NULL;
1448 dm_exception_table_exit(&s->pending, pending_cache);
1449 dm_exception_table_exit(&s->complete, exception_cache);
1452 static void __handover_exceptions(struct dm_snapshot *snap_src,
1453 struct dm_snapshot *snap_dest)
1456 struct dm_exception_table table_swap;
1457 struct dm_exception_store *store_swap;
1461 * Swap all snapshot context information between the two instances.
1463 u.table_swap = snap_dest->complete;
1464 snap_dest->complete = snap_src->complete;
1465 snap_src->complete = u.table_swap;
1467 u.store_swap = snap_dest->store;
1468 snap_dest->store = snap_src->store;
1469 snap_dest->store->userspace_supports_overflow = u.store_swap->userspace_supports_overflow;
1470 snap_src->store = u.store_swap;
1472 snap_dest->store->snap = snap_dest;
1473 snap_src->store->snap = snap_src;
1475 snap_dest->ti->max_io_len = snap_dest->store->chunk_size;
1476 snap_dest->valid = snap_src->valid;
1477 snap_dest->snapshot_overflowed = snap_src->snapshot_overflowed;
1480 * Set source invalid to ensure it receives no further I/O.
1482 snap_src->valid = 0;
1485 static void snapshot_dtr(struct dm_target *ti)
1487 #ifdef CONFIG_DM_DEBUG
1490 struct dm_snapshot *s = ti->private;
1491 struct dm_snapshot *snap_src = NULL, *snap_dest = NULL;
1493 down_read(&_origins_lock);
1494 /* Check whether exception handover must be cancelled */
1495 (void) __find_snapshots_sharing_cow(s, &snap_src, &snap_dest, NULL);
1496 if (snap_src && snap_dest && (s == snap_src)) {
1497 down_write(&snap_dest->lock);
1498 snap_dest->valid = 0;
1499 up_write(&snap_dest->lock);
1500 DMERR("Cancelling snapshot handover.");
1502 up_read(&_origins_lock);
1504 if (dm_target_is_snapshot_merge(ti))
1507 /* Prevent further origin writes from using this snapshot. */
1508 /* After this returns there can be no new kcopyd jobs. */
1509 unregister_snapshot(s);
1511 while (atomic_read(&s->pending_exceptions_count))
1514 * Ensure instructions in mempool_exit aren't reordered
1515 * before atomic_read.
1519 #ifdef CONFIG_DM_DEBUG
1520 for (i = 0; i < DM_TRACKED_CHUNK_HASH_SIZE; i++)
1521 BUG_ON(!hlist_empty(&s->tracked_chunk_hash[i]));
1524 __free_exceptions(s);
1526 mempool_exit(&s->pending_pool);
1528 dm_exception_store_destroy(s->store);
1530 bio_uninit(&s->flush_bio);
1532 dm_put_device(ti, s->cow);
1534 dm_put_device(ti, s->origin);
1536 WARN_ON(s->in_progress);
1541 static void account_start_copy(struct dm_snapshot *s)
1543 spin_lock(&s->in_progress_wait.lock);
1545 spin_unlock(&s->in_progress_wait.lock);
1548 static void account_end_copy(struct dm_snapshot *s)
1550 spin_lock(&s->in_progress_wait.lock);
1551 BUG_ON(!s->in_progress);
1553 if (likely(s->in_progress <= cow_threshold) &&
1554 unlikely(waitqueue_active(&s->in_progress_wait)))
1555 wake_up_locked(&s->in_progress_wait);
1556 spin_unlock(&s->in_progress_wait.lock);
1559 static bool wait_for_in_progress(struct dm_snapshot *s, bool unlock_origins)
1561 if (unlikely(s->in_progress > cow_threshold)) {
1562 spin_lock(&s->in_progress_wait.lock);
1563 if (likely(s->in_progress > cow_threshold)) {
1565 * NOTE: this throttle doesn't account for whether
1566 * the caller is servicing an IO that will trigger a COW
1567 * so excess throttling may result for chunks not required
1568 * to be COW'd. But if cow_threshold was reached, extra
1569 * throttling is unlikely to negatively impact performance.
1571 DECLARE_WAITQUEUE(wait, current);
1572 __add_wait_queue(&s->in_progress_wait, &wait);
1573 __set_current_state(TASK_UNINTERRUPTIBLE);
1574 spin_unlock(&s->in_progress_wait.lock);
1576 up_read(&_origins_lock);
1578 remove_wait_queue(&s->in_progress_wait, &wait);
1581 spin_unlock(&s->in_progress_wait.lock);
1587 * Flush a list of buffers.
1589 static void flush_bios(struct bio *bio)
1595 bio->bi_next = NULL;
1596 submit_bio_noacct(bio);
1601 static int do_origin(struct dm_dev *origin, struct bio *bio, bool limit);
1604 * Flush a list of buffers.
1606 static void retry_origin_bios(struct dm_snapshot *s, struct bio *bio)
1613 bio->bi_next = NULL;
1614 r = do_origin(s->origin, bio, false);
1615 if (r == DM_MAPIO_REMAPPED)
1616 submit_bio_noacct(bio);
1622 * Error a list of buffers.
1624 static void error_bios(struct bio *bio)
1630 bio->bi_next = NULL;
1636 static void __invalidate_snapshot(struct dm_snapshot *s, int err)
1642 DMERR("Invalidating snapshot: Error reading/writing.");
1643 else if (err == -ENOMEM)
1644 DMERR("Invalidating snapshot: Unable to allocate exception.");
1646 if (s->store->type->drop_snapshot)
1647 s->store->type->drop_snapshot(s->store);
1651 dm_table_event(s->ti->table);
1654 static void invalidate_snapshot(struct dm_snapshot *s, int err)
1656 down_write(&s->lock);
1657 __invalidate_snapshot(s, err);
1661 static void pending_complete(void *context, int success)
1663 struct dm_snap_pending_exception *pe = context;
1664 struct dm_exception *e;
1665 struct dm_snapshot *s = pe->snap;
1666 struct bio *origin_bios = NULL;
1667 struct bio *snapshot_bios = NULL;
1668 struct bio *full_bio = NULL;
1669 struct dm_exception_table_lock lock;
1672 dm_exception_table_lock_init(s, pe->e.old_chunk, &lock);
1675 /* Read/write error - snapshot is unusable */
1676 invalidate_snapshot(s, -EIO);
1679 dm_exception_table_lock(&lock);
1683 e = alloc_completed_exception(GFP_NOIO);
1685 invalidate_snapshot(s, -ENOMEM);
1688 dm_exception_table_lock(&lock);
1693 down_read(&s->lock);
1694 dm_exception_table_lock(&lock);
1697 free_completed_exception(e);
1704 * Add a proper exception. After inserting the completed exception all
1705 * subsequent snapshot reads to this chunk will be redirected to the
1706 * COW device. This ensures that we do not starve. Moreover, as long
1707 * as the pending exception exists, neither origin writes nor snapshot
1708 * merging can overwrite the chunk in origin.
1710 dm_insert_exception(&s->complete, e);
1713 /* Wait for conflicting reads to drain */
1714 if (__chunk_is_tracked(s, pe->e.old_chunk)) {
1715 dm_exception_table_unlock(&lock);
1716 __check_for_conflicting_io(s, pe->e.old_chunk);
1717 dm_exception_table_lock(&lock);
1721 /* Remove the in-flight exception from the list */
1722 dm_remove_exception(&pe->e);
1724 dm_exception_table_unlock(&lock);
1726 snapshot_bios = bio_list_get(&pe->snapshot_bios);
1727 origin_bios = bio_list_get(&pe->origin_bios);
1728 full_bio = pe->full_bio;
1730 full_bio->bi_end_io = pe->full_bio_end_io;
1731 increment_pending_exceptions_done_count();
1733 /* Submit any pending write bios */
1736 bio_io_error(full_bio);
1737 error_bios(snapshot_bios);
1740 bio_endio(full_bio);
1741 flush_bios(snapshot_bios);
1744 retry_origin_bios(s, origin_bios);
1746 free_pending_exception(pe);
1749 static void complete_exception(struct dm_snap_pending_exception *pe)
1751 struct dm_snapshot *s = pe->snap;
1753 /* Update the metadata if we are persistent */
1754 s->store->type->commit_exception(s->store, &pe->e, !pe->copy_error,
1755 pending_complete, pe);
1759 * Called when the copy I/O has finished. kcopyd actually runs
1760 * this code so don't block.
1762 static void copy_callback(int read_err, unsigned long write_err, void *context)
1764 struct dm_snap_pending_exception *pe = context;
1765 struct dm_snapshot *s = pe->snap;
1767 pe->copy_error = read_err || write_err;
1769 if (pe->exception_sequence == s->exception_complete_sequence) {
1770 struct rb_node *next;
1772 s->exception_complete_sequence++;
1773 complete_exception(pe);
1775 next = rb_first(&s->out_of_order_tree);
1777 pe = rb_entry(next, struct dm_snap_pending_exception,
1779 if (pe->exception_sequence != s->exception_complete_sequence)
1781 next = rb_next(next);
1782 s->exception_complete_sequence++;
1783 rb_erase(&pe->out_of_order_node, &s->out_of_order_tree);
1784 complete_exception(pe);
1788 struct rb_node *parent = NULL;
1789 struct rb_node **p = &s->out_of_order_tree.rb_node;
1790 struct dm_snap_pending_exception *pe2;
1793 pe2 = rb_entry(*p, struct dm_snap_pending_exception, out_of_order_node);
1796 BUG_ON(pe->exception_sequence == pe2->exception_sequence);
1797 if (pe->exception_sequence < pe2->exception_sequence)
1798 p = &((*p)->rb_left);
1800 p = &((*p)->rb_right);
1803 rb_link_node(&pe->out_of_order_node, parent, p);
1804 rb_insert_color(&pe->out_of_order_node, &s->out_of_order_tree);
1806 account_end_copy(s);
1810 * Dispatches the copy operation to kcopyd.
1812 static void start_copy(struct dm_snap_pending_exception *pe)
1814 struct dm_snapshot *s = pe->snap;
1815 struct dm_io_region src, dest;
1816 struct block_device *bdev = s->origin->bdev;
1819 dev_size = get_dev_size(bdev);
1822 src.sector = chunk_to_sector(s->store, pe->e.old_chunk);
1823 src.count = min((sector_t)s->store->chunk_size, dev_size - src.sector);
1825 dest.bdev = s->cow->bdev;
1826 dest.sector = chunk_to_sector(s->store, pe->e.new_chunk);
1827 dest.count = src.count;
1829 /* Hand over to kcopyd */
1830 account_start_copy(s);
1831 dm_kcopyd_copy(s->kcopyd_client, &src, 1, &dest, 0, copy_callback, pe);
1834 static void full_bio_end_io(struct bio *bio)
1836 void *callback_data = bio->bi_private;
1838 dm_kcopyd_do_callback(callback_data, 0, bio->bi_status ? 1 : 0);
1841 static void start_full_bio(struct dm_snap_pending_exception *pe,
1844 struct dm_snapshot *s = pe->snap;
1845 void *callback_data;
1848 pe->full_bio_end_io = bio->bi_end_io;
1850 account_start_copy(s);
1851 callback_data = dm_kcopyd_prepare_callback(s->kcopyd_client,
1854 bio->bi_end_io = full_bio_end_io;
1855 bio->bi_private = callback_data;
1857 submit_bio_noacct(bio);
1860 static struct dm_snap_pending_exception *
1861 __lookup_pending_exception(struct dm_snapshot *s, chunk_t chunk)
1863 struct dm_exception *e = dm_lookup_exception(&s->pending, chunk);
1868 return container_of(e, struct dm_snap_pending_exception, e);
1872 * Inserts a pending exception into the pending table.
1874 * NOTE: a write lock must be held on the chunk's pending exception table slot
1875 * before calling this.
1877 static struct dm_snap_pending_exception *
1878 __insert_pending_exception(struct dm_snapshot *s,
1879 struct dm_snap_pending_exception *pe, chunk_t chunk)
1881 pe->e.old_chunk = chunk;
1882 bio_list_init(&pe->origin_bios);
1883 bio_list_init(&pe->snapshot_bios);
1885 pe->full_bio = NULL;
1887 spin_lock(&s->pe_allocation_lock);
1888 if (s->store->type->prepare_exception(s->store, &pe->e)) {
1889 spin_unlock(&s->pe_allocation_lock);
1890 free_pending_exception(pe);
1894 pe->exception_sequence = s->exception_start_sequence++;
1895 spin_unlock(&s->pe_allocation_lock);
1897 dm_insert_exception(&s->pending, &pe->e);
1903 * Looks to see if this snapshot already has a pending exception
1904 * for this chunk, otherwise it allocates a new one and inserts
1905 * it into the pending table.
1907 * NOTE: a write lock must be held on the chunk's pending exception table slot
1908 * before calling this.
1910 static struct dm_snap_pending_exception *
1911 __find_pending_exception(struct dm_snapshot *s,
1912 struct dm_snap_pending_exception *pe, chunk_t chunk)
1914 struct dm_snap_pending_exception *pe2;
1916 pe2 = __lookup_pending_exception(s, chunk);
1918 free_pending_exception(pe);
1922 return __insert_pending_exception(s, pe, chunk);
1925 static void remap_exception(struct dm_snapshot *s, struct dm_exception *e,
1926 struct bio *bio, chunk_t chunk)
1928 bio_set_dev(bio, s->cow->bdev);
1929 bio->bi_iter.bi_sector =
1930 chunk_to_sector(s->store, dm_chunk_number(e->new_chunk) +
1931 (chunk - e->old_chunk)) +
1932 (bio->bi_iter.bi_sector & s->store->chunk_mask);
1935 static void zero_callback(int read_err, unsigned long write_err, void *context)
1937 struct bio *bio = context;
1938 struct dm_snapshot *s = bio->bi_private;
1940 account_end_copy(s);
1941 bio->bi_status = write_err ? BLK_STS_IOERR : 0;
1945 static void zero_exception(struct dm_snapshot *s, struct dm_exception *e,
1946 struct bio *bio, chunk_t chunk)
1948 struct dm_io_region dest;
1950 dest.bdev = s->cow->bdev;
1951 dest.sector = bio->bi_iter.bi_sector;
1952 dest.count = s->store->chunk_size;
1954 account_start_copy(s);
1955 WARN_ON_ONCE(bio->bi_private);
1956 bio->bi_private = s;
1957 dm_kcopyd_zero(s->kcopyd_client, 1, &dest, 0, zero_callback, bio);
1960 static bool io_overlaps_chunk(struct dm_snapshot *s, struct bio *bio)
1962 return bio->bi_iter.bi_size ==
1963 (s->store->chunk_size << SECTOR_SHIFT);
1966 static int snapshot_map(struct dm_target *ti, struct bio *bio)
1968 struct dm_exception *e;
1969 struct dm_snapshot *s = ti->private;
1970 int r = DM_MAPIO_REMAPPED;
1972 struct dm_snap_pending_exception *pe = NULL;
1973 struct dm_exception_table_lock lock;
1975 init_tracked_chunk(bio);
1977 if (bio->bi_opf & REQ_PREFLUSH) {
1978 bio_set_dev(bio, s->cow->bdev);
1979 return DM_MAPIO_REMAPPED;
1982 chunk = sector_to_chunk(s->store, bio->bi_iter.bi_sector);
1983 dm_exception_table_lock_init(s, chunk, &lock);
1985 /* Full snapshots are not usable */
1986 /* To get here the table must be live so s->active is always set. */
1988 return DM_MAPIO_KILL;
1990 if (bio_data_dir(bio) == WRITE) {
1991 while (unlikely(!wait_for_in_progress(s, false)))
1992 ; /* wait_for_in_progress() has slept */
1995 down_read(&s->lock);
1996 dm_exception_table_lock(&lock);
1998 if (!s->valid || (unlikely(s->snapshot_overflowed) &&
1999 bio_data_dir(bio) == WRITE)) {
2004 if (unlikely(bio_op(bio) == REQ_OP_DISCARD)) {
2005 if (s->discard_passdown_origin && dm_bio_get_target_bio_nr(bio)) {
2007 * passdown discard to origin (without triggering
2008 * snapshot exceptions via do_origin; doing so would
2009 * defeat the goal of freeing space in origin that is
2010 * implied by the "discard_passdown_origin" feature)
2012 bio_set_dev(bio, s->origin->bdev);
2013 track_chunk(s, bio, chunk);
2016 /* discard to snapshot (target_bio_nr == 0) zeroes exceptions */
2019 /* If the block is already remapped - use that, else remap it */
2020 e = dm_lookup_exception(&s->complete, chunk);
2022 remap_exception(s, e, bio, chunk);
2023 if (unlikely(bio_op(bio) == REQ_OP_DISCARD) &&
2024 io_overlaps_chunk(s, bio)) {
2025 dm_exception_table_unlock(&lock);
2027 zero_exception(s, e, bio, chunk);
2028 r = DM_MAPIO_SUBMITTED; /* discard is not issued */
2034 if (unlikely(bio_op(bio) == REQ_OP_DISCARD)) {
2036 * If no exception exists, complete discard immediately
2037 * otherwise it'll trigger copy-out.
2040 r = DM_MAPIO_SUBMITTED;
2045 * Write to snapshot - higher level takes care of RW/RO
2046 * flags so we should only get this if we are
2049 if (bio_data_dir(bio) == WRITE) {
2050 pe = __lookup_pending_exception(s, chunk);
2052 dm_exception_table_unlock(&lock);
2053 pe = alloc_pending_exception(s);
2054 dm_exception_table_lock(&lock);
2056 e = dm_lookup_exception(&s->complete, chunk);
2058 free_pending_exception(pe);
2059 remap_exception(s, e, bio, chunk);
2063 pe = __find_pending_exception(s, pe, chunk);
2065 dm_exception_table_unlock(&lock);
2068 down_write(&s->lock);
2070 if (s->store->userspace_supports_overflow) {
2071 if (s->valid && !s->snapshot_overflowed) {
2072 s->snapshot_overflowed = 1;
2073 DMERR("Snapshot overflowed: Unable to allocate exception.");
2076 __invalidate_snapshot(s, -ENOMEM);
2084 remap_exception(s, &pe->e, bio, chunk);
2086 r = DM_MAPIO_SUBMITTED;
2088 if (!pe->started && io_overlaps_chunk(s, bio)) {
2091 dm_exception_table_unlock(&lock);
2094 start_full_bio(pe, bio);
2098 bio_list_add(&pe->snapshot_bios, bio);
2101 /* this is protected by the exception table lock */
2104 dm_exception_table_unlock(&lock);
2111 bio_set_dev(bio, s->origin->bdev);
2112 track_chunk(s, bio, chunk);
2116 dm_exception_table_unlock(&lock);
2123 * A snapshot-merge target behaves like a combination of a snapshot
2124 * target and a snapshot-origin target. It only generates new
2125 * exceptions in other snapshots and not in the one that is being
2128 * For each chunk, if there is an existing exception, it is used to
2129 * redirect I/O to the cow device. Otherwise I/O is sent to the origin,
2130 * which in turn might generate exceptions in other snapshots.
2131 * If merging is currently taking place on the chunk in question, the
2132 * I/O is deferred by adding it to s->bios_queued_during_merge.
2134 static int snapshot_merge_map(struct dm_target *ti, struct bio *bio)
2136 struct dm_exception *e;
2137 struct dm_snapshot *s = ti->private;
2138 int r = DM_MAPIO_REMAPPED;
2141 init_tracked_chunk(bio);
2143 if (bio->bi_opf & REQ_PREFLUSH) {
2144 if (!dm_bio_get_target_bio_nr(bio))
2145 bio_set_dev(bio, s->origin->bdev);
2147 bio_set_dev(bio, s->cow->bdev);
2148 return DM_MAPIO_REMAPPED;
2151 if (unlikely(bio_op(bio) == REQ_OP_DISCARD)) {
2152 /* Once merging, discards no longer effect change */
2154 return DM_MAPIO_SUBMITTED;
2157 chunk = sector_to_chunk(s->store, bio->bi_iter.bi_sector);
2159 down_write(&s->lock);
2161 /* Full merging snapshots are redirected to the origin */
2163 goto redirect_to_origin;
2165 /* If the block is already remapped - use that */
2166 e = dm_lookup_exception(&s->complete, chunk);
2168 /* Queue writes overlapping with chunks being merged */
2169 if (bio_data_dir(bio) == WRITE &&
2170 chunk >= s->first_merging_chunk &&
2171 chunk < (s->first_merging_chunk +
2172 s->num_merging_chunks)) {
2173 bio_set_dev(bio, s->origin->bdev);
2174 bio_list_add(&s->bios_queued_during_merge, bio);
2175 r = DM_MAPIO_SUBMITTED;
2179 remap_exception(s, e, bio, chunk);
2181 if (bio_data_dir(bio) == WRITE)
2182 track_chunk(s, bio, chunk);
2187 bio_set_dev(bio, s->origin->bdev);
2189 if (bio_data_dir(bio) == WRITE) {
2191 return do_origin(s->origin, bio, false);
2200 static int snapshot_end_io(struct dm_target *ti, struct bio *bio,
2201 blk_status_t *error)
2203 struct dm_snapshot *s = ti->private;
2205 if (is_bio_tracked(bio))
2206 stop_tracking_chunk(s, bio);
2208 return DM_ENDIO_DONE;
2211 static void snapshot_merge_presuspend(struct dm_target *ti)
2213 struct dm_snapshot *s = ti->private;
2218 static int snapshot_preresume(struct dm_target *ti)
2221 struct dm_snapshot *s = ti->private;
2222 struct dm_snapshot *snap_src = NULL, *snap_dest = NULL;
2224 down_read(&_origins_lock);
2225 (void) __find_snapshots_sharing_cow(s, &snap_src, &snap_dest, NULL);
2226 if (snap_src && snap_dest) {
2227 down_read(&snap_src->lock);
2228 if (s == snap_src) {
2229 DMERR("Unable to resume snapshot source until "
2230 "handover completes.");
2232 } else if (!dm_suspended(snap_src->ti)) {
2233 DMERR("Unable to perform snapshot handover until "
2234 "source is suspended.");
2237 up_read(&snap_src->lock);
2239 up_read(&_origins_lock);
2244 static void snapshot_resume(struct dm_target *ti)
2246 struct dm_snapshot *s = ti->private;
2247 struct dm_snapshot *snap_src = NULL, *snap_dest = NULL, *snap_merging = NULL;
2248 struct dm_origin *o;
2249 struct mapped_device *origin_md = NULL;
2250 bool must_restart_merging = false;
2252 down_read(&_origins_lock);
2254 o = __lookup_dm_origin(s->origin->bdev);
2256 origin_md = dm_table_get_md(o->ti->table);
2258 (void) __find_snapshots_sharing_cow(s, NULL, NULL, &snap_merging);
2260 origin_md = dm_table_get_md(snap_merging->ti->table);
2262 if (origin_md == dm_table_get_md(ti->table))
2265 if (dm_hold(origin_md))
2269 up_read(&_origins_lock);
2272 dm_internal_suspend_fast(origin_md);
2273 if (snap_merging && test_bit(RUNNING_MERGE, &snap_merging->state_bits)) {
2274 must_restart_merging = true;
2275 stop_merge(snap_merging);
2279 down_read(&_origins_lock);
2281 (void) __find_snapshots_sharing_cow(s, &snap_src, &snap_dest, NULL);
2282 if (snap_src && snap_dest) {
2283 down_write(&snap_src->lock);
2284 down_write_nested(&snap_dest->lock, SINGLE_DEPTH_NESTING);
2285 __handover_exceptions(snap_src, snap_dest);
2286 up_write(&snap_dest->lock);
2287 up_write(&snap_src->lock);
2290 up_read(&_origins_lock);
2293 if (must_restart_merging)
2294 start_merge(snap_merging);
2295 dm_internal_resume_fast(origin_md);
2299 /* Now we have correct chunk size, reregister */
2300 reregister_snapshot(s);
2302 down_write(&s->lock);
2307 static uint32_t get_origin_minimum_chunksize(struct block_device *bdev)
2309 uint32_t min_chunksize;
2311 down_read(&_origins_lock);
2312 min_chunksize = __minimum_chunk_size(__lookup_origin(bdev));
2313 up_read(&_origins_lock);
2315 return min_chunksize;
2318 static void snapshot_merge_resume(struct dm_target *ti)
2320 struct dm_snapshot *s = ti->private;
2323 * Handover exceptions from existing snapshot.
2325 snapshot_resume(ti);
2328 * snapshot-merge acts as an origin, so set ti->max_io_len
2330 ti->max_io_len = get_origin_minimum_chunksize(s->origin->bdev);
2335 static void snapshot_status(struct dm_target *ti, status_type_t type,
2336 unsigned status_flags, char *result, unsigned maxlen)
2339 struct dm_snapshot *snap = ti->private;
2340 unsigned num_features;
2343 case STATUSTYPE_INFO:
2345 down_write(&snap->lock);
2349 else if (snap->merge_failed)
2350 DMEMIT("Merge failed");
2351 else if (snap->snapshot_overflowed)
2354 if (snap->store->type->usage) {
2355 sector_t total_sectors, sectors_allocated,
2357 snap->store->type->usage(snap->store,
2361 DMEMIT("%llu/%llu %llu",
2362 (unsigned long long)sectors_allocated,
2363 (unsigned long long)total_sectors,
2364 (unsigned long long)metadata_sectors);
2370 up_write(&snap->lock);
2374 case STATUSTYPE_TABLE:
2376 * kdevname returns a static pointer so we need
2377 * to make private copies if the output is to
2380 DMEMIT("%s %s", snap->origin->name, snap->cow->name);
2381 sz += snap->store->type->status(snap->store, type, result + sz,
2383 num_features = snap->discard_zeroes_cow + snap->discard_passdown_origin;
2385 DMEMIT(" %u", num_features);
2386 if (snap->discard_zeroes_cow)
2387 DMEMIT(" discard_zeroes_cow");
2388 if (snap->discard_passdown_origin)
2389 DMEMIT(" discard_passdown_origin");
2395 static int snapshot_iterate_devices(struct dm_target *ti,
2396 iterate_devices_callout_fn fn, void *data)
2398 struct dm_snapshot *snap = ti->private;
2401 r = fn(ti, snap->origin, 0, ti->len, data);
2404 r = fn(ti, snap->cow, 0, get_dev_size(snap->cow->bdev), data);
2409 static void snapshot_io_hints(struct dm_target *ti, struct queue_limits *limits)
2411 struct dm_snapshot *snap = ti->private;
2413 if (snap->discard_zeroes_cow) {
2414 struct dm_snapshot *snap_src = NULL, *snap_dest = NULL;
2416 down_read(&_origins_lock);
2418 (void) __find_snapshots_sharing_cow(snap, &snap_src, &snap_dest, NULL);
2419 if (snap_src && snap_dest)
2422 /* All discards are split on chunk_size boundary */
2423 limits->discard_granularity = snap->store->chunk_size;
2424 limits->max_discard_sectors = snap->store->chunk_size;
2426 up_read(&_origins_lock);
2430 /*-----------------------------------------------------------------
2432 *---------------------------------------------------------------*/
2435 * If no exceptions need creating, DM_MAPIO_REMAPPED is returned and any
2436 * supplied bio was ignored. The caller may submit it immediately.
2437 * (No remapping actually occurs as the origin is always a direct linear
2440 * If further exceptions are required, DM_MAPIO_SUBMITTED is returned
2441 * and any supplied bio is added to a list to be submitted once all
2442 * the necessary exceptions exist.
2444 static int __origin_write(struct list_head *snapshots, sector_t sector,
2447 int r = DM_MAPIO_REMAPPED;
2448 struct dm_snapshot *snap;
2449 struct dm_exception *e;
2450 struct dm_snap_pending_exception *pe, *pe2;
2451 struct dm_snap_pending_exception *pe_to_start_now = NULL;
2452 struct dm_snap_pending_exception *pe_to_start_last = NULL;
2453 struct dm_exception_table_lock lock;
2456 /* Do all the snapshots on this origin */
2457 list_for_each_entry (snap, snapshots, list) {
2459 * Don't make new exceptions in a merging snapshot
2460 * because it has effectively been deleted
2462 if (dm_target_is_snapshot_merge(snap->ti))
2465 /* Nothing to do if writing beyond end of snapshot */
2466 if (sector >= dm_table_get_size(snap->ti->table))
2470 * Remember, different snapshots can have
2471 * different chunk sizes.
2473 chunk = sector_to_chunk(snap->store, sector);
2474 dm_exception_table_lock_init(snap, chunk, &lock);
2476 down_read(&snap->lock);
2477 dm_exception_table_lock(&lock);
2479 /* Only deal with valid and active snapshots */
2480 if (!snap->valid || !snap->active)
2483 pe = __lookup_pending_exception(snap, chunk);
2486 * Check exception table to see if block is already
2487 * remapped in this snapshot and trigger an exception
2490 e = dm_lookup_exception(&snap->complete, chunk);
2494 dm_exception_table_unlock(&lock);
2495 pe = alloc_pending_exception(snap);
2496 dm_exception_table_lock(&lock);
2498 pe2 = __lookup_pending_exception(snap, chunk);
2501 e = dm_lookup_exception(&snap->complete, chunk);
2503 free_pending_exception(pe);
2507 pe = __insert_pending_exception(snap, pe, chunk);
2509 dm_exception_table_unlock(&lock);
2510 up_read(&snap->lock);
2512 invalidate_snapshot(snap, -ENOMEM);
2516 free_pending_exception(pe);
2521 r = DM_MAPIO_SUBMITTED;
2524 * If an origin bio was supplied, queue it to wait for the
2525 * completion of this exception, and start this one last,
2526 * at the end of the function.
2529 bio_list_add(&pe->origin_bios, bio);
2534 pe_to_start_last = pe;
2540 pe_to_start_now = pe;
2544 dm_exception_table_unlock(&lock);
2545 up_read(&snap->lock);
2547 if (pe_to_start_now) {
2548 start_copy(pe_to_start_now);
2549 pe_to_start_now = NULL;
2554 * Submit the exception against which the bio is queued last,
2555 * to give the other exceptions a head start.
2557 if (pe_to_start_last)
2558 start_copy(pe_to_start_last);
2564 * Called on a write from the origin driver.
2566 static int do_origin(struct dm_dev *origin, struct bio *bio, bool limit)
2569 int r = DM_MAPIO_REMAPPED;
2572 down_read(&_origins_lock);
2573 o = __lookup_origin(origin->bdev);
2576 struct dm_snapshot *s;
2577 list_for_each_entry(s, &o->snapshots, list)
2578 if (unlikely(!wait_for_in_progress(s, true)))
2582 r = __origin_write(&o->snapshots, bio->bi_iter.bi_sector, bio);
2584 up_read(&_origins_lock);
2590 * Trigger exceptions in all non-merging snapshots.
2592 * The chunk size of the merging snapshot may be larger than the chunk
2593 * size of some other snapshot so we may need to reallocate multiple
2594 * chunks in other snapshots.
2596 * We scan all the overlapping exceptions in the other snapshots.
2597 * Returns 1 if anything was reallocated and must be waited for,
2598 * otherwise returns 0.
2600 * size must be a multiple of merging_snap's chunk_size.
2602 static int origin_write_extent(struct dm_snapshot *merging_snap,
2603 sector_t sector, unsigned size)
2610 * The origin's __minimum_chunk_size() got stored in max_io_len
2611 * by snapshot_merge_resume().
2613 down_read(&_origins_lock);
2614 o = __lookup_origin(merging_snap->origin->bdev);
2615 for (n = 0; n < size; n += merging_snap->ti->max_io_len)
2616 if (__origin_write(&o->snapshots, sector + n, NULL) ==
2619 up_read(&_origins_lock);
2625 * Origin: maps a linear range of a device, with hooks for snapshotting.
2629 * Construct an origin mapping: <dev_path>
2630 * The context for an origin is merely a 'struct dm_dev *'
2631 * pointing to the real device.
2633 static int origin_ctr(struct dm_target *ti, unsigned int argc, char **argv)
2636 struct dm_origin *o;
2639 ti->error = "origin: incorrect number of arguments";
2643 o = kmalloc(sizeof(struct dm_origin), GFP_KERNEL);
2645 ti->error = "Cannot allocate private origin structure";
2650 r = dm_get_device(ti, argv[0], dm_table_get_mode(ti->table), &o->dev);
2652 ti->error = "Cannot get target device";
2658 ti->num_flush_bios = 1;
2668 static void origin_dtr(struct dm_target *ti)
2670 struct dm_origin *o = ti->private;
2672 dm_put_device(ti, o->dev);
2676 static int origin_map(struct dm_target *ti, struct bio *bio)
2678 struct dm_origin *o = ti->private;
2679 unsigned available_sectors;
2681 bio_set_dev(bio, o->dev->bdev);
2683 if (unlikely(bio->bi_opf & REQ_PREFLUSH))
2684 return DM_MAPIO_REMAPPED;
2686 if (bio_data_dir(bio) != WRITE)
2687 return DM_MAPIO_REMAPPED;
2689 available_sectors = o->split_boundary -
2690 ((unsigned)bio->bi_iter.bi_sector & (o->split_boundary - 1));
2692 if (bio_sectors(bio) > available_sectors)
2693 dm_accept_partial_bio(bio, available_sectors);
2695 /* Only tell snapshots if this is a write */
2696 return do_origin(o->dev, bio, true);
2700 * Set the target "max_io_len" field to the minimum of all the snapshots'
2703 static void origin_resume(struct dm_target *ti)
2705 struct dm_origin *o = ti->private;
2707 o->split_boundary = get_origin_minimum_chunksize(o->dev->bdev);
2709 down_write(&_origins_lock);
2710 __insert_dm_origin(o);
2711 up_write(&_origins_lock);
2714 static void origin_postsuspend(struct dm_target *ti)
2716 struct dm_origin *o = ti->private;
2718 down_write(&_origins_lock);
2719 __remove_dm_origin(o);
2720 up_write(&_origins_lock);
2723 static void origin_status(struct dm_target *ti, status_type_t type,
2724 unsigned status_flags, char *result, unsigned maxlen)
2726 struct dm_origin *o = ti->private;
2729 case STATUSTYPE_INFO:
2733 case STATUSTYPE_TABLE:
2734 snprintf(result, maxlen, "%s", o->dev->name);
2739 static int origin_iterate_devices(struct dm_target *ti,
2740 iterate_devices_callout_fn fn, void *data)
2742 struct dm_origin *o = ti->private;
2744 return fn(ti, o->dev, 0, ti->len, data);
2747 static struct target_type origin_target = {
2748 .name = "snapshot-origin",
2749 .version = {1, 9, 0},
2750 .module = THIS_MODULE,
2754 .resume = origin_resume,
2755 .postsuspend = origin_postsuspend,
2756 .status = origin_status,
2757 .iterate_devices = origin_iterate_devices,
2760 static struct target_type snapshot_target = {
2762 .version = {1, 16, 0},
2763 .module = THIS_MODULE,
2764 .ctr = snapshot_ctr,
2765 .dtr = snapshot_dtr,
2766 .map = snapshot_map,
2767 .end_io = snapshot_end_io,
2768 .preresume = snapshot_preresume,
2769 .resume = snapshot_resume,
2770 .status = snapshot_status,
2771 .iterate_devices = snapshot_iterate_devices,
2772 .io_hints = snapshot_io_hints,
2775 static struct target_type merge_target = {
2776 .name = dm_snapshot_merge_target_name,
2777 .version = {1, 5, 0},
2778 .module = THIS_MODULE,
2779 .ctr = snapshot_ctr,
2780 .dtr = snapshot_dtr,
2781 .map = snapshot_merge_map,
2782 .end_io = snapshot_end_io,
2783 .presuspend = snapshot_merge_presuspend,
2784 .preresume = snapshot_preresume,
2785 .resume = snapshot_merge_resume,
2786 .status = snapshot_status,
2787 .iterate_devices = snapshot_iterate_devices,
2788 .io_hints = snapshot_io_hints,
2791 static int __init dm_snapshot_init(void)
2795 r = dm_exception_store_init();
2797 DMERR("Failed to initialize exception stores");
2801 r = init_origin_hash();
2803 DMERR("init_origin_hash failed.");
2804 goto bad_origin_hash;
2807 exception_cache = KMEM_CACHE(dm_exception, 0);
2808 if (!exception_cache) {
2809 DMERR("Couldn't create exception cache.");
2811 goto bad_exception_cache;
2814 pending_cache = KMEM_CACHE(dm_snap_pending_exception, 0);
2815 if (!pending_cache) {
2816 DMERR("Couldn't create pending cache.");
2818 goto bad_pending_cache;
2821 r = dm_register_target(&snapshot_target);
2823 DMERR("snapshot target register failed %d", r);
2824 goto bad_register_snapshot_target;
2827 r = dm_register_target(&origin_target);
2829 DMERR("Origin target register failed %d", r);
2830 goto bad_register_origin_target;
2833 r = dm_register_target(&merge_target);
2835 DMERR("Merge target register failed %d", r);
2836 goto bad_register_merge_target;
2841 bad_register_merge_target:
2842 dm_unregister_target(&origin_target);
2843 bad_register_origin_target:
2844 dm_unregister_target(&snapshot_target);
2845 bad_register_snapshot_target:
2846 kmem_cache_destroy(pending_cache);
2848 kmem_cache_destroy(exception_cache);
2849 bad_exception_cache:
2852 dm_exception_store_exit();
2857 static void __exit dm_snapshot_exit(void)
2859 dm_unregister_target(&snapshot_target);
2860 dm_unregister_target(&origin_target);
2861 dm_unregister_target(&merge_target);
2864 kmem_cache_destroy(pending_cache);
2865 kmem_cache_destroy(exception_cache);
2867 dm_exception_store_exit();
2871 module_init(dm_snapshot_init);
2872 module_exit(dm_snapshot_exit);
2874 MODULE_DESCRIPTION(DM_NAME " snapshot target");
2875 MODULE_AUTHOR("Joe Thornber");
2876 MODULE_LICENSE("GPL");
2877 MODULE_ALIAS("dm-snapshot-origin");
2878 MODULE_ALIAS("dm-snapshot-merge");