blob: e03cb9e4877381c4bb6fc17da2b7e73890073793 [file] [log] [blame]
Joe Thornber3241b1d2011-10-31 20:19:11 +00001/*
2 * Copyright (C) 2011 Red Hat, Inc.
3 *
4 * This file is released under the GPL.
5 */
6
7#include "dm-btree-internal.h"
8#include "dm-transaction-manager.h"
9
10#include <linux/device-mapper.h>
11
12#define DM_MSG_PREFIX "btree spine"
13
14/*----------------------------------------------------------------*/
15
16#define BTREE_CSUM_XOR 121107
17
18static int node_check(struct dm_block_validator *v,
19 struct dm_block *b,
20 size_t block_size);
21
22static void node_prepare_for_write(struct dm_block_validator *v,
23 struct dm_block *b,
24 size_t block_size)
25{
Mikulas Patocka550929f2012-12-21 20:23:30 +000026 struct btree_node *n = dm_block_data(b);
Joe Thornber3241b1d2011-10-31 20:19:11 +000027 struct node_header *h = &n->header;
28
29 h->blocknr = cpu_to_le64(dm_block_location(b));
30 h->csum = cpu_to_le32(dm_bm_checksum(&h->flags,
31 block_size - sizeof(__le32),
32 BTREE_CSUM_XOR));
33
34 BUG_ON(node_check(v, b, 4096));
35}
36
37static int node_check(struct dm_block_validator *v,
38 struct dm_block *b,
39 size_t block_size)
40{
Mikulas Patocka550929f2012-12-21 20:23:30 +000041 struct btree_node *n = dm_block_data(b);
Joe Thornber3241b1d2011-10-31 20:19:11 +000042 struct node_header *h = &n->header;
43 size_t value_size;
44 __le32 csum_disk;
45 uint32_t flags;
46
47 if (dm_block_location(b) != le64_to_cpu(h->blocknr)) {
Mike Snitzer89ddeb82012-12-21 20:23:34 +000048 DMERR_LIMIT("node_check failed: blocknr %llu != wanted %llu",
49 le64_to_cpu(h->blocknr), dm_block_location(b));
Joe Thornber3241b1d2011-10-31 20:19:11 +000050 return -ENOTBLK;
51 }
52
53 csum_disk = cpu_to_le32(dm_bm_checksum(&h->flags,
54 block_size - sizeof(__le32),
55 BTREE_CSUM_XOR));
56 if (csum_disk != h->csum) {
Mike Snitzer89ddeb82012-12-21 20:23:34 +000057 DMERR_LIMIT("node_check failed: csum %u != wanted %u",
58 le32_to_cpu(csum_disk), le32_to_cpu(h->csum));
Joe Thornber3241b1d2011-10-31 20:19:11 +000059 return -EILSEQ;
60 }
61
62 value_size = le32_to_cpu(h->value_size);
63
64 if (sizeof(struct node_header) +
65 (sizeof(__le64) + value_size) * le32_to_cpu(h->max_entries) > block_size) {
Mike Snitzer89ddeb82012-12-21 20:23:34 +000066 DMERR_LIMIT("node_check failed: max_entries too large");
Joe Thornber3241b1d2011-10-31 20:19:11 +000067 return -EILSEQ;
68 }
69
70 if (le32_to_cpu(h->nr_entries) > le32_to_cpu(h->max_entries)) {
Mike Snitzer89ddeb82012-12-21 20:23:34 +000071 DMERR_LIMIT("node_check failed: too many entries");
Joe Thornber3241b1d2011-10-31 20:19:11 +000072 return -EILSEQ;
73 }
74
75 /*
76 * The node must be either INTERNAL or LEAF.
77 */
78 flags = le32_to_cpu(h->flags);
79 if (!(flags & INTERNAL_NODE) && !(flags & LEAF_NODE)) {
Mike Snitzer89ddeb82012-12-21 20:23:34 +000080 DMERR_LIMIT("node_check failed: node is neither INTERNAL or LEAF");
Joe Thornber3241b1d2011-10-31 20:19:11 +000081 return -EILSEQ;
82 }
83
84 return 0;
85}
86
87struct dm_block_validator btree_node_validator = {
88 .name = "btree_node",
89 .prepare_for_write = node_prepare_for_write,
90 .check = node_check
91};
92
93/*----------------------------------------------------------------*/
94
Joe Thornber9b460d32014-11-10 15:03:24 +000095int bn_read_lock(struct dm_btree_info *info, dm_block_t b,
Joe Thornber3241b1d2011-10-31 20:19:11 +000096 struct dm_block **result)
97{
98 return dm_tm_read_lock(info->tm, b, &btree_node_validator, result);
99}
100
101static int bn_shadow(struct dm_btree_info *info, dm_block_t orig,
102 struct dm_btree_value_type *vt,
103 struct dm_block **result)
104{
105 int r, inc;
106
107 r = dm_tm_shadow_block(info->tm, orig, &btree_node_validator,
108 result, &inc);
109 if (!r && inc)
110 inc_children(info->tm, dm_block_data(*result), vt);
111
112 return r;
113}
114
115int new_block(struct dm_btree_info *info, struct dm_block **result)
116{
117 return dm_tm_new_block(info->tm, &btree_node_validator, result);
118}
119
Mikulas Patocka4c7da062015-10-22 16:46:59 -0400120void unlock_block(struct dm_btree_info *info, struct dm_block *b)
Joe Thornber3241b1d2011-10-31 20:19:11 +0000121{
Mikulas Patocka4c7da062015-10-22 16:46:59 -0400122 dm_tm_unlock(info->tm, b);
Joe Thornber3241b1d2011-10-31 20:19:11 +0000123}
124
125/*----------------------------------------------------------------*/
126
127void init_ro_spine(struct ro_spine *s, struct dm_btree_info *info)
128{
129 s->info = info;
130 s->count = 0;
131 s->nodes[0] = NULL;
132 s->nodes[1] = NULL;
133}
134
Zhiqiang Liu9431cf62020-04-15 19:57:31 +0800135void exit_ro_spine(struct ro_spine *s)
Joe Thornber3241b1d2011-10-31 20:19:11 +0000136{
Zhiqiang Liu9431cf62020-04-15 19:57:31 +0800137 int i;
Joe Thornber3241b1d2011-10-31 20:19:11 +0000138
139 for (i = 0; i < s->count; i++) {
Mikulas Patocka4c7da062015-10-22 16:46:59 -0400140 unlock_block(s->info, s->nodes[i]);
Joe Thornber3241b1d2011-10-31 20:19:11 +0000141 }
Joe Thornber3241b1d2011-10-31 20:19:11 +0000142}
143
144int ro_step(struct ro_spine *s, dm_block_t new_child)
145{
146 int r;
147
148 if (s->count == 2) {
Mikulas Patocka4c7da062015-10-22 16:46:59 -0400149 unlock_block(s->info, s->nodes[0]);
Joe Thornber3241b1d2011-10-31 20:19:11 +0000150 s->nodes[0] = s->nodes[1];
151 s->count--;
152 }
153
154 r = bn_read_lock(s->info, new_child, s->nodes + s->count);
155 if (!r)
156 s->count++;
157
158 return r;
159}
160
Joe Thornber4e7f1f92013-03-01 22:45:50 +0000161void ro_pop(struct ro_spine *s)
162{
163 BUG_ON(!s->count);
164 --s->count;
165 unlock_block(s->info, s->nodes[s->count]);
166}
167
Mikulas Patocka550929f2012-12-21 20:23:30 +0000168struct btree_node *ro_node(struct ro_spine *s)
Joe Thornber3241b1d2011-10-31 20:19:11 +0000169{
170 struct dm_block *block;
171
172 BUG_ON(!s->count);
173 block = s->nodes[s->count - 1];
174
175 return dm_block_data(block);
176}
177
178/*----------------------------------------------------------------*/
179
180void init_shadow_spine(struct shadow_spine *s, struct dm_btree_info *info)
181{
182 s->info = info;
183 s->count = 0;
184}
185
186int exit_shadow_spine(struct shadow_spine *s)
187{
188 int r = 0, i;
189
190 for (i = 0; i < s->count; i++) {
Mikulas Patocka4c7da062015-10-22 16:46:59 -0400191 unlock_block(s->info, s->nodes[i]);
Joe Thornber3241b1d2011-10-31 20:19:11 +0000192 }
193
194 return r;
195}
196
197int shadow_step(struct shadow_spine *s, dm_block_t b,
198 struct dm_btree_value_type *vt)
199{
200 int r;
201
202 if (s->count == 2) {
Mikulas Patocka4c7da062015-10-22 16:46:59 -0400203 unlock_block(s->info, s->nodes[0]);
Joe Thornber3241b1d2011-10-31 20:19:11 +0000204 s->nodes[0] = s->nodes[1];
205 s->count--;
206 }
207
208 r = bn_shadow(s->info, b, vt, s->nodes + s->count);
209 if (!r) {
210 if (!s->count)
211 s->root = dm_block_location(s->nodes[0]);
212
213 s->count++;
214 }
215
216 return r;
217}
218
219struct dm_block *shadow_current(struct shadow_spine *s)
220{
221 BUG_ON(!s->count);
222
223 return s->nodes[s->count - 1];
224}
225
226struct dm_block *shadow_parent(struct shadow_spine *s)
227{
228 BUG_ON(s->count != 2);
229
230 return s->count == 2 ? s->nodes[0] : NULL;
231}
232
233int shadow_has_parent(struct shadow_spine *s)
234{
235 return s->count >= 2;
236}
237
238int shadow_root(struct shadow_spine *s)
239{
240 return s->root;
241}
Joe Thornberb0dc3c82015-08-12 15:12:09 +0100242
243static void le64_inc(void *context, const void *value_le)
244{
245 struct dm_transaction_manager *tm = context;
246 __le64 v_le;
247
248 memcpy(&v_le, value_le, sizeof(v_le));
249 dm_tm_inc(tm, le64_to_cpu(v_le));
250}
251
252static void le64_dec(void *context, const void *value_le)
253{
254 struct dm_transaction_manager *tm = context;
255 __le64 v_le;
256
257 memcpy(&v_le, value_le, sizeof(v_le));
258 dm_tm_dec(tm, le64_to_cpu(v_le));
259}
260
261static int le64_equal(void *context, const void *value1_le, const void *value2_le)
262{
263 __le64 v1_le, v2_le;
264
265 memcpy(&v1_le, value1_le, sizeof(v1_le));
266 memcpy(&v2_le, value2_le, sizeof(v2_le));
267 return v1_le == v2_le;
268}
269
270void init_le64_type(struct dm_transaction_manager *tm,
271 struct dm_btree_value_type *vt)
272{
273 vt->context = tm;
274 vt->size = sizeof(__le64);
275 vt->inc = le64_inc;
276 vt->dec = le64_dec;
277 vt->equal = le64_equal;
278}