dm-space-map-checker.c 9.3 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437
  1. /*
  2. * Copyright (C) 2011 Red Hat, Inc.
  3. *
  4. * This file is released under the GPL.
  5. */
  6. #include "dm-space-map-checker.h"
  7. #include <linux/device-mapper.h>
  8. #ifdef CONFIG_DM_DEBUG_SPACE_MAPS
  9. #define DM_MSG_PREFIX "space map checker"
  10. /*----------------------------------------------------------------*/
  11. struct count_array {
  12. dm_block_t nr;
  13. dm_block_t nr_free;
  14. uint32_t *counts;
  15. };
  16. static int ca_get_count(struct count_array *ca, dm_block_t b, uint32_t *count)
  17. {
  18. if (b >= ca->nr)
  19. return -EINVAL;
  20. *count = ca->counts[b];
  21. return 0;
  22. }
  23. static int ca_count_more_than_one(struct count_array *ca, dm_block_t b, int *r)
  24. {
  25. if (b >= ca->nr)
  26. return -EINVAL;
  27. *r = ca->counts[b] > 1;
  28. return 0;
  29. }
  30. static int ca_set_count(struct count_array *ca, dm_block_t b, uint32_t count)
  31. {
  32. uint32_t old_count;
  33. if (b >= ca->nr)
  34. return -EINVAL;
  35. old_count = ca->counts[b];
  36. if (!count && old_count)
  37. ca->nr_free++;
  38. else if (count && !old_count)
  39. ca->nr_free--;
  40. ca->counts[b] = count;
  41. return 0;
  42. }
  43. static int ca_inc_block(struct count_array *ca, dm_block_t b)
  44. {
  45. if (b >= ca->nr)
  46. return -EINVAL;
  47. ca_set_count(ca, b, ca->counts[b] + 1);
  48. return 0;
  49. }
  50. static int ca_dec_block(struct count_array *ca, dm_block_t b)
  51. {
  52. if (b >= ca->nr)
  53. return -EINVAL;
  54. BUG_ON(ca->counts[b] == 0);
  55. ca_set_count(ca, b, ca->counts[b] - 1);
  56. return 0;
  57. }
  58. static int ca_create(struct count_array *ca, struct dm_space_map *sm)
  59. {
  60. int r;
  61. dm_block_t nr_blocks;
  62. r = dm_sm_get_nr_blocks(sm, &nr_blocks);
  63. if (r)
  64. return r;
  65. ca->nr = nr_blocks;
  66. ca->nr_free = nr_blocks;
  67. ca->counts = kzalloc(sizeof(*ca->counts) * nr_blocks, GFP_KERNEL);
  68. if (!ca->counts)
  69. return -ENOMEM;
  70. return 0;
  71. }
  72. static int ca_load(struct count_array *ca, struct dm_space_map *sm)
  73. {
  74. int r;
  75. uint32_t count;
  76. dm_block_t nr_blocks, i;
  77. r = dm_sm_get_nr_blocks(sm, &nr_blocks);
  78. if (r)
  79. return r;
  80. BUG_ON(ca->nr != nr_blocks);
  81. DMWARN("Loading debug space map from disk. This may take some time");
  82. for (i = 0; i < nr_blocks; i++) {
  83. r = dm_sm_get_count(sm, i, &count);
  84. if (r) {
  85. DMERR("load failed");
  86. return r;
  87. }
  88. ca_set_count(ca, i, count);
  89. }
  90. DMWARN("Load complete");
  91. return 0;
  92. }
  93. static int ca_extend(struct count_array *ca, dm_block_t extra_blocks)
  94. {
  95. dm_block_t nr_blocks = ca->nr + extra_blocks;
  96. uint32_t *counts = kzalloc(sizeof(*counts) * nr_blocks, GFP_KERNEL);
  97. if (!counts)
  98. return -ENOMEM;
  99. memcpy(counts, ca->counts, sizeof(*counts) * ca->nr);
  100. kfree(ca->counts);
  101. ca->nr = nr_blocks;
  102. ca->nr_free += extra_blocks;
  103. ca->counts = counts;
  104. return 0;
  105. }
  106. static int ca_commit(struct count_array *old, struct count_array *new)
  107. {
  108. if (old->nr != new->nr) {
  109. BUG_ON(old->nr > new->nr);
  110. ca_extend(old, new->nr - old->nr);
  111. }
  112. BUG_ON(old->nr != new->nr);
  113. old->nr_free = new->nr_free;
  114. memcpy(old->counts, new->counts, sizeof(*old->counts) * old->nr);
  115. return 0;
  116. }
  117. static void ca_destroy(struct count_array *ca)
  118. {
  119. kfree(ca->counts);
  120. }
  121. /*----------------------------------------------------------------*/
  122. struct sm_checker {
  123. struct dm_space_map sm;
  124. struct count_array old_counts;
  125. struct count_array counts;
  126. struct dm_space_map *real_sm;
  127. };
  128. static void sm_checker_destroy(struct dm_space_map *sm)
  129. {
  130. struct sm_checker *smc = container_of(sm, struct sm_checker, sm);
  131. dm_sm_destroy(smc->real_sm);
  132. ca_destroy(&smc->old_counts);
  133. ca_destroy(&smc->counts);
  134. kfree(smc);
  135. }
  136. static int sm_checker_get_nr_blocks(struct dm_space_map *sm, dm_block_t *count)
  137. {
  138. struct sm_checker *smc = container_of(sm, struct sm_checker, sm);
  139. int r = dm_sm_get_nr_blocks(smc->real_sm, count);
  140. if (!r)
  141. BUG_ON(smc->old_counts.nr != *count);
  142. return r;
  143. }
  144. static int sm_checker_get_nr_free(struct dm_space_map *sm, dm_block_t *count)
  145. {
  146. struct sm_checker *smc = container_of(sm, struct sm_checker, sm);
  147. int r = dm_sm_get_nr_free(smc->real_sm, count);
  148. if (!r) {
  149. /*
  150. * Slow, but we know it's correct.
  151. */
  152. dm_block_t b, n = 0;
  153. for (b = 0; b < smc->old_counts.nr; b++)
  154. if (smc->old_counts.counts[b] == 0 &&
  155. smc->counts.counts[b] == 0)
  156. n++;
  157. if (n != *count)
  158. DMERR("free block counts differ, checker %u, sm-disk:%u",
  159. (unsigned) n, (unsigned) *count);
  160. }
  161. return r;
  162. }
  163. static int sm_checker_new_block(struct dm_space_map *sm, dm_block_t *b)
  164. {
  165. struct sm_checker *smc = container_of(sm, struct sm_checker, sm);
  166. int r = dm_sm_new_block(smc->real_sm, b);
  167. if (!r) {
  168. BUG_ON(*b >= smc->old_counts.nr);
  169. BUG_ON(smc->old_counts.counts[*b] != 0);
  170. BUG_ON(*b >= smc->counts.nr);
  171. BUG_ON(smc->counts.counts[*b] != 0);
  172. ca_set_count(&smc->counts, *b, 1);
  173. }
  174. return r;
  175. }
  176. static int sm_checker_inc_block(struct dm_space_map *sm, dm_block_t b)
  177. {
  178. struct sm_checker *smc = container_of(sm, struct sm_checker, sm);
  179. int r = dm_sm_inc_block(smc->real_sm, b);
  180. int r2 = ca_inc_block(&smc->counts, b);
  181. BUG_ON(r != r2);
  182. return r;
  183. }
  184. static int sm_checker_dec_block(struct dm_space_map *sm, dm_block_t b)
  185. {
  186. struct sm_checker *smc = container_of(sm, struct sm_checker, sm);
  187. int r = dm_sm_dec_block(smc->real_sm, b);
  188. int r2 = ca_dec_block(&smc->counts, b);
  189. BUG_ON(r != r2);
  190. return r;
  191. }
  192. static int sm_checker_get_count(struct dm_space_map *sm, dm_block_t b, uint32_t *result)
  193. {
  194. struct sm_checker *smc = container_of(sm, struct sm_checker, sm);
  195. uint32_t result2 = 0;
  196. int r = dm_sm_get_count(smc->real_sm, b, result);
  197. int r2 = ca_get_count(&smc->counts, b, &result2);
  198. BUG_ON(r != r2);
  199. if (!r)
  200. BUG_ON(*result != result2);
  201. return r;
  202. }
  203. static int sm_checker_count_more_than_one(struct dm_space_map *sm, dm_block_t b, int *result)
  204. {
  205. struct sm_checker *smc = container_of(sm, struct sm_checker, sm);
  206. int result2 = 0;
  207. int r = dm_sm_count_is_more_than_one(smc->real_sm, b, result);
  208. int r2 = ca_count_more_than_one(&smc->counts, b, &result2);
  209. BUG_ON(r != r2);
  210. if (!r)
  211. BUG_ON(!(*result) && result2);
  212. return r;
  213. }
  214. static int sm_checker_set_count(struct dm_space_map *sm, dm_block_t b, uint32_t count)
  215. {
  216. struct sm_checker *smc = container_of(sm, struct sm_checker, sm);
  217. uint32_t old_rc;
  218. int r = dm_sm_set_count(smc->real_sm, b, count);
  219. int r2;
  220. BUG_ON(b >= smc->counts.nr);
  221. old_rc = smc->counts.counts[b];
  222. r2 = ca_set_count(&smc->counts, b, count);
  223. BUG_ON(r != r2);
  224. return r;
  225. }
  226. static int sm_checker_commit(struct dm_space_map *sm)
  227. {
  228. struct sm_checker *smc = container_of(sm, struct sm_checker, sm);
  229. int r;
  230. r = dm_sm_commit(smc->real_sm);
  231. if (r)
  232. return r;
  233. r = ca_commit(&smc->old_counts, &smc->counts);
  234. if (r)
  235. return r;
  236. return 0;
  237. }
  238. static int sm_checker_extend(struct dm_space_map *sm, dm_block_t extra_blocks)
  239. {
  240. struct sm_checker *smc = container_of(sm, struct sm_checker, sm);
  241. int r = dm_sm_extend(smc->real_sm, extra_blocks);
  242. if (r)
  243. return r;
  244. return ca_extend(&smc->counts, extra_blocks);
  245. }
  246. static int sm_checker_root_size(struct dm_space_map *sm, size_t *result)
  247. {
  248. struct sm_checker *smc = container_of(sm, struct sm_checker, sm);
  249. return dm_sm_root_size(smc->real_sm, result);
  250. }
  251. static int sm_checker_copy_root(struct dm_space_map *sm, void *copy_to_here_le, size_t len)
  252. {
  253. struct sm_checker *smc = container_of(sm, struct sm_checker, sm);
  254. return dm_sm_copy_root(smc->real_sm, copy_to_here_le, len);
  255. }
  256. /*----------------------------------------------------------------*/
  257. static struct dm_space_map ops_ = {
  258. .destroy = sm_checker_destroy,
  259. .get_nr_blocks = sm_checker_get_nr_blocks,
  260. .get_nr_free = sm_checker_get_nr_free,
  261. .inc_block = sm_checker_inc_block,
  262. .dec_block = sm_checker_dec_block,
  263. .new_block = sm_checker_new_block,
  264. .get_count = sm_checker_get_count,
  265. .count_is_more_than_one = sm_checker_count_more_than_one,
  266. .set_count = sm_checker_set_count,
  267. .commit = sm_checker_commit,
  268. .extend = sm_checker_extend,
  269. .root_size = sm_checker_root_size,
  270. .copy_root = sm_checker_copy_root
  271. };
  272. struct dm_space_map *dm_sm_checker_create(struct dm_space_map *sm)
  273. {
  274. int r;
  275. struct sm_checker *smc;
  276. if (!sm)
  277. return NULL;
  278. smc = kmalloc(sizeof(*smc), GFP_KERNEL);
  279. if (!smc)
  280. return NULL;
  281. memcpy(&smc->sm, &ops_, sizeof(smc->sm));
  282. r = ca_create(&smc->old_counts, sm);
  283. if (r) {
  284. kfree(smc);
  285. return NULL;
  286. }
  287. r = ca_create(&smc->counts, sm);
  288. if (r) {
  289. ca_destroy(&smc->old_counts);
  290. kfree(smc);
  291. return NULL;
  292. }
  293. smc->real_sm = sm;
  294. r = ca_load(&smc->counts, sm);
  295. if (r) {
  296. ca_destroy(&smc->counts);
  297. ca_destroy(&smc->old_counts);
  298. kfree(smc);
  299. return NULL;
  300. }
  301. r = ca_commit(&smc->old_counts, &smc->counts);
  302. if (r) {
  303. ca_destroy(&smc->counts);
  304. ca_destroy(&smc->old_counts);
  305. kfree(smc);
  306. return NULL;
  307. }
  308. return &smc->sm;
  309. }
  310. EXPORT_SYMBOL_GPL(dm_sm_checker_create);
  311. struct dm_space_map *dm_sm_checker_create_fresh(struct dm_space_map *sm)
  312. {
  313. int r;
  314. struct sm_checker *smc;
  315. if (!sm)
  316. return NULL;
  317. smc = kmalloc(sizeof(*smc), GFP_KERNEL);
  318. if (!smc)
  319. return NULL;
  320. memcpy(&smc->sm, &ops_, sizeof(smc->sm));
  321. r = ca_create(&smc->old_counts, sm);
  322. if (r) {
  323. kfree(smc);
  324. return NULL;
  325. }
  326. r = ca_create(&smc->counts, sm);
  327. if (r) {
  328. ca_destroy(&smc->old_counts);
  329. kfree(smc);
  330. return NULL;
  331. }
  332. smc->real_sm = sm;
  333. return &smc->sm;
  334. }
  335. EXPORT_SYMBOL_GPL(dm_sm_checker_create_fresh);
  336. /*----------------------------------------------------------------*/
  337. #else
  338. struct dm_space_map *dm_sm_checker_create(struct dm_space_map *sm)
  339. {
  340. return sm;
  341. }
  342. EXPORT_SYMBOL_GPL(dm_sm_checker_create);
  343. struct dm_space_map *dm_sm_checker_create_fresh(struct dm_space_map *sm)
  344. {
  345. return sm;
  346. }
  347. EXPORT_SYMBOL_GPL(dm_sm_checker_create_fresh);
  348. /*----------------------------------------------------------------*/
  349. #endif