diff options
| author | Konstantin Khlebnikov <khlebnikov@openvz.org> | 2012-03-28 17:42:53 -0400 |
|---|---|---|
| committer | Linus Torvalds <torvalds@linux-foundation.org> | 2012-03-28 20:14:37 -0400 |
| commit | cebbd29e1c2f7a969919f19f74583070840163d7 (patch) | |
| tree | f9ec01b2cb5c3affe64587b83d4877429f0edc0c /lib | |
| parent | 78c1d78488a3c45685d993130c9f17102dc79a54 (diff) | |
radix-tree: rewrite gang lookup using iterator
Rewrite radix_tree_gang_lookup_* functions using the new radix-tree
iterator.
Signed-off-by: Konstantin Khlebnikov <khlebnikov@openvz.org>
Tested-by: Hugh Dickins <hughd@google.com>
Cc: Christoph Hellwig <hch@lst.de>
Signed-off-by: Andrew Morton <akpm@linux-foundation.org>
Signed-off-by: Linus Torvalds <torvalds@linux-foundation.org>
Diffstat (limited to 'lib')
| -rw-r--r-- | lib/radix-tree.c | 291 |
1 files changed, 33 insertions, 258 deletions
diff --git a/lib/radix-tree.c b/lib/radix-tree.c index fefa76e6ff96..86516f5588e3 100644 --- a/lib/radix-tree.c +++ b/lib/radix-tree.c | |||
| @@ -968,57 +968,6 @@ unsigned long radix_tree_prev_hole(struct radix_tree_root *root, | |||
| 968 | } | 968 | } |
| 969 | EXPORT_SYMBOL(radix_tree_prev_hole); | 969 | EXPORT_SYMBOL(radix_tree_prev_hole); |
| 970 | 970 | ||
| 971 | static unsigned int | ||
| 972 | __lookup(struct radix_tree_node *slot, void ***results, unsigned long *indices, | ||
| 973 | unsigned long index, unsigned int max_items, unsigned long *next_index) | ||
| 974 | { | ||
| 975 | unsigned int nr_found = 0; | ||
| 976 | unsigned int shift, height; | ||
| 977 | unsigned long i; | ||
| 978 | |||
| 979 | height = slot->height; | ||
| 980 | if (height == 0) | ||
| 981 | goto out; | ||
| 982 | shift = (height-1) * RADIX_TREE_MAP_SHIFT; | ||
| 983 | |||
| 984 | for ( ; height > 1; height--) { | ||
| 985 | i = (index >> shift) & RADIX_TREE_MAP_MASK; | ||
| 986 | for (;;) { | ||
| 987 | if (slot->slots[i] != NULL) | ||
| 988 | break; | ||
| 989 | index &= ~((1UL << shift) - 1); | ||
| 990 | index += 1UL << shift; | ||
| 991 | if (index == 0) | ||
| 992 | goto out; /* 32-bit wraparound */ | ||
| 993 | i++; | ||
| 994 | if (i == RADIX_TREE_MAP_SIZE) | ||
| 995 | goto out; | ||
| 996 | } | ||
| 997 | |||
| 998 | shift -= RADIX_TREE_MAP_SHIFT; | ||
| 999 | slot = rcu_dereference_raw(slot->slots[i]); | ||
| 1000 | if (slot == NULL) | ||
| 1001 | goto out; | ||
| 1002 | } | ||
| 1003 | |||
| 1004 | /* Bottom level: grab some items */ | ||
| 1005 | for (i = index & RADIX_TREE_MAP_MASK; i < RADIX_TREE_MAP_SIZE; i++) { | ||
| 1006 | if (slot->slots[i]) { | ||
| 1007 | results[nr_found] = &(slot->slots[i]); | ||
| 1008 | if (indices) | ||
| 1009 | indices[nr_found] = index; | ||
| 1010 | if (++nr_found == max_items) { | ||
| 1011 | index++; | ||
| 1012 | goto out; | ||
| 1013 | } | ||
| 1014 | } | ||
| 1015 | index++; | ||
| 1016 | } | ||
| 1017 | out: | ||
| 1018 | *next_index = index; | ||
| 1019 | return nr_found; | ||
| 1020 | } | ||
| 1021 | |||
| 1022 | /** | 971 | /** |
| 1023 | * radix_tree_gang_lookup - perform multiple lookup on a radix tree | 972 | * radix_tree_gang_lookup - perform multiple lookup on a radix tree |
| 1024 | * @root: radix tree root | 973 | * @root: radix tree root |
| @@ -1042,48 +991,19 @@ unsigned int | |||
| 1042 | radix_tree_gang_lookup(struct radix_tree_root *root, void **results, | 991 | radix_tree_gang_lookup(struct radix_tree_root *root, void **results, |
| 1043 | unsigned long first_index, unsigned int max_items) | 992 | unsigned long first_index, unsigned int max_items) |
| 1044 | { | 993 | { |
| 1045 | unsigned long max_index; | 994 | struct radix_tree_iter iter; |
| 1046 | struct radix_tree_node *node; | 995 | void **slot; |
| 1047 | unsigned long cur_index = first_index; | 996 | unsigned int ret = 0; |
| 1048 | unsigned int ret; | ||
| 1049 | 997 | ||
| 1050 | node = rcu_dereference_raw(root->rnode); | 998 | if (unlikely(!max_items)) |
| 1051 | if (!node) | ||
| 1052 | return 0; | 999 | return 0; |
| 1053 | 1000 | ||
| 1054 | if (!radix_tree_is_indirect_ptr(node)) { | 1001 | radix_tree_for_each_slot(slot, root, &iter, first_index) { |
| 1055 | if (first_index > 0) | 1002 | results[ret] = indirect_to_ptr(rcu_dereference_raw(*slot)); |
| 1056 | return 0; | 1003 | if (!results[ret]) |
| 1057 | results[0] = node; | 1004 | continue; |
| 1058 | return 1; | 1005 | if (++ret == max_items) |
| 1059 | } | ||
| 1060 | node = indirect_to_ptr(node); | ||
| 1061 | |||
| 1062 | max_index = radix_tree_maxindex(node->height); | ||
| 1063 | |||
| 1064 | ret = 0; | ||
| 1065 | while (ret < max_items) { | ||
| 1066 | unsigned int nr_found, slots_found, i; | ||
| 1067 | unsigned long next_index; /* Index of next search */ | ||
| 1068 | |||
| 1069 | if (cur_index > max_index) | ||
| 1070 | break; | ||
| 1071 | slots_found = __lookup(node, (void ***)results + ret, NULL, | ||
| 1072 | cur_index, max_items - ret, &next_index); | ||
| 1073 | nr_found = 0; | ||
| 1074 | for (i = 0; i < slots_found; i++) { | ||
| 1075 | struct radix_tree_node *slot; | ||
| 1076 | slot = *(((void ***)results)[ret + i]); | ||
| 1077 | if (!slot) | ||
| 1078 | continue; | ||
| 1079 | results[ret + nr_found] = | ||
| 1080 | indirect_to_ptr(rcu_dereference_raw(slot)); | ||
| 1081 | nr_found++; | ||
| 1082 | } | ||
| 1083 | ret += nr_found; | ||
| 1084 | if (next_index == 0) | ||
| 1085 | break; | 1006 | break; |
| 1086 | cur_index = next_index; | ||
| 1087 | } | 1007 | } |
| 1088 | 1008 | ||
| 1089 | return ret; | 1009 | return ret; |
| @@ -1113,112 +1033,25 @@ radix_tree_gang_lookup_slot(struct radix_tree_root *root, | |||
| 1113 | void ***results, unsigned long *indices, | 1033 | void ***results, unsigned long *indices, |
| 1114 | unsigned long first_index, unsigned int max_items) | 1034 | unsigned long first_index, unsigned int max_items) |
| 1115 | { | 1035 | { |
| 1116 | unsigned long max_index; | 1036 | struct radix_tree_iter iter; |
| 1117 | struct radix_tree_node *node; | 1037 | void **slot; |
| 1118 | unsigned long cur_index = first_index; | 1038 | unsigned int ret = 0; |
| 1119 | unsigned int ret; | ||
| 1120 | 1039 | ||
| 1121 | node = rcu_dereference_raw(root->rnode); | 1040 | if (unlikely(!max_items)) |
| 1122 | if (!node) | ||
| 1123 | return 0; | 1041 | return 0; |
| 1124 | 1042 | ||
| 1125 | if (!radix_tree_is_indirect_ptr(node)) { | 1043 | radix_tree_for_each_slot(slot, root, &iter, first_index) { |
| 1126 | if (first_index > 0) | 1044 | results[ret] = slot; |
| 1127 | return 0; | ||
| 1128 | results[0] = (void **)&root->rnode; | ||
| 1129 | if (indices) | 1045 | if (indices) |
| 1130 | indices[0] = 0; | 1046 | indices[ret] = iter.index; |
| 1131 | return 1; | 1047 | if (++ret == max_items) |
| 1132 | } | ||
| 1133 | node = indirect_to_ptr(node); | ||
| 1134 | |||
| 1135 | max_index = radix_tree_maxindex(node->height); | ||
| 1136 | |||
| 1137 | ret = 0; | ||
| 1138 | while (ret < max_items) { | ||
| 1139 | unsigned int slots_found; | ||
| 1140 | unsigned long next_index; /* Index of next search */ | ||
| 1141 | |||
| 1142 | if (cur_index > max_index) | ||
| 1143 | break; | 1048 | break; |
| 1144 | slots_found = __lookup(node, results + ret, | ||
| 1145 | indices ? indices + ret : NULL, | ||
| 1146 | cur_index, max_items - ret, &next_index); | ||
| 1147 | ret += slots_found; | ||
| 1148 | if (next_index == 0) | ||
| 1149 | break; | ||
| 1150 | cur_index = next_index; | ||
| 1151 | } | 1049 | } |
| 1152 | 1050 | ||
| 1153 | return ret; | 1051 | return ret; |
| 1154 | } | 1052 | } |
| 1155 | EXPORT_SYMBOL(radix_tree_gang_lookup_slot); | 1053 | EXPORT_SYMBOL(radix_tree_gang_lookup_slot); |
| 1156 | 1054 | ||
| 1157 | /* | ||
| 1158 | * FIXME: the two tag_get()s here should use find_next_bit() instead of | ||
| 1159 | * open-coding the search. | ||
| 1160 | */ | ||
| 1161 | static unsigned int | ||
| 1162 | __lookup_tag(struct radix_tree_node *slot, void ***results, unsigned long index, | ||
| 1163 | unsigned int max_items, unsigned long *next_index, unsigned int tag) | ||
| 1164 | { | ||
| 1165 | unsigned int nr_found = 0; | ||
| 1166 | unsigned int shift, height; | ||
| 1167 | |||
| 1168 | height = slot->height; | ||
| 1169 | if (height == 0) | ||
| 1170 | goto out; | ||
| 1171 | shift = (height-1) * RADIX_TREE_MAP_SHIFT; | ||
| 1172 | |||
| 1173 | while (height > 0) { | ||
| 1174 | unsigned long i = (index >> shift) & RADIX_TREE_MAP_MASK ; | ||
| 1175 | |||
| 1176 | for (;;) { | ||
| 1177 | if (tag_get(slot, tag, i)) | ||
| 1178 | break; | ||
| 1179 | index &= ~((1UL << shift) - 1); | ||
| 1180 | index += 1UL << shift; | ||
| 1181 | if (index == 0) | ||
| 1182 | goto out; /* 32-bit wraparound */ | ||
| 1183 | i++; | ||
| 1184 | if (i == RADIX_TREE_MAP_SIZE) | ||
| 1185 | goto out; | ||
| 1186 | } | ||
| 1187 | height--; | ||
| 1188 | if (height == 0) { /* Bottom level: grab some items */ | ||
| 1189 | unsigned long j = index & RADIX_TREE_MAP_MASK; | ||
| 1190 | |||
| 1191 | for ( ; j < RADIX_TREE_MAP_SIZE; j++) { | ||
| 1192 | index++; | ||
| 1193 | if (!tag_get(slot, tag, j)) | ||
| 1194 | continue; | ||
| 1195 | /* | ||
| 1196 | * Even though the tag was found set, we need to | ||
| 1197 | * recheck that we have a non-NULL node, because | ||
| 1198 | * if this lookup is lockless, it may have been | ||
| 1199 | * subsequently deleted. | ||
| 1200 | * | ||
| 1201 | * Similar care must be taken in any place that | ||
| 1202 | * lookup ->slots[x] without a lock (ie. can't | ||
| 1203 | * rely on its value remaining the same). | ||
| 1204 | */ | ||
| 1205 | if (slot->slots[j]) { | ||
| 1206 | results[nr_found++] = &(slot->slots[j]); | ||
| 1207 | if (nr_found == max_items) | ||
| 1208 | goto out; | ||
| 1209 | } | ||
| 1210 | } | ||
| 1211 | } | ||
| 1212 | shift -= RADIX_TREE_MAP_SHIFT; | ||
| 1213 | slot = rcu_dereference_raw(slot->slots[i]); | ||
| 1214 | if (slot == NULL) | ||
| 1215 | break; | ||
| 1216 | } | ||
| 1217 | out: | ||
| 1218 | *next_index = index; | ||
| 1219 | return nr_found; | ||
| 1220 | } | ||
| 1221 | |||
| 1222 | /** | 1055 | /** |
| 1223 | * radix_tree_gang_lookup_tag - perform multiple lookup on a radix tree | 1056 | * radix_tree_gang_lookup_tag - perform multiple lookup on a radix tree |
| 1224 | * based on a tag | 1057 | * based on a tag |
| @@ -1237,52 +1070,19 @@ radix_tree_gang_lookup_tag(struct radix_tree_root *root, void **results, | |||
| 1237 | unsigned long first_index, unsigned int max_items, | 1070 | unsigned long first_index, unsigned int max_items, |
| 1238 | unsigned int tag) | 1071 | unsigned int tag) |
| 1239 | { | 1072 | { |
| 1240 | struct radix_tree_node *node; | 1073 | struct radix_tree_iter iter; |
| 1241 | unsigned long max_index; | 1074 | void **slot; |
| 1242 | unsigned long cur_index = first_index; | 1075 | unsigned int ret = 0; |
| 1243 | unsigned int ret; | ||
| 1244 | 1076 | ||
| 1245 | /* check the root's tag bit */ | 1077 | if (unlikely(!max_items)) |
| 1246 | if (!root_tag_get(root, tag)) | ||
| 1247 | return 0; | 1078 | return 0; |
| 1248 | 1079 | ||
| 1249 | node = rcu_dereference_raw(root->rnode); | 1080 | radix_tree_for_each_tagged(slot, root, &iter, first_index, tag) { |
| 1250 | if (!node) | 1081 | results[ret] = indirect_to_ptr(rcu_dereference_raw(*slot)); |
| 1251 | return 0; | 1082 | if (!results[ret]) |
| 1252 | 1083 | continue; | |
| 1253 | if (!radix_tree_is_indirect_ptr(node)) { | 1084 | if (++ret == max_items) |
| 1254 | if (first_index > 0) | ||
| 1255 | return 0; | ||
| 1256 | results[0] = node; | ||
| 1257 | return 1; | ||
| 1258 | } | ||
| 1259 | node = indirect_to_ptr(node); | ||
| 1260 | |||
| 1261 | max_index = radix_tree_maxindex(node->height); | ||
| 1262 | |||
| 1263 | ret = 0; | ||
| 1264 | while (ret < max_items) { | ||
| 1265 | unsigned int nr_found, slots_found, i; | ||
| 1266 | unsigned long next_index; /* Index of next search */ | ||
| 1267 | |||
| 1268 | if (cur_index > max_index) | ||
| 1269 | break; | ||
| 1270 | slots_found = __lookup_tag(node, (void ***)results + ret, | ||
| 1271 | cur_index, max_items - ret, &next_index, tag); | ||
| 1272 | nr_found = 0; | ||
| 1273 | for (i = 0; i < slots_found; i++) { | ||
| 1274 | struct radix_tree_node *slot; | ||
| 1275 | slot = *(((void ***)results)[ret + i]); | ||
| 1276 | if (!slot) | ||
| 1277 | continue; | ||
| 1278 | results[ret + nr_found] = | ||
| 1279 | indirect_to_ptr(rcu_dereference_raw(slot)); | ||
| 1280 | nr_found++; | ||
| 1281 | } | ||
| 1282 | ret += nr_found; | ||
| 1283 | if (next_index == 0) | ||
| 1284 | break; | 1085 | break; |
| 1285 | cur_index = next_index; | ||
| 1286 | } | 1086 | } |
| 1287 | 1087 | ||
| 1288 | return ret; | 1088 | return ret; |
| @@ -1307,42 +1107,17 @@ radix_tree_gang_lookup_tag_slot(struct radix_tree_root *root, void ***results, | |||
| 1307 | unsigned long first_index, unsigned int max_items, | 1107 | unsigned long first_index, unsigned int max_items, |
| 1308 | unsigned int tag) | 1108 | unsigned int tag) |
| 1309 | { | 1109 | { |
| 1310 | struct radix_tree_node *node; | 1110 | struct radix_tree_iter iter; |
| 1311 | unsigned long max_index; | 1111 | void **slot; |
| 1312 | unsigned long cur_index = first_index; | 1112 | unsigned int ret = 0; |
| 1313 | unsigned int ret; | ||
| 1314 | 1113 | ||
| 1315 | /* check the root's tag bit */ | 1114 | if (unlikely(!max_items)) |
| 1316 | if (!root_tag_get(root, tag)) | ||
| 1317 | return 0; | ||
| 1318 | |||
| 1319 | node = rcu_dereference_raw(root->rnode); | ||
| 1320 | if (!node) | ||
| 1321 | return 0; | 1115 | return 0; |
| 1322 | 1116 | ||
| 1323 | if (!radix_tree_is_indirect_ptr(node)) { | 1117 | radix_tree_for_each_tagged(slot, root, &iter, first_index, tag) { |
| 1324 | if (first_index > 0) | 1118 | results[ret] = slot; |
| 1325 | return 0; | 1119 | if (++ret == max_items) |
| 1326 | results[0] = (void **)&root->rnode; | ||
| 1327 | return 1; | ||
| 1328 | } | ||
| 1329 | node = indirect_to_ptr(node); | ||
| 1330 | |||
| 1331 | max_index = radix_tree_maxindex(node->height); | ||
| 1332 | |||
| 1333 | ret = 0; | ||
| 1334 | while (ret < max_items) { | ||
| 1335 | unsigned int slots_found; | ||
| 1336 | unsigned long next_index; /* Index of next search */ | ||
| 1337 | |||
| 1338 | if (cur_index > max_index) | ||
| 1339 | break; | ||
| 1340 | slots_found = __lookup_tag(node, results + ret, | ||
| 1341 | cur_index, max_items - ret, &next_index, tag); | ||
| 1342 | ret += slots_found; | ||
| 1343 | if (next_index == 0) | ||
| 1344 | break; | 1120 | break; |
| 1345 | cur_index = next_index; | ||
| 1346 | } | 1121 | } |
| 1347 | 1122 | ||
| 1348 | return ret; | 1123 | return ret; |
