xref: /spdk/lib/ftl/upgrade/ftl_sb_v3.c (revision 9f42898ac3c433ad69b6701274c4ed3305fa61c5)
1fa1fc76cSLukasz Lasek /*   SPDX-License-Identifier: BSD-3-Clause
2fa1fc76cSLukasz Lasek  *   Copyright 2023 Solidigm All Rights Reserved
3fa1fc76cSLukasz Lasek  *   Copyright (C) 2022 Intel Corporation.
4fa1fc76cSLukasz Lasek  *   All rights reserved.
5fa1fc76cSLukasz Lasek  */
6fa1fc76cSLukasz Lasek 
7fa1fc76cSLukasz Lasek #include "ftl_sb_v3.h"
8fa1fc76cSLukasz Lasek #include "ftl_core.h"
9fa1fc76cSLukasz Lasek #include "ftl_layout.h"
10fa1fc76cSLukasz Lasek #include "upgrade/ftl_sb_upgrade.h"
11fa1fc76cSLukasz Lasek 
12fa1fc76cSLukasz Lasek bool
ftl_superblock_v3_check_magic(union ftl_superblock_ver * sb_ver)13fa1fc76cSLukasz Lasek ftl_superblock_v3_check_magic(union ftl_superblock_ver *sb_ver)
14fa1fc76cSLukasz Lasek {
15fa1fc76cSLukasz Lasek 	return sb_ver->header.magic == FTL_SUPERBLOCK_MAGIC;
16fa1fc76cSLukasz Lasek }
17fa1fc76cSLukasz Lasek 
18fa1fc76cSLukasz Lasek bool
ftl_superblock_v3_md_layout_is_empty(union ftl_superblock_ver * sb_ver)19fa1fc76cSLukasz Lasek ftl_superblock_v3_md_layout_is_empty(union ftl_superblock_ver *sb_ver)
20fa1fc76cSLukasz Lasek {
21fa1fc76cSLukasz Lasek 	return sb_ver->v3.md_layout_head.type == FTL_LAYOUT_REGION_TYPE_INVALID;
22fa1fc76cSLukasz Lasek }
23fa1fc76cSLukasz Lasek 
24fa1fc76cSLukasz Lasek static bool
md_region_is_fixed(int reg_type)25fa1fc76cSLukasz Lasek md_region_is_fixed(int reg_type)
26fa1fc76cSLukasz Lasek {
27fa1fc76cSLukasz Lasek 	switch (reg_type) {
28fa1fc76cSLukasz Lasek 	case FTL_LAYOUT_REGION_TYPE_SB:
29fa1fc76cSLukasz Lasek 	case FTL_LAYOUT_REGION_TYPE_SB_BASE:
30fa1fc76cSLukasz Lasek 	case FTL_LAYOUT_REGION_TYPE_DATA_BASE:
31fa1fc76cSLukasz Lasek 		return true;
32fa1fc76cSLukasz Lasek 
33fa1fc76cSLukasz Lasek 	default:
34fa1fc76cSLukasz Lasek 		return false;
35fa1fc76cSLukasz Lasek 	}
36fa1fc76cSLukasz Lasek }
37fa1fc76cSLukasz Lasek 
38*9f42898aSLukasz Lasek bool
ftl_superblock_v3_md_region_overflow(struct spdk_ftl_dev * dev,struct ftl_superblock_v3_md_region * sb_reg)39*9f42898aSLukasz Lasek ftl_superblock_v3_md_region_overflow(struct spdk_ftl_dev *dev,
40fa1fc76cSLukasz Lasek 				     struct ftl_superblock_v3_md_region *sb_reg)
41fa1fc76cSLukasz Lasek {
42fa1fc76cSLukasz Lasek 	/* sb_reg is part of the sb structure - the pointer should be at a positive offset */
43fa1fc76cSLukasz Lasek 	if ((uintptr_t)sb_reg < (uintptr_t)dev->sb) {
44fa1fc76cSLukasz Lasek 		return true;
45fa1fc76cSLukasz Lasek 	}
46fa1fc76cSLukasz Lasek 
47fa1fc76cSLukasz Lasek 	/* Make sure the entry doesn't overflow the pointer value (probably overkill to check) */
48fa1fc76cSLukasz Lasek 	if (UINT64_MAX - (uintptr_t)sb_reg <= sizeof(*sb_reg)) {
49fa1fc76cSLukasz Lasek 		return true;
50fa1fc76cSLukasz Lasek 	}
51fa1fc76cSLukasz Lasek 
52fa1fc76cSLukasz Lasek 	/* There's only a finite (FTL_SUPERBLOCK_SIZE) amount of space in the superblock. Make sure the region wholly fits in that space. */
53fa1fc76cSLukasz Lasek 	if ((uintptr_t)(sb_reg + 1) > ((uintptr_t)(dev->sb) + FTL_SUPERBLOCK_SIZE)) {
54fa1fc76cSLukasz Lasek 		return true;
55fa1fc76cSLukasz Lasek 	}
56fa1fc76cSLukasz Lasek 
57fa1fc76cSLukasz Lasek 	return false;
58fa1fc76cSLukasz Lasek }
59fa1fc76cSLukasz Lasek 
60fa1fc76cSLukasz Lasek int
ftl_superblock_v3_md_layout_load_all(struct spdk_ftl_dev * dev)61fa1fc76cSLukasz Lasek ftl_superblock_v3_md_layout_load_all(struct spdk_ftl_dev *dev)
62fa1fc76cSLukasz Lasek {
63fa1fc76cSLukasz Lasek 	struct ftl_superblock_v3 *sb = (struct ftl_superblock_v3 *)dev->sb;
64fa1fc76cSLukasz Lasek 	struct ftl_superblock_v3_md_region *sb_reg = &sb->md_layout_head;
65fa1fc76cSLukasz Lasek 	struct ftl_layout *layout = &dev->layout;
66*9f42898aSLukasz Lasek 	uint32_t regs_found;
67*9f42898aSLukasz Lasek 	uint32_t n;
68*9f42898aSLukasz Lasek 	ftl_df_obj_id df_sentinel = FTL_DF_OBJ_ID_INVALID;
69*9f42898aSLukasz Lasek 	ftl_df_obj_id df_prev = ftl_df_get_obj_id(sb, sb_reg);
70fa1fc76cSLukasz Lasek 
71*9f42898aSLukasz Lasek 	for (n = 0; n < FTL_LAYOUT_REGION_TYPE_MAX_V3; n++) {
72*9f42898aSLukasz Lasek 		if (md_region_is_fixed(n)) {
73fa1fc76cSLukasz Lasek 			continue;
74fa1fc76cSLukasz Lasek 		}
75*9f42898aSLukasz Lasek 		layout->region[n].type = FTL_LAYOUT_REGION_TYPE_INVALID;
76fa1fc76cSLukasz Lasek 	}
77fa1fc76cSLukasz Lasek 
78fa1fc76cSLukasz Lasek 	while (sb_reg->type != FTL_LAYOUT_REGION_TYPE_INVALID) {
79fa1fc76cSLukasz Lasek 		struct ftl_layout_region *reg;
80fa1fc76cSLukasz Lasek 
81fa1fc76cSLukasz Lasek 		/* TODO: major upgrades: add free regions tracking */
82fa1fc76cSLukasz Lasek 		if (sb_reg->type == FTL_LAYOUT_REGION_TYPE_FREE_NVC ||
83fa1fc76cSLukasz Lasek 		    sb_reg->type == FTL_LAYOUT_REGION_TYPE_FREE_BASE) {
84fa1fc76cSLukasz Lasek 			goto next_sb_reg;
85fa1fc76cSLukasz Lasek 		}
86fa1fc76cSLukasz Lasek 
87*9f42898aSLukasz Lasek 		if (sb_reg->type >= FTL_LAYOUT_REGION_TYPE_MAX_V3) {
88fa1fc76cSLukasz Lasek 			FTL_ERRLOG(dev, "Invalid MD region type found\n");
89fa1fc76cSLukasz Lasek 			return -1;
90fa1fc76cSLukasz Lasek 		}
91fa1fc76cSLukasz Lasek 
92fa1fc76cSLukasz Lasek 		if (md_region_is_fixed(sb_reg->type)) {
93fa1fc76cSLukasz Lasek 			FTL_ERRLOG(dev, "Unsupported MD region type found\n");
94fa1fc76cSLukasz Lasek 			return -1;
95fa1fc76cSLukasz Lasek 		}
96fa1fc76cSLukasz Lasek 
97fa1fc76cSLukasz Lasek 		reg = &layout->region[sb_reg->type];
98*9f42898aSLukasz Lasek 		/* Find the oldest region version */
99*9f42898aSLukasz Lasek 		if (reg->type == FTL_LAYOUT_REGION_TYPE_INVALID || sb_reg->version < reg->current.version) {
100*9f42898aSLukasz Lasek 			reg->type = sb_reg->type;
101fa1fc76cSLukasz Lasek 			reg->current.offset = sb_reg->blk_offs;
102fa1fc76cSLukasz Lasek 			reg->current.blocks = sb_reg->blk_sz;
103*9f42898aSLukasz Lasek 			reg->current.version = sb_reg->version;
104*9f42898aSLukasz Lasek 		} else if (sb_reg->version == reg->current.version) {
105*9f42898aSLukasz Lasek 			FTL_ERRLOG(dev, "Multiple/looping regions found\n");
106*9f42898aSLukasz Lasek 			return -EAGAIN;
107fa1fc76cSLukasz Lasek 		}
108fa1fc76cSLukasz Lasek 
109fa1fc76cSLukasz Lasek next_sb_reg:
110fa1fc76cSLukasz Lasek 		if (sb_reg->df_next == FTL_DF_OBJ_ID_INVALID) {
111fa1fc76cSLukasz Lasek 			break;
112fa1fc76cSLukasz Lasek 		}
113fa1fc76cSLukasz Lasek 
114fa1fc76cSLukasz Lasek 		if (UINT64_MAX - (uintptr_t)sb <= sb_reg->df_next) {
115fa1fc76cSLukasz Lasek 			FTL_ERRLOG(dev, "Buffer overflow\n");
116fa1fc76cSLukasz Lasek 			return -EOVERFLOW;
117fa1fc76cSLukasz Lasek 		}
118fa1fc76cSLukasz Lasek 
119*9f42898aSLukasz Lasek 		if (sb_reg->df_next <= df_prev) {
120*9f42898aSLukasz Lasek 			df_sentinel = df_prev;
121*9f42898aSLukasz Lasek 		}
122*9f42898aSLukasz Lasek 		df_prev = sb_reg->df_next;
123*9f42898aSLukasz Lasek 
124*9f42898aSLukasz Lasek 		if (df_sentinel != FTL_DF_OBJ_ID_INVALID && sb_reg->df_next == df_sentinel) {
125*9f42898aSLukasz Lasek 			FTL_ERRLOG(dev, "Looping regions found\n");
126*9f42898aSLukasz Lasek 			return -ELOOP;
127*9f42898aSLukasz Lasek 		}
128*9f42898aSLukasz Lasek 
129fa1fc76cSLukasz Lasek 		sb_reg = ftl_df_get_obj_ptr(sb, sb_reg->df_next);
130*9f42898aSLukasz Lasek 		if (ftl_superblock_v3_md_region_overflow(dev, sb_reg)) {
131fa1fc76cSLukasz Lasek 			FTL_ERRLOG(dev, "Buffer overflow\n");
132fa1fc76cSLukasz Lasek 			return -EOVERFLOW;
133fa1fc76cSLukasz Lasek 		}
134fa1fc76cSLukasz Lasek 	}
135fa1fc76cSLukasz Lasek 
136*9f42898aSLukasz Lasek 	for (regs_found = 0, n = 0; n < FTL_LAYOUT_REGION_TYPE_MAX_V3; n++) {
137*9f42898aSLukasz Lasek 		if (layout->region[n].type == n) {
138*9f42898aSLukasz Lasek 			regs_found++;
139*9f42898aSLukasz Lasek 		}
140*9f42898aSLukasz Lasek 	}
141*9f42898aSLukasz Lasek 
142*9f42898aSLukasz Lasek 	if (regs_found != FTL_LAYOUT_REGION_TYPE_MAX_V3) {
143fa1fc76cSLukasz Lasek 		FTL_ERRLOG(dev, "Missing regions\n");
144fa1fc76cSLukasz Lasek 		return -1;
145fa1fc76cSLukasz Lasek 	}
146fa1fc76cSLukasz Lasek 
147fa1fc76cSLukasz Lasek 	return 0;
148fa1fc76cSLukasz Lasek }
149fa1fc76cSLukasz Lasek 
150fa1fc76cSLukasz Lasek void
ftl_superblock_v3_md_layout_dump(struct spdk_ftl_dev * dev)151fa1fc76cSLukasz Lasek ftl_superblock_v3_md_layout_dump(struct spdk_ftl_dev *dev)
152fa1fc76cSLukasz Lasek {
153fa1fc76cSLukasz Lasek 	struct ftl_superblock_v3 *sb = (struct ftl_superblock_v3 *)dev->sb;
154fa1fc76cSLukasz Lasek 	struct ftl_superblock_v3_md_region *sb_reg = &sb->md_layout_head;
155fa1fc76cSLukasz Lasek 
156fa1fc76cSLukasz Lasek 	FTL_NOTICELOG(dev, "SB metadata layout:\n");
157fa1fc76cSLukasz Lasek 	while (sb_reg->type != FTL_LAYOUT_REGION_TYPE_INVALID) {
158fa1fc76cSLukasz Lasek 		FTL_NOTICELOG(dev,
159fa1fc76cSLukasz Lasek 			      "Region df:0x%"PRIx64" type:0x%"PRIx32" ver:%"PRIu32" blk_offs:0x%"PRIx64" blk_sz:0x%"PRIx64"\n",
160fa1fc76cSLukasz Lasek 			      ftl_df_get_obj_id(sb, sb_reg), sb_reg->type, sb_reg->version, sb_reg->blk_offs, sb_reg->blk_sz);
161fa1fc76cSLukasz Lasek 
162fa1fc76cSLukasz Lasek 		if (sb_reg->df_next == FTL_DF_OBJ_ID_INVALID) {
163fa1fc76cSLukasz Lasek 			break;
164fa1fc76cSLukasz Lasek 		}
165fa1fc76cSLukasz Lasek 
166fa1fc76cSLukasz Lasek 		sb_reg = ftl_df_get_obj_ptr(sb, sb_reg->df_next);
167*9f42898aSLukasz Lasek 		if (ftl_superblock_v3_md_region_overflow(dev, sb_reg)) {
168fa1fc76cSLukasz Lasek 			FTL_ERRLOG(dev, "Buffer overflow\n");
169fa1fc76cSLukasz Lasek 			return;
170fa1fc76cSLukasz Lasek 		}
171fa1fc76cSLukasz Lasek 	}
172fa1fc76cSLukasz Lasek }
173