2 * Copyright (C) 2011 Red Hat, Inc.
4 * This file is released under the GPL.
6 #include "dm-block-manager.h"
7 #include "dm-persistent-data-internal.h"
8 #include "../dm-bufio.h"
10 #include <linux/crc32c.h>
11 #include <linux/module.h>
12 #include <linux/slab.h>
13 #include <linux/rwsem.h>
14 #include <linux/device-mapper.h>
15 #include <linux/stacktrace.h>
16 #include <linux/sched/task.h>
18 #define DM_MSG_PREFIX "block manager"
20 /*----------------------------------------------------------------*/
22 #ifdef CONFIG_DM_DEBUG_BLOCK_MANAGER_LOCKING
25 * This is a read/write semaphore with a couple of differences.
27 * i) There is a restriction on the number of concurrent read locks that
28 * may be held at once. This is just an implementation detail.
30 * ii) Recursive locking attempts are detected and return EINVAL. A stack
31 * trace is also emitted for the previous lock acquisition.
33 * iii) Priority is given to write locks.
38 typedef unsigned long stack_entries
[MAX_STACK
];
43 struct list_head waiters
;
44 struct task_struct
*holders
[MAX_HOLDERS
];
46 #ifdef CONFIG_DM_DEBUG_BLOCK_STACK_TRACING
47 struct stack_trace traces
[MAX_HOLDERS
];
48 stack_entries entries
[MAX_HOLDERS
];
53 struct list_head list
;
54 struct task_struct
*task
;
58 static unsigned __find_holder(struct block_lock
*lock
,
59 struct task_struct
*task
)
63 for (i
= 0; i
< MAX_HOLDERS
; i
++)
64 if (lock
->holders
[i
] == task
)
67 BUG_ON(i
== MAX_HOLDERS
);
71 /* call this *after* you increment lock->count */
72 static void __add_holder(struct block_lock
*lock
, struct task_struct
*task
)
74 unsigned h
= __find_holder(lock
, NULL
);
75 #ifdef CONFIG_DM_DEBUG_BLOCK_STACK_TRACING
76 struct stack_trace
*t
;
79 get_task_struct(task
);
80 lock
->holders
[h
] = task
;
82 #ifdef CONFIG_DM_DEBUG_BLOCK_STACK_TRACING
85 t
->max_entries
= MAX_STACK
;
86 t
->entries
= lock
->entries
[h
];
92 /* call this *before* you decrement lock->count */
93 static void __del_holder(struct block_lock
*lock
, struct task_struct
*task
)
95 unsigned h
= __find_holder(lock
, task
);
96 lock
->holders
[h
] = NULL
;
97 put_task_struct(task
);
100 static int __check_holder(struct block_lock
*lock
)
104 for (i
= 0; i
< MAX_HOLDERS
; i
++) {
105 if (lock
->holders
[i
] == current
) {
106 DMERR("recursive lock detected in metadata");
107 #ifdef CONFIG_DM_DEBUG_BLOCK_STACK_TRACING
108 DMERR("previously held here:");
109 print_stack_trace(lock
->traces
+ i
, 4);
111 DMERR("subsequent acquisition attempted here:");
121 static void __wait(struct waiter
*w
)
124 set_current_state(TASK_UNINTERRUPTIBLE
);
132 set_current_state(TASK_RUNNING
);
135 static void __wake_waiter(struct waiter
*w
)
137 struct task_struct
*task
;
143 wake_up_process(task
);
147 * We either wake a few readers or a single writer.
149 static void __wake_many(struct block_lock
*lock
)
151 struct waiter
*w
, *tmp
;
153 BUG_ON(lock
->count
< 0);
154 list_for_each_entry_safe(w
, tmp
, &lock
->waiters
, list
) {
155 if (lock
->count
>= MAX_HOLDERS
)
158 if (w
->wants_write
) {
160 return; /* still read locked */
163 __add_holder(lock
, w
->task
);
169 __add_holder(lock
, w
->task
);
174 static void bl_init(struct block_lock
*lock
)
178 spin_lock_init(&lock
->lock
);
180 INIT_LIST_HEAD(&lock
->waiters
);
181 for (i
= 0; i
< MAX_HOLDERS
; i
++)
182 lock
->holders
[i
] = NULL
;
185 static int __available_for_read(struct block_lock
*lock
)
187 return lock
->count
>= 0 &&
188 lock
->count
< MAX_HOLDERS
&&
189 list_empty(&lock
->waiters
);
192 static int bl_down_read(struct block_lock
*lock
)
197 spin_lock(&lock
->lock
);
198 r
= __check_holder(lock
);
200 spin_unlock(&lock
->lock
);
204 if (__available_for_read(lock
)) {
206 __add_holder(lock
, current
);
207 spin_unlock(&lock
->lock
);
211 get_task_struct(current
);
215 list_add_tail(&w
.list
, &lock
->waiters
);
216 spin_unlock(&lock
->lock
);
219 put_task_struct(current
);
223 static int bl_down_read_nonblock(struct block_lock
*lock
)
227 spin_lock(&lock
->lock
);
228 r
= __check_holder(lock
);
232 if (__available_for_read(lock
)) {
234 __add_holder(lock
, current
);
240 spin_unlock(&lock
->lock
);
244 static void bl_up_read(struct block_lock
*lock
)
246 spin_lock(&lock
->lock
);
247 BUG_ON(lock
->count
<= 0);
248 __del_holder(lock
, current
);
250 if (!list_empty(&lock
->waiters
))
252 spin_unlock(&lock
->lock
);
255 static int bl_down_write(struct block_lock
*lock
)
260 spin_lock(&lock
->lock
);
261 r
= __check_holder(lock
);
263 spin_unlock(&lock
->lock
);
267 if (lock
->count
== 0 && list_empty(&lock
->waiters
)) {
269 __add_holder(lock
, current
);
270 spin_unlock(&lock
->lock
);
274 get_task_struct(current
);
279 * Writers given priority. We know there's only one mutator in the
280 * system, so ignoring the ordering reversal.
282 list_add(&w
.list
, &lock
->waiters
);
283 spin_unlock(&lock
->lock
);
286 put_task_struct(current
);
291 static void bl_up_write(struct block_lock
*lock
)
293 spin_lock(&lock
->lock
);
294 __del_holder(lock
, current
);
296 if (!list_empty(&lock
->waiters
))
298 spin_unlock(&lock
->lock
);
301 static void report_recursive_bug(dm_block_t b
, int r
)
304 DMERR("recursive acquisition of block %llu requested.",
305 (unsigned long long) b
);
308 #else /* !CONFIG_DM_DEBUG_BLOCK_MANAGER_LOCKING */
310 #define bl_init(x) do { } while (0)
311 #define bl_down_read(x) 0
312 #define bl_down_read_nonblock(x) 0
313 #define bl_up_read(x) do { } while (0)
314 #define bl_down_write(x) 0
315 #define bl_up_write(x) do { } while (0)
316 #define report_recursive_bug(x, y) do { } while (0)
318 #endif /* CONFIG_DM_DEBUG_BLOCK_MANAGER_LOCKING */
320 /*----------------------------------------------------------------*/
323 * Block manager is currently implemented using dm-bufio. struct
324 * dm_block_manager and struct dm_block map directly onto a couple of
325 * structs in the bufio interface. I want to retain the freedom to move
326 * away from bufio in the future. So these structs are just cast within
327 * this .c file, rather than making it through to the public interface.
329 static struct dm_buffer
*to_buffer(struct dm_block
*b
)
331 return (struct dm_buffer
*) b
;
334 dm_block_t
dm_block_location(struct dm_block
*b
)
336 return dm_bufio_get_block_number(to_buffer(b
));
338 EXPORT_SYMBOL_GPL(dm_block_location
);
340 void *dm_block_data(struct dm_block
*b
)
342 return dm_bufio_get_block_data(to_buffer(b
));
344 EXPORT_SYMBOL_GPL(dm_block_data
);
347 struct dm_block_validator
*validator
;
350 #ifdef CONFIG_DM_DEBUG_BLOCK_MANAGER_LOCKING
351 struct block_lock lock
;
355 static void dm_block_manager_alloc_callback(struct dm_buffer
*buf
)
357 struct buffer_aux
*aux
= dm_bufio_get_aux_data(buf
);
358 aux
->validator
= NULL
;
362 static void dm_block_manager_write_callback(struct dm_buffer
*buf
)
364 struct buffer_aux
*aux
= dm_bufio_get_aux_data(buf
);
365 if (aux
->validator
) {
366 aux
->validator
->prepare_for_write(aux
->validator
, (struct dm_block
*) buf
,
367 dm_bufio_get_block_size(dm_bufio_get_client(buf
)));
371 /*----------------------------------------------------------------
373 *--------------------------------------------------------------*/
374 struct dm_block_manager
{
375 struct dm_bufio_client
*bufio
;
379 struct dm_block_manager
*dm_block_manager_create(struct block_device
*bdev
,
381 unsigned max_held_per_thread
)
384 struct dm_block_manager
*bm
;
386 bm
= kmalloc(sizeof(*bm
), GFP_KERNEL
);
392 bm
->bufio
= dm_bufio_client_create(bdev
, block_size
, max_held_per_thread
,
393 sizeof(struct buffer_aux
),
394 dm_block_manager_alloc_callback
,
395 dm_block_manager_write_callback
);
396 if (IS_ERR(bm
->bufio
)) {
397 r
= PTR_ERR(bm
->bufio
);
402 bm
->read_only
= false;
409 EXPORT_SYMBOL_GPL(dm_block_manager_create
);
411 void dm_block_manager_destroy(struct dm_block_manager
*bm
)
413 dm_bufio_client_destroy(bm
->bufio
);
416 EXPORT_SYMBOL_GPL(dm_block_manager_destroy
);
418 unsigned dm_bm_block_size(struct dm_block_manager
*bm
)
420 return dm_bufio_get_block_size(bm
->bufio
);
422 EXPORT_SYMBOL_GPL(dm_bm_block_size
);
424 dm_block_t
dm_bm_nr_blocks(struct dm_block_manager
*bm
)
426 return dm_bufio_get_device_size(bm
->bufio
);
429 static int dm_bm_validate_buffer(struct dm_block_manager
*bm
,
430 struct dm_buffer
*buf
,
431 struct buffer_aux
*aux
,
432 struct dm_block_validator
*v
)
434 if (unlikely(!aux
->validator
)) {
438 r
= v
->check(v
, (struct dm_block
*) buf
, dm_bufio_get_block_size(bm
->bufio
));
440 DMERR_LIMIT("%s validator check failed for block %llu", v
->name
,
441 (unsigned long long) dm_bufio_get_block_number(buf
));
446 if (unlikely(aux
->validator
!= v
)) {
447 DMERR_LIMIT("validator mismatch (old=%s vs new=%s) for block %llu",
448 aux
->validator
->name
, v
? v
->name
: "NULL",
449 (unsigned long long) dm_bufio_get_block_number(buf
));
456 int dm_bm_read_lock(struct dm_block_manager
*bm
, dm_block_t b
,
457 struct dm_block_validator
*v
,
458 struct dm_block
**result
)
460 struct buffer_aux
*aux
;
464 p
= dm_bufio_read(bm
->bufio
, b
, (struct dm_buffer
**) result
);
465 if (unlikely(IS_ERR(p
)))
468 aux
= dm_bufio_get_aux_data(to_buffer(*result
));
469 r
= bl_down_read(&aux
->lock
);
471 dm_bufio_release(to_buffer(*result
));
472 report_recursive_bug(b
, r
);
476 aux
->write_locked
= 0;
478 r
= dm_bm_validate_buffer(bm
, to_buffer(*result
), aux
, v
);
480 bl_up_read(&aux
->lock
);
481 dm_bufio_release(to_buffer(*result
));
487 EXPORT_SYMBOL_GPL(dm_bm_read_lock
);
489 int dm_bm_write_lock(struct dm_block_manager
*bm
,
490 dm_block_t b
, struct dm_block_validator
*v
,
491 struct dm_block
**result
)
493 struct buffer_aux
*aux
;
500 p
= dm_bufio_read(bm
->bufio
, b
, (struct dm_buffer
**) result
);
501 if (unlikely(IS_ERR(p
)))
504 aux
= dm_bufio_get_aux_data(to_buffer(*result
));
505 r
= bl_down_write(&aux
->lock
);
507 dm_bufio_release(to_buffer(*result
));
508 report_recursive_bug(b
, r
);
512 aux
->write_locked
= 1;
514 r
= dm_bm_validate_buffer(bm
, to_buffer(*result
), aux
, v
);
516 bl_up_write(&aux
->lock
);
517 dm_bufio_release(to_buffer(*result
));
523 EXPORT_SYMBOL_GPL(dm_bm_write_lock
);
525 int dm_bm_read_try_lock(struct dm_block_manager
*bm
,
526 dm_block_t b
, struct dm_block_validator
*v
,
527 struct dm_block
**result
)
529 struct buffer_aux
*aux
;
533 p
= dm_bufio_get(bm
->bufio
, b
, (struct dm_buffer
**) result
);
534 if (unlikely(IS_ERR(p
)))
539 aux
= dm_bufio_get_aux_data(to_buffer(*result
));
540 r
= bl_down_read_nonblock(&aux
->lock
);
542 dm_bufio_release(to_buffer(*result
));
543 report_recursive_bug(b
, r
);
546 aux
->write_locked
= 0;
548 r
= dm_bm_validate_buffer(bm
, to_buffer(*result
), aux
, v
);
550 bl_up_read(&aux
->lock
);
551 dm_bufio_release(to_buffer(*result
));
558 int dm_bm_write_lock_zero(struct dm_block_manager
*bm
,
559 dm_block_t b
, struct dm_block_validator
*v
,
560 struct dm_block
**result
)
563 struct buffer_aux
*aux
;
569 p
= dm_bufio_new(bm
->bufio
, b
, (struct dm_buffer
**) result
);
570 if (unlikely(IS_ERR(p
)))
573 memset(p
, 0, dm_bm_block_size(bm
));
575 aux
= dm_bufio_get_aux_data(to_buffer(*result
));
576 r
= bl_down_write(&aux
->lock
);
578 dm_bufio_release(to_buffer(*result
));
582 aux
->write_locked
= 1;
587 EXPORT_SYMBOL_GPL(dm_bm_write_lock_zero
);
589 void dm_bm_unlock(struct dm_block
*b
)
591 struct buffer_aux
*aux
;
592 aux
= dm_bufio_get_aux_data(to_buffer(b
));
594 if (aux
->write_locked
) {
595 dm_bufio_mark_buffer_dirty(to_buffer(b
));
596 bl_up_write(&aux
->lock
);
598 bl_up_read(&aux
->lock
);
600 dm_bufio_release(to_buffer(b
));
602 EXPORT_SYMBOL_GPL(dm_bm_unlock
);
604 int dm_bm_flush(struct dm_block_manager
*bm
)
609 return dm_bufio_write_dirty_buffers(bm
->bufio
);
611 EXPORT_SYMBOL_GPL(dm_bm_flush
);
613 void dm_bm_prefetch(struct dm_block_manager
*bm
, dm_block_t b
)
615 dm_bufio_prefetch(bm
->bufio
, b
, 1);
618 bool dm_bm_is_read_only(struct dm_block_manager
*bm
)
620 return bm
->read_only
;
622 EXPORT_SYMBOL_GPL(dm_bm_is_read_only
);
624 void dm_bm_set_read_only(struct dm_block_manager
*bm
)
626 bm
->read_only
= true;
628 EXPORT_SYMBOL_GPL(dm_bm_set_read_only
);
630 void dm_bm_set_read_write(struct dm_block_manager
*bm
)
632 bm
->read_only
= false;
634 EXPORT_SYMBOL_GPL(dm_bm_set_read_write
);
636 u32
dm_bm_checksum(const void *data
, size_t len
, u32 init_xor
)
638 return crc32c(~(u32
) 0, data
, len
) ^ init_xor
;
640 EXPORT_SYMBOL_GPL(dm_bm_checksum
);
642 /*----------------------------------------------------------------*/
644 MODULE_LICENSE("GPL");
645 MODULE_AUTHOR("Joe Thornber <dm-devel@redhat.com>");
646 MODULE_DESCRIPTION("Immutable metadata library for dm");
648 /*----------------------------------------------------------------*/