blob: 6f72ac7bbf9a9958522e45219dca4322cd983816 [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
Mikulas Patockab735fed2015-02-26 11:40:35 -050023#include "dm.h"
24
Jonathan Brassowaea53d92009-01-06 03:05:15 +000025#include "dm-exception-store.h"
Linus Torvalds1da177e2005-04-16 15:20:36 -070026
Alasdair G Kergon72d94862006-06-26 00:27:35 -070027#define DM_MSG_PREFIX "snapshots"
28
Mikulas Patockad698aa42009-12-10 23:52:30 +000029static const char dm_snapshot_merge_target_name[] = "snapshot-merge";
30
31#define dm_target_is_snapshot_merge(ti) \
32 ((ti)->type->name == dm_snapshot_merge_target_name)
33
Linus Torvalds1da177e2005-04-16 15:20:36 -070034/*
Mikulas Patockacd45daf2008-07-21 12:00:32 +010035 * The size of the mempool used to track chunks in use.
36 */
37#define MIN_IOS 256
38
Jonathan Brassowccc45ea2009-04-02 19:55:34 +010039#define DM_TRACKED_CHUNK_HASH_SIZE 16
40#define DM_TRACKED_CHUNK_HASH(x) ((unsigned long)(x) & \
41 (DM_TRACKED_CHUNK_HASH_SIZE - 1))
42
Jon Brassow191437a2009-12-10 23:52:10 +000043struct dm_exception_table {
Jonathan Brassowccc45ea2009-04-02 19:55:34 +010044 uint32_t hash_mask;
45 unsigned hash_shift;
46 struct list_head *table;
47};
48
49struct dm_snapshot {
Mikulas Patockaae1093b2017-11-23 16:15:43 -050050 struct mutex lock;
Jonathan Brassowccc45ea2009-04-02 19:55:34 +010051
52 struct dm_dev *origin;
Mike Snitzerfc56f6f2009-12-10 23:52:12 +000053 struct dm_dev *cow;
54
55 struct dm_target *ti;
Jonathan Brassowccc45ea2009-04-02 19:55:34 +010056
57 /* List of snapshots per Origin */
58 struct list_head list;
59
Mike Snitzerd8ddb1c2009-12-10 23:52:35 +000060 /*
61 * You can't use a snapshot if this is 0 (e.g. if full).
62 * A snapshot-merge target never clears this.
63 */
Jonathan Brassowccc45ea2009-04-02 19:55:34 +010064 int valid;
65
Mikulas Patocka76c44f62015-06-21 16:31:33 -040066 /*
67 * The snapshot overflowed because of a write to the snapshot device.
68 * We don't have to invalidate the snapshot in this case, but we need
69 * to prevent further writes.
70 */
71 int snapshot_overflowed;
72
Jonathan Brassowccc45ea2009-04-02 19:55:34 +010073 /* Origin writes don't trigger exceptions until this is set */
74 int active;
75
Jonathan Brassowccc45ea2009-04-02 19:55:34 +010076 atomic_t pending_exceptions_count;
77
Mikulas Patocka230c83a2013-11-29 18:13:37 -050078 /* Protected by "lock" */
79 sector_t exception_start_sequence;
80
81 /* Protected by kcopyd single-threaded callback */
82 sector_t exception_complete_sequence;
83
84 /*
85 * A list of pending exceptions that completed out of order.
86 * Protected by kcopyd single-threaded callback.
87 */
David Jeffery3db27762018-08-07 16:56:00 -040088 struct rb_root out_of_order_tree;
Mikulas Patocka230c83a2013-11-29 18:13:37 -050089
Kent Overstreet6f1c8192018-05-20 18:25:53 -040090 mempool_t pending_pool;
Mike Snitzer924e6002010-03-06 02:32:33 +000091
Jon Brassow191437a2009-12-10 23:52:10 +000092 struct dm_exception_table pending;
93 struct dm_exception_table complete;
Jonathan Brassowccc45ea2009-04-02 19:55:34 +010094
95 /*
96 * pe_lock protects all pending_exception operations and access
97 * as well as the snapshot_bios list.
98 */
99 spinlock_t pe_lock;
100
Mike Snitzer924e6002010-03-06 02:32:33 +0000101 /* Chunks with outstanding reads */
102 spinlock_t tracked_chunk_lock;
Mike Snitzer924e6002010-03-06 02:32:33 +0000103 struct hlist_head tracked_chunk_hash[DM_TRACKED_CHUNK_HASH_SIZE];
104
Jonathan Brassowccc45ea2009-04-02 19:55:34 +0100105 /* The on disk metadata handler */
106 struct dm_exception_store *store;
107
108 struct dm_kcopyd_client *kcopyd_client;
109
Mike Snitzer924e6002010-03-06 02:32:33 +0000110 /* Wait for events based on state_bits */
111 unsigned long state_bits;
112
113 /* Range of chunks currently being merged. */
114 chunk_t first_merging_chunk;
115 int num_merging_chunks;
Mikulas Patocka1e03f972009-12-10 23:52:32 +0000116
Mike Snitzerd8ddb1c2009-12-10 23:52:35 +0000117 /*
118 * The merge operation failed if this flag is set.
119 * Failure modes are handled as follows:
120 * - I/O error reading the header
121 * => don't load the target; abort.
122 * - Header does not have "valid" flag set
123 * => use the origin; forget about the snapshot.
124 * - I/O error when reading exceptions
125 * => don't load the target; abort.
126 * (We can't use the intermediate origin state.)
127 * - I/O error while merging
128 * => stop merging; set merge_failed; process I/O normally.
129 */
130 int merge_failed;
131
Mikulas Patocka9fe862542009-12-10 23:52:33 +0000132 /*
133 * Incoming bios that overlap with chunks being merged must wait
134 * for them to be committed.
135 */
136 struct bio_list bios_queued_during_merge;
Jonathan Brassowccc45ea2009-04-02 19:55:34 +0100137};
138
Mikulas Patocka1e03f972009-12-10 23:52:32 +0000139/*
140 * state_bits:
141 * RUNNING_MERGE - Merge operation is in progress.
142 * SHUTDOWN_MERGE - Set to signal that merge needs to be stopped;
143 * cleared afterwards.
144 */
145#define RUNNING_MERGE 0
146#define SHUTDOWN_MERGE 1
147
Mikulas Patockadf5d2e92013-03-01 22:45:49 +0000148DECLARE_DM_KCOPYD_THROTTLE_WITH_MODULE_PARM(snapshot_copy_throttle,
149 "A percentage of time allocated for copy on write");
150
Mikulas Patockac2411042010-08-12 04:13:51 +0100151struct dm_dev *dm_snap_origin(struct dm_snapshot *s)
152{
153 return s->origin;
154}
155EXPORT_SYMBOL(dm_snap_origin);
156
Mike Snitzerfc56f6f2009-12-10 23:52:12 +0000157struct dm_dev *dm_snap_cow(struct dm_snapshot *s)
158{
159 return s->cow;
160}
161EXPORT_SYMBOL(dm_snap_cow);
162
Jonathan Brassowccc45ea2009-04-02 19:55:34 +0100163static sector_t chunk_to_sector(struct dm_exception_store *store,
164 chunk_t chunk)
165{
166 return chunk << store->chunk_shift;
167}
168
169static int bdev_equal(struct block_device *lhs, struct block_device *rhs)
170{
171 /*
172 * There is only ever one instance of a particular block
173 * device so we can compare pointers safely.
174 */
175 return lhs == rhs;
176}
177
Alasdair G Kergon028867a2007-07-12 17:26:32 +0100178struct dm_snap_pending_exception {
Jon Brassow1d4989c2009-12-10 23:52:10 +0000179 struct dm_exception e;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700180
181 /*
182 * Origin buffers waiting for this to complete are held
183 * in a bio list
184 */
185 struct bio_list origin_bios;
186 struct bio_list snapshot_bios;
187
Linus Torvalds1da177e2005-04-16 15:20:36 -0700188 /* Pointer back to snapshot context */
189 struct dm_snapshot *snap;
190
191 /*
192 * 1 indicates the exception has already been sent to
193 * kcopyd.
194 */
195 int started;
Mikulas Patockaa6e50b42011-08-02 12:32:04 +0100196
Mikulas Patocka230c83a2013-11-29 18:13:37 -0500197 /* There was copying error. */
198 int copy_error;
199
200 /* A sequence number, it is used for in-order completion. */
201 sector_t exception_sequence;
202
David Jeffery3db27762018-08-07 16:56:00 -0400203 struct rb_node out_of_order_node;
Mikulas Patocka230c83a2013-11-29 18:13:37 -0500204
Mikulas Patockaa6e50b42011-08-02 12:32:04 +0100205 /*
206 * For writing a complete chunk, bypassing the copy.
207 */
208 struct bio *full_bio;
209 bio_end_io_t *full_bio_end_io;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700210};
211
212/*
213 * Hash table mapping origin volumes to lists of snapshots and
214 * a lock to protect it
215 */
Christoph Lametere18b8902006-12-06 20:33:20 -0800216static struct kmem_cache *exception_cache;
217static struct kmem_cache *pending_cache;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700218
Mikulas Patockacd45daf2008-07-21 12:00:32 +0100219struct dm_snap_tracked_chunk {
220 struct hlist_node node;
221 chunk_t chunk;
222};
223
Mikulas Patockaee180262012-12-21 20:23:41 +0000224static void init_tracked_chunk(struct bio *bio)
225{
226 struct dm_snap_tracked_chunk *c = dm_per_bio_data(bio, sizeof(struct dm_snap_tracked_chunk));
227 INIT_HLIST_NODE(&c->node);
228}
229
230static bool is_bio_tracked(struct bio *bio)
231{
232 struct dm_snap_tracked_chunk *c = dm_per_bio_data(bio, sizeof(struct dm_snap_tracked_chunk));
233 return !hlist_unhashed(&c->node);
234}
235
236static void track_chunk(struct dm_snapshot *s, struct bio *bio, chunk_t chunk)
Mikulas Patockacd45daf2008-07-21 12:00:32 +0100237{
Mikulas Patocka42bc9542012-12-21 20:23:38 +0000238 struct dm_snap_tracked_chunk *c = dm_per_bio_data(bio, sizeof(struct dm_snap_tracked_chunk));
Mikulas Patockacd45daf2008-07-21 12:00:32 +0100239
240 c->chunk = chunk;
241
Mikulas Patocka9aa0c0e2012-12-21 20:23:33 +0000242 spin_lock_irq(&s->tracked_chunk_lock);
Mikulas Patockacd45daf2008-07-21 12:00:32 +0100243 hlist_add_head(&c->node,
244 &s->tracked_chunk_hash[DM_TRACKED_CHUNK_HASH(chunk)]);
Mikulas Patocka9aa0c0e2012-12-21 20:23:33 +0000245 spin_unlock_irq(&s->tracked_chunk_lock);
Mikulas Patockacd45daf2008-07-21 12:00:32 +0100246}
247
Mikulas Patockaee180262012-12-21 20:23:41 +0000248static void stop_tracking_chunk(struct dm_snapshot *s, struct bio *bio)
Mikulas Patockacd45daf2008-07-21 12:00:32 +0100249{
Mikulas Patockaee180262012-12-21 20:23:41 +0000250 struct dm_snap_tracked_chunk *c = dm_per_bio_data(bio, sizeof(struct dm_snap_tracked_chunk));
Mikulas Patockacd45daf2008-07-21 12:00:32 +0100251 unsigned long flags;
252
253 spin_lock_irqsave(&s->tracked_chunk_lock, flags);
254 hlist_del(&c->node);
255 spin_unlock_irqrestore(&s->tracked_chunk_lock, flags);
Mikulas Patockacd45daf2008-07-21 12:00:32 +0100256}
257
Mikulas Patockaa8d41b52008-07-21 12:00:34 +0100258static int __chunk_is_tracked(struct dm_snapshot *s, chunk_t chunk)
259{
260 struct dm_snap_tracked_chunk *c;
Mikulas Patockaa8d41b52008-07-21 12:00:34 +0100261 int found = 0;
262
263 spin_lock_irq(&s->tracked_chunk_lock);
264
Sasha Levinb67bfe02013-02-27 17:06:00 -0800265 hlist_for_each_entry(c,
Mikulas Patockaa8d41b52008-07-21 12:00:34 +0100266 &s->tracked_chunk_hash[DM_TRACKED_CHUNK_HASH(chunk)], node) {
267 if (c->chunk == chunk) {
268 found = 1;
269 break;
270 }
271 }
272
273 spin_unlock_irq(&s->tracked_chunk_lock);
274
275 return found;
276}
277
Linus Torvalds1da177e2005-04-16 15:20:36 -0700278/*
Mike Snitzer615d1eb2009-12-10 23:52:29 +0000279 * This conflicting I/O is extremely improbable in the caller,
280 * so msleep(1) is sufficient and there is no need for a wait queue.
281 */
282static void __check_for_conflicting_io(struct dm_snapshot *s, chunk_t chunk)
283{
284 while (__chunk_is_tracked(s, chunk))
285 msleep(1);
286}
287
288/*
Linus Torvalds1da177e2005-04-16 15:20:36 -0700289 * One of these per registered origin, held in the snapshot_origins hash
290 */
291struct origin {
292 /* The origin device */
293 struct block_device *bdev;
294
295 struct list_head hash_list;
296
297 /* List of snapshots for this origin */
298 struct list_head snapshots;
299};
300
301/*
Mikulas Patockab735fed2015-02-26 11:40:35 -0500302 * This structure is allocated for each origin target
303 */
304struct dm_origin {
305 struct dm_dev *dev;
306 struct dm_target *ti;
307 unsigned split_boundary;
308 struct list_head hash_list;
309};
310
311/*
Linus Torvalds1da177e2005-04-16 15:20:36 -0700312 * Size of the hash table for origin volumes. If we make this
313 * the size of the minors list then it should be nearly perfect
314 */
315#define ORIGIN_HASH_SIZE 256
316#define ORIGIN_MASK 0xFF
317static struct list_head *_origins;
Mikulas Patockab735fed2015-02-26 11:40:35 -0500318static struct list_head *_dm_origins;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700319static struct rw_semaphore _origins_lock;
320
Mikulas Patocka73dfd072009-12-10 23:52:34 +0000321static DECLARE_WAIT_QUEUE_HEAD(_pending_exceptions_done);
322static DEFINE_SPINLOCK(_pending_exceptions_done_spinlock);
323static uint64_t _pending_exceptions_done_count;
324
Linus Torvalds1da177e2005-04-16 15:20:36 -0700325static int init_origin_hash(void)
326{
327 int i;
328
Kees Cook6da2ec52018-06-12 13:55:00 -0700329 _origins = kmalloc_array(ORIGIN_HASH_SIZE, sizeof(struct list_head),
330 GFP_KERNEL);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700331 if (!_origins) {
Mikulas Patockab735fed2015-02-26 11:40:35 -0500332 DMERR("unable to allocate memory for _origins");
Linus Torvalds1da177e2005-04-16 15:20:36 -0700333 return -ENOMEM;
334 }
Linus Torvalds1da177e2005-04-16 15:20:36 -0700335 for (i = 0; i < ORIGIN_HASH_SIZE; i++)
336 INIT_LIST_HEAD(_origins + i);
Mikulas Patockab735fed2015-02-26 11:40:35 -0500337
Kees Cook6da2ec52018-06-12 13:55:00 -0700338 _dm_origins = kmalloc_array(ORIGIN_HASH_SIZE,
339 sizeof(struct list_head),
340 GFP_KERNEL);
Mikulas Patockab735fed2015-02-26 11:40:35 -0500341 if (!_dm_origins) {
342 DMERR("unable to allocate memory for _dm_origins");
343 kfree(_origins);
344 return -ENOMEM;
345 }
346 for (i = 0; i < ORIGIN_HASH_SIZE; i++)
347 INIT_LIST_HEAD(_dm_origins + i);
348
Linus Torvalds1da177e2005-04-16 15:20:36 -0700349 init_rwsem(&_origins_lock);
350
351 return 0;
352}
353
354static void exit_origin_hash(void)
355{
356 kfree(_origins);
Mikulas Patockab735fed2015-02-26 11:40:35 -0500357 kfree(_dm_origins);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700358}
359
Alasdair G Kergon028867a2007-07-12 17:26:32 +0100360static unsigned origin_hash(struct block_device *bdev)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700361{
362 return bdev->bd_dev & ORIGIN_MASK;
363}
364
365static struct origin *__lookup_origin(struct block_device *origin)
366{
367 struct list_head *ol;
368 struct origin *o;
369
370 ol = &_origins[origin_hash(origin)];
371 list_for_each_entry (o, ol, hash_list)
372 if (bdev_equal(o->bdev, origin))
373 return o;
374
375 return NULL;
376}
377
378static void __insert_origin(struct origin *o)
379{
380 struct list_head *sl = &_origins[origin_hash(o->bdev)];
381 list_add_tail(&o->hash_list, sl);
382}
383
Mikulas Patockab735fed2015-02-26 11:40:35 -0500384static struct dm_origin *__lookup_dm_origin(struct block_device *origin)
385{
386 struct list_head *ol;
387 struct dm_origin *o;
388
389 ol = &_dm_origins[origin_hash(origin)];
390 list_for_each_entry (o, ol, hash_list)
391 if (bdev_equal(o->dev->bdev, origin))
392 return o;
393
394 return NULL;
395}
396
397static void __insert_dm_origin(struct dm_origin *o)
398{
399 struct list_head *sl = &_dm_origins[origin_hash(o->dev->bdev)];
400 list_add_tail(&o->hash_list, sl);
401}
402
403static void __remove_dm_origin(struct dm_origin *o)
404{
405 list_del(&o->hash_list);
406}
407
Linus Torvalds1da177e2005-04-16 15:20:36 -0700408/*
Mike Snitzerc1f0c182009-12-10 23:52:24 +0000409 * _origins_lock must be held when calling this function.
410 * Returns number of snapshots registered using the supplied cow device, plus:
411 * snap_src - a snapshot suitable for use as a source of exception handover
412 * snap_dest - a snapshot capable of receiving exception handover.
Mikulas Patocka9d3b15c2009-12-10 23:52:32 +0000413 * snap_merge - an existing snapshot-merge target linked to the same origin.
414 * There can be at most one snapshot-merge target. The parameter is optional.
Mike Snitzerc1f0c182009-12-10 23:52:24 +0000415 *
Mikulas Patocka9d3b15c2009-12-10 23:52:32 +0000416 * Possible return values and states of snap_src and snap_dest.
Mike Snitzerc1f0c182009-12-10 23:52:24 +0000417 * 0: NULL, NULL - first new snapshot
418 * 1: snap_src, NULL - normal snapshot
419 * 2: snap_src, snap_dest - waiting for handover
420 * 2: snap_src, NULL - handed over, waiting for old to be deleted
421 * 1: NULL, snap_dest - source got destroyed without handover
422 */
423static int __find_snapshots_sharing_cow(struct dm_snapshot *snap,
424 struct dm_snapshot **snap_src,
Mikulas Patocka9d3b15c2009-12-10 23:52:32 +0000425 struct dm_snapshot **snap_dest,
426 struct dm_snapshot **snap_merge)
Mike Snitzerc1f0c182009-12-10 23:52:24 +0000427{
428 struct dm_snapshot *s;
429 struct origin *o;
430 int count = 0;
431 int active;
432
433 o = __lookup_origin(snap->origin->bdev);
434 if (!o)
435 goto out;
436
437 list_for_each_entry(s, &o->snapshots, list) {
Mikulas Patocka9d3b15c2009-12-10 23:52:32 +0000438 if (dm_target_is_snapshot_merge(s->ti) && snap_merge)
439 *snap_merge = s;
Mike Snitzerc1f0c182009-12-10 23:52:24 +0000440 if (!bdev_equal(s->cow->bdev, snap->cow->bdev))
441 continue;
442
Mikulas Patockaae1093b2017-11-23 16:15:43 -0500443 mutex_lock(&s->lock);
Mike Snitzerc1f0c182009-12-10 23:52:24 +0000444 active = s->active;
Mikulas Patockaae1093b2017-11-23 16:15:43 -0500445 mutex_unlock(&s->lock);
Mike Snitzerc1f0c182009-12-10 23:52:24 +0000446
447 if (active) {
448 if (snap_src)
449 *snap_src = s;
450 } else if (snap_dest)
451 *snap_dest = s;
452
453 count++;
454 }
455
456out:
457 return count;
458}
459
460/*
461 * On success, returns 1 if this snapshot is a handover destination,
462 * otherwise returns 0.
463 */
464static int __validate_exception_handover(struct dm_snapshot *snap)
465{
466 struct dm_snapshot *snap_src = NULL, *snap_dest = NULL;
Mikulas Patocka9d3b15c2009-12-10 23:52:32 +0000467 struct dm_snapshot *snap_merge = NULL;
Mike Snitzerc1f0c182009-12-10 23:52:24 +0000468
469 /* Does snapshot need exceptions handed over to it? */
Mikulas Patocka9d3b15c2009-12-10 23:52:32 +0000470 if ((__find_snapshots_sharing_cow(snap, &snap_src, &snap_dest,
471 &snap_merge) == 2) ||
Mike Snitzerc1f0c182009-12-10 23:52:24 +0000472 snap_dest) {
473 snap->ti->error = "Snapshot cow pairing for exception "
474 "table handover failed";
475 return -EINVAL;
476 }
477
478 /*
479 * If no snap_src was found, snap cannot become a handover
480 * destination.
481 */
482 if (!snap_src)
483 return 0;
484
Mikulas Patocka9d3b15c2009-12-10 23:52:32 +0000485 /*
486 * Non-snapshot-merge handover?
487 */
488 if (!dm_target_is_snapshot_merge(snap->ti))
489 return 1;
490
491 /*
492 * Do not allow more than one merging snapshot.
493 */
494 if (snap_merge) {
495 snap->ti->error = "A snapshot is already merging.";
496 return -EINVAL;
497 }
498
Mikulas Patocka1e03f972009-12-10 23:52:32 +0000499 if (!snap_src->store->type->prepare_merge ||
500 !snap_src->store->type->commit_merge) {
501 snap->ti->error = "Snapshot exception store does not "
502 "support snapshot-merge.";
503 return -EINVAL;
504 }
505
Mike Snitzerc1f0c182009-12-10 23:52:24 +0000506 return 1;
507}
508
509static void __insert_snapshot(struct origin *o, struct dm_snapshot *s)
510{
511 struct dm_snapshot *l;
512
513 /* Sort the list according to chunk size, largest-first smallest-last */
514 list_for_each_entry(l, &o->snapshots, list)
515 if (l->store->chunk_size < s->store->chunk_size)
516 break;
517 list_add_tail(&s->list, &l->list);
518}
519
520/*
Linus Torvalds1da177e2005-04-16 15:20:36 -0700521 * Make a note of the snapshot and its origin so we can look it
522 * up when the origin has a write on it.
Mike Snitzerc1f0c182009-12-10 23:52:24 +0000523 *
524 * Also validate snapshot exception store handovers.
525 * On success, returns 1 if this registration is a handover destination,
526 * otherwise returns 0.
Linus Torvalds1da177e2005-04-16 15:20:36 -0700527 */
528static int register_snapshot(struct dm_snapshot *snap)
529{
Mike Snitzerc1f0c182009-12-10 23:52:24 +0000530 struct origin *o, *new_o = NULL;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700531 struct block_device *bdev = snap->origin->bdev;
Mike Snitzerc1f0c182009-12-10 23:52:24 +0000532 int r = 0;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700533
Mikulas Patocka60c856c82008-10-30 13:33:12 +0000534 new_o = kmalloc(sizeof(*new_o), GFP_KERNEL);
535 if (!new_o)
536 return -ENOMEM;
537
Linus Torvalds1da177e2005-04-16 15:20:36 -0700538 down_write(&_origins_lock);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700539
Mike Snitzerc1f0c182009-12-10 23:52:24 +0000540 r = __validate_exception_handover(snap);
541 if (r < 0) {
542 kfree(new_o);
543 goto out;
544 }
545
546 o = __lookup_origin(bdev);
Mikulas Patocka60c856c82008-10-30 13:33:12 +0000547 if (o)
548 kfree(new_o);
549 else {
Linus Torvalds1da177e2005-04-16 15:20:36 -0700550 /* New origin */
Mikulas Patocka60c856c82008-10-30 13:33:12 +0000551 o = new_o;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700552
553 /* Initialise the struct */
554 INIT_LIST_HEAD(&o->snapshots);
555 o->bdev = bdev;
556
557 __insert_origin(o);
558 }
559
Mike Snitzerc1f0c182009-12-10 23:52:24 +0000560 __insert_snapshot(o, snap);
561
562out:
563 up_write(&_origins_lock);
564
565 return r;
566}
567
568/*
569 * Move snapshot to correct place in list according to chunk size.
570 */
571static void reregister_snapshot(struct dm_snapshot *s)
572{
573 struct block_device *bdev = s->origin->bdev;
574
575 down_write(&_origins_lock);
576
577 list_del(&s->list);
578 __insert_snapshot(__lookup_origin(bdev), s);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700579
580 up_write(&_origins_lock);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700581}
582
583static void unregister_snapshot(struct dm_snapshot *s)
584{
585 struct origin *o;
586
587 down_write(&_origins_lock);
588 o = __lookup_origin(s->origin->bdev);
589
590 list_del(&s->list);
Mike Snitzerc1f0c182009-12-10 23:52:24 +0000591 if (o && list_empty(&o->snapshots)) {
Linus Torvalds1da177e2005-04-16 15:20:36 -0700592 list_del(&o->hash_list);
593 kfree(o);
594 }
595
596 up_write(&_origins_lock);
597}
598
599/*
600 * Implementation of the exception hash tables.
Milan Brozd74f81f2008-02-08 02:11:27 +0000601 * The lowest hash_shift bits of the chunk number are ignored, allowing
602 * some consecutive chunks to be grouped together.
Linus Torvalds1da177e2005-04-16 15:20:36 -0700603 */
Jon Brassow3510cb92009-12-10 23:52:11 +0000604static int dm_exception_table_init(struct dm_exception_table *et,
605 uint32_t size, unsigned hash_shift)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700606{
607 unsigned int i;
608
Milan Brozd74f81f2008-02-08 02:11:27 +0000609 et->hash_shift = hash_shift;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700610 et->hash_mask = size - 1;
611 et->table = dm_vcalloc(size, sizeof(struct list_head));
612 if (!et->table)
613 return -ENOMEM;
614
615 for (i = 0; i < size; i++)
616 INIT_LIST_HEAD(et->table + i);
617
618 return 0;
619}
620
Jon Brassow3510cb92009-12-10 23:52:11 +0000621static void dm_exception_table_exit(struct dm_exception_table *et,
622 struct kmem_cache *mem)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700623{
624 struct list_head *slot;
Jon Brassow1d4989c2009-12-10 23:52:10 +0000625 struct dm_exception *ex, *next;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700626 int i, size;
627
628 size = et->hash_mask + 1;
629 for (i = 0; i < size; i++) {
630 slot = et->table + i;
631
632 list_for_each_entry_safe (ex, next, slot, hash_list)
633 kmem_cache_free(mem, ex);
634 }
635
636 vfree(et->table);
637}
638
Jon Brassow191437a2009-12-10 23:52:10 +0000639static uint32_t exception_hash(struct dm_exception_table *et, chunk_t chunk)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700640{
Milan Brozd74f81f2008-02-08 02:11:27 +0000641 return (chunk >> et->hash_shift) & et->hash_mask;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700642}
643
Jon Brassow3510cb92009-12-10 23:52:11 +0000644static void dm_remove_exception(struct dm_exception *e)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700645{
646 list_del(&e->hash_list);
647}
648
649/*
650 * Return the exception data for a sector, or NULL if not
651 * remapped.
652 */
Jon Brassow3510cb92009-12-10 23:52:11 +0000653static struct dm_exception *dm_lookup_exception(struct dm_exception_table *et,
654 chunk_t chunk)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700655{
656 struct list_head *slot;
Jon Brassow1d4989c2009-12-10 23:52:10 +0000657 struct dm_exception *e;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700658
659 slot = &et->table[exception_hash(et, chunk)];
660 list_for_each_entry (e, slot, hash_list)
Milan Brozd74f81f2008-02-08 02:11:27 +0000661 if (chunk >= e->old_chunk &&
662 chunk <= e->old_chunk + dm_consecutive_chunk_count(e))
Linus Torvalds1da177e2005-04-16 15:20:36 -0700663 return e;
664
665 return NULL;
666}
667
Mikulas Patocka119bc542014-01-13 19:13:36 -0500668static struct dm_exception *alloc_completed_exception(gfp_t gfp)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700669{
Jon Brassow1d4989c2009-12-10 23:52:10 +0000670 struct dm_exception *e;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700671
Mikulas Patocka119bc542014-01-13 19:13:36 -0500672 e = kmem_cache_alloc(exception_cache, gfp);
673 if (!e && gfp == GFP_NOIO)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700674 e = kmem_cache_alloc(exception_cache, GFP_ATOMIC);
675
676 return e;
677}
678
Jon Brassow3510cb92009-12-10 23:52:11 +0000679static void free_completed_exception(struct dm_exception *e)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700680{
681 kmem_cache_free(exception_cache, e);
682}
683
Mikulas Patocka92e86812008-07-21 12:00:35 +0100684static struct dm_snap_pending_exception *alloc_pending_exception(struct dm_snapshot *s)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700685{
Kent Overstreet6f1c8192018-05-20 18:25:53 -0400686 struct dm_snap_pending_exception *pe = mempool_alloc(&s->pending_pool,
Mikulas Patocka92e86812008-07-21 12:00:35 +0100687 GFP_NOIO);
688
Mikulas Patocka879129d22008-10-30 13:33:16 +0000689 atomic_inc(&s->pending_exceptions_count);
Mikulas Patocka92e86812008-07-21 12:00:35 +0100690 pe->snap = s;
691
692 return pe;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700693}
694
Alasdair G Kergon028867a2007-07-12 17:26:32 +0100695static void free_pending_exception(struct dm_snap_pending_exception *pe)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700696{
Mikulas Patocka879129d22008-10-30 13:33:16 +0000697 struct dm_snapshot *s = pe->snap;
698
Kent Overstreet6f1c8192018-05-20 18:25:53 -0400699 mempool_free(pe, &s->pending_pool);
Peter Zijlstra4e857c52014-03-17 18:06:10 +0100700 smp_mb__before_atomic();
Mikulas Patocka879129d22008-10-30 13:33:16 +0000701 atomic_dec(&s->pending_exceptions_count);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700702}
703
Jon Brassow3510cb92009-12-10 23:52:11 +0000704static void dm_insert_exception(struct dm_exception_table *eh,
705 struct dm_exception *new_e)
Milan Brozd74f81f2008-02-08 02:11:27 +0000706{
Milan Brozd74f81f2008-02-08 02:11:27 +0000707 struct list_head *l;
Jon Brassow1d4989c2009-12-10 23:52:10 +0000708 struct dm_exception *e = NULL;
Milan Brozd74f81f2008-02-08 02:11:27 +0000709
710 l = &eh->table[exception_hash(eh, new_e->old_chunk)];
711
712 /* Add immediately if this table doesn't support consecutive chunks */
713 if (!eh->hash_shift)
714 goto out;
715
716 /* List is ordered by old_chunk */
717 list_for_each_entry_reverse(e, l, hash_list) {
718 /* Insert after an existing chunk? */
719 if (new_e->old_chunk == (e->old_chunk +
720 dm_consecutive_chunk_count(e) + 1) &&
721 new_e->new_chunk == (dm_chunk_number(e->new_chunk) +
722 dm_consecutive_chunk_count(e) + 1)) {
723 dm_consecutive_chunk_count_inc(e);
Jon Brassow3510cb92009-12-10 23:52:11 +0000724 free_completed_exception(new_e);
Milan Brozd74f81f2008-02-08 02:11:27 +0000725 return;
726 }
727
728 /* Insert before an existing chunk? */
729 if (new_e->old_chunk == (e->old_chunk - 1) &&
730 new_e->new_chunk == (dm_chunk_number(e->new_chunk) - 1)) {
731 dm_consecutive_chunk_count_inc(e);
732 e->old_chunk--;
733 e->new_chunk--;
Jon Brassow3510cb92009-12-10 23:52:11 +0000734 free_completed_exception(new_e);
Milan Brozd74f81f2008-02-08 02:11:27 +0000735 return;
736 }
737
738 if (new_e->old_chunk > e->old_chunk)
739 break;
740 }
741
742out:
743 list_add(&new_e->hash_list, e ? &e->hash_list : l);
744}
745
Jonathan Brassowa159c1a2009-01-06 03:05:19 +0000746/*
747 * Callback used by the exception stores to load exceptions when
748 * initialising.
749 */
750static int dm_add_exception(void *context, chunk_t old, chunk_t new)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700751{
Jonathan Brassowa159c1a2009-01-06 03:05:19 +0000752 struct dm_snapshot *s = context;
Jon Brassow1d4989c2009-12-10 23:52:10 +0000753 struct dm_exception *e;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700754
Mikulas Patocka119bc542014-01-13 19:13:36 -0500755 e = alloc_completed_exception(GFP_KERNEL);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700756 if (!e)
757 return -ENOMEM;
758
759 e->old_chunk = old;
Milan Brozd74f81f2008-02-08 02:11:27 +0000760
761 /* Consecutive_count is implicitly initialised to zero */
Linus Torvalds1da177e2005-04-16 15:20:36 -0700762 e->new_chunk = new;
Milan Brozd74f81f2008-02-08 02:11:27 +0000763
Jon Brassow3510cb92009-12-10 23:52:11 +0000764 dm_insert_exception(&s->complete, e);
Milan Brozd74f81f2008-02-08 02:11:27 +0000765
Linus Torvalds1da177e2005-04-16 15:20:36 -0700766 return 0;
767}
768
Mikulas Patocka7e201b32009-12-10 23:52:08 +0000769/*
770 * Return a minimum chunk size of all snapshots that have the specified origin.
771 * Return zero if the origin has no snapshots.
772 */
Mike Snitzer542f9032012-07-27 15:08:00 +0100773static uint32_t __minimum_chunk_size(struct origin *o)
Mikulas Patocka7e201b32009-12-10 23:52:08 +0000774{
775 struct dm_snapshot *snap;
776 unsigned chunk_size = 0;
777
778 if (o)
779 list_for_each_entry(snap, &o->snapshots, list)
780 chunk_size = min_not_zero(chunk_size,
781 snap->store->chunk_size);
782
Mike Snitzer542f9032012-07-27 15:08:00 +0100783 return (uint32_t) chunk_size;
Mikulas Patocka7e201b32009-12-10 23:52:08 +0000784}
785
Linus Torvalds1da177e2005-04-16 15:20:36 -0700786/*
787 * Hard coded magic.
788 */
789static int calc_max_buckets(void)
790{
791 /* use a fixed size of 2MB */
792 unsigned long mem = 2 * 1024 * 1024;
793 mem /= sizeof(struct list_head);
794
795 return mem;
796}
797
798/*
Linus Torvalds1da177e2005-04-16 15:20:36 -0700799 * Allocate room for a suitable hash table.
800 */
Jonathan Brassowfee19982009-04-02 19:55:34 +0100801static int init_hash_tables(struct dm_snapshot *s)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700802{
Mikulas Patocka60e356f2013-09-18 19:40:42 -0400803 sector_t hash_size, cow_dev_size, max_buckets;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700804
805 /*
806 * Calculate based on the size of the original volume or
807 * the COW volume...
808 */
Mike Snitzerfc56f6f2009-12-10 23:52:12 +0000809 cow_dev_size = get_dev_size(s->cow->bdev);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700810 max_buckets = calc_max_buckets();
811
Mikulas Patocka60e356f2013-09-18 19:40:42 -0400812 hash_size = cow_dev_size >> s->store->chunk_shift;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700813 hash_size = min(hash_size, max_buckets);
814
Mikulas Patocka8e87b9b2009-12-10 23:51:54 +0000815 if (hash_size < 64)
816 hash_size = 64;
Robert P. J. Day8defd832008-02-08 02:10:06 +0000817 hash_size = rounddown_pow_of_two(hash_size);
Jon Brassow3510cb92009-12-10 23:52:11 +0000818 if (dm_exception_table_init(&s->complete, hash_size,
819 DM_CHUNK_CONSECUTIVE_BITS))
Linus Torvalds1da177e2005-04-16 15:20:36 -0700820 return -ENOMEM;
821
822 /*
823 * Allocate hash table for in-flight exceptions
824 * Make this smaller than the real hash table
825 */
826 hash_size >>= 3;
827 if (hash_size < 64)
828 hash_size = 64;
829
Jon Brassow3510cb92009-12-10 23:52:11 +0000830 if (dm_exception_table_init(&s->pending, hash_size, 0)) {
831 dm_exception_table_exit(&s->complete, exception_cache);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700832 return -ENOMEM;
833 }
834
835 return 0;
836}
837
Mikulas Patocka1e03f972009-12-10 23:52:32 +0000838static void merge_shutdown(struct dm_snapshot *s)
839{
840 clear_bit_unlock(RUNNING_MERGE, &s->state_bits);
Peter Zijlstra4e857c52014-03-17 18:06:10 +0100841 smp_mb__after_atomic();
Mikulas Patocka1e03f972009-12-10 23:52:32 +0000842 wake_up_bit(&s->state_bits, RUNNING_MERGE);
843}
844
Mikulas Patocka9fe862542009-12-10 23:52:33 +0000845static struct bio *__release_queued_bios_after_merge(struct dm_snapshot *s)
846{
847 s->first_merging_chunk = 0;
848 s->num_merging_chunks = 0;
849
850 return bio_list_get(&s->bios_queued_during_merge);
851}
852
Mikulas Patocka1e03f972009-12-10 23:52:32 +0000853/*
854 * Remove one chunk from the index of completed exceptions.
855 */
856static int __remove_single_exception_chunk(struct dm_snapshot *s,
857 chunk_t old_chunk)
858{
859 struct dm_exception *e;
860
Mikulas Patocka1e03f972009-12-10 23:52:32 +0000861 e = dm_lookup_exception(&s->complete, old_chunk);
862 if (!e) {
863 DMERR("Corruption detected: exception for block %llu is "
864 "on disk but not in memory",
865 (unsigned long long)old_chunk);
866 return -EINVAL;
867 }
868
869 /*
870 * If this is the only chunk using this exception, remove exception.
871 */
872 if (!dm_consecutive_chunk_count(e)) {
873 dm_remove_exception(e);
874 free_completed_exception(e);
875 return 0;
876 }
877
878 /*
879 * The chunk may be either at the beginning or the end of a
880 * group of consecutive chunks - never in the middle. We are
881 * removing chunks in the opposite order to that in which they
882 * were added, so this should always be true.
883 * Decrement the consecutive chunk counter and adjust the
884 * starting point if necessary.
885 */
886 if (old_chunk == e->old_chunk) {
887 e->old_chunk++;
888 e->new_chunk++;
889 } else if (old_chunk != e->old_chunk +
890 dm_consecutive_chunk_count(e)) {
891 DMERR("Attempt to merge block %llu from the "
892 "middle of a chunk range [%llu - %llu]",
893 (unsigned long long)old_chunk,
894 (unsigned long long)e->old_chunk,
895 (unsigned long long)
896 e->old_chunk + dm_consecutive_chunk_count(e));
897 return -EINVAL;
898 }
899
900 dm_consecutive_chunk_count_dec(e);
901
902 return 0;
903}
904
Mikulas Patocka9fe862542009-12-10 23:52:33 +0000905static void flush_bios(struct bio *bio);
906
907static int remove_single_exception_chunk(struct dm_snapshot *s)
Mikulas Patocka1e03f972009-12-10 23:52:32 +0000908{
Mikulas Patocka9fe862542009-12-10 23:52:33 +0000909 struct bio *b = NULL;
910 int r;
911 chunk_t old_chunk = s->first_merging_chunk + s->num_merging_chunks - 1;
Mikulas Patocka1e03f972009-12-10 23:52:32 +0000912
Mikulas Patockaae1093b2017-11-23 16:15:43 -0500913 mutex_lock(&s->lock);
Mikulas Patocka9fe862542009-12-10 23:52:33 +0000914
915 /*
916 * Process chunks (and associated exceptions) in reverse order
917 * so that dm_consecutive_chunk_count_dec() accounting works.
918 */
919 do {
920 r = __remove_single_exception_chunk(s, old_chunk);
921 if (r)
922 goto out;
923 } while (old_chunk-- > s->first_merging_chunk);
924
925 b = __release_queued_bios_after_merge(s);
926
927out:
Mikulas Patockaae1093b2017-11-23 16:15:43 -0500928 mutex_unlock(&s->lock);
Mikulas Patocka9fe862542009-12-10 23:52:33 +0000929 if (b)
930 flush_bios(b);
Mikulas Patocka1e03f972009-12-10 23:52:32 +0000931
932 return r;
933}
934
Mikulas Patocka73dfd072009-12-10 23:52:34 +0000935static int origin_write_extent(struct dm_snapshot *merging_snap,
936 sector_t sector, unsigned chunk_size);
937
Mikulas Patocka1e03f972009-12-10 23:52:32 +0000938static void merge_callback(int read_err, unsigned long write_err,
939 void *context);
940
Mikulas Patocka73dfd072009-12-10 23:52:34 +0000941static uint64_t read_pending_exceptions_done_count(void)
942{
943 uint64_t pending_exceptions_done;
944
945 spin_lock(&_pending_exceptions_done_spinlock);
946 pending_exceptions_done = _pending_exceptions_done_count;
947 spin_unlock(&_pending_exceptions_done_spinlock);
948
949 return pending_exceptions_done;
950}
951
952static void increment_pending_exceptions_done_count(void)
953{
954 spin_lock(&_pending_exceptions_done_spinlock);
955 _pending_exceptions_done_count++;
956 spin_unlock(&_pending_exceptions_done_spinlock);
957
958 wake_up_all(&_pending_exceptions_done);
959}
960
Mikulas Patocka1e03f972009-12-10 23:52:32 +0000961static void snapshot_merge_next_chunks(struct dm_snapshot *s)
962{
Mike Snitzer8a2d5282009-12-10 23:52:34 +0000963 int i, linear_chunks;
Mikulas Patocka1e03f972009-12-10 23:52:32 +0000964 chunk_t old_chunk, new_chunk;
965 struct dm_io_region src, dest;
Mike Snitzer8a2d5282009-12-10 23:52:34 +0000966 sector_t io_size;
Mikulas Patocka73dfd072009-12-10 23:52:34 +0000967 uint64_t previous_count;
Mikulas Patocka1e03f972009-12-10 23:52:32 +0000968
969 BUG_ON(!test_bit(RUNNING_MERGE, &s->state_bits));
970 if (unlikely(test_bit(SHUTDOWN_MERGE, &s->state_bits)))
971 goto shut;
972
973 /*
974 * valid flag never changes during merge, so no lock required.
975 */
976 if (!s->valid) {
977 DMERR("Snapshot is invalid: can't merge");
978 goto shut;
979 }
980
Mike Snitzer8a2d5282009-12-10 23:52:34 +0000981 linear_chunks = s->store->type->prepare_merge(s->store, &old_chunk,
982 &new_chunk);
983 if (linear_chunks <= 0) {
Mike Snitzerd8ddb1c2009-12-10 23:52:35 +0000984 if (linear_chunks < 0) {
Mikulas Patocka1e03f972009-12-10 23:52:32 +0000985 DMERR("Read error in exception store: "
986 "shutting down merge");
Mikulas Patockaae1093b2017-11-23 16:15:43 -0500987 mutex_lock(&s->lock);
Mike Snitzerd8ddb1c2009-12-10 23:52:35 +0000988 s->merge_failed = 1;
Mikulas Patockaae1093b2017-11-23 16:15:43 -0500989 mutex_unlock(&s->lock);
Mike Snitzerd8ddb1c2009-12-10 23:52:35 +0000990 }
Mikulas Patocka1e03f972009-12-10 23:52:32 +0000991 goto shut;
992 }
993
Mike Snitzer8a2d5282009-12-10 23:52:34 +0000994 /* Adjust old_chunk and new_chunk to reflect start of linear region */
995 old_chunk = old_chunk + 1 - linear_chunks;
996 new_chunk = new_chunk + 1 - linear_chunks;
997
998 /*
999 * Use one (potentially large) I/O to copy all 'linear_chunks'
1000 * from the exception store to the origin
1001 */
1002 io_size = linear_chunks * s->store->chunk_size;
Mikulas Patocka1e03f972009-12-10 23:52:32 +00001003
Mikulas Patocka1e03f972009-12-10 23:52:32 +00001004 dest.bdev = s->origin->bdev;
1005 dest.sector = chunk_to_sector(s->store, old_chunk);
Mike Snitzer8a2d5282009-12-10 23:52:34 +00001006 dest.count = min(io_size, get_dev_size(dest.bdev) - dest.sector);
Mikulas Patocka1e03f972009-12-10 23:52:32 +00001007
1008 src.bdev = s->cow->bdev;
1009 src.sector = chunk_to_sector(s->store, new_chunk);
1010 src.count = dest.count;
1011
Mikulas Patocka73dfd072009-12-10 23:52:34 +00001012 /*
1013 * Reallocate any exceptions needed in other snapshots then
1014 * wait for the pending exceptions to complete.
1015 * Each time any pending exception (globally on the system)
1016 * completes we are woken and repeat the process to find out
1017 * if we can proceed. While this may not seem a particularly
1018 * efficient algorithm, it is not expected to have any
1019 * significant impact on performance.
1020 */
1021 previous_count = read_pending_exceptions_done_count();
Mike Snitzer8a2d5282009-12-10 23:52:34 +00001022 while (origin_write_extent(s, dest.sector, io_size)) {
Mikulas Patocka73dfd072009-12-10 23:52:34 +00001023 wait_event(_pending_exceptions_done,
1024 (read_pending_exceptions_done_count() !=
1025 previous_count));
1026 /* Retry after the wait, until all exceptions are done. */
1027 previous_count = read_pending_exceptions_done_count();
1028 }
1029
Mikulas Patockaae1093b2017-11-23 16:15:43 -05001030 mutex_lock(&s->lock);
Mikulas Patocka9fe862542009-12-10 23:52:33 +00001031 s->first_merging_chunk = old_chunk;
Mike Snitzer8a2d5282009-12-10 23:52:34 +00001032 s->num_merging_chunks = linear_chunks;
Mikulas Patockaae1093b2017-11-23 16:15:43 -05001033 mutex_unlock(&s->lock);
Mikulas Patocka9fe862542009-12-10 23:52:33 +00001034
Mike Snitzer8a2d5282009-12-10 23:52:34 +00001035 /* Wait until writes to all 'linear_chunks' drain */
1036 for (i = 0; i < linear_chunks; i++)
1037 __check_for_conflicting_io(s, old_chunk + i);
Mikulas Patocka9fe862542009-12-10 23:52:33 +00001038
Mikulas Patocka1e03f972009-12-10 23:52:32 +00001039 dm_kcopyd_copy(s->kcopyd_client, &src, 1, &dest, 0, merge_callback, s);
1040 return;
1041
1042shut:
1043 merge_shutdown(s);
1044}
1045
Mikulas Patocka9fe862542009-12-10 23:52:33 +00001046static void error_bios(struct bio *bio);
1047
Mikulas Patocka1e03f972009-12-10 23:52:32 +00001048static void merge_callback(int read_err, unsigned long write_err, void *context)
1049{
1050 struct dm_snapshot *s = context;
Mikulas Patocka9fe862542009-12-10 23:52:33 +00001051 struct bio *b = NULL;
Mikulas Patocka1e03f972009-12-10 23:52:32 +00001052
1053 if (read_err || write_err) {
1054 if (read_err)
1055 DMERR("Read error: shutting down merge.");
1056 else
1057 DMERR("Write error: shutting down merge.");
1058 goto shut;
1059 }
1060
Mikulas Patocka9fe862542009-12-10 23:52:33 +00001061 if (s->store->type->commit_merge(s->store,
1062 s->num_merging_chunks) < 0) {
Mikulas Patocka1e03f972009-12-10 23:52:32 +00001063 DMERR("Write error in exception store: shutting down merge");
1064 goto shut;
1065 }
1066
Mikulas Patocka9fe862542009-12-10 23:52:33 +00001067 if (remove_single_exception_chunk(s) < 0)
1068 goto shut;
1069
Mikulas Patocka1e03f972009-12-10 23:52:32 +00001070 snapshot_merge_next_chunks(s);
1071
1072 return;
1073
1074shut:
Mikulas Patockaae1093b2017-11-23 16:15:43 -05001075 mutex_lock(&s->lock);
Mike Snitzerd8ddb1c2009-12-10 23:52:35 +00001076 s->merge_failed = 1;
Mikulas Patocka9fe862542009-12-10 23:52:33 +00001077 b = __release_queued_bios_after_merge(s);
Mikulas Patockaae1093b2017-11-23 16:15:43 -05001078 mutex_unlock(&s->lock);
Mikulas Patocka9fe862542009-12-10 23:52:33 +00001079 error_bios(b);
1080
Mikulas Patocka1e03f972009-12-10 23:52:32 +00001081 merge_shutdown(s);
1082}
1083
1084static void start_merge(struct dm_snapshot *s)
1085{
1086 if (!test_and_set_bit(RUNNING_MERGE, &s->state_bits))
1087 snapshot_merge_next_chunks(s);
1088}
1089
Mikulas Patocka1e03f972009-12-10 23:52:32 +00001090/*
1091 * Stop the merging process and wait until it finishes.
1092 */
1093static void stop_merge(struct dm_snapshot *s)
1094{
1095 set_bit(SHUTDOWN_MERGE, &s->state_bits);
NeilBrown74316202014-07-07 15:16:04 +10001096 wait_on_bit(&s->state_bits, RUNNING_MERGE, TASK_UNINTERRUPTIBLE);
Mikulas Patocka1e03f972009-12-10 23:52:32 +00001097 clear_bit(SHUTDOWN_MERGE, &s->state_bits);
1098}
1099
Linus Torvalds1da177e2005-04-16 15:20:36 -07001100/*
Mike Snitzerb0d3cc02015-10-08 18:05:41 -04001101 * Construct a snapshot mapping: <origin_dev> <COW-dev> <p|po|n> <chunk-size>
Linus Torvalds1da177e2005-04-16 15:20:36 -07001102 */
1103static int snapshot_ctr(struct dm_target *ti, unsigned int argc, char **argv)
1104{
1105 struct dm_snapshot *s;
Mikulas Patockacd45daf2008-07-21 12:00:32 +01001106 int i;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001107 int r = -EINVAL;
Mike Snitzerfc56f6f2009-12-10 23:52:12 +00001108 char *origin_path, *cow_path;
DingXiang4df2bf42016-02-02 12:29:18 +08001109 dev_t origin_dev, cow_dev;
Alasdair G Kergon55a62ee2013-03-01 22:45:47 +00001110 unsigned args_used, num_flush_bios = 1;
Mike Snitzer10b81062009-12-10 23:52:31 +00001111 fmode_t origin_mode = FMODE_READ;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001112
Mark McLoughlin4c7e3bf2006-10-03 01:15:25 -07001113 if (argc != 4) {
Alasdair G Kergon72d94862006-06-26 00:27:35 -07001114 ti->error = "requires exactly 4 arguments";
Linus Torvalds1da177e2005-04-16 15:20:36 -07001115 r = -EINVAL;
Mike Snitzerfc56f6f2009-12-10 23:52:12 +00001116 goto bad;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001117 }
1118
Mike Snitzer10b81062009-12-10 23:52:31 +00001119 if (dm_target_is_snapshot_merge(ti)) {
Alasdair G Kergon55a62ee2013-03-01 22:45:47 +00001120 num_flush_bios = 2;
Mike Snitzer10b81062009-12-10 23:52:31 +00001121 origin_mode = FMODE_WRITE;
1122 }
1123
Kent Overstreetd3775352018-06-05 05:26:33 -04001124 s = kzalloc(sizeof(*s), GFP_KERNEL);
Jonathan Brassowfee19982009-04-02 19:55:34 +01001125 if (!s) {
Jonathan Brassowa2d2b032011-08-02 12:32:03 +01001126 ti->error = "Cannot allocate private snapshot structure";
Linus Torvalds1da177e2005-04-16 15:20:36 -07001127 r = -ENOMEM;
Mike Snitzerfc56f6f2009-12-10 23:52:12 +00001128 goto bad;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001129 }
1130
Mikulas Patockac2411042010-08-12 04:13:51 +01001131 origin_path = argv[0];
1132 argv++;
1133 argc--;
1134
1135 r = dm_get_device(ti, origin_path, origin_mode, &s->origin);
1136 if (r) {
1137 ti->error = "Cannot get origin device";
1138 goto bad_origin;
1139 }
DingXiang4df2bf42016-02-02 12:29:18 +08001140 origin_dev = s->origin->bdev->bd_dev;
Mikulas Patockac2411042010-08-12 04:13:51 +01001141
Mike Snitzerfc56f6f2009-12-10 23:52:12 +00001142 cow_path = argv[0];
1143 argv++;
1144 argc--;
1145
DingXiang4df2bf42016-02-02 12:29:18 +08001146 cow_dev = dm_get_dev_t(cow_path);
1147 if (cow_dev && cow_dev == origin_dev) {
1148 ti->error = "COW device cannot be the same as origin device";
1149 r = -EINVAL;
1150 goto bad_cow;
1151 }
1152
Milan Broz024d37e2011-03-24 13:52:14 +00001153 r = dm_get_device(ti, cow_path, dm_table_get_mode(ti->table), &s->cow);
Mike Snitzerfc56f6f2009-12-10 23:52:12 +00001154 if (r) {
1155 ti->error = "Cannot get COW device";
1156 goto bad_cow;
1157 }
1158
1159 r = dm_exception_store_create(ti, argc, argv, s, &args_used, &s->store);
1160 if (r) {
1161 ti->error = "Couldn't create exception store";
1162 r = -EINVAL;
1163 goto bad_store;
1164 }
1165
1166 argv += args_used;
1167 argc -= args_used;
1168
Mike Snitzerfc56f6f2009-12-10 23:52:12 +00001169 s->ti = ti;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001170 s->valid = 1;
Mikulas Patocka76c44f62015-06-21 16:31:33 -04001171 s->snapshot_overflowed = 0;
Alasdair G Kergonaa14ede2006-02-01 03:04:50 -08001172 s->active = 0;
Mikulas Patocka879129d22008-10-30 13:33:16 +00001173 atomic_set(&s->pending_exceptions_count, 0);
Mikulas Patocka230c83a2013-11-29 18:13:37 -05001174 s->exception_start_sequence = 0;
1175 s->exception_complete_sequence = 0;
David Jeffery3db27762018-08-07 16:56:00 -04001176 s->out_of_order_tree = RB_ROOT;
Mikulas Patockaae1093b2017-11-23 16:15:43 -05001177 mutex_init(&s->lock);
Mike Snitzerc1f0c182009-12-10 23:52:24 +00001178 INIT_LIST_HEAD(&s->list);
Alasdair G Kergonca3a9312006-10-03 01:15:30 -07001179 spin_lock_init(&s->pe_lock);
Mikulas Patocka1e03f972009-12-10 23:52:32 +00001180 s->state_bits = 0;
Mike Snitzerd8ddb1c2009-12-10 23:52:35 +00001181 s->merge_failed = 0;
Mikulas Patocka9fe862542009-12-10 23:52:33 +00001182 s->first_merging_chunk = 0;
1183 s->num_merging_chunks = 0;
1184 bio_list_init(&s->bios_queued_during_merge);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001185
1186 /* Allocate hash table for COW data */
Jonathan Brassowfee19982009-04-02 19:55:34 +01001187 if (init_hash_tables(s)) {
Linus Torvalds1da177e2005-04-16 15:20:36 -07001188 ti->error = "Unable to allocate hash table space";
1189 r = -ENOMEM;
Jonathan Brassowfee19982009-04-02 19:55:34 +01001190 goto bad_hash_tables;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001191 }
1192
Mikulas Patockadf5d2e92013-03-01 22:45:49 +00001193 s->kcopyd_client = dm_kcopyd_client_create(&dm_kcopyd_throttle);
Mikulas Patockafa34ce72011-05-29 13:03:13 +01001194 if (IS_ERR(s->kcopyd_client)) {
1195 r = PTR_ERR(s->kcopyd_client);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001196 ti->error = "Could not create kcopyd client";
Jonathan Brassowfee19982009-04-02 19:55:34 +01001197 goto bad_kcopyd;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001198 }
1199
Kent Overstreet6f1c8192018-05-20 18:25:53 -04001200 r = mempool_init_slab_pool(&s->pending_pool, MIN_IOS, pending_cache);
1201 if (r) {
Mikulas Patocka92e86812008-07-21 12:00:35 +01001202 ti->error = "Could not allocate mempool for pending exceptions";
Jonathan Brassowfee19982009-04-02 19:55:34 +01001203 goto bad_pending_pool;
Mikulas Patocka92e86812008-07-21 12:00:35 +01001204 }
1205
Mikulas Patockacd45daf2008-07-21 12:00:32 +01001206 for (i = 0; i < DM_TRACKED_CHUNK_HASH_SIZE; i++)
1207 INIT_HLIST_HEAD(&s->tracked_chunk_hash[i]);
1208
1209 spin_lock_init(&s->tracked_chunk_lock);
1210
Mike Snitzerc1f0c182009-12-10 23:52:24 +00001211 ti->private = s;
Alasdair G Kergon55a62ee2013-03-01 22:45:47 +00001212 ti->num_flush_bios = num_flush_bios;
Mike Snitzer30187e12016-01-31 13:28:26 -05001213 ti->per_io_data_size = sizeof(struct dm_snap_tracked_chunk);
Mike Snitzerc1f0c182009-12-10 23:52:24 +00001214
1215 /* Add snapshot to the list of snapshots for this origin */
1216 /* Exceptions aren't triggered till snapshot_resume() is called */
1217 r = register_snapshot(s);
1218 if (r == -ENOMEM) {
1219 ti->error = "Snapshot origin struct allocation failed";
1220 goto bad_load_and_register;
1221 } else if (r < 0) {
1222 /* invalid handover, register_snapshot has set ti->error */
1223 goto bad_load_and_register;
1224 }
1225
1226 /*
1227 * Metadata must only be loaded into one table at once, so skip this
1228 * if metadata will be handed over during resume.
1229 * Chunk size will be set during the handover - set it to zero to
1230 * ensure it's ignored.
1231 */
1232 if (r > 0) {
1233 s->store->chunk_size = 0;
1234 return 0;
1235 }
1236
Jonathan Brassow493df712009-04-02 19:55:31 +01001237 r = s->store->type->read_metadata(s->store, dm_add_exception,
1238 (void *)s);
Milan Broz07641472007-07-12 17:28:13 +01001239 if (r < 0) {
Mark McLoughlinf9cea4f2006-10-03 01:15:25 -07001240 ti->error = "Failed to read snapshot metadata";
Mike Snitzerc1f0c182009-12-10 23:52:24 +00001241 goto bad_read_metadata;
Milan Broz07641472007-07-12 17:28:13 +01001242 } else if (r > 0) {
1243 s->valid = 0;
1244 DMWARN("Snapshot is marked invalid.");
Mark McLoughlinf9cea4f2006-10-03 01:15:25 -07001245 }
Alasdair G Kergonaa14ede2006-02-01 03:04:50 -08001246
Mikulas Patocka3f2412d2009-10-16 23:18:16 +01001247 if (!s->store->chunk_size) {
1248 ti->error = "Chunk size not set";
Mike Snitzerc1f0c182009-12-10 23:52:24 +00001249 goto bad_read_metadata;
Mikulas Patocka3f2412d2009-10-16 23:18:16 +01001250 }
Mike Snitzer542f9032012-07-27 15:08:00 +01001251
1252 r = dm_set_target_max_io_len(ti, s->store->chunk_size);
1253 if (r)
1254 goto bad_read_metadata;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001255
1256 return 0;
1257
Mike Snitzerc1f0c182009-12-10 23:52:24 +00001258bad_read_metadata:
1259 unregister_snapshot(s);
1260
Jonathan Brassowfee19982009-04-02 19:55:34 +01001261bad_load_and_register:
Kent Overstreet6f1c8192018-05-20 18:25:53 -04001262 mempool_exit(&s->pending_pool);
Mikulas Patocka92e86812008-07-21 12:00:35 +01001263
Jonathan Brassowfee19982009-04-02 19:55:34 +01001264bad_pending_pool:
Heinz Mauelshageneb69aca2008-04-24 21:43:19 +01001265 dm_kcopyd_client_destroy(s->kcopyd_client);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001266
Jonathan Brassowfee19982009-04-02 19:55:34 +01001267bad_kcopyd:
Jon Brassow3510cb92009-12-10 23:52:11 +00001268 dm_exception_table_exit(&s->pending, pending_cache);
1269 dm_exception_table_exit(&s->complete, exception_cache);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001270
Jonathan Brassowfee19982009-04-02 19:55:34 +01001271bad_hash_tables:
Mike Snitzerfc56f6f2009-12-10 23:52:12 +00001272 dm_exception_store_destroy(s->store);
1273
1274bad_store:
1275 dm_put_device(ti, s->cow);
1276
1277bad_cow:
Mikulas Patockac2411042010-08-12 04:13:51 +01001278 dm_put_device(ti, s->origin);
1279
1280bad_origin:
Linus Torvalds1da177e2005-04-16 15:20:36 -07001281 kfree(s);
1282
Mike Snitzerfc56f6f2009-12-10 23:52:12 +00001283bad:
Linus Torvalds1da177e2005-04-16 15:20:36 -07001284 return r;
1285}
1286
Milan Broz31c93a0c2006-12-08 02:41:11 -08001287static void __free_exceptions(struct dm_snapshot *s)
1288{
Heinz Mauelshageneb69aca2008-04-24 21:43:19 +01001289 dm_kcopyd_client_destroy(s->kcopyd_client);
Milan Broz31c93a0c2006-12-08 02:41:11 -08001290 s->kcopyd_client = NULL;
1291
Jon Brassow3510cb92009-12-10 23:52:11 +00001292 dm_exception_table_exit(&s->pending, pending_cache);
1293 dm_exception_table_exit(&s->complete, exception_cache);
Milan Broz31c93a0c2006-12-08 02:41:11 -08001294}
1295
Mike Snitzerc1f0c182009-12-10 23:52:24 +00001296static void __handover_exceptions(struct dm_snapshot *snap_src,
1297 struct dm_snapshot *snap_dest)
1298{
1299 union {
1300 struct dm_exception_table table_swap;
1301 struct dm_exception_store *store_swap;
1302 } u;
1303
1304 /*
1305 * Swap all snapshot context information between the two instances.
1306 */
1307 u.table_swap = snap_dest->complete;
1308 snap_dest->complete = snap_src->complete;
1309 snap_src->complete = u.table_swap;
1310
1311 u.store_swap = snap_dest->store;
1312 snap_dest->store = snap_src->store;
Mike Snitzerb0d3cc02015-10-08 18:05:41 -04001313 snap_dest->store->userspace_supports_overflow = u.store_swap->userspace_supports_overflow;
Mike Snitzerc1f0c182009-12-10 23:52:24 +00001314 snap_src->store = u.store_swap;
1315
1316 snap_dest->store->snap = snap_dest;
1317 snap_src->store->snap = snap_src;
1318
Mike Snitzer542f9032012-07-27 15:08:00 +01001319 snap_dest->ti->max_io_len = snap_dest->store->chunk_size;
Mike Snitzerc1f0c182009-12-10 23:52:24 +00001320 snap_dest->valid = snap_src->valid;
Mikulas Patocka76c44f62015-06-21 16:31:33 -04001321 snap_dest->snapshot_overflowed = snap_src->snapshot_overflowed;
Mike Snitzerc1f0c182009-12-10 23:52:24 +00001322
1323 /*
1324 * Set source invalid to ensure it receives no further I/O.
1325 */
1326 snap_src->valid = 0;
1327}
1328
Linus Torvalds1da177e2005-04-16 15:20:36 -07001329static void snapshot_dtr(struct dm_target *ti)
1330{
Mikulas Patockacd45daf2008-07-21 12:00:32 +01001331#ifdef CONFIG_DM_DEBUG
1332 int i;
1333#endif
Alasdair G Kergon028867a2007-07-12 17:26:32 +01001334 struct dm_snapshot *s = ti->private;
Mike Snitzerc1f0c182009-12-10 23:52:24 +00001335 struct dm_snapshot *snap_src = NULL, *snap_dest = NULL;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001336
Mike Snitzerc1f0c182009-12-10 23:52:24 +00001337 down_read(&_origins_lock);
1338 /* Check whether exception handover must be cancelled */
Mikulas Patocka9d3b15c2009-12-10 23:52:32 +00001339 (void) __find_snapshots_sharing_cow(s, &snap_src, &snap_dest, NULL);
Mike Snitzerc1f0c182009-12-10 23:52:24 +00001340 if (snap_src && snap_dest && (s == snap_src)) {
Mikulas Patockaae1093b2017-11-23 16:15:43 -05001341 mutex_lock(&snap_dest->lock);
Mike Snitzerc1f0c182009-12-10 23:52:24 +00001342 snap_dest->valid = 0;
Mikulas Patockaae1093b2017-11-23 16:15:43 -05001343 mutex_unlock(&snap_dest->lock);
Mike Snitzerc1f0c182009-12-10 23:52:24 +00001344 DMERR("Cancelling snapshot handover.");
1345 }
1346 up_read(&_origins_lock);
1347
Mikulas Patocka1e03f972009-12-10 23:52:32 +00001348 if (dm_target_is_snapshot_merge(ti))
1349 stop_merge(s);
1350
Alasdair G Kergon138728dc2006-03-27 01:17:50 -08001351 /* Prevent further origin writes from using this snapshot. */
1352 /* After this returns there can be no new kcopyd jobs. */
Linus Torvalds1da177e2005-04-16 15:20:36 -07001353 unregister_snapshot(s);
1354
Mikulas Patocka879129d22008-10-30 13:33:16 +00001355 while (atomic_read(&s->pending_exceptions_count))
Mikulas Patocka90fa1522009-01-06 03:04:54 +00001356 msleep(1);
Mikulas Patocka879129d22008-10-30 13:33:16 +00001357 /*
Kent Overstreet6f1c8192018-05-20 18:25:53 -04001358 * Ensure instructions in mempool_exit aren't reordered
Mikulas Patocka879129d22008-10-30 13:33:16 +00001359 * before atomic_read.
1360 */
1361 smp_mb();
1362
Mikulas Patockacd45daf2008-07-21 12:00:32 +01001363#ifdef CONFIG_DM_DEBUG
1364 for (i = 0; i < DM_TRACKED_CHUNK_HASH_SIZE; i++)
1365 BUG_ON(!hlist_empty(&s->tracked_chunk_hash[i]));
1366#endif
1367
Milan Broz31c93a0c2006-12-08 02:41:11 -08001368 __free_exceptions(s);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001369
Kent Overstreet6f1c8192018-05-20 18:25:53 -04001370 mempool_exit(&s->pending_pool);
Mikulas Patocka92e86812008-07-21 12:00:35 +01001371
Jonathan Brassowfee19982009-04-02 19:55:34 +01001372 dm_exception_store_destroy(s->store);
Alasdair G Kergon138728dc2006-03-27 01:17:50 -08001373
Mikulas Patockaae1093b2017-11-23 16:15:43 -05001374 mutex_destroy(&s->lock);
1375
Mike Snitzerfc56f6f2009-12-10 23:52:12 +00001376 dm_put_device(ti, s->cow);
1377
Mikulas Patockac2411042010-08-12 04:13:51 +01001378 dm_put_device(ti, s->origin);
1379
Linus Torvalds1da177e2005-04-16 15:20:36 -07001380 kfree(s);
1381}
1382
1383/*
1384 * Flush a list of buffers.
1385 */
1386static void flush_bios(struct bio *bio)
1387{
1388 struct bio *n;
1389
1390 while (bio) {
1391 n = bio->bi_next;
1392 bio->bi_next = NULL;
1393 generic_make_request(bio);
1394 bio = n;
1395 }
1396}
1397
Mikulas Patocka515ad662009-12-10 23:52:30 +00001398static int do_origin(struct dm_dev *origin, struct bio *bio);
1399
1400/*
1401 * Flush a list of buffers.
1402 */
1403static void retry_origin_bios(struct dm_snapshot *s, struct bio *bio)
1404{
1405 struct bio *n;
1406 int r;
1407
1408 while (bio) {
1409 n = bio->bi_next;
1410 bio->bi_next = NULL;
1411 r = do_origin(s->origin, bio);
1412 if (r == DM_MAPIO_REMAPPED)
1413 generic_make_request(bio);
1414 bio = n;
1415 }
1416}
1417
Linus Torvalds1da177e2005-04-16 15:20:36 -07001418/*
1419 * Error a list of buffers.
1420 */
1421static void error_bios(struct bio *bio)
1422{
1423 struct bio *n;
1424
1425 while (bio) {
1426 n = bio->bi_next;
1427 bio->bi_next = NULL;
NeilBrown6712ecf2007-09-27 12:47:43 +02001428 bio_io_error(bio);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001429 bio = n;
1430 }
1431}
1432
Alasdair G Kergon695368a2006-10-03 01:15:31 -07001433static void __invalidate_snapshot(struct dm_snapshot *s, int err)
Alasdair G Kergon76df1c62006-03-27 01:17:45 -08001434{
1435 if (!s->valid)
1436 return;
1437
1438 if (err == -EIO)
1439 DMERR("Invalidating snapshot: Error reading/writing.");
1440 else if (err == -ENOMEM)
1441 DMERR("Invalidating snapshot: Unable to allocate exception.");
1442
Jonathan Brassow493df712009-04-02 19:55:31 +01001443 if (s->store->type->drop_snapshot)
1444 s->store->type->drop_snapshot(s->store);
Alasdair G Kergon76df1c62006-03-27 01:17:45 -08001445
1446 s->valid = 0;
1447
Mike Snitzerfc56f6f2009-12-10 23:52:12 +00001448 dm_table_event(s->ti->table);
Alasdair G Kergon76df1c62006-03-27 01:17:45 -08001449}
1450
Mikulas Patocka385277b2016-01-08 19:07:55 -05001451static void pending_complete(void *context, int success)
Linus Torvalds1da177e2005-04-16 15:20:36 -07001452{
Mikulas Patocka385277b2016-01-08 19:07:55 -05001453 struct dm_snap_pending_exception *pe = context;
Jon Brassow1d4989c2009-12-10 23:52:10 +00001454 struct dm_exception *e;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001455 struct dm_snapshot *s = pe->snap;
Alasdair G Kergon9d493fa2006-10-03 01:15:29 -07001456 struct bio *origin_bios = NULL;
1457 struct bio *snapshot_bios = NULL;
Mikulas Patockaa6e50b42011-08-02 12:32:04 +01001458 struct bio *full_bio = NULL;
Alasdair G Kergon9d493fa2006-10-03 01:15:29 -07001459 int error = 0;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001460
Alasdair G Kergon76df1c62006-03-27 01:17:45 -08001461 if (!success) {
Linus Torvalds1da177e2005-04-16 15:20:36 -07001462 /* Read/write error - snapshot is unusable */
Mikulas Patockaae1093b2017-11-23 16:15:43 -05001463 mutex_lock(&s->lock);
Alasdair G Kergon695368a2006-10-03 01:15:31 -07001464 __invalidate_snapshot(s, -EIO);
Alasdair G Kergon9d493fa2006-10-03 01:15:29 -07001465 error = 1;
Alasdair G Kergon76df1c62006-03-27 01:17:45 -08001466 goto out;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001467 }
1468
Mikulas Patocka119bc542014-01-13 19:13:36 -05001469 e = alloc_completed_exception(GFP_NOIO);
Alasdair G Kergon76df1c62006-03-27 01:17:45 -08001470 if (!e) {
Mikulas Patockaae1093b2017-11-23 16:15:43 -05001471 mutex_lock(&s->lock);
Alasdair G Kergon695368a2006-10-03 01:15:31 -07001472 __invalidate_snapshot(s, -ENOMEM);
Alasdair G Kergon9d493fa2006-10-03 01:15:29 -07001473 error = 1;
Alasdair G Kergon76df1c62006-03-27 01:17:45 -08001474 goto out;
1475 }
1476 *e = pe->e;
1477
Mikulas Patockaae1093b2017-11-23 16:15:43 -05001478 mutex_lock(&s->lock);
Alasdair G Kergon9d493fa2006-10-03 01:15:29 -07001479 if (!s->valid) {
Jon Brassow3510cb92009-12-10 23:52:11 +00001480 free_completed_exception(e);
Alasdair G Kergon9d493fa2006-10-03 01:15:29 -07001481 error = 1;
1482 goto out;
1483 }
1484
Mike Snitzer615d1eb2009-12-10 23:52:29 +00001485 /* Check for conflicting reads */
1486 __check_for_conflicting_io(s, pe->e.old_chunk);
Mikulas Patockaa8d41b52008-07-21 12:00:34 +01001487
1488 /*
Alasdair G Kergon76df1c62006-03-27 01:17:45 -08001489 * Add a proper exception, and remove the
1490 * in-flight exception from the list.
1491 */
Jon Brassow3510cb92009-12-10 23:52:11 +00001492 dm_insert_exception(&s->complete, e);
Alasdair G Kergon76df1c62006-03-27 01:17:45 -08001493
Jonathan Brassowa2d2b032011-08-02 12:32:03 +01001494out:
Jon Brassow3510cb92009-12-10 23:52:11 +00001495 dm_remove_exception(&pe->e);
Alasdair G Kergon9d493fa2006-10-03 01:15:29 -07001496 snapshot_bios = bio_list_get(&pe->snapshot_bios);
Mikulas Patocka515ad662009-12-10 23:52:30 +00001497 origin_bios = bio_list_get(&pe->origin_bios);
Mikulas Patockaa6e50b42011-08-02 12:32:04 +01001498 full_bio = pe->full_bio;
Mikulas Patockafe3265b2015-11-25 16:03:31 -05001499 if (full_bio)
Mikulas Patockaa6e50b42011-08-02 12:32:04 +01001500 full_bio->bi_end_io = pe->full_bio_end_io;
Mikulas Patocka73dfd072009-12-10 23:52:34 +00001501 increment_pending_exceptions_done_count();
1502
Mikulas Patockaae1093b2017-11-23 16:15:43 -05001503 mutex_unlock(&s->lock);
Alasdair G Kergon9d493fa2006-10-03 01:15:29 -07001504
1505 /* Submit any pending write bios */
Mikulas Patockaa6e50b42011-08-02 12:32:04 +01001506 if (error) {
1507 if (full_bio)
1508 bio_io_error(full_bio);
Alasdair G Kergon9d493fa2006-10-03 01:15:29 -07001509 error_bios(snapshot_bios);
Mikulas Patockaa6e50b42011-08-02 12:32:04 +01001510 } else {
1511 if (full_bio)
Christoph Hellwig4246a0b2015-07-20 15:29:37 +02001512 bio_endio(full_bio);
Alasdair G Kergon9d493fa2006-10-03 01:15:29 -07001513 flush_bios(snapshot_bios);
Mikulas Patockaa6e50b42011-08-02 12:32:04 +01001514 }
Alasdair G Kergon9d493fa2006-10-03 01:15:29 -07001515
Mikulas Patocka515ad662009-12-10 23:52:30 +00001516 retry_origin_bios(s, origin_bios);
Mikulas Patocka22aa66a2015-02-17 14:34:00 -05001517
1518 free_pending_exception(pe);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001519}
1520
Mikulas Patocka230c83a2013-11-29 18:13:37 -05001521static void complete_exception(struct dm_snap_pending_exception *pe)
1522{
1523 struct dm_snapshot *s = pe->snap;
1524
Mikulas Patocka385277b2016-01-08 19:07:55 -05001525 /* Update the metadata if we are persistent */
1526 s->store->type->commit_exception(s->store, &pe->e, !pe->copy_error,
1527 pending_complete, pe);
Mikulas Patocka230c83a2013-11-29 18:13:37 -05001528}
1529
Linus Torvalds1da177e2005-04-16 15:20:36 -07001530/*
1531 * Called when the copy I/O has finished. kcopyd actually runs
1532 * this code so don't block.
1533 */
Alasdair G Kergon4cdc1d12008-03-28 14:16:10 -07001534static void copy_callback(int read_err, unsigned long write_err, void *context)
Linus Torvalds1da177e2005-04-16 15:20:36 -07001535{
Alasdair G Kergon028867a2007-07-12 17:26:32 +01001536 struct dm_snap_pending_exception *pe = context;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001537 struct dm_snapshot *s = pe->snap;
1538
Mikulas Patocka230c83a2013-11-29 18:13:37 -05001539 pe->copy_error = read_err || write_err;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001540
Mikulas Patocka230c83a2013-11-29 18:13:37 -05001541 if (pe->exception_sequence == s->exception_complete_sequence) {
David Jeffery3db27762018-08-07 16:56:00 -04001542 struct rb_node *next;
1543
Mikulas Patocka230c83a2013-11-29 18:13:37 -05001544 s->exception_complete_sequence++;
1545 complete_exception(pe);
1546
David Jeffery3db27762018-08-07 16:56:00 -04001547 next = rb_first(&s->out_of_order_tree);
1548 while (next) {
1549 pe = rb_entry(next, struct dm_snap_pending_exception,
1550 out_of_order_node);
Mikulas Patocka230c83a2013-11-29 18:13:37 -05001551 if (pe->exception_sequence != s->exception_complete_sequence)
1552 break;
David Jeffery3db27762018-08-07 16:56:00 -04001553 next = rb_next(next);
Mikulas Patocka230c83a2013-11-29 18:13:37 -05001554 s->exception_complete_sequence++;
David Jeffery3db27762018-08-07 16:56:00 -04001555 rb_erase(&pe->out_of_order_node, &s->out_of_order_tree);
Mikulas Patocka230c83a2013-11-29 18:13:37 -05001556 complete_exception(pe);
David Jeffery3db27762018-08-07 16:56:00 -04001557 cond_resched();
Mikulas Patocka230c83a2013-11-29 18:13:37 -05001558 }
1559 } else {
David Jeffery3db27762018-08-07 16:56:00 -04001560 struct rb_node *parent = NULL;
1561 struct rb_node **p = &s->out_of_order_tree.rb_node;
Mikulas Patocka230c83a2013-11-29 18:13:37 -05001562 struct dm_snap_pending_exception *pe2;
1563
David Jeffery3db27762018-08-07 16:56:00 -04001564 while (*p) {
1565 pe2 = rb_entry(*p, struct dm_snap_pending_exception, out_of_order_node);
1566 parent = *p;
1567
1568 BUG_ON(pe->exception_sequence == pe2->exception_sequence);
1569 if (pe->exception_sequence < pe2->exception_sequence)
1570 p = &((*p)->rb_left);
1571 else
1572 p = &((*p)->rb_right);
Mikulas Patocka230c83a2013-11-29 18:13:37 -05001573 }
David Jeffery3db27762018-08-07 16:56:00 -04001574
1575 rb_link_node(&pe->out_of_order_node, parent, p);
1576 rb_insert_color(&pe->out_of_order_node, &s->out_of_order_tree);
Mikulas Patocka230c83a2013-11-29 18:13:37 -05001577 }
Linus Torvalds1da177e2005-04-16 15:20:36 -07001578}
1579
1580/*
1581 * Dispatches the copy operation to kcopyd.
1582 */
Alasdair G Kergon028867a2007-07-12 17:26:32 +01001583static void start_copy(struct dm_snap_pending_exception *pe)
Linus Torvalds1da177e2005-04-16 15:20:36 -07001584{
1585 struct dm_snapshot *s = pe->snap;
Heinz Mauelshagen22a1ceb2008-04-24 21:43:17 +01001586 struct dm_io_region src, dest;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001587 struct block_device *bdev = s->origin->bdev;
1588 sector_t dev_size;
1589
1590 dev_size = get_dev_size(bdev);
1591
1592 src.bdev = bdev;
Jonathan Brassow71fab002009-04-02 19:55:33 +01001593 src.sector = chunk_to_sector(s->store, pe->e.old_chunk);
Mikulas Patockadf96eee2009-10-16 23:18:17 +01001594 src.count = min((sector_t)s->store->chunk_size, dev_size - src.sector);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001595
Mike Snitzerfc56f6f2009-12-10 23:52:12 +00001596 dest.bdev = s->cow->bdev;
Jonathan Brassow71fab002009-04-02 19:55:33 +01001597 dest.sector = chunk_to_sector(s->store, pe->e.new_chunk);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001598 dest.count = src.count;
1599
1600 /* Hand over to kcopyd */
Jonathan Brassowa2d2b032011-08-02 12:32:03 +01001601 dm_kcopyd_copy(s->kcopyd_client, &src, 1, &dest, 0, copy_callback, pe);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001602}
1603
Christoph Hellwig4246a0b2015-07-20 15:29:37 +02001604static void full_bio_end_io(struct bio *bio)
Mikulas Patockaa6e50b42011-08-02 12:32:04 +01001605{
1606 void *callback_data = bio->bi_private;
1607
Christoph Hellwig4e4cbee2017-06-03 09:38:06 +02001608 dm_kcopyd_do_callback(callback_data, 0, bio->bi_status ? 1 : 0);
Mikulas Patockaa6e50b42011-08-02 12:32:04 +01001609}
1610
1611static void start_full_bio(struct dm_snap_pending_exception *pe,
1612 struct bio *bio)
1613{
1614 struct dm_snapshot *s = pe->snap;
1615 void *callback_data;
1616
1617 pe->full_bio = bio;
1618 pe->full_bio_end_io = bio->bi_end_io;
Mikulas Patockaa6e50b42011-08-02 12:32:04 +01001619
1620 callback_data = dm_kcopyd_prepare_callback(s->kcopyd_client,
1621 copy_callback, pe);
1622
1623 bio->bi_end_io = full_bio_end_io;
1624 bio->bi_private = callback_data;
1625
1626 generic_make_request(bio);
1627}
1628
Mikulas Patocka29138082009-04-02 19:55:25 +01001629static struct dm_snap_pending_exception *
1630__lookup_pending_exception(struct dm_snapshot *s, chunk_t chunk)
1631{
Jon Brassow3510cb92009-12-10 23:52:11 +00001632 struct dm_exception *e = dm_lookup_exception(&s->pending, chunk);
Mikulas Patocka29138082009-04-02 19:55:25 +01001633
1634 if (!e)
1635 return NULL;
1636
1637 return container_of(e, struct dm_snap_pending_exception, e);
1638}
1639
Linus Torvalds1da177e2005-04-16 15:20:36 -07001640/*
1641 * Looks to see if this snapshot already has a pending exception
1642 * for this chunk, otherwise it allocates a new one and inserts
1643 * it into the pending table.
1644 *
1645 * NOTE: a write lock must be held on snap->lock before calling
1646 * this.
1647 */
Alasdair G Kergon028867a2007-07-12 17:26:32 +01001648static struct dm_snap_pending_exception *
Mikulas Patockac6621392009-04-02 19:55:25 +01001649__find_pending_exception(struct dm_snapshot *s,
1650 struct dm_snap_pending_exception *pe, chunk_t chunk)
Linus Torvalds1da177e2005-04-16 15:20:36 -07001651{
Mikulas Patockac6621392009-04-02 19:55:25 +01001652 struct dm_snap_pending_exception *pe2;
Alasdair G Kergon76df1c62006-03-27 01:17:45 -08001653
Mikulas Patocka29138082009-04-02 19:55:25 +01001654 pe2 = __lookup_pending_exception(s, chunk);
1655 if (pe2) {
Alasdair G Kergon76df1c62006-03-27 01:17:45 -08001656 free_pending_exception(pe);
Mikulas Patocka29138082009-04-02 19:55:25 +01001657 return pe2;
Alasdair G Kergon76df1c62006-03-27 01:17:45 -08001658 }
1659
1660 pe->e.old_chunk = chunk;
1661 bio_list_init(&pe->origin_bios);
1662 bio_list_init(&pe->snapshot_bios);
Alasdair G Kergon76df1c62006-03-27 01:17:45 -08001663 pe->started = 0;
Mikulas Patockaa6e50b42011-08-02 12:32:04 +01001664 pe->full_bio = NULL;
Alasdair G Kergon76df1c62006-03-27 01:17:45 -08001665
Jonathan Brassow493df712009-04-02 19:55:31 +01001666 if (s->store->type->prepare_exception(s->store, &pe->e)) {
Alasdair G Kergon76df1c62006-03-27 01:17:45 -08001667 free_pending_exception(pe);
1668 return NULL;
1669 }
1670
Mikulas Patocka230c83a2013-11-29 18:13:37 -05001671 pe->exception_sequence = s->exception_start_sequence++;
1672
Jon Brassow3510cb92009-12-10 23:52:11 +00001673 dm_insert_exception(&s->pending, &pe->e);
Alasdair G Kergon76df1c62006-03-27 01:17:45 -08001674
Linus Torvalds1da177e2005-04-16 15:20:36 -07001675 return pe;
1676}
1677
Jon Brassow1d4989c2009-12-10 23:52:10 +00001678static void remap_exception(struct dm_snapshot *s, struct dm_exception *e,
Milan Brozd74f81f2008-02-08 02:11:27 +00001679 struct bio *bio, chunk_t chunk)
Linus Torvalds1da177e2005-04-16 15:20:36 -07001680{
Christoph Hellwig74d46992017-08-23 19:10:32 +02001681 bio_set_dev(bio, s->cow->bdev);
Kent Overstreet4f024f32013-10-11 15:44:27 -07001682 bio->bi_iter.bi_sector =
1683 chunk_to_sector(s->store, dm_chunk_number(e->new_chunk) +
1684 (chunk - e->old_chunk)) +
1685 (bio->bi_iter.bi_sector & s->store->chunk_mask);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001686}
1687
Mikulas Patocka7de3ee52012-12-21 20:23:41 +00001688static int snapshot_map(struct dm_target *ti, struct bio *bio)
Linus Torvalds1da177e2005-04-16 15:20:36 -07001689{
Jon Brassow1d4989c2009-12-10 23:52:10 +00001690 struct dm_exception *e;
Alasdair G Kergon028867a2007-07-12 17:26:32 +01001691 struct dm_snapshot *s = ti->private;
Kiyoshi Uedad2a7ad22006-12-08 02:41:06 -08001692 int r = DM_MAPIO_REMAPPED;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001693 chunk_t chunk;
Alasdair G Kergon028867a2007-07-12 17:26:32 +01001694 struct dm_snap_pending_exception *pe = NULL;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001695
Mikulas Patockaee180262012-12-21 20:23:41 +00001696 init_tracked_chunk(bio);
1697
Jens Axboe1eff9d32016-08-05 15:35:16 -06001698 if (bio->bi_opf & REQ_PREFLUSH) {
Christoph Hellwig74d46992017-08-23 19:10:32 +02001699 bio_set_dev(bio, s->cow->bdev);
Mikulas Patocka494b3ee2009-06-22 10:12:25 +01001700 return DM_MAPIO_REMAPPED;
1701 }
1702
Kent Overstreet4f024f32013-10-11 15:44:27 -07001703 chunk = sector_to_chunk(s->store, bio->bi_iter.bi_sector);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001704
1705 /* Full snapshots are not usable */
Alasdair G Kergon76df1c62006-03-27 01:17:45 -08001706 /* To get here the table must be live so s->active is always set. */
Linus Torvalds1da177e2005-04-16 15:20:36 -07001707 if (!s->valid)
Christoph Hellwig846785e2017-06-03 09:38:02 +02001708 return DM_MAPIO_KILL;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001709
Alasdair G Kergonba40a2a2006-10-03 01:15:28 -07001710 /* FIXME: should only take write lock if we need
1711 * to copy an exception */
Mikulas Patockaae1093b2017-11-23 16:15:43 -05001712 mutex_lock(&s->lock);
Alasdair G Kergonba40a2a2006-10-03 01:15:28 -07001713
Christoph Hellwig70246282016-07-19 11:28:41 +02001714 if (!s->valid || (unlikely(s->snapshot_overflowed) &&
1715 bio_data_dir(bio) == WRITE)) {
Christoph Hellwig846785e2017-06-03 09:38:02 +02001716 r = DM_MAPIO_KILL;
Alasdair G Kergonba40a2a2006-10-03 01:15:28 -07001717 goto out_unlock;
1718 }
1719
1720 /* If the block is already remapped - use that, else remap it */
Jon Brassow3510cb92009-12-10 23:52:11 +00001721 e = dm_lookup_exception(&s->complete, chunk);
Alasdair G Kergonba40a2a2006-10-03 01:15:28 -07001722 if (e) {
Milan Brozd74f81f2008-02-08 02:11:27 +00001723 remap_exception(s, e, bio, chunk);
Alasdair G Kergonba40a2a2006-10-03 01:15:28 -07001724 goto out_unlock;
1725 }
1726
Linus Torvalds1da177e2005-04-16 15:20:36 -07001727 /*
1728 * Write to snapshot - higher level takes care of RW/RO
1729 * flags so we should only get this if we are
1730 * writeable.
1731 */
Christoph Hellwig70246282016-07-19 11:28:41 +02001732 if (bio_data_dir(bio) == WRITE) {
Mikulas Patocka29138082009-04-02 19:55:25 +01001733 pe = __lookup_pending_exception(s, chunk);
Alasdair G Kergon76df1c62006-03-27 01:17:45 -08001734 if (!pe) {
Mikulas Patockaae1093b2017-11-23 16:15:43 -05001735 mutex_unlock(&s->lock);
Mikulas Patockac6621392009-04-02 19:55:25 +01001736 pe = alloc_pending_exception(s);
Mikulas Patockaae1093b2017-11-23 16:15:43 -05001737 mutex_lock(&s->lock);
Mikulas Patockac6621392009-04-02 19:55:25 +01001738
Mikulas Patocka76c44f62015-06-21 16:31:33 -04001739 if (!s->valid || s->snapshot_overflowed) {
Mikulas Patockac6621392009-04-02 19:55:25 +01001740 free_pending_exception(pe);
Christoph Hellwig846785e2017-06-03 09:38:02 +02001741 r = DM_MAPIO_KILL;
Mikulas Patockac6621392009-04-02 19:55:25 +01001742 goto out_unlock;
1743 }
1744
Jon Brassow3510cb92009-12-10 23:52:11 +00001745 e = dm_lookup_exception(&s->complete, chunk);
Mikulas Patocka35bf6592009-04-02 19:55:26 +01001746 if (e) {
1747 free_pending_exception(pe);
1748 remap_exception(s, e, bio, chunk);
1749 goto out_unlock;
1750 }
1751
Mikulas Patockac6621392009-04-02 19:55:25 +01001752 pe = __find_pending_exception(s, pe, chunk);
Mikulas Patocka29138082009-04-02 19:55:25 +01001753 if (!pe) {
Mike Snitzerb0d3cc02015-10-08 18:05:41 -04001754 if (s->store->userspace_supports_overflow) {
1755 s->snapshot_overflowed = 1;
1756 DMERR("Snapshot overflowed: Unable to allocate exception.");
1757 } else
1758 __invalidate_snapshot(s, -ENOMEM);
Christoph Hellwig846785e2017-06-03 09:38:02 +02001759 r = DM_MAPIO_KILL;
Mikulas Patocka29138082009-04-02 19:55:25 +01001760 goto out_unlock;
1761 }
Alasdair G Kergon76df1c62006-03-27 01:17:45 -08001762 }
1763
Milan Brozd74f81f2008-02-08 02:11:27 +00001764 remap_exception(s, &pe->e, bio, chunk);
Alasdair G Kergon76df1c62006-03-27 01:17:45 -08001765
Kiyoshi Uedad2a7ad22006-12-08 02:41:06 -08001766 r = DM_MAPIO_SUBMITTED;
Alasdair G Kergonba40a2a2006-10-03 01:15:28 -07001767
Mikulas Patockaa6e50b42011-08-02 12:32:04 +01001768 if (!pe->started &&
Kent Overstreet4f024f32013-10-11 15:44:27 -07001769 bio->bi_iter.bi_size ==
1770 (s->store->chunk_size << SECTOR_SHIFT)) {
Mikulas Patockaa6e50b42011-08-02 12:32:04 +01001771 pe->started = 1;
Mikulas Patockaae1093b2017-11-23 16:15:43 -05001772 mutex_unlock(&s->lock);
Mikulas Patockaa6e50b42011-08-02 12:32:04 +01001773 start_full_bio(pe, bio);
1774 goto out;
1775 }
1776
1777 bio_list_add(&pe->snapshot_bios, bio);
1778
Alasdair G Kergon76df1c62006-03-27 01:17:45 -08001779 if (!pe->started) {
1780 /* this is protected by snap->lock */
1781 pe->started = 1;
Mikulas Patockaae1093b2017-11-23 16:15:43 -05001782 mutex_unlock(&s->lock);
Alasdair G Kergon76df1c62006-03-27 01:17:45 -08001783 start_copy(pe);
Alasdair G Kergonba40a2a2006-10-03 01:15:28 -07001784 goto out;
1785 }
Mikulas Patockacd45daf2008-07-21 12:00:32 +01001786 } else {
Christoph Hellwig74d46992017-08-23 19:10:32 +02001787 bio_set_dev(bio, s->origin->bdev);
Mikulas Patockaee180262012-12-21 20:23:41 +00001788 track_chunk(s, bio, chunk);
Mikulas Patockacd45daf2008-07-21 12:00:32 +01001789 }
Linus Torvalds1da177e2005-04-16 15:20:36 -07001790
Jonathan Brassowa2d2b032011-08-02 12:32:03 +01001791out_unlock:
Mikulas Patockaae1093b2017-11-23 16:15:43 -05001792 mutex_unlock(&s->lock);
Jonathan Brassowa2d2b032011-08-02 12:32:03 +01001793out:
Linus Torvalds1da177e2005-04-16 15:20:36 -07001794 return r;
1795}
1796
Mikulas Patocka3452c2a2009-12-10 23:52:31 +00001797/*
1798 * A snapshot-merge target behaves like a combination of a snapshot
1799 * target and a snapshot-origin target. It only generates new
1800 * exceptions in other snapshots and not in the one that is being
1801 * merged.
1802 *
1803 * For each chunk, if there is an existing exception, it is used to
1804 * redirect I/O to the cow device. Otherwise I/O is sent to the origin,
1805 * which in turn might generate exceptions in other snapshots.
Mikulas Patocka9fe862542009-12-10 23:52:33 +00001806 * If merging is currently taking place on the chunk in question, the
1807 * I/O is deferred by adding it to s->bios_queued_during_merge.
Mikulas Patocka3452c2a2009-12-10 23:52:31 +00001808 */
Mikulas Patocka7de3ee52012-12-21 20:23:41 +00001809static int snapshot_merge_map(struct dm_target *ti, struct bio *bio)
Mikulas Patocka3452c2a2009-12-10 23:52:31 +00001810{
1811 struct dm_exception *e;
1812 struct dm_snapshot *s = ti->private;
1813 int r = DM_MAPIO_REMAPPED;
1814 chunk_t chunk;
1815
Mikulas Patockaee180262012-12-21 20:23:41 +00001816 init_tracked_chunk(bio);
1817
Jens Axboe1eff9d32016-08-05 15:35:16 -06001818 if (bio->bi_opf & REQ_PREFLUSH) {
Alasdair G Kergon55a62ee2013-03-01 22:45:47 +00001819 if (!dm_bio_get_target_bio_nr(bio))
Christoph Hellwig74d46992017-08-23 19:10:32 +02001820 bio_set_dev(bio, s->origin->bdev);
Mike Snitzer10b81062009-12-10 23:52:31 +00001821 else
Christoph Hellwig74d46992017-08-23 19:10:32 +02001822 bio_set_dev(bio, s->cow->bdev);
Mike Snitzer10b81062009-12-10 23:52:31 +00001823 return DM_MAPIO_REMAPPED;
1824 }
1825
Kent Overstreet4f024f32013-10-11 15:44:27 -07001826 chunk = sector_to_chunk(s->store, bio->bi_iter.bi_sector);
Mikulas Patocka3452c2a2009-12-10 23:52:31 +00001827
Mikulas Patockaae1093b2017-11-23 16:15:43 -05001828 mutex_lock(&s->lock);
Mikulas Patocka3452c2a2009-12-10 23:52:31 +00001829
Mikulas Patockad2fdb772009-12-10 23:52:36 +00001830 /* Full merging snapshots are redirected to the origin */
1831 if (!s->valid)
1832 goto redirect_to_origin;
Mikulas Patocka3452c2a2009-12-10 23:52:31 +00001833
1834 /* If the block is already remapped - use that */
1835 e = dm_lookup_exception(&s->complete, chunk);
1836 if (e) {
Mikulas Patocka9fe862542009-12-10 23:52:33 +00001837 /* Queue writes overlapping with chunks being merged */
Christoph Hellwig70246282016-07-19 11:28:41 +02001838 if (bio_data_dir(bio) == WRITE &&
Mikulas Patocka9fe862542009-12-10 23:52:33 +00001839 chunk >= s->first_merging_chunk &&
1840 chunk < (s->first_merging_chunk +
1841 s->num_merging_chunks)) {
Christoph Hellwig74d46992017-08-23 19:10:32 +02001842 bio_set_dev(bio, s->origin->bdev);
Mikulas Patocka9fe862542009-12-10 23:52:33 +00001843 bio_list_add(&s->bios_queued_during_merge, bio);
1844 r = DM_MAPIO_SUBMITTED;
1845 goto out_unlock;
1846 }
Mikulas Patocka17aa0332009-12-10 23:52:33 +00001847
Mikulas Patocka3452c2a2009-12-10 23:52:31 +00001848 remap_exception(s, e, bio, chunk);
Mikulas Patocka17aa0332009-12-10 23:52:33 +00001849
Christoph Hellwig70246282016-07-19 11:28:41 +02001850 if (bio_data_dir(bio) == WRITE)
Mikulas Patockaee180262012-12-21 20:23:41 +00001851 track_chunk(s, bio, chunk);
Mikulas Patocka3452c2a2009-12-10 23:52:31 +00001852 goto out_unlock;
1853 }
1854
Mikulas Patockad2fdb772009-12-10 23:52:36 +00001855redirect_to_origin:
Christoph Hellwig74d46992017-08-23 19:10:32 +02001856 bio_set_dev(bio, s->origin->bdev);
Mikulas Patocka3452c2a2009-12-10 23:52:31 +00001857
Christoph Hellwig70246282016-07-19 11:28:41 +02001858 if (bio_data_dir(bio) == WRITE) {
Mikulas Patockaae1093b2017-11-23 16:15:43 -05001859 mutex_unlock(&s->lock);
Mikulas Patocka3452c2a2009-12-10 23:52:31 +00001860 return do_origin(s->origin, bio);
1861 }
1862
1863out_unlock:
Mikulas Patockaae1093b2017-11-23 16:15:43 -05001864 mutex_unlock(&s->lock);
Mikulas Patocka3452c2a2009-12-10 23:52:31 +00001865
1866 return r;
1867}
1868
Christoph Hellwig4e4cbee2017-06-03 09:38:06 +02001869static int snapshot_end_io(struct dm_target *ti, struct bio *bio,
1870 blk_status_t *error)
Mikulas Patockacd45daf2008-07-21 12:00:32 +01001871{
1872 struct dm_snapshot *s = ti->private;
Mikulas Patockacd45daf2008-07-21 12:00:32 +01001873
Mikulas Patockaee180262012-12-21 20:23:41 +00001874 if (is_bio_tracked(bio))
1875 stop_tracking_chunk(s, bio);
Mikulas Patockacd45daf2008-07-21 12:00:32 +01001876
Christoph Hellwig1be56902017-06-03 09:38:03 +02001877 return DM_ENDIO_DONE;
Mikulas Patockacd45daf2008-07-21 12:00:32 +01001878}
1879
Mikulas Patocka1e03f972009-12-10 23:52:32 +00001880static void snapshot_merge_presuspend(struct dm_target *ti)
1881{
1882 struct dm_snapshot *s = ti->private;
1883
1884 stop_merge(s);
1885}
1886
Mike Snitzerc1f0c182009-12-10 23:52:24 +00001887static int snapshot_preresume(struct dm_target *ti)
1888{
1889 int r = 0;
1890 struct dm_snapshot *s = ti->private;
1891 struct dm_snapshot *snap_src = NULL, *snap_dest = NULL;
1892
1893 down_read(&_origins_lock);
Mikulas Patocka9d3b15c2009-12-10 23:52:32 +00001894 (void) __find_snapshots_sharing_cow(s, &snap_src, &snap_dest, NULL);
Mike Snitzerc1f0c182009-12-10 23:52:24 +00001895 if (snap_src && snap_dest) {
Mikulas Patockaae1093b2017-11-23 16:15:43 -05001896 mutex_lock(&snap_src->lock);
Mike Snitzerc1f0c182009-12-10 23:52:24 +00001897 if (s == snap_src) {
1898 DMERR("Unable to resume snapshot source until "
1899 "handover completes.");
1900 r = -EINVAL;
Mike Snitzerb83b2f22011-01-13 19:59:59 +00001901 } else if (!dm_suspended(snap_src->ti)) {
Mike Snitzerc1f0c182009-12-10 23:52:24 +00001902 DMERR("Unable to perform snapshot handover until "
1903 "source is suspended.");
1904 r = -EINVAL;
1905 }
Mikulas Patockaae1093b2017-11-23 16:15:43 -05001906 mutex_unlock(&snap_src->lock);
Mike Snitzerc1f0c182009-12-10 23:52:24 +00001907 }
1908 up_read(&_origins_lock);
1909
1910 return r;
1911}
1912
Linus Torvalds1da177e2005-04-16 15:20:36 -07001913static void snapshot_resume(struct dm_target *ti)
1914{
Alasdair G Kergon028867a2007-07-12 17:26:32 +01001915 struct dm_snapshot *s = ti->private;
Mikulas Patocka09ee96b2015-02-26 11:41:28 -05001916 struct dm_snapshot *snap_src = NULL, *snap_dest = NULL, *snap_merging = NULL;
Mikulas Patockab735fed2015-02-26 11:40:35 -05001917 struct dm_origin *o;
1918 struct mapped_device *origin_md = NULL;
Mikulas Patocka09ee96b2015-02-26 11:41:28 -05001919 bool must_restart_merging = false;
Mike Snitzerc1f0c182009-12-10 23:52:24 +00001920
1921 down_read(&_origins_lock);
Mikulas Patockab735fed2015-02-26 11:40:35 -05001922
1923 o = __lookup_dm_origin(s->origin->bdev);
1924 if (o)
1925 origin_md = dm_table_get_md(o->ti->table);
Mikulas Patocka09ee96b2015-02-26 11:41:28 -05001926 if (!origin_md) {
1927 (void) __find_snapshots_sharing_cow(s, NULL, NULL, &snap_merging);
1928 if (snap_merging)
1929 origin_md = dm_table_get_md(snap_merging->ti->table);
1930 }
Mikulas Patockab735fed2015-02-26 11:40:35 -05001931 if (origin_md == dm_table_get_md(ti->table))
1932 origin_md = NULL;
Mikulas Patocka09ee96b2015-02-26 11:41:28 -05001933 if (origin_md) {
1934 if (dm_hold(origin_md))
1935 origin_md = NULL;
1936 }
Mikulas Patockab735fed2015-02-26 11:40:35 -05001937
Mikulas Patocka09ee96b2015-02-26 11:41:28 -05001938 up_read(&_origins_lock);
1939
1940 if (origin_md) {
Mikulas Patockab735fed2015-02-26 11:40:35 -05001941 dm_internal_suspend_fast(origin_md);
Mikulas Patocka09ee96b2015-02-26 11:41:28 -05001942 if (snap_merging && test_bit(RUNNING_MERGE, &snap_merging->state_bits)) {
1943 must_restart_merging = true;
1944 stop_merge(snap_merging);
1945 }
1946 }
1947
1948 down_read(&_origins_lock);
Mikulas Patockab735fed2015-02-26 11:40:35 -05001949
Mikulas Patocka9d3b15c2009-12-10 23:52:32 +00001950 (void) __find_snapshots_sharing_cow(s, &snap_src, &snap_dest, NULL);
Mike Snitzerc1f0c182009-12-10 23:52:24 +00001951 if (snap_src && snap_dest) {
Mikulas Patockaae1093b2017-11-23 16:15:43 -05001952 mutex_lock(&snap_src->lock);
1953 mutex_lock_nested(&snap_dest->lock, SINGLE_DEPTH_NESTING);
Mike Snitzerc1f0c182009-12-10 23:52:24 +00001954 __handover_exceptions(snap_src, snap_dest);
Mikulas Patockaae1093b2017-11-23 16:15:43 -05001955 mutex_unlock(&snap_dest->lock);
1956 mutex_unlock(&snap_src->lock);
Mike Snitzerc1f0c182009-12-10 23:52:24 +00001957 }
Mikulas Patockab735fed2015-02-26 11:40:35 -05001958
Mike Snitzerc1f0c182009-12-10 23:52:24 +00001959 up_read(&_origins_lock);
1960
Mikulas Patocka09ee96b2015-02-26 11:41:28 -05001961 if (origin_md) {
1962 if (must_restart_merging)
1963 start_merge(snap_merging);
1964 dm_internal_resume_fast(origin_md);
1965 dm_put(origin_md);
1966 }
1967
Mike Snitzerc1f0c182009-12-10 23:52:24 +00001968 /* Now we have correct chunk size, reregister */
1969 reregister_snapshot(s);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001970
Mikulas Patockaae1093b2017-11-23 16:15:43 -05001971 mutex_lock(&s->lock);
Alasdair G Kergonaa14ede2006-02-01 03:04:50 -08001972 s->active = 1;
Mikulas Patockaae1093b2017-11-23 16:15:43 -05001973 mutex_unlock(&s->lock);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001974}
1975
Mike Snitzer542f9032012-07-27 15:08:00 +01001976static uint32_t get_origin_minimum_chunksize(struct block_device *bdev)
Mikulas Patocka1e03f972009-12-10 23:52:32 +00001977{
Mike Snitzer542f9032012-07-27 15:08:00 +01001978 uint32_t min_chunksize;
Mikulas Patocka1e03f972009-12-10 23:52:32 +00001979
1980 down_read(&_origins_lock);
1981 min_chunksize = __minimum_chunk_size(__lookup_origin(bdev));
1982 up_read(&_origins_lock);
1983
1984 return min_chunksize;
1985}
1986
1987static void snapshot_merge_resume(struct dm_target *ti)
1988{
1989 struct dm_snapshot *s = ti->private;
1990
1991 /*
1992 * Handover exceptions from existing snapshot.
1993 */
1994 snapshot_resume(ti);
1995
1996 /*
Mike Snitzer542f9032012-07-27 15:08:00 +01001997 * snapshot-merge acts as an origin, so set ti->max_io_len
Mikulas Patocka1e03f972009-12-10 23:52:32 +00001998 */
Mike Snitzer542f9032012-07-27 15:08:00 +01001999 ti->max_io_len = get_origin_minimum_chunksize(s->origin->bdev);
Mikulas Patocka1e03f972009-12-10 23:52:32 +00002000
2001 start_merge(s);
2002}
2003
Mikulas Patockafd7c0922013-03-01 22:45:44 +00002004static void snapshot_status(struct dm_target *ti, status_type_t type,
2005 unsigned status_flags, char *result, unsigned maxlen)
Linus Torvalds1da177e2005-04-16 15:20:36 -07002006{
Jonathan Brassow2e4a31d2009-04-02 19:55:34 +01002007 unsigned sz = 0;
Alasdair G Kergon028867a2007-07-12 17:26:32 +01002008 struct dm_snapshot *snap = ti->private;
Linus Torvalds1da177e2005-04-16 15:20:36 -07002009
2010 switch (type) {
2011 case STATUSTYPE_INFO:
Mikulas Patocka94e765722009-12-10 23:51:53 +00002012
Mikulas Patockaae1093b2017-11-23 16:15:43 -05002013 mutex_lock(&snap->lock);
Mikulas Patocka94e765722009-12-10 23:51:53 +00002014
Linus Torvalds1da177e2005-04-16 15:20:36 -07002015 if (!snap->valid)
Jonathan Brassow2e4a31d2009-04-02 19:55:34 +01002016 DMEMIT("Invalid");
Mike Snitzerd8ddb1c2009-12-10 23:52:35 +00002017 else if (snap->merge_failed)
2018 DMEMIT("Merge failed");
Mikulas Patocka76c44f62015-06-21 16:31:33 -04002019 else if (snap->snapshot_overflowed)
2020 DMEMIT("Overflow");
Linus Torvalds1da177e2005-04-16 15:20:36 -07002021 else {
Mike Snitzer985903b2009-12-10 23:52:11 +00002022 if (snap->store->type->usage) {
2023 sector_t total_sectors, sectors_allocated,
2024 metadata_sectors;
2025 snap->store->type->usage(snap->store,
2026 &total_sectors,
2027 &sectors_allocated,
2028 &metadata_sectors);
2029 DMEMIT("%llu/%llu %llu",
2030 (unsigned long long)sectors_allocated,
2031 (unsigned long long)total_sectors,
2032 (unsigned long long)metadata_sectors);
Linus Torvalds1da177e2005-04-16 15:20:36 -07002033 }
2034 else
Jonathan Brassow2e4a31d2009-04-02 19:55:34 +01002035 DMEMIT("Unknown");
Linus Torvalds1da177e2005-04-16 15:20:36 -07002036 }
Mikulas Patocka94e765722009-12-10 23:51:53 +00002037
Mikulas Patockaae1093b2017-11-23 16:15:43 -05002038 mutex_unlock(&snap->lock);
Mikulas Patocka94e765722009-12-10 23:51:53 +00002039
Linus Torvalds1da177e2005-04-16 15:20:36 -07002040 break;
2041
2042 case STATUSTYPE_TABLE:
2043 /*
2044 * kdevname returns a static pointer so we need
2045 * to make private copies if the output is to
2046 * make sense.
2047 */
Mike Snitzerfc56f6f2009-12-10 23:52:12 +00002048 DMEMIT("%s %s", snap->origin->name, snap->cow->name);
Jonathan Brassow1e302a92009-04-02 19:55:35 +01002049 snap->store->type->status(snap->store, type, result + sz,
2050 maxlen - sz);
Linus Torvalds1da177e2005-04-16 15:20:36 -07002051 break;
2052 }
Linus Torvalds1da177e2005-04-16 15:20:36 -07002053}
2054
Mike Snitzer8811f462009-09-04 20:40:19 +01002055static int snapshot_iterate_devices(struct dm_target *ti,
2056 iterate_devices_callout_fn fn, void *data)
2057{
2058 struct dm_snapshot *snap = ti->private;
Mikulas Patocka1e5554c2010-08-12 04:13:50 +01002059 int r;
Mike Snitzer8811f462009-09-04 20:40:19 +01002060
Mikulas Patocka1e5554c2010-08-12 04:13:50 +01002061 r = fn(ti, snap->origin, 0, ti->len, data);
2062
2063 if (!r)
2064 r = fn(ti, snap->cow, 0, get_dev_size(snap->cow->bdev), data);
2065
2066 return r;
Mike Snitzer8811f462009-09-04 20:40:19 +01002067}
2068
2069
Linus Torvalds1da177e2005-04-16 15:20:36 -07002070/*-----------------------------------------------------------------
2071 * Origin methods
2072 *---------------------------------------------------------------*/
Mikulas Patocka9eaae8f2009-12-10 23:52:28 +00002073
2074/*
2075 * If no exceptions need creating, DM_MAPIO_REMAPPED is returned and any
2076 * supplied bio was ignored. The caller may submit it immediately.
2077 * (No remapping actually occurs as the origin is always a direct linear
2078 * map.)
2079 *
2080 * If further exceptions are required, DM_MAPIO_SUBMITTED is returned
2081 * and any supplied bio is added to a list to be submitted once all
2082 * the necessary exceptions exist.
2083 */
2084static int __origin_write(struct list_head *snapshots, sector_t sector,
2085 struct bio *bio)
Linus Torvalds1da177e2005-04-16 15:20:36 -07002086{
Mikulas Patocka515ad662009-12-10 23:52:30 +00002087 int r = DM_MAPIO_REMAPPED;
Linus Torvalds1da177e2005-04-16 15:20:36 -07002088 struct dm_snapshot *snap;
Jon Brassow1d4989c2009-12-10 23:52:10 +00002089 struct dm_exception *e;
Mikulas Patocka515ad662009-12-10 23:52:30 +00002090 struct dm_snap_pending_exception *pe;
2091 struct dm_snap_pending_exception *pe_to_start_now = NULL;
2092 struct dm_snap_pending_exception *pe_to_start_last = NULL;
Linus Torvalds1da177e2005-04-16 15:20:36 -07002093 chunk_t chunk;
2094
2095 /* Do all the snapshots on this origin */
2096 list_for_each_entry (snap, snapshots, list) {
Mikulas Patocka3452c2a2009-12-10 23:52:31 +00002097 /*
2098 * Don't make new exceptions in a merging snapshot
2099 * because it has effectively been deleted
2100 */
2101 if (dm_target_is_snapshot_merge(snap->ti))
2102 continue;
2103
Mikulas Patockaae1093b2017-11-23 16:15:43 -05002104 mutex_lock(&snap->lock);
Alasdair G Kergon76df1c62006-03-27 01:17:45 -08002105
Alasdair G Kergonaa14ede2006-02-01 03:04:50 -08002106 /* Only deal with valid and active snapshots */
2107 if (!snap->valid || !snap->active)
Alasdair G Kergon76df1c62006-03-27 01:17:45 -08002108 goto next_snapshot;
Linus Torvalds1da177e2005-04-16 15:20:36 -07002109
Alasdair G Kergond5e404c2005-07-12 15:53:05 -07002110 /* Nothing to do if writing beyond end of snapshot */
Mikulas Patocka9eaae8f2009-12-10 23:52:28 +00002111 if (sector >= dm_table_get_size(snap->ti->table))
Alasdair G Kergon76df1c62006-03-27 01:17:45 -08002112 goto next_snapshot;
Linus Torvalds1da177e2005-04-16 15:20:36 -07002113
2114 /*
2115 * Remember, different snapshots can have
2116 * different chunk sizes.
2117 */
Mikulas Patocka9eaae8f2009-12-10 23:52:28 +00002118 chunk = sector_to_chunk(snap->store, sector);
Linus Torvalds1da177e2005-04-16 15:20:36 -07002119
2120 /*
2121 * Check exception table to see if block
2122 * is already remapped in this snapshot
2123 * and trigger an exception if not.
2124 */
Jon Brassow3510cb92009-12-10 23:52:11 +00002125 e = dm_lookup_exception(&snap->complete, chunk);
Alasdair G Kergon76df1c62006-03-27 01:17:45 -08002126 if (e)
2127 goto next_snapshot;
Linus Torvalds1da177e2005-04-16 15:20:36 -07002128
Mikulas Patocka29138082009-04-02 19:55:25 +01002129 pe = __lookup_pending_exception(snap, chunk);
Alasdair G Kergon76df1c62006-03-27 01:17:45 -08002130 if (!pe) {
Mikulas Patockaae1093b2017-11-23 16:15:43 -05002131 mutex_unlock(&snap->lock);
Mikulas Patockac6621392009-04-02 19:55:25 +01002132 pe = alloc_pending_exception(snap);
Mikulas Patockaae1093b2017-11-23 16:15:43 -05002133 mutex_lock(&snap->lock);
Mikulas Patockac6621392009-04-02 19:55:25 +01002134
2135 if (!snap->valid) {
2136 free_pending_exception(pe);
2137 goto next_snapshot;
2138 }
2139
Jon Brassow3510cb92009-12-10 23:52:11 +00002140 e = dm_lookup_exception(&snap->complete, chunk);
Mikulas Patocka35bf6592009-04-02 19:55:26 +01002141 if (e) {
2142 free_pending_exception(pe);
2143 goto next_snapshot;
2144 }
2145
Mikulas Patockac6621392009-04-02 19:55:25 +01002146 pe = __find_pending_exception(snap, pe, chunk);
Mikulas Patocka29138082009-04-02 19:55:25 +01002147 if (!pe) {
2148 __invalidate_snapshot(snap, -ENOMEM);
2149 goto next_snapshot;
2150 }
Linus Torvalds1da177e2005-04-16 15:20:36 -07002151 }
2152
Mikulas Patocka515ad662009-12-10 23:52:30 +00002153 r = DM_MAPIO_SUBMITTED;
2154
2155 /*
2156 * If an origin bio was supplied, queue it to wait for the
2157 * completion of this exception, and start this one last,
2158 * at the end of the function.
2159 */
2160 if (bio) {
2161 bio_list_add(&pe->origin_bios, bio);
2162 bio = NULL;
2163
2164 if (!pe->started) {
2165 pe->started = 1;
2166 pe_to_start_last = pe;
Alasdair G Kergon76df1c62006-03-27 01:17:45 -08002167 }
Alasdair G Kergon76df1c62006-03-27 01:17:45 -08002168 }
2169
2170 if (!pe->started) {
2171 pe->started = 1;
Mikulas Patocka515ad662009-12-10 23:52:30 +00002172 pe_to_start_now = pe;
Alasdair G Kergon76df1c62006-03-27 01:17:45 -08002173 }
2174
Jonathan Brassowa2d2b032011-08-02 12:32:03 +01002175next_snapshot:
Mikulas Patockaae1093b2017-11-23 16:15:43 -05002176 mutex_unlock(&snap->lock);
Linus Torvalds1da177e2005-04-16 15:20:36 -07002177
Mikulas Patocka515ad662009-12-10 23:52:30 +00002178 if (pe_to_start_now) {
2179 start_copy(pe_to_start_now);
2180 pe_to_start_now = NULL;
2181 }
Alasdair G Kergonb4b610f2006-03-27 01:17:44 -08002182 }
2183
Linus Torvalds1da177e2005-04-16 15:20:36 -07002184 /*
Mikulas Patocka515ad662009-12-10 23:52:30 +00002185 * Submit the exception against which the bio is queued last,
2186 * to give the other exceptions a head start.
Linus Torvalds1da177e2005-04-16 15:20:36 -07002187 */
Mikulas Patocka515ad662009-12-10 23:52:30 +00002188 if (pe_to_start_last)
2189 start_copy(pe_to_start_last);
Linus Torvalds1da177e2005-04-16 15:20:36 -07002190
2191 return r;
2192}
2193
2194/*
2195 * Called on a write from the origin driver.
2196 */
2197static int do_origin(struct dm_dev *origin, struct bio *bio)
2198{
2199 struct origin *o;
Kiyoshi Uedad2a7ad22006-12-08 02:41:06 -08002200 int r = DM_MAPIO_REMAPPED;
Linus Torvalds1da177e2005-04-16 15:20:36 -07002201
2202 down_read(&_origins_lock);
2203 o = __lookup_origin(origin->bdev);
2204 if (o)
Kent Overstreet4f024f32013-10-11 15:44:27 -07002205 r = __origin_write(&o->snapshots, bio->bi_iter.bi_sector, bio);
Linus Torvalds1da177e2005-04-16 15:20:36 -07002206 up_read(&_origins_lock);
2207
2208 return r;
2209}
2210
2211/*
Mikulas Patocka73dfd072009-12-10 23:52:34 +00002212 * Trigger exceptions in all non-merging snapshots.
2213 *
2214 * The chunk size of the merging snapshot may be larger than the chunk
2215 * size of some other snapshot so we may need to reallocate multiple
2216 * chunks in other snapshots.
2217 *
2218 * We scan all the overlapping exceptions in the other snapshots.
2219 * Returns 1 if anything was reallocated and must be waited for,
2220 * otherwise returns 0.
2221 *
2222 * size must be a multiple of merging_snap's chunk_size.
2223 */
2224static int origin_write_extent(struct dm_snapshot *merging_snap,
2225 sector_t sector, unsigned size)
2226{
2227 int must_wait = 0;
2228 sector_t n;
2229 struct origin *o;
2230
2231 /*
Mike Snitzer542f9032012-07-27 15:08:00 +01002232 * The origin's __minimum_chunk_size() got stored in max_io_len
Mikulas Patocka73dfd072009-12-10 23:52:34 +00002233 * by snapshot_merge_resume().
2234 */
2235 down_read(&_origins_lock);
2236 o = __lookup_origin(merging_snap->origin->bdev);
Mike Snitzer542f9032012-07-27 15:08:00 +01002237 for (n = 0; n < size; n += merging_snap->ti->max_io_len)
Mikulas Patocka73dfd072009-12-10 23:52:34 +00002238 if (__origin_write(&o->snapshots, sector + n, NULL) ==
2239 DM_MAPIO_SUBMITTED)
2240 must_wait = 1;
2241 up_read(&_origins_lock);
2242
2243 return must_wait;
2244}
2245
2246/*
Linus Torvalds1da177e2005-04-16 15:20:36 -07002247 * Origin: maps a linear range of a device, with hooks for snapshotting.
2248 */
2249
2250/*
2251 * Construct an origin mapping: <dev_path>
2252 * The context for an origin is merely a 'struct dm_dev *'
2253 * pointing to the real device.
2254 */
2255static int origin_ctr(struct dm_target *ti, unsigned int argc, char **argv)
2256{
2257 int r;
Mikulas Patocka599cdf32014-03-14 18:42:12 -04002258 struct dm_origin *o;
Linus Torvalds1da177e2005-04-16 15:20:36 -07002259
2260 if (argc != 1) {
Alasdair G Kergon72d94862006-06-26 00:27:35 -07002261 ti->error = "origin: incorrect number of arguments";
Linus Torvalds1da177e2005-04-16 15:20:36 -07002262 return -EINVAL;
2263 }
2264
Mikulas Patocka599cdf32014-03-14 18:42:12 -04002265 o = kmalloc(sizeof(struct dm_origin), GFP_KERNEL);
2266 if (!o) {
2267 ti->error = "Cannot allocate private origin structure";
2268 r = -ENOMEM;
2269 goto bad_alloc;
Linus Torvalds1da177e2005-04-16 15:20:36 -07002270 }
2271
Mikulas Patocka599cdf32014-03-14 18:42:12 -04002272 r = dm_get_device(ti, argv[0], dm_table_get_mode(ti->table), &o->dev);
2273 if (r) {
2274 ti->error = "Cannot get target device";
2275 goto bad_open;
2276 }
2277
Mikulas Patockab735fed2015-02-26 11:40:35 -05002278 o->ti = ti;
Mikulas Patocka599cdf32014-03-14 18:42:12 -04002279 ti->private = o;
Alasdair G Kergon55a62ee2013-03-01 22:45:47 +00002280 ti->num_flush_bios = 1;
Mikulas Patocka494b3ee2009-06-22 10:12:25 +01002281
Linus Torvalds1da177e2005-04-16 15:20:36 -07002282 return 0;
Mikulas Patocka599cdf32014-03-14 18:42:12 -04002283
2284bad_open:
2285 kfree(o);
2286bad_alloc:
2287 return r;
Linus Torvalds1da177e2005-04-16 15:20:36 -07002288}
2289
2290static void origin_dtr(struct dm_target *ti)
2291{
Mikulas Patocka599cdf32014-03-14 18:42:12 -04002292 struct dm_origin *o = ti->private;
Mikulas Patockab735fed2015-02-26 11:40:35 -05002293
Mikulas Patocka599cdf32014-03-14 18:42:12 -04002294 dm_put_device(ti, o->dev);
2295 kfree(o);
Linus Torvalds1da177e2005-04-16 15:20:36 -07002296}
2297
Mikulas Patocka7de3ee52012-12-21 20:23:41 +00002298static int origin_map(struct dm_target *ti, struct bio *bio)
Linus Torvalds1da177e2005-04-16 15:20:36 -07002299{
Mikulas Patocka599cdf32014-03-14 18:42:12 -04002300 struct dm_origin *o = ti->private;
Mikulas Patocka298eaa82014-03-14 18:43:07 -04002301 unsigned available_sectors;
Linus Torvalds1da177e2005-04-16 15:20:36 -07002302
Christoph Hellwig74d46992017-08-23 19:10:32 +02002303 bio_set_dev(bio, o->dev->bdev);
Linus Torvalds1da177e2005-04-16 15:20:36 -07002304
Jens Axboe1eff9d32016-08-05 15:35:16 -06002305 if (unlikely(bio->bi_opf & REQ_PREFLUSH))
Mikulas Patocka494b3ee2009-06-22 10:12:25 +01002306 return DM_MAPIO_REMAPPED;
2307
Christoph Hellwig70246282016-07-19 11:28:41 +02002308 if (bio_data_dir(bio) != WRITE)
Mikulas Patocka298eaa82014-03-14 18:43:07 -04002309 return DM_MAPIO_REMAPPED;
2310
2311 available_sectors = o->split_boundary -
2312 ((unsigned)bio->bi_iter.bi_sector & (o->split_boundary - 1));
2313
2314 if (bio_sectors(bio) > available_sectors)
2315 dm_accept_partial_bio(bio, available_sectors);
2316
Linus Torvalds1da177e2005-04-16 15:20:36 -07002317 /* Only tell snapshots if this is a write */
Mikulas Patocka298eaa82014-03-14 18:43:07 -04002318 return do_origin(o->dev, bio);
Linus Torvalds1da177e2005-04-16 15:20:36 -07002319}
2320
Dan Williams817bf402017-04-12 13:37:44 -07002321static long origin_dax_direct_access(struct dm_target *ti, pgoff_t pgoff,
2322 long nr_pages, void **kaddr, pfn_t *pfn)
Toshi Kanif6e629b2016-06-28 13:37:16 -06002323{
2324 DMWARN("device does not support dax.");
2325 return -EIO;
2326}
2327
Linus Torvalds1da177e2005-04-16 15:20:36 -07002328/*
Mike Snitzer542f9032012-07-27 15:08:00 +01002329 * Set the target "max_io_len" field to the minimum of all the snapshots'
Linus Torvalds1da177e2005-04-16 15:20:36 -07002330 * chunk sizes.
2331 */
2332static void origin_resume(struct dm_target *ti)
2333{
Mikulas Patocka599cdf32014-03-14 18:42:12 -04002334 struct dm_origin *o = ti->private;
Linus Torvalds1da177e2005-04-16 15:20:36 -07002335
Mikulas Patocka298eaa82014-03-14 18:43:07 -04002336 o->split_boundary = get_origin_minimum_chunksize(o->dev->bdev);
Mikulas Patockab735fed2015-02-26 11:40:35 -05002337
2338 down_write(&_origins_lock);
2339 __insert_dm_origin(o);
2340 up_write(&_origins_lock);
2341}
2342
2343static void origin_postsuspend(struct dm_target *ti)
2344{
2345 struct dm_origin *o = ti->private;
2346
2347 down_write(&_origins_lock);
2348 __remove_dm_origin(o);
2349 up_write(&_origins_lock);
Linus Torvalds1da177e2005-04-16 15:20:36 -07002350}
2351
Mikulas Patockafd7c0922013-03-01 22:45:44 +00002352static void origin_status(struct dm_target *ti, status_type_t type,
2353 unsigned status_flags, char *result, unsigned maxlen)
Linus Torvalds1da177e2005-04-16 15:20:36 -07002354{
Mikulas Patocka599cdf32014-03-14 18:42:12 -04002355 struct dm_origin *o = ti->private;
Linus Torvalds1da177e2005-04-16 15:20:36 -07002356
2357 switch (type) {
2358 case STATUSTYPE_INFO:
2359 result[0] = '\0';
2360 break;
2361
2362 case STATUSTYPE_TABLE:
Mikulas Patocka599cdf32014-03-14 18:42:12 -04002363 snprintf(result, maxlen, "%s", o->dev->name);
Linus Torvalds1da177e2005-04-16 15:20:36 -07002364 break;
2365 }
Linus Torvalds1da177e2005-04-16 15:20:36 -07002366}
2367
Mike Snitzer8811f462009-09-04 20:40:19 +01002368static int origin_iterate_devices(struct dm_target *ti,
2369 iterate_devices_callout_fn fn, void *data)
2370{
Mikulas Patocka599cdf32014-03-14 18:42:12 -04002371 struct dm_origin *o = ti->private;
Mike Snitzer8811f462009-09-04 20:40:19 +01002372
Mikulas Patocka599cdf32014-03-14 18:42:12 -04002373 return fn(ti, o->dev, 0, ti->len, data);
Mike Snitzer8811f462009-09-04 20:40:19 +01002374}
2375
Linus Torvalds1da177e2005-04-16 15:20:36 -07002376static struct target_type origin_target = {
2377 .name = "snapshot-origin",
Mikulas Patockab735fed2015-02-26 11:40:35 -05002378 .version = {1, 9, 0},
Linus Torvalds1da177e2005-04-16 15:20:36 -07002379 .module = THIS_MODULE,
2380 .ctr = origin_ctr,
2381 .dtr = origin_dtr,
2382 .map = origin_map,
2383 .resume = origin_resume,
Mikulas Patockab735fed2015-02-26 11:40:35 -05002384 .postsuspend = origin_postsuspend,
Linus Torvalds1da177e2005-04-16 15:20:36 -07002385 .status = origin_status,
Mike Snitzer8811f462009-09-04 20:40:19 +01002386 .iterate_devices = origin_iterate_devices,
Dan Williams817bf402017-04-12 13:37:44 -07002387 .direct_access = origin_dax_direct_access,
Linus Torvalds1da177e2005-04-16 15:20:36 -07002388};
2389
2390static struct target_type snapshot_target = {
2391 .name = "snapshot",
Mike Snitzerb0d3cc02015-10-08 18:05:41 -04002392 .version = {1, 15, 0},
Linus Torvalds1da177e2005-04-16 15:20:36 -07002393 .module = THIS_MODULE,
2394 .ctr = snapshot_ctr,
2395 .dtr = snapshot_dtr,
2396 .map = snapshot_map,
Mikulas Patockacd45daf2008-07-21 12:00:32 +01002397 .end_io = snapshot_end_io,
Mike Snitzerc1f0c182009-12-10 23:52:24 +00002398 .preresume = snapshot_preresume,
Linus Torvalds1da177e2005-04-16 15:20:36 -07002399 .resume = snapshot_resume,
2400 .status = snapshot_status,
Mike Snitzer8811f462009-09-04 20:40:19 +01002401 .iterate_devices = snapshot_iterate_devices,
Linus Torvalds1da177e2005-04-16 15:20:36 -07002402};
2403
Mikulas Patockad698aa42009-12-10 23:52:30 +00002404static struct target_type merge_target = {
2405 .name = dm_snapshot_merge_target_name,
Mike Snitzerb0d3cc02015-10-08 18:05:41 -04002406 .version = {1, 4, 0},
Mikulas Patockad698aa42009-12-10 23:52:30 +00002407 .module = THIS_MODULE,
2408 .ctr = snapshot_ctr,
2409 .dtr = snapshot_dtr,
Mikulas Patocka3452c2a2009-12-10 23:52:31 +00002410 .map = snapshot_merge_map,
Mikulas Patockad698aa42009-12-10 23:52:30 +00002411 .end_io = snapshot_end_io,
Mikulas Patocka1e03f972009-12-10 23:52:32 +00002412 .presuspend = snapshot_merge_presuspend,
Mikulas Patockad698aa42009-12-10 23:52:30 +00002413 .preresume = snapshot_preresume,
Mikulas Patocka1e03f972009-12-10 23:52:32 +00002414 .resume = snapshot_merge_resume,
Mikulas Patockad698aa42009-12-10 23:52:30 +00002415 .status = snapshot_status,
2416 .iterate_devices = snapshot_iterate_devices,
2417};
2418
Linus Torvalds1da177e2005-04-16 15:20:36 -07002419static int __init dm_snapshot_init(void)
2420{
2421 int r;
2422
Alasdair G Kergon4db6bfe2009-01-06 03:05:17 +00002423 r = dm_exception_store_init();
2424 if (r) {
2425 DMERR("Failed to initialize exception stores");
2426 return r;
2427 }
2428
Linus Torvalds1da177e2005-04-16 15:20:36 -07002429 r = init_origin_hash();
2430 if (r) {
2431 DMERR("init_origin_hash failed.");
Mikulas Patockad698aa42009-12-10 23:52:30 +00002432 goto bad_origin_hash;
Linus Torvalds1da177e2005-04-16 15:20:36 -07002433 }
2434
Jon Brassow1d4989c2009-12-10 23:52:10 +00002435 exception_cache = KMEM_CACHE(dm_exception, 0);
Linus Torvalds1da177e2005-04-16 15:20:36 -07002436 if (!exception_cache) {
2437 DMERR("Couldn't create exception cache.");
2438 r = -ENOMEM;
Mikulas Patockad698aa42009-12-10 23:52:30 +00002439 goto bad_exception_cache;
Linus Torvalds1da177e2005-04-16 15:20:36 -07002440 }
2441
Alasdair G Kergon028867a2007-07-12 17:26:32 +01002442 pending_cache = KMEM_CACHE(dm_snap_pending_exception, 0);
Linus Torvalds1da177e2005-04-16 15:20:36 -07002443 if (!pending_cache) {
2444 DMERR("Couldn't create pending cache.");
2445 r = -ENOMEM;
Mikulas Patockad698aa42009-12-10 23:52:30 +00002446 goto bad_pending_cache;
Linus Torvalds1da177e2005-04-16 15:20:36 -07002447 }
2448
monty_pavel@sina.com7e6358d2017-11-25 01:43:50 +08002449 r = dm_register_target(&snapshot_target);
2450 if (r < 0) {
2451 DMERR("snapshot target register failed %d", r);
2452 goto bad_register_snapshot_target;
2453 }
2454
2455 r = dm_register_target(&origin_target);
2456 if (r < 0) {
2457 DMERR("Origin target register failed %d", r);
2458 goto bad_register_origin_target;
2459 }
2460
2461 r = dm_register_target(&merge_target);
2462 if (r < 0) {
2463 DMERR("Merge target register failed %d", r);
2464 goto bad_register_merge_target;
2465 }
2466
Linus Torvalds1da177e2005-04-16 15:20:36 -07002467 return 0;
2468
Mikulas Patockad698aa42009-12-10 23:52:30 +00002469bad_register_merge_target:
Linus Torvalds1da177e2005-04-16 15:20:36 -07002470 dm_unregister_target(&origin_target);
Mikulas Patockad698aa42009-12-10 23:52:30 +00002471bad_register_origin_target:
Linus Torvalds1da177e2005-04-16 15:20:36 -07002472 dm_unregister_target(&snapshot_target);
Jonathan Brassow034a1862009-10-16 23:18:14 +01002473bad_register_snapshot_target:
monty_pavel@sina.com7e6358d2017-11-25 01:43:50 +08002474 kmem_cache_destroy(pending_cache);
2475bad_pending_cache:
2476 kmem_cache_destroy(exception_cache);
2477bad_exception_cache:
2478 exit_origin_hash();
2479bad_origin_hash:
Jonathan Brassow034a1862009-10-16 23:18:14 +01002480 dm_exception_store_exit();
Mikulas Patockad698aa42009-12-10 23:52:30 +00002481
Linus Torvalds1da177e2005-04-16 15:20:36 -07002482 return r;
2483}
2484
2485static void __exit dm_snapshot_exit(void)
2486{
Mikulas Patocka10d3bd02009-01-06 03:04:58 +00002487 dm_unregister_target(&snapshot_target);
2488 dm_unregister_target(&origin_target);
Mikulas Patockad698aa42009-12-10 23:52:30 +00002489 dm_unregister_target(&merge_target);
Linus Torvalds1da177e2005-04-16 15:20:36 -07002490
2491 exit_origin_hash();
Linus Torvalds1da177e2005-04-16 15:20:36 -07002492 kmem_cache_destroy(pending_cache);
2493 kmem_cache_destroy(exception_cache);
Alasdair G Kergon4db6bfe2009-01-06 03:05:17 +00002494
2495 dm_exception_store_exit();
Linus Torvalds1da177e2005-04-16 15:20:36 -07002496}
2497
2498/* Module hooks */
2499module_init(dm_snapshot_init);
2500module_exit(dm_snapshot_exit);
2501
2502MODULE_DESCRIPTION(DM_NAME " snapshot target");
2503MODULE_AUTHOR("Joe Thornber");
2504MODULE_LICENSE("GPL");
Mikulas Patocka23cb2102013-03-01 22:45:47 +00002505MODULE_ALIAS("dm-snapshot-origin");
2506MODULE_ALIAS("dm-snapshot-merge");