1 *3b35e7eeSXin LI // SPDX-License-Identifier: 0BSD 2 *3b35e7eeSXin LI 3 81ad8388SMartin Matuska /////////////////////////////////////////////////////////////////////////////// 4 81ad8388SMartin Matuska // 5 81ad8388SMartin Matuska /// \file index.c 6 81ad8388SMartin Matuska /// \brief Handling of .xz Indexes and some other Stream information 7 81ad8388SMartin Matuska // 8 81ad8388SMartin Matuska // Author: Lasse Collin 9 81ad8388SMartin Matuska // 10 81ad8388SMartin Matuska /////////////////////////////////////////////////////////////////////////////// 11 81ad8388SMartin Matuska 12 047153b4SXin LI #include "common.h" 13 81ad8388SMartin Matuska #include "index.h" 14 81ad8388SMartin Matuska #include "stream_flags_common.h" 15 81ad8388SMartin Matuska 16 81ad8388SMartin Matuska 17 81ad8388SMartin Matuska /// \brief How many Records to allocate at once 18 81ad8388SMartin Matuska /// 19 81ad8388SMartin Matuska /// This should be big enough to avoid making lots of tiny allocations 20 81ad8388SMartin Matuska /// but small enough to avoid too much unused memory at once. 21 542aef48SMartin Matuska #define INDEX_GROUP_SIZE 512 22 81ad8388SMartin Matuska 23 81ad8388SMartin Matuska 24 81ad8388SMartin Matuska /// \brief How many Records can be allocated at once at maximum 25 81ad8388SMartin Matuska #define PREALLOC_MAX ((SIZE_MAX - sizeof(index_group)) / sizeof(index_record)) 26 81ad8388SMartin Matuska 27 81ad8388SMartin Matuska 28 81ad8388SMartin Matuska /// \brief Base structure for index_stream and index_group structures 29 81ad8388SMartin Matuska typedef struct index_tree_node_s index_tree_node; 30 81ad8388SMartin Matuska struct index_tree_node_s { 31 81ad8388SMartin Matuska /// Uncompressed start offset of this Stream (relative to the 32 81ad8388SMartin Matuska /// beginning of the file) or Block (relative to the beginning 33 81ad8388SMartin Matuska /// of the Stream) 34 81ad8388SMartin Matuska lzma_vli uncompressed_base; 35 81ad8388SMartin Matuska 36 81ad8388SMartin Matuska /// Compressed start offset of this Stream or Block 37 81ad8388SMartin Matuska lzma_vli compressed_base; 38 81ad8388SMartin Matuska 39 81ad8388SMartin Matuska index_tree_node *parent; 40 81ad8388SMartin Matuska index_tree_node *left; 41 81ad8388SMartin Matuska index_tree_node *right; 42 81ad8388SMartin Matuska }; 43 81ad8388SMartin Matuska 44 81ad8388SMartin Matuska 45 81ad8388SMartin Matuska /// \brief AVL tree to hold index_stream or index_group structures 46 81ad8388SMartin Matuska typedef struct { 47 81ad8388SMartin Matuska /// Root node 48 81ad8388SMartin Matuska index_tree_node *root; 49 81ad8388SMartin Matuska 50 81ad8388SMartin Matuska /// Leftmost node. Since the tree will be filled sequentially, 51 81ad8388SMartin Matuska /// this won't change after the first node has been added to 52 81ad8388SMartin Matuska /// the tree. 53 81ad8388SMartin Matuska index_tree_node *leftmost; 54 81ad8388SMartin Matuska 55 81ad8388SMartin Matuska /// The rightmost node in the tree. Since the tree is filled 56 81ad8388SMartin Matuska /// sequentially, this is always the node where to add the new data. 57 81ad8388SMartin Matuska index_tree_node *rightmost; 58 81ad8388SMartin Matuska 59 81ad8388SMartin Matuska /// Number of nodes in the tree 60 81ad8388SMartin Matuska uint32_t count; 61 81ad8388SMartin Matuska 62 81ad8388SMartin Matuska } index_tree; 63 81ad8388SMartin Matuska 64 81ad8388SMartin Matuska 65 81ad8388SMartin Matuska typedef struct { 66 81ad8388SMartin Matuska lzma_vli uncompressed_sum; 67 81ad8388SMartin Matuska lzma_vli unpadded_sum; 68 81ad8388SMartin Matuska } index_record; 69 81ad8388SMartin Matuska 70 81ad8388SMartin Matuska 71 81ad8388SMartin Matuska typedef struct { 72 81ad8388SMartin Matuska /// Every Record group is part of index_stream.groups tree. 73 81ad8388SMartin Matuska index_tree_node node; 74 81ad8388SMartin Matuska 75 81ad8388SMartin Matuska /// Number of Blocks in this Stream before this group. 76 81ad8388SMartin Matuska lzma_vli number_base; 77 81ad8388SMartin Matuska 78 81ad8388SMartin Matuska /// Number of Records that can be put in records[]. 79 81ad8388SMartin Matuska size_t allocated; 80 81ad8388SMartin Matuska 81 81ad8388SMartin Matuska /// Index of the last Record in use. 82 81ad8388SMartin Matuska size_t last; 83 81ad8388SMartin Matuska 84 81ad8388SMartin Matuska /// The sizes in this array are stored as cumulative sums relative 85 81ad8388SMartin Matuska /// to the beginning of the Stream. This makes it possible to 86 81ad8388SMartin Matuska /// use binary search in lzma_index_locate(). 87 81ad8388SMartin Matuska /// 88 81ad8388SMartin Matuska /// Note that the cumulative summing is done specially for 89 81ad8388SMartin Matuska /// unpadded_sum: The previous value is rounded up to the next 90 81ad8388SMartin Matuska /// multiple of four before adding the Unpadded Size of the new 91 81ad8388SMartin Matuska /// Block. The total encoded size of the Blocks in the Stream 92 81ad8388SMartin Matuska /// is records[last].unpadded_sum in the last Record group of 93 81ad8388SMartin Matuska /// the Stream. 94 81ad8388SMartin Matuska /// 95 81ad8388SMartin Matuska /// For example, if the Unpadded Sizes are 39, 57, and 81, the 96 81ad8388SMartin Matuska /// stored values are 39, 97 (40 + 57), and 181 (100 + 181). 97 81ad8388SMartin Matuska /// The total encoded size of these Blocks is 184. 98 81ad8388SMartin Matuska /// 99 81ad8388SMartin Matuska /// This is a flexible array, because it makes easy to optimize 100 81ad8388SMartin Matuska /// memory usage in case someone concatenates many Streams that 101 81ad8388SMartin Matuska /// have only one or few Blocks. 102 81ad8388SMartin Matuska index_record records[]; 103 81ad8388SMartin Matuska 104 81ad8388SMartin Matuska } index_group; 105 81ad8388SMartin Matuska 106 81ad8388SMartin Matuska 107 81ad8388SMartin Matuska typedef struct { 108 a8675d92SXin LI /// Every index_stream is a node in the tree of Streams. 109 81ad8388SMartin Matuska index_tree_node node; 110 81ad8388SMartin Matuska 111 81ad8388SMartin Matuska /// Number of this Stream (first one is 1) 112 81ad8388SMartin Matuska uint32_t number; 113 81ad8388SMartin Matuska 114 81ad8388SMartin Matuska /// Total number of Blocks before this Stream 115 81ad8388SMartin Matuska lzma_vli block_number_base; 116 81ad8388SMartin Matuska 117 81ad8388SMartin Matuska /// Record groups of this Stream are stored in a tree. 118 81ad8388SMartin Matuska /// It's a T-tree with AVL-tree balancing. There are 119 81ad8388SMartin Matuska /// INDEX_GROUP_SIZE Records per node by default. 120 81ad8388SMartin Matuska /// This keeps the number of memory allocations reasonable 121 81ad8388SMartin Matuska /// and finding a Record is fast. 122 81ad8388SMartin Matuska index_tree groups; 123 81ad8388SMartin Matuska 124 81ad8388SMartin Matuska /// Number of Records in this Stream 125 81ad8388SMartin Matuska lzma_vli record_count; 126 81ad8388SMartin Matuska 127 81ad8388SMartin Matuska /// Size of the List of Records field in this Stream. This is used 128 81ad8388SMartin Matuska /// together with record_count to calculate the size of the Index 129 81ad8388SMartin Matuska /// field and thus the total size of the Stream. 130 81ad8388SMartin Matuska lzma_vli index_list_size; 131 81ad8388SMartin Matuska 132 81ad8388SMartin Matuska /// Stream Flags of this Stream. This is meaningful only if 133 81ad8388SMartin Matuska /// the Stream Flags have been told us with lzma_index_stream_flags(). 134 81ad8388SMartin Matuska /// Initially stream_flags.version is set to UINT32_MAX to indicate 135 81ad8388SMartin Matuska /// that the Stream Flags are unknown. 136 81ad8388SMartin Matuska lzma_stream_flags stream_flags; 137 81ad8388SMartin Matuska 138 81ad8388SMartin Matuska /// Amount of Stream Padding after this Stream. This defaults to 139 81ad8388SMartin Matuska /// zero and can be set with lzma_index_stream_padding(). 140 81ad8388SMartin Matuska lzma_vli stream_padding; 141 81ad8388SMartin Matuska 142 81ad8388SMartin Matuska } index_stream; 143 81ad8388SMartin Matuska 144 81ad8388SMartin Matuska 145 81ad8388SMartin Matuska struct lzma_index_s { 146 81ad8388SMartin Matuska /// AVL-tree containing the Stream(s). Often there is just one 147 81ad8388SMartin Matuska /// Stream, but using a tree keeps lookups fast even when there 148 81ad8388SMartin Matuska /// are many concatenated Streams. 149 81ad8388SMartin Matuska index_tree streams; 150 81ad8388SMartin Matuska 151 81ad8388SMartin Matuska /// Uncompressed size of all the Blocks in the Stream(s) 152 81ad8388SMartin Matuska lzma_vli uncompressed_size; 153 81ad8388SMartin Matuska 154 81ad8388SMartin Matuska /// Total size of all the Blocks in the Stream(s) 155 81ad8388SMartin Matuska lzma_vli total_size; 156 81ad8388SMartin Matuska 157 81ad8388SMartin Matuska /// Total number of Records in all Streams in this lzma_index 158 81ad8388SMartin Matuska lzma_vli record_count; 159 81ad8388SMartin Matuska 160 81ad8388SMartin Matuska /// Size of the List of Records field if all the Streams in this 161 81ad8388SMartin Matuska /// lzma_index were packed into a single Stream (makes it simpler to 162 81ad8388SMartin Matuska /// take many .xz files and combine them into a single Stream). 163 81ad8388SMartin Matuska /// 164 81ad8388SMartin Matuska /// This value together with record_count is needed to calculate 165 81ad8388SMartin Matuska /// Backward Size that is stored into Stream Footer. 166 81ad8388SMartin Matuska lzma_vli index_list_size; 167 81ad8388SMartin Matuska 168 81ad8388SMartin Matuska /// How many Records to allocate at once in lzma_index_append(). 169 a8675d92SXin LI /// This defaults to INDEX_GROUP_SIZE but can be overridden with 170 81ad8388SMartin Matuska /// lzma_index_prealloc(). 171 81ad8388SMartin Matuska size_t prealloc; 172 81ad8388SMartin Matuska 173 81ad8388SMartin Matuska /// Bitmask indicating what integrity check types have been used 174 81ad8388SMartin Matuska /// as set by lzma_index_stream_flags(). The bit of the last Stream 175 81ad8388SMartin Matuska /// is not included here, since it is possible to change it by 176 81ad8388SMartin Matuska /// calling lzma_index_stream_flags() again. 177 81ad8388SMartin Matuska uint32_t checks; 178 81ad8388SMartin Matuska }; 179 81ad8388SMartin Matuska 180 81ad8388SMartin Matuska 181 81ad8388SMartin Matuska static void 182 81ad8388SMartin Matuska index_tree_init(index_tree *tree) 183 81ad8388SMartin Matuska { 184 81ad8388SMartin Matuska tree->root = NULL; 185 81ad8388SMartin Matuska tree->leftmost = NULL; 186 81ad8388SMartin Matuska tree->rightmost = NULL; 187 81ad8388SMartin Matuska tree->count = 0; 188 81ad8388SMartin Matuska return; 189 81ad8388SMartin Matuska } 190 81ad8388SMartin Matuska 191 81ad8388SMartin Matuska 192 81ad8388SMartin Matuska /// Helper for index_tree_end() 193 81ad8388SMartin Matuska static void 194 53200025SRui Paulo index_tree_node_end(index_tree_node *node, const lzma_allocator *allocator, 195 53200025SRui Paulo void (*free_func)(void *node, const lzma_allocator *allocator)) 196 81ad8388SMartin Matuska { 197 81ad8388SMartin Matuska // The tree won't ever be very huge, so recursion should be fine. 198 81ad8388SMartin Matuska // 20 levels in the tree is likely quite a lot already in practice. 199 81ad8388SMartin Matuska if (node->left != NULL) 200 81ad8388SMartin Matuska index_tree_node_end(node->left, allocator, free_func); 201 81ad8388SMartin Matuska 202 81ad8388SMartin Matuska if (node->right != NULL) 203 81ad8388SMartin Matuska index_tree_node_end(node->right, allocator, free_func); 204 81ad8388SMartin Matuska 205 81ad8388SMartin Matuska free_func(node, allocator); 206 81ad8388SMartin Matuska return; 207 81ad8388SMartin Matuska } 208 81ad8388SMartin Matuska 209 81ad8388SMartin Matuska 210 1456f0f9SXin LI /// Free the memory allocated for a tree. Each node is freed using the 211 1456f0f9SXin LI /// given free_func which is either &lzma_free or &index_stream_end. 212 1456f0f9SXin LI /// The latter is used to free the Record groups from each index_stream 213 1456f0f9SXin LI /// before freeing the index_stream itself. 214 81ad8388SMartin Matuska static void 215 53200025SRui Paulo index_tree_end(index_tree *tree, const lzma_allocator *allocator, 216 53200025SRui Paulo void (*free_func)(void *node, const lzma_allocator *allocator)) 217 81ad8388SMartin Matuska { 218 1456f0f9SXin LI assert(free_func != NULL); 219 1456f0f9SXin LI 220 81ad8388SMartin Matuska if (tree->root != NULL) 221 81ad8388SMartin Matuska index_tree_node_end(tree->root, allocator, free_func); 222 81ad8388SMartin Matuska 223 81ad8388SMartin Matuska return; 224 81ad8388SMartin Matuska } 225 81ad8388SMartin Matuska 226 81ad8388SMartin Matuska 227 81ad8388SMartin Matuska /// Add a new node to the tree. node->uncompressed_base and 228 81ad8388SMartin Matuska /// node->compressed_base must have been set by the caller already. 229 81ad8388SMartin Matuska static void 230 81ad8388SMartin Matuska index_tree_append(index_tree *tree, index_tree_node *node) 231 81ad8388SMartin Matuska { 232 81ad8388SMartin Matuska node->parent = tree->rightmost; 233 81ad8388SMartin Matuska node->left = NULL; 234 81ad8388SMartin Matuska node->right = NULL; 235 81ad8388SMartin Matuska 236 81ad8388SMartin Matuska ++tree->count; 237 81ad8388SMartin Matuska 238 81ad8388SMartin Matuska // Handle the special case of adding the first node. 239 81ad8388SMartin Matuska if (tree->root == NULL) { 240 81ad8388SMartin Matuska tree->root = node; 241 81ad8388SMartin Matuska tree->leftmost = node; 242 81ad8388SMartin Matuska tree->rightmost = node; 243 81ad8388SMartin Matuska return; 244 81ad8388SMartin Matuska } 245 81ad8388SMartin Matuska 246 81ad8388SMartin Matuska // The tree is always filled sequentially. 247 81ad8388SMartin Matuska assert(tree->rightmost->uncompressed_base <= node->uncompressed_base); 248 81ad8388SMartin Matuska assert(tree->rightmost->compressed_base < node->compressed_base); 249 81ad8388SMartin Matuska 250 81ad8388SMartin Matuska // Add the new node after the rightmost node. It's the correct 251 81ad8388SMartin Matuska // place due to the reason above. 252 81ad8388SMartin Matuska tree->rightmost->right = node; 253 81ad8388SMartin Matuska tree->rightmost = node; 254 81ad8388SMartin Matuska 255 81ad8388SMartin Matuska // Balance the AVL-tree if needed. We don't need to keep the balance 256 81ad8388SMartin Matuska // factors in nodes, because we always fill the tree sequentially, 257 81ad8388SMartin Matuska // and thus know the state of the tree just by looking at the node 258 81ad8388SMartin Matuska // count. From the node count we can calculate how many steps to go 259 81ad8388SMartin Matuska // up in the tree to find the rotation root. 260 81ad8388SMartin Matuska uint32_t up = tree->count ^ (UINT32_C(1) << bsr32(tree->count)); 261 81ad8388SMartin Matuska if (up != 0) { 262 81ad8388SMartin Matuska // Locate the root node for the rotation. 263 81ad8388SMartin Matuska up = ctz32(tree->count) + 2; 264 81ad8388SMartin Matuska do { 265 81ad8388SMartin Matuska node = node->parent; 266 81ad8388SMartin Matuska } while (--up > 0); 267 81ad8388SMartin Matuska 268 81ad8388SMartin Matuska // Rotate left using node as the rotation root. 269 81ad8388SMartin Matuska index_tree_node *pivot = node->right; 270 81ad8388SMartin Matuska 271 81ad8388SMartin Matuska if (node->parent == NULL) { 272 81ad8388SMartin Matuska tree->root = pivot; 273 81ad8388SMartin Matuska } else { 274 81ad8388SMartin Matuska assert(node->parent->right == node); 275 81ad8388SMartin Matuska node->parent->right = pivot; 276 81ad8388SMartin Matuska } 277 81ad8388SMartin Matuska 278 81ad8388SMartin Matuska pivot->parent = node->parent; 279 81ad8388SMartin Matuska 280 81ad8388SMartin Matuska node->right = pivot->left; 281 81ad8388SMartin Matuska if (node->right != NULL) 282 81ad8388SMartin Matuska node->right->parent = node; 283 81ad8388SMartin Matuska 284 81ad8388SMartin Matuska pivot->left = node; 285 81ad8388SMartin Matuska node->parent = pivot; 286 81ad8388SMartin Matuska } 287 81ad8388SMartin Matuska 288 81ad8388SMartin Matuska return; 289 81ad8388SMartin Matuska } 290 81ad8388SMartin Matuska 291 81ad8388SMartin Matuska 292 81ad8388SMartin Matuska /// Get the next node in the tree. Return NULL if there are no more nodes. 293 81ad8388SMartin Matuska static void * 294 81ad8388SMartin Matuska index_tree_next(const index_tree_node *node) 295 81ad8388SMartin Matuska { 296 81ad8388SMartin Matuska if (node->right != NULL) { 297 81ad8388SMartin Matuska node = node->right; 298 81ad8388SMartin Matuska while (node->left != NULL) 299 81ad8388SMartin Matuska node = node->left; 300 81ad8388SMartin Matuska 301 81ad8388SMartin Matuska return (void *)(node); 302 81ad8388SMartin Matuska } 303 81ad8388SMartin Matuska 304 81ad8388SMartin Matuska while (node->parent != NULL && node->parent->right == node) 305 81ad8388SMartin Matuska node = node->parent; 306 81ad8388SMartin Matuska 307 81ad8388SMartin Matuska return (void *)(node->parent); 308 81ad8388SMartin Matuska } 309 81ad8388SMartin Matuska 310 81ad8388SMartin Matuska 311 81ad8388SMartin Matuska /// Locate a node that contains the given uncompressed offset. It is 312 81ad8388SMartin Matuska /// caller's job to check that target is not bigger than the uncompressed 313 81ad8388SMartin Matuska /// size of the tree (the last node would be returned in that case still). 314 81ad8388SMartin Matuska static void * 315 81ad8388SMartin Matuska index_tree_locate(const index_tree *tree, lzma_vli target) 316 81ad8388SMartin Matuska { 317 81ad8388SMartin Matuska const index_tree_node *result = NULL; 318 81ad8388SMartin Matuska const index_tree_node *node = tree->root; 319 81ad8388SMartin Matuska 320 81ad8388SMartin Matuska assert(tree->leftmost == NULL 321 81ad8388SMartin Matuska || tree->leftmost->uncompressed_base == 0); 322 81ad8388SMartin Matuska 323 81ad8388SMartin Matuska // Consecutive nodes may have the same uncompressed_base. 324 81ad8388SMartin Matuska // We must pick the rightmost one. 325 81ad8388SMartin Matuska while (node != NULL) { 326 81ad8388SMartin Matuska if (node->uncompressed_base > target) { 327 81ad8388SMartin Matuska node = node->left; 328 81ad8388SMartin Matuska } else { 329 81ad8388SMartin Matuska result = node; 330 81ad8388SMartin Matuska node = node->right; 331 81ad8388SMartin Matuska } 332 81ad8388SMartin Matuska } 333 81ad8388SMartin Matuska 334 81ad8388SMartin Matuska return (void *)(result); 335 81ad8388SMartin Matuska } 336 81ad8388SMartin Matuska 337 81ad8388SMartin Matuska 338 81ad8388SMartin Matuska /// Allocate and initialize a new Stream using the given base offsets. 339 81ad8388SMartin Matuska static index_stream * 340 81ad8388SMartin Matuska index_stream_init(lzma_vli compressed_base, lzma_vli uncompressed_base, 341 fe50a38eSXin LI uint32_t stream_number, lzma_vli block_number_base, 342 53200025SRui Paulo const lzma_allocator *allocator) 343 81ad8388SMartin Matuska { 344 81ad8388SMartin Matuska index_stream *s = lzma_alloc(sizeof(index_stream), allocator); 345 81ad8388SMartin Matuska if (s == NULL) 346 81ad8388SMartin Matuska return NULL; 347 81ad8388SMartin Matuska 348 81ad8388SMartin Matuska s->node.uncompressed_base = uncompressed_base; 349 81ad8388SMartin Matuska s->node.compressed_base = compressed_base; 350 81ad8388SMartin Matuska s->node.parent = NULL; 351 81ad8388SMartin Matuska s->node.left = NULL; 352 81ad8388SMartin Matuska s->node.right = NULL; 353 81ad8388SMartin Matuska 354 81ad8388SMartin Matuska s->number = stream_number; 355 81ad8388SMartin Matuska s->block_number_base = block_number_base; 356 81ad8388SMartin Matuska 357 81ad8388SMartin Matuska index_tree_init(&s->groups); 358 81ad8388SMartin Matuska 359 81ad8388SMartin Matuska s->record_count = 0; 360 81ad8388SMartin Matuska s->index_list_size = 0; 361 81ad8388SMartin Matuska s->stream_flags.version = UINT32_MAX; 362 81ad8388SMartin Matuska s->stream_padding = 0; 363 81ad8388SMartin Matuska 364 81ad8388SMartin Matuska return s; 365 81ad8388SMartin Matuska } 366 81ad8388SMartin Matuska 367 81ad8388SMartin Matuska 368 81ad8388SMartin Matuska /// Free the memory allocated for a Stream and its Record groups. 369 81ad8388SMartin Matuska static void 370 53200025SRui Paulo index_stream_end(void *node, const lzma_allocator *allocator) 371 81ad8388SMartin Matuska { 372 81ad8388SMartin Matuska index_stream *s = node; 373 1456f0f9SXin LI index_tree_end(&s->groups, allocator, &lzma_free); 374 1456f0f9SXin LI lzma_free(s, allocator); 375 81ad8388SMartin Matuska return; 376 81ad8388SMartin Matuska } 377 81ad8388SMartin Matuska 378 81ad8388SMartin Matuska 379 81ad8388SMartin Matuska static lzma_index * 380 53200025SRui Paulo index_init_plain(const lzma_allocator *allocator) 381 81ad8388SMartin Matuska { 382 81ad8388SMartin Matuska lzma_index *i = lzma_alloc(sizeof(lzma_index), allocator); 383 81ad8388SMartin Matuska if (i != NULL) { 384 81ad8388SMartin Matuska index_tree_init(&i->streams); 385 81ad8388SMartin Matuska i->uncompressed_size = 0; 386 81ad8388SMartin Matuska i->total_size = 0; 387 81ad8388SMartin Matuska i->record_count = 0; 388 81ad8388SMartin Matuska i->index_list_size = 0; 389 81ad8388SMartin Matuska i->prealloc = INDEX_GROUP_SIZE; 390 81ad8388SMartin Matuska i->checks = 0; 391 81ad8388SMartin Matuska } 392 81ad8388SMartin Matuska 393 81ad8388SMartin Matuska return i; 394 81ad8388SMartin Matuska } 395 81ad8388SMartin Matuska 396 81ad8388SMartin Matuska 397 81ad8388SMartin Matuska extern LZMA_API(lzma_index *) 398 53200025SRui Paulo lzma_index_init(const lzma_allocator *allocator) 399 81ad8388SMartin Matuska { 400 81ad8388SMartin Matuska lzma_index *i = index_init_plain(allocator); 401 e24134bcSMartin Matuska if (i == NULL) 402 e24134bcSMartin Matuska return NULL; 403 e24134bcSMartin Matuska 404 81ad8388SMartin Matuska index_stream *s = index_stream_init(0, 0, 1, 0, allocator); 405 e24134bcSMartin Matuska if (s == NULL) { 406 81ad8388SMartin Matuska lzma_free(i, allocator); 407 e24134bcSMartin Matuska return NULL; 408 81ad8388SMartin Matuska } 409 81ad8388SMartin Matuska 410 81ad8388SMartin Matuska index_tree_append(&i->streams, &s->node); 411 81ad8388SMartin Matuska 412 81ad8388SMartin Matuska return i; 413 81ad8388SMartin Matuska } 414 81ad8388SMartin Matuska 415 81ad8388SMartin Matuska 416 81ad8388SMartin Matuska extern LZMA_API(void) 417 53200025SRui Paulo lzma_index_end(lzma_index *i, const lzma_allocator *allocator) 418 81ad8388SMartin Matuska { 419 81ad8388SMartin Matuska // NOTE: If you modify this function, check also the bottom 420 81ad8388SMartin Matuska // of lzma_index_cat(). 421 81ad8388SMartin Matuska if (i != NULL) { 422 81ad8388SMartin Matuska index_tree_end(&i->streams, allocator, &index_stream_end); 423 81ad8388SMartin Matuska lzma_free(i, allocator); 424 81ad8388SMartin Matuska } 425 81ad8388SMartin Matuska 426 81ad8388SMartin Matuska return; 427 81ad8388SMartin Matuska } 428 81ad8388SMartin Matuska 429 81ad8388SMartin Matuska 430 81ad8388SMartin Matuska extern void 431 81ad8388SMartin Matuska lzma_index_prealloc(lzma_index *i, lzma_vli records) 432 81ad8388SMartin Matuska { 433 81ad8388SMartin Matuska if (records > PREALLOC_MAX) 434 81ad8388SMartin Matuska records = PREALLOC_MAX; 435 81ad8388SMartin Matuska 436 81ad8388SMartin Matuska i->prealloc = (size_t)(records); 437 81ad8388SMartin Matuska return; 438 81ad8388SMartin Matuska } 439 81ad8388SMartin Matuska 440 81ad8388SMartin Matuska 441 81ad8388SMartin Matuska extern LZMA_API(uint64_t) 442 81ad8388SMartin Matuska lzma_index_memusage(lzma_vli streams, lzma_vli blocks) 443 81ad8388SMartin Matuska { 444 81ad8388SMartin Matuska // This calculates an upper bound that is only a little bit 445 81ad8388SMartin Matuska // bigger than the exact maximum memory usage with the given 446 81ad8388SMartin Matuska // parameters. 447 81ad8388SMartin Matuska 448 81ad8388SMartin Matuska // Typical malloc() overhead is 2 * sizeof(void *) but we take 449 81ad8388SMartin Matuska // a little bit extra just in case. Using LZMA_MEMUSAGE_BASE 450 81ad8388SMartin Matuska // instead would give too inaccurate estimate. 451 81ad8388SMartin Matuska const size_t alloc_overhead = 4 * sizeof(void *); 452 81ad8388SMartin Matuska 453 81ad8388SMartin Matuska // Amount of memory needed for each Stream base structures. 454 81ad8388SMartin Matuska // We assume that every Stream has at least one Block and 455 81ad8388SMartin Matuska // thus at least one group. 456 81ad8388SMartin Matuska const size_t stream_base = sizeof(index_stream) 457 81ad8388SMartin Matuska + sizeof(index_group) + 2 * alloc_overhead; 458 81ad8388SMartin Matuska 459 81ad8388SMartin Matuska // Amount of memory needed per group. 460 81ad8388SMartin Matuska const size_t group_base = sizeof(index_group) 461 81ad8388SMartin Matuska + INDEX_GROUP_SIZE * sizeof(index_record) 462 81ad8388SMartin Matuska + alloc_overhead; 463 81ad8388SMartin Matuska 464 81ad8388SMartin Matuska // Number of groups. There may actually be more, but that overhead 465 81ad8388SMartin Matuska // has been taken into account in stream_base already. 466 81ad8388SMartin Matuska const lzma_vli groups 467 81ad8388SMartin Matuska = (blocks + INDEX_GROUP_SIZE - 1) / INDEX_GROUP_SIZE; 468 81ad8388SMartin Matuska 469 81ad8388SMartin Matuska // Memory used by index_stream and index_group structures. 470 81ad8388SMartin Matuska const uint64_t streams_mem = streams * stream_base; 471 81ad8388SMartin Matuska const uint64_t groups_mem = groups * group_base; 472 81ad8388SMartin Matuska 473 81ad8388SMartin Matuska // Memory used by the base structure. 474 81ad8388SMartin Matuska const uint64_t index_base = sizeof(lzma_index) + alloc_overhead; 475 81ad8388SMartin Matuska 476 81ad8388SMartin Matuska // Validate the arguments and catch integer overflows. 477 81ad8388SMartin Matuska // Maximum number of Streams is "only" UINT32_MAX, because 478 81ad8388SMartin Matuska // that limit is used by the tree containing the Streams. 479 81ad8388SMartin Matuska const uint64_t limit = UINT64_MAX - index_base; 480 81ad8388SMartin Matuska if (streams == 0 || streams > UINT32_MAX || blocks > LZMA_VLI_MAX 481 81ad8388SMartin Matuska || streams > limit / stream_base 482 81ad8388SMartin Matuska || groups > limit / group_base 483 81ad8388SMartin Matuska || limit - streams_mem < groups_mem) 484 81ad8388SMartin Matuska return UINT64_MAX; 485 81ad8388SMartin Matuska 486 81ad8388SMartin Matuska return index_base + streams_mem + groups_mem; 487 81ad8388SMartin Matuska } 488 81ad8388SMartin Matuska 489 81ad8388SMartin Matuska 490 81ad8388SMartin Matuska extern LZMA_API(uint64_t) 491 81ad8388SMartin Matuska lzma_index_memused(const lzma_index *i) 492 81ad8388SMartin Matuska { 493 81ad8388SMartin Matuska return lzma_index_memusage(i->streams.count, i->record_count); 494 81ad8388SMartin Matuska } 495 81ad8388SMartin Matuska 496 81ad8388SMartin Matuska 497 81ad8388SMartin Matuska extern LZMA_API(lzma_vli) 498 81ad8388SMartin Matuska lzma_index_block_count(const lzma_index *i) 499 81ad8388SMartin Matuska { 500 81ad8388SMartin Matuska return i->record_count; 501 81ad8388SMartin Matuska } 502 81ad8388SMartin Matuska 503 81ad8388SMartin Matuska 504 81ad8388SMartin Matuska extern LZMA_API(lzma_vli) 505 81ad8388SMartin Matuska lzma_index_stream_count(const lzma_index *i) 506 81ad8388SMartin Matuska { 507 81ad8388SMartin Matuska return i->streams.count; 508 81ad8388SMartin Matuska } 509 81ad8388SMartin Matuska 510 81ad8388SMartin Matuska 511 81ad8388SMartin Matuska extern LZMA_API(lzma_vli) 512 81ad8388SMartin Matuska lzma_index_size(const lzma_index *i) 513 81ad8388SMartin Matuska { 514 81ad8388SMartin Matuska return index_size(i->record_count, i->index_list_size); 515 81ad8388SMartin Matuska } 516 81ad8388SMartin Matuska 517 81ad8388SMartin Matuska 518 81ad8388SMartin Matuska extern LZMA_API(lzma_vli) 519 81ad8388SMartin Matuska lzma_index_total_size(const lzma_index *i) 520 81ad8388SMartin Matuska { 521 81ad8388SMartin Matuska return i->total_size; 522 81ad8388SMartin Matuska } 523 81ad8388SMartin Matuska 524 81ad8388SMartin Matuska 525 81ad8388SMartin Matuska extern LZMA_API(lzma_vli) 526 81ad8388SMartin Matuska lzma_index_stream_size(const lzma_index *i) 527 81ad8388SMartin Matuska { 528 81ad8388SMartin Matuska // Stream Header + Blocks + Index + Stream Footer 529 81ad8388SMartin Matuska return LZMA_STREAM_HEADER_SIZE + i->total_size 530 81ad8388SMartin Matuska + index_size(i->record_count, i->index_list_size) 531 81ad8388SMartin Matuska + LZMA_STREAM_HEADER_SIZE; 532 81ad8388SMartin Matuska } 533 81ad8388SMartin Matuska 534 81ad8388SMartin Matuska 535 81ad8388SMartin Matuska static lzma_vli 536 81ad8388SMartin Matuska index_file_size(lzma_vli compressed_base, lzma_vli unpadded_sum, 537 81ad8388SMartin Matuska lzma_vli record_count, lzma_vli index_list_size, 538 81ad8388SMartin Matuska lzma_vli stream_padding) 539 81ad8388SMartin Matuska { 540 81ad8388SMartin Matuska // Earlier Streams and Stream Paddings + Stream Header 541 81ad8388SMartin Matuska // + Blocks + Index + Stream Footer + Stream Padding 542 81ad8388SMartin Matuska // 543 81ad8388SMartin Matuska // This might go over LZMA_VLI_MAX due to too big unpadded_sum 544 81ad8388SMartin Matuska // when this function is used in lzma_index_append(). 545 81ad8388SMartin Matuska lzma_vli file_size = compressed_base + 2 * LZMA_STREAM_HEADER_SIZE 546 81ad8388SMartin Matuska + stream_padding + vli_ceil4(unpadded_sum); 547 81ad8388SMartin Matuska if (file_size > LZMA_VLI_MAX) 548 81ad8388SMartin Matuska return LZMA_VLI_UNKNOWN; 549 81ad8388SMartin Matuska 550 81ad8388SMartin Matuska // The same applies here. 551 81ad8388SMartin Matuska file_size += index_size(record_count, index_list_size); 552 81ad8388SMartin Matuska if (file_size > LZMA_VLI_MAX) 553 81ad8388SMartin Matuska return LZMA_VLI_UNKNOWN; 554 81ad8388SMartin Matuska 555 81ad8388SMartin Matuska return file_size; 556 81ad8388SMartin Matuska } 557 81ad8388SMartin Matuska 558 81ad8388SMartin Matuska 559 81ad8388SMartin Matuska extern LZMA_API(lzma_vli) 560 81ad8388SMartin Matuska lzma_index_file_size(const lzma_index *i) 561 81ad8388SMartin Matuska { 562 81ad8388SMartin Matuska const index_stream *s = (const index_stream *)(i->streams.rightmost); 563 81ad8388SMartin Matuska const index_group *g = (const index_group *)(s->groups.rightmost); 564 81ad8388SMartin Matuska return index_file_size(s->node.compressed_base, 565 81ad8388SMartin Matuska g == NULL ? 0 : g->records[g->last].unpadded_sum, 566 81ad8388SMartin Matuska s->record_count, s->index_list_size, 567 81ad8388SMartin Matuska s->stream_padding); 568 81ad8388SMartin Matuska } 569 81ad8388SMartin Matuska 570 81ad8388SMartin Matuska 571 81ad8388SMartin Matuska extern LZMA_API(lzma_vli) 572 81ad8388SMartin Matuska lzma_index_uncompressed_size(const lzma_index *i) 573 81ad8388SMartin Matuska { 574 81ad8388SMartin Matuska return i->uncompressed_size; 575 81ad8388SMartin Matuska } 576 81ad8388SMartin Matuska 577 81ad8388SMartin Matuska 578 81ad8388SMartin Matuska extern LZMA_API(uint32_t) 579 81ad8388SMartin Matuska lzma_index_checks(const lzma_index *i) 580 81ad8388SMartin Matuska { 581 81ad8388SMartin Matuska uint32_t checks = i->checks; 582 81ad8388SMartin Matuska 583 81ad8388SMartin Matuska // Get the type of the Check of the last Stream too. 584 81ad8388SMartin Matuska const index_stream *s = (const index_stream *)(i->streams.rightmost); 585 81ad8388SMartin Matuska if (s->stream_flags.version != UINT32_MAX) 586 81ad8388SMartin Matuska checks |= UINT32_C(1) << s->stream_flags.check; 587 81ad8388SMartin Matuska 588 81ad8388SMartin Matuska return checks; 589 81ad8388SMartin Matuska } 590 81ad8388SMartin Matuska 591 81ad8388SMartin Matuska 592 81ad8388SMartin Matuska extern uint32_t 593 81ad8388SMartin Matuska lzma_index_padding_size(const lzma_index *i) 594 81ad8388SMartin Matuska { 595 81ad8388SMartin Matuska return (LZMA_VLI_C(4) - index_size_unpadded( 596 81ad8388SMartin Matuska i->record_count, i->index_list_size)) & 3; 597 81ad8388SMartin Matuska } 598 81ad8388SMartin Matuska 599 81ad8388SMartin Matuska 600 81ad8388SMartin Matuska extern LZMA_API(lzma_ret) 601 81ad8388SMartin Matuska lzma_index_stream_flags(lzma_index *i, const lzma_stream_flags *stream_flags) 602 81ad8388SMartin Matuska { 603 81ad8388SMartin Matuska if (i == NULL || stream_flags == NULL) 604 81ad8388SMartin Matuska return LZMA_PROG_ERROR; 605 81ad8388SMartin Matuska 606 81ad8388SMartin Matuska // Validate the Stream Flags. 607 81ad8388SMartin Matuska return_if_error(lzma_stream_flags_compare( 608 81ad8388SMartin Matuska stream_flags, stream_flags)); 609 81ad8388SMartin Matuska 610 81ad8388SMartin Matuska index_stream *s = (index_stream *)(i->streams.rightmost); 611 81ad8388SMartin Matuska s->stream_flags = *stream_flags; 612 81ad8388SMartin Matuska 613 81ad8388SMartin Matuska return LZMA_OK; 614 81ad8388SMartin Matuska } 615 81ad8388SMartin Matuska 616 81ad8388SMartin Matuska 617 81ad8388SMartin Matuska extern LZMA_API(lzma_ret) 618 81ad8388SMartin Matuska lzma_index_stream_padding(lzma_index *i, lzma_vli stream_padding) 619 81ad8388SMartin Matuska { 620 81ad8388SMartin Matuska if (i == NULL || stream_padding > LZMA_VLI_MAX 621 81ad8388SMartin Matuska || (stream_padding & 3) != 0) 622 81ad8388SMartin Matuska return LZMA_PROG_ERROR; 623 81ad8388SMartin Matuska 624 81ad8388SMartin Matuska index_stream *s = (index_stream *)(i->streams.rightmost); 625 81ad8388SMartin Matuska 626 81ad8388SMartin Matuska // Check that the new value won't make the file grow too big. 627 81ad8388SMartin Matuska const lzma_vli old_stream_padding = s->stream_padding; 628 81ad8388SMartin Matuska s->stream_padding = 0; 629 81ad8388SMartin Matuska if (lzma_index_file_size(i) + stream_padding > LZMA_VLI_MAX) { 630 81ad8388SMartin Matuska s->stream_padding = old_stream_padding; 631 81ad8388SMartin Matuska return LZMA_DATA_ERROR; 632 81ad8388SMartin Matuska } 633 81ad8388SMartin Matuska 634 81ad8388SMartin Matuska s->stream_padding = stream_padding; 635 81ad8388SMartin Matuska return LZMA_OK; 636 81ad8388SMartin Matuska } 637 81ad8388SMartin Matuska 638 81ad8388SMartin Matuska 639 81ad8388SMartin Matuska extern LZMA_API(lzma_ret) 640 53200025SRui Paulo lzma_index_append(lzma_index *i, const lzma_allocator *allocator, 641 81ad8388SMartin Matuska lzma_vli unpadded_size, lzma_vli uncompressed_size) 642 81ad8388SMartin Matuska { 643 81ad8388SMartin Matuska // Validate. 644 81ad8388SMartin Matuska if (i == NULL || unpadded_size < UNPADDED_SIZE_MIN 645 81ad8388SMartin Matuska || unpadded_size > UNPADDED_SIZE_MAX 646 81ad8388SMartin Matuska || uncompressed_size > LZMA_VLI_MAX) 647 81ad8388SMartin Matuska return LZMA_PROG_ERROR; 648 81ad8388SMartin Matuska 649 81ad8388SMartin Matuska index_stream *s = (index_stream *)(i->streams.rightmost); 650 81ad8388SMartin Matuska index_group *g = (index_group *)(s->groups.rightmost); 651 81ad8388SMartin Matuska 652 81ad8388SMartin Matuska const lzma_vli compressed_base = g == NULL ? 0 653 81ad8388SMartin Matuska : vli_ceil4(g->records[g->last].unpadded_sum); 654 81ad8388SMartin Matuska const lzma_vli uncompressed_base = g == NULL ? 0 655 81ad8388SMartin Matuska : g->records[g->last].uncompressed_sum; 656 81ad8388SMartin Matuska const uint32_t index_list_size_add = lzma_vli_size(unpadded_size) 657 81ad8388SMartin Matuska + lzma_vli_size(uncompressed_size); 658 81ad8388SMartin Matuska 659 9e6bbe47SXin LI // Check that uncompressed size will not overflow. 660 9e6bbe47SXin LI if (uncompressed_base + uncompressed_size > LZMA_VLI_MAX) 661 9e6bbe47SXin LI return LZMA_DATA_ERROR; 662 9e6bbe47SXin LI 663 ca6a6373SXin LI // Check that the new unpadded sum will not overflow. This is 664 ca6a6373SXin LI // checked again in index_file_size(), but the unpadded sum is 665 ca6a6373SXin LI // passed to vli_ceil4() which expects a valid lzma_vli value. 666 ca6a6373SXin LI if (compressed_base + unpadded_size > UNPADDED_SIZE_MAX) 667 ca6a6373SXin LI return LZMA_DATA_ERROR; 668 ca6a6373SXin LI 669 81ad8388SMartin Matuska // Check that the file size will stay within limits. 670 81ad8388SMartin Matuska if (index_file_size(s->node.compressed_base, 671 81ad8388SMartin Matuska compressed_base + unpadded_size, s->record_count + 1, 672 81ad8388SMartin Matuska s->index_list_size + index_list_size_add, 673 81ad8388SMartin Matuska s->stream_padding) == LZMA_VLI_UNKNOWN) 674 81ad8388SMartin Matuska return LZMA_DATA_ERROR; 675 81ad8388SMartin Matuska 676 81ad8388SMartin Matuska // The size of the Index field must not exceed the maximum value 677 81ad8388SMartin Matuska // that can be stored in the Backward Size field. 678 81ad8388SMartin Matuska if (index_size(i->record_count + 1, 679 81ad8388SMartin Matuska i->index_list_size + index_list_size_add) 680 81ad8388SMartin Matuska > LZMA_BACKWARD_SIZE_MAX) 681 81ad8388SMartin Matuska return LZMA_DATA_ERROR; 682 81ad8388SMartin Matuska 683 81ad8388SMartin Matuska if (g != NULL && g->last + 1 < g->allocated) { 684 81ad8388SMartin Matuska // There is space in the last group at least for one Record. 685 81ad8388SMartin Matuska ++g->last; 686 81ad8388SMartin Matuska } else { 687 81ad8388SMartin Matuska // We need to allocate a new group. 688 81ad8388SMartin Matuska g = lzma_alloc(sizeof(index_group) 689 81ad8388SMartin Matuska + i->prealloc * sizeof(index_record), 690 81ad8388SMartin Matuska allocator); 691 81ad8388SMartin Matuska if (g == NULL) 692 81ad8388SMartin Matuska return LZMA_MEM_ERROR; 693 81ad8388SMartin Matuska 694 81ad8388SMartin Matuska g->last = 0; 695 81ad8388SMartin Matuska g->allocated = i->prealloc; 696 81ad8388SMartin Matuska 697 81ad8388SMartin Matuska // Reset prealloc so that if the application happens to 698 81ad8388SMartin Matuska // add new Records, the allocation size will be sane. 699 81ad8388SMartin Matuska i->prealloc = INDEX_GROUP_SIZE; 700 81ad8388SMartin Matuska 701 81ad8388SMartin Matuska // Set the start offsets of this group. 702 81ad8388SMartin Matuska g->node.uncompressed_base = uncompressed_base; 703 81ad8388SMartin Matuska g->node.compressed_base = compressed_base; 704 81ad8388SMartin Matuska g->number_base = s->record_count + 1; 705 81ad8388SMartin Matuska 706 81ad8388SMartin Matuska // Add the new group to the Stream. 707 81ad8388SMartin Matuska index_tree_append(&s->groups, &g->node); 708 81ad8388SMartin Matuska } 709 81ad8388SMartin Matuska 710 81ad8388SMartin Matuska // Add the new Record to the group. 711 81ad8388SMartin Matuska g->records[g->last].uncompressed_sum 712 81ad8388SMartin Matuska = uncompressed_base + uncompressed_size; 713 81ad8388SMartin Matuska g->records[g->last].unpadded_sum 714 81ad8388SMartin Matuska = compressed_base + unpadded_size; 715 81ad8388SMartin Matuska 716 81ad8388SMartin Matuska // Update the totals. 717 81ad8388SMartin Matuska ++s->record_count; 718 81ad8388SMartin Matuska s->index_list_size += index_list_size_add; 719 81ad8388SMartin Matuska 720 81ad8388SMartin Matuska i->total_size += vli_ceil4(unpadded_size); 721 81ad8388SMartin Matuska i->uncompressed_size += uncompressed_size; 722 81ad8388SMartin Matuska ++i->record_count; 723 81ad8388SMartin Matuska i->index_list_size += index_list_size_add; 724 81ad8388SMartin Matuska 725 81ad8388SMartin Matuska return LZMA_OK; 726 81ad8388SMartin Matuska } 727 81ad8388SMartin Matuska 728 81ad8388SMartin Matuska 729 81ad8388SMartin Matuska /// Structure to pass info to index_cat_helper() 730 81ad8388SMartin Matuska typedef struct { 731 81ad8388SMartin Matuska /// Uncompressed size of the destination 732 81ad8388SMartin Matuska lzma_vli uncompressed_size; 733 81ad8388SMartin Matuska 734 81ad8388SMartin Matuska /// Compressed file size of the destination 735 81ad8388SMartin Matuska lzma_vli file_size; 736 81ad8388SMartin Matuska 737 81ad8388SMartin Matuska /// Same as above but for Block numbers 738 81ad8388SMartin Matuska lzma_vli block_number_add; 739 81ad8388SMartin Matuska 740 81ad8388SMartin Matuska /// Number of Streams that were in the destination index before we 741 81ad8388SMartin Matuska /// started appending new Streams from the source index. This is 742 81ad8388SMartin Matuska /// used to fix the Stream numbering. 743 81ad8388SMartin Matuska uint32_t stream_number_add; 744 81ad8388SMartin Matuska 745 81ad8388SMartin Matuska /// Destination index' Stream tree 746 81ad8388SMartin Matuska index_tree *streams; 747 81ad8388SMartin Matuska 748 81ad8388SMartin Matuska } index_cat_info; 749 81ad8388SMartin Matuska 750 81ad8388SMartin Matuska 751 81ad8388SMartin Matuska /// Add the Stream nodes from the source index to dest using recursion. 752 81ad8388SMartin Matuska /// Simplest iterative traversal of the source tree wouldn't work, because 753 81ad8388SMartin Matuska /// we update the pointers in nodes when moving them to the destination tree. 754 81ad8388SMartin Matuska static void 755 81ad8388SMartin Matuska index_cat_helper(const index_cat_info *info, index_stream *this) 756 81ad8388SMartin Matuska { 757 81ad8388SMartin Matuska index_stream *left = (index_stream *)(this->node.left); 758 81ad8388SMartin Matuska index_stream *right = (index_stream *)(this->node.right); 759 81ad8388SMartin Matuska 760 81ad8388SMartin Matuska if (left != NULL) 761 81ad8388SMartin Matuska index_cat_helper(info, left); 762 81ad8388SMartin Matuska 763 81ad8388SMartin Matuska this->node.uncompressed_base += info->uncompressed_size; 764 81ad8388SMartin Matuska this->node.compressed_base += info->file_size; 765 81ad8388SMartin Matuska this->number += info->stream_number_add; 766 81ad8388SMartin Matuska this->block_number_base += info->block_number_add; 767 81ad8388SMartin Matuska index_tree_append(info->streams, &this->node); 768 81ad8388SMartin Matuska 769 81ad8388SMartin Matuska if (right != NULL) 770 81ad8388SMartin Matuska index_cat_helper(info, right); 771 81ad8388SMartin Matuska 772 81ad8388SMartin Matuska return; 773 81ad8388SMartin Matuska } 774 81ad8388SMartin Matuska 775 81ad8388SMartin Matuska 776 81ad8388SMartin Matuska extern LZMA_API(lzma_ret) 777 81ad8388SMartin Matuska lzma_index_cat(lzma_index *restrict dest, lzma_index *restrict src, 778 53200025SRui Paulo const lzma_allocator *allocator) 779 81ad8388SMartin Matuska { 780 9e6bbe47SXin LI if (dest == NULL || src == NULL) 781 9e6bbe47SXin LI return LZMA_PROG_ERROR; 782 9e6bbe47SXin LI 783 81ad8388SMartin Matuska const lzma_vli dest_file_size = lzma_index_file_size(dest); 784 81ad8388SMartin Matuska 785 81ad8388SMartin Matuska // Check that we don't exceed the file size limits. 786 81ad8388SMartin Matuska if (dest_file_size + lzma_index_file_size(src) > LZMA_VLI_MAX 787 81ad8388SMartin Matuska || dest->uncompressed_size + src->uncompressed_size 788 81ad8388SMartin Matuska > LZMA_VLI_MAX) 789 81ad8388SMartin Matuska return LZMA_DATA_ERROR; 790 81ad8388SMartin Matuska 791 81ad8388SMartin Matuska // Check that the encoded size of the combined lzma_indexes stays 792 81ad8388SMartin Matuska // within limits. In theory, this should be done only if we know 793 81ad8388SMartin Matuska // that the user plans to actually combine the Streams and thus 794 81ad8388SMartin Matuska // construct a single Index (probably rare). However, exceeding 795 81ad8388SMartin Matuska // this limit is quite theoretical, so we do this check always 796 81ad8388SMartin Matuska // to simplify things elsewhere. 797 81ad8388SMartin Matuska { 798 81ad8388SMartin Matuska const lzma_vli dest_size = index_size_unpadded( 799 81ad8388SMartin Matuska dest->record_count, dest->index_list_size); 800 81ad8388SMartin Matuska const lzma_vli src_size = index_size_unpadded( 801 81ad8388SMartin Matuska src->record_count, src->index_list_size); 802 81ad8388SMartin Matuska if (vli_ceil4(dest_size + src_size) > LZMA_BACKWARD_SIZE_MAX) 803 81ad8388SMartin Matuska return LZMA_DATA_ERROR; 804 81ad8388SMartin Matuska } 805 81ad8388SMartin Matuska 806 81ad8388SMartin Matuska // Optimize the last group to minimize memory usage. Allocation has 807 81ad8388SMartin Matuska // to be done before modifying dest or src. 808 81ad8388SMartin Matuska { 809 81ad8388SMartin Matuska index_stream *s = (index_stream *)(dest->streams.rightmost); 810 81ad8388SMartin Matuska index_group *g = (index_group *)(s->groups.rightmost); 811 81ad8388SMartin Matuska if (g != NULL && g->last + 1 < g->allocated) { 812 81ad8388SMartin Matuska assert(g->node.left == NULL); 813 81ad8388SMartin Matuska assert(g->node.right == NULL); 814 81ad8388SMartin Matuska 815 81ad8388SMartin Matuska index_group *newg = lzma_alloc(sizeof(index_group) 816 81ad8388SMartin Matuska + (g->last + 1) 817 81ad8388SMartin Matuska * sizeof(index_record), 818 81ad8388SMartin Matuska allocator); 819 81ad8388SMartin Matuska if (newg == NULL) 820 81ad8388SMartin Matuska return LZMA_MEM_ERROR; 821 81ad8388SMartin Matuska 822 81ad8388SMartin Matuska newg->node = g->node; 823 81ad8388SMartin Matuska newg->allocated = g->last + 1; 824 81ad8388SMartin Matuska newg->last = g->last; 825 81ad8388SMartin Matuska newg->number_base = g->number_base; 826 81ad8388SMartin Matuska 827 81ad8388SMartin Matuska memcpy(newg->records, g->records, newg->allocated 828 81ad8388SMartin Matuska * sizeof(index_record)); 829 81ad8388SMartin Matuska 830 81ad8388SMartin Matuska if (g->node.parent != NULL) { 831 81ad8388SMartin Matuska assert(g->node.parent->right == &g->node); 832 81ad8388SMartin Matuska g->node.parent->right = &newg->node; 833 81ad8388SMartin Matuska } 834 81ad8388SMartin Matuska 835 81ad8388SMartin Matuska if (s->groups.leftmost == &g->node) { 836 81ad8388SMartin Matuska assert(s->groups.root == &g->node); 837 81ad8388SMartin Matuska s->groups.leftmost = &newg->node; 838 81ad8388SMartin Matuska s->groups.root = &newg->node; 839 81ad8388SMartin Matuska } 840 81ad8388SMartin Matuska 841 a8675d92SXin LI assert(s->groups.rightmost == &g->node); 842 81ad8388SMartin Matuska s->groups.rightmost = &newg->node; 843 81ad8388SMartin Matuska 844 81ad8388SMartin Matuska lzma_free(g, allocator); 845 1456f0f9SXin LI 846 1456f0f9SXin LI // NOTE: newg isn't leaked here because 847 1456f0f9SXin LI // newg == (void *)&newg->node. 848 81ad8388SMartin Matuska } 849 81ad8388SMartin Matuska } 850 81ad8388SMartin Matuska 851 9e6bbe47SXin LI // dest->checks includes the check types of all except the last Stream 852 9e6bbe47SXin LI // in dest. Set the bit for the check type of the last Stream now so 853 9e6bbe47SXin LI // that it won't get lost when Stream(s) from src are appended to dest. 854 9e6bbe47SXin LI dest->checks = lzma_index_checks(dest); 855 9e6bbe47SXin LI 856 81ad8388SMartin Matuska // Add all the Streams from src to dest. Update the base offsets 857 81ad8388SMartin Matuska // of each Stream from src. 858 81ad8388SMartin Matuska const index_cat_info info = { 859 81ad8388SMartin Matuska .uncompressed_size = dest->uncompressed_size, 860 81ad8388SMartin Matuska .file_size = dest_file_size, 861 81ad8388SMartin Matuska .stream_number_add = dest->streams.count, 862 81ad8388SMartin Matuska .block_number_add = dest->record_count, 863 81ad8388SMartin Matuska .streams = &dest->streams, 864 81ad8388SMartin Matuska }; 865 81ad8388SMartin Matuska index_cat_helper(&info, (index_stream *)(src->streams.root)); 866 81ad8388SMartin Matuska 867 81ad8388SMartin Matuska // Update info about all the combined Streams. 868 81ad8388SMartin Matuska dest->uncompressed_size += src->uncompressed_size; 869 81ad8388SMartin Matuska dest->total_size += src->total_size; 870 81ad8388SMartin Matuska dest->record_count += src->record_count; 871 81ad8388SMartin Matuska dest->index_list_size += src->index_list_size; 872 9e6bbe47SXin LI dest->checks |= src->checks; 873 81ad8388SMartin Matuska 874 81ad8388SMartin Matuska // There's nothing else left in src than the base structure. 875 81ad8388SMartin Matuska lzma_free(src, allocator); 876 81ad8388SMartin Matuska 877 81ad8388SMartin Matuska return LZMA_OK; 878 81ad8388SMartin Matuska } 879 81ad8388SMartin Matuska 880 81ad8388SMartin Matuska 881 81ad8388SMartin Matuska /// Duplicate an index_stream. 882 81ad8388SMartin Matuska static index_stream * 883 53200025SRui Paulo index_dup_stream(const index_stream *src, const lzma_allocator *allocator) 884 81ad8388SMartin Matuska { 885 81ad8388SMartin Matuska // Catch a somewhat theoretical integer overflow. 886 81ad8388SMartin Matuska if (src->record_count > PREALLOC_MAX) 887 81ad8388SMartin Matuska return NULL; 888 81ad8388SMartin Matuska 889 81ad8388SMartin Matuska // Allocate and initialize a new Stream. 890 81ad8388SMartin Matuska index_stream *dest = index_stream_init(src->node.compressed_base, 891 81ad8388SMartin Matuska src->node.uncompressed_base, src->number, 892 81ad8388SMartin Matuska src->block_number_base, allocator); 893 1456f0f9SXin LI if (dest == NULL) 894 1456f0f9SXin LI return NULL; 895 81ad8388SMartin Matuska 896 81ad8388SMartin Matuska // Copy the overall information. 897 81ad8388SMartin Matuska dest->record_count = src->record_count; 898 81ad8388SMartin Matuska dest->index_list_size = src->index_list_size; 899 81ad8388SMartin Matuska dest->stream_flags = src->stream_flags; 900 81ad8388SMartin Matuska dest->stream_padding = src->stream_padding; 901 81ad8388SMartin Matuska 902 1456f0f9SXin LI // Return if there are no groups to duplicate. 903 1456f0f9SXin LI if (src->groups.leftmost == NULL) 904 1456f0f9SXin LI return dest; 905 1456f0f9SXin LI 906 81ad8388SMartin Matuska // Allocate memory for the Records. We put all the Records into 907 81ad8388SMartin Matuska // a single group. It's simplest and also tends to make 908 81ad8388SMartin Matuska // lzma_index_locate() a little bit faster with very big Indexes. 909 81ad8388SMartin Matuska index_group *destg = lzma_alloc(sizeof(index_group) 910 81ad8388SMartin Matuska + src->record_count * sizeof(index_record), 911 81ad8388SMartin Matuska allocator); 912 81ad8388SMartin Matuska if (destg == NULL) { 913 81ad8388SMartin Matuska index_stream_end(dest, allocator); 914 81ad8388SMartin Matuska return NULL; 915 81ad8388SMartin Matuska } 916 81ad8388SMartin Matuska 917 81ad8388SMartin Matuska // Initialize destg. 918 81ad8388SMartin Matuska destg->node.uncompressed_base = 0; 919 81ad8388SMartin Matuska destg->node.compressed_base = 0; 920 81ad8388SMartin Matuska destg->number_base = 1; 921 81ad8388SMartin Matuska destg->allocated = src->record_count; 922 81ad8388SMartin Matuska destg->last = src->record_count - 1; 923 81ad8388SMartin Matuska 924 81ad8388SMartin Matuska // Go through all the groups in src and copy the Records into destg. 925 81ad8388SMartin Matuska const index_group *srcg = (const index_group *)(src->groups.leftmost); 926 81ad8388SMartin Matuska size_t i = 0; 927 81ad8388SMartin Matuska do { 928 81ad8388SMartin Matuska memcpy(destg->records + i, srcg->records, 929 81ad8388SMartin Matuska (srcg->last + 1) * sizeof(index_record)); 930 81ad8388SMartin Matuska i += srcg->last + 1; 931 81ad8388SMartin Matuska srcg = index_tree_next(&srcg->node); 932 81ad8388SMartin Matuska } while (srcg != NULL); 933 81ad8388SMartin Matuska 934 81ad8388SMartin Matuska assert(i == destg->allocated); 935 81ad8388SMartin Matuska 936 81ad8388SMartin Matuska // Add the group to the new Stream. 937 81ad8388SMartin Matuska index_tree_append(&dest->groups, &destg->node); 938 81ad8388SMartin Matuska 939 81ad8388SMartin Matuska return dest; 940 81ad8388SMartin Matuska } 941 81ad8388SMartin Matuska 942 81ad8388SMartin Matuska 943 81ad8388SMartin Matuska extern LZMA_API(lzma_index *) 944 53200025SRui Paulo lzma_index_dup(const lzma_index *src, const lzma_allocator *allocator) 945 81ad8388SMartin Matuska { 946 81ad8388SMartin Matuska // Allocate the base structure (no initial Stream). 947 81ad8388SMartin Matuska lzma_index *dest = index_init_plain(allocator); 948 81ad8388SMartin Matuska if (dest == NULL) 949 81ad8388SMartin Matuska return NULL; 950 81ad8388SMartin Matuska 951 81ad8388SMartin Matuska // Copy the totals. 952 81ad8388SMartin Matuska dest->uncompressed_size = src->uncompressed_size; 953 81ad8388SMartin Matuska dest->total_size = src->total_size; 954 81ad8388SMartin Matuska dest->record_count = src->record_count; 955 81ad8388SMartin Matuska dest->index_list_size = src->index_list_size; 956 81ad8388SMartin Matuska 957 81ad8388SMartin Matuska // Copy the Streams and the groups in them. 958 81ad8388SMartin Matuska const index_stream *srcstream 959 81ad8388SMartin Matuska = (const index_stream *)(src->streams.leftmost); 960 81ad8388SMartin Matuska do { 961 81ad8388SMartin Matuska index_stream *deststream = index_dup_stream( 962 81ad8388SMartin Matuska srcstream, allocator); 963 81ad8388SMartin Matuska if (deststream == NULL) { 964 81ad8388SMartin Matuska lzma_index_end(dest, allocator); 965 81ad8388SMartin Matuska return NULL; 966 81ad8388SMartin Matuska } 967 81ad8388SMartin Matuska 968 81ad8388SMartin Matuska index_tree_append(&dest->streams, &deststream->node); 969 81ad8388SMartin Matuska 970 81ad8388SMartin Matuska srcstream = index_tree_next(&srcstream->node); 971 81ad8388SMartin Matuska } while (srcstream != NULL); 972 81ad8388SMartin Matuska 973 81ad8388SMartin Matuska return dest; 974 81ad8388SMartin Matuska } 975 81ad8388SMartin Matuska 976 81ad8388SMartin Matuska 977 81ad8388SMartin Matuska /// Indexing for lzma_index_iter.internal[] 978 81ad8388SMartin Matuska enum { 979 81ad8388SMartin Matuska ITER_INDEX, 980 81ad8388SMartin Matuska ITER_STREAM, 981 81ad8388SMartin Matuska ITER_GROUP, 982 81ad8388SMartin Matuska ITER_RECORD, 983 81ad8388SMartin Matuska ITER_METHOD, 984 81ad8388SMartin Matuska }; 985 81ad8388SMartin Matuska 986 81ad8388SMartin Matuska 987 81ad8388SMartin Matuska /// Values for lzma_index_iter.internal[ITER_METHOD].s 988 81ad8388SMartin Matuska enum { 989 81ad8388SMartin Matuska ITER_METHOD_NORMAL, 990 81ad8388SMartin Matuska ITER_METHOD_NEXT, 991 81ad8388SMartin Matuska ITER_METHOD_LEFTMOST, 992 81ad8388SMartin Matuska }; 993 81ad8388SMartin Matuska 994 81ad8388SMartin Matuska 995 81ad8388SMartin Matuska static void 996 81ad8388SMartin Matuska iter_set_info(lzma_index_iter *iter) 997 81ad8388SMartin Matuska { 998 81ad8388SMartin Matuska const lzma_index *i = iter->internal[ITER_INDEX].p; 999 81ad8388SMartin Matuska const index_stream *stream = iter->internal[ITER_STREAM].p; 1000 81ad8388SMartin Matuska const index_group *group = iter->internal[ITER_GROUP].p; 1001 81ad8388SMartin Matuska const size_t record = iter->internal[ITER_RECORD].s; 1002 81ad8388SMartin Matuska 1003 81ad8388SMartin Matuska // lzma_index_iter.internal must not contain a pointer to the last 1004 81ad8388SMartin Matuska // group in the index, because that may be reallocated by 1005 81ad8388SMartin Matuska // lzma_index_cat(). 1006 81ad8388SMartin Matuska if (group == NULL) { 1007 81ad8388SMartin Matuska // There are no groups. 1008 81ad8388SMartin Matuska assert(stream->groups.root == NULL); 1009 81ad8388SMartin Matuska iter->internal[ITER_METHOD].s = ITER_METHOD_LEFTMOST; 1010 81ad8388SMartin Matuska 1011 81ad8388SMartin Matuska } else if (i->streams.rightmost != &stream->node 1012 81ad8388SMartin Matuska || stream->groups.rightmost != &group->node) { 1013 81ad8388SMartin Matuska // The group is not not the last group in the index. 1014 81ad8388SMartin Matuska iter->internal[ITER_METHOD].s = ITER_METHOD_NORMAL; 1015 81ad8388SMartin Matuska 1016 81ad8388SMartin Matuska } else if (stream->groups.leftmost != &group->node) { 1017 81ad8388SMartin Matuska // The group isn't the only group in the Stream, thus we 1018 81ad8388SMartin Matuska // know that it must have a parent group i.e. it's not 1019 81ad8388SMartin Matuska // the root node. 1020 81ad8388SMartin Matuska assert(stream->groups.root != &group->node); 1021 81ad8388SMartin Matuska assert(group->node.parent->right == &group->node); 1022 81ad8388SMartin Matuska iter->internal[ITER_METHOD].s = ITER_METHOD_NEXT; 1023 81ad8388SMartin Matuska iter->internal[ITER_GROUP].p = group->node.parent; 1024 81ad8388SMartin Matuska 1025 81ad8388SMartin Matuska } else { 1026 81ad8388SMartin Matuska // The Stream has only one group. 1027 81ad8388SMartin Matuska assert(stream->groups.root == &group->node); 1028 81ad8388SMartin Matuska assert(group->node.parent == NULL); 1029 81ad8388SMartin Matuska iter->internal[ITER_METHOD].s = ITER_METHOD_LEFTMOST; 1030 81ad8388SMartin Matuska iter->internal[ITER_GROUP].p = NULL; 1031 81ad8388SMartin Matuska } 1032 81ad8388SMartin Matuska 1033 fe50a38eSXin LI // NOTE: lzma_index_iter.stream.number is lzma_vli but we use uint32_t 1034 fe50a38eSXin LI // internally. 1035 81ad8388SMartin Matuska iter->stream.number = stream->number; 1036 81ad8388SMartin Matuska iter->stream.block_count = stream->record_count; 1037 81ad8388SMartin Matuska iter->stream.compressed_offset = stream->node.compressed_base; 1038 81ad8388SMartin Matuska iter->stream.uncompressed_offset = stream->node.uncompressed_base; 1039 81ad8388SMartin Matuska 1040 81ad8388SMartin Matuska // iter->stream.flags will be NULL if the Stream Flags haven't been 1041 81ad8388SMartin Matuska // set with lzma_index_stream_flags(). 1042 81ad8388SMartin Matuska iter->stream.flags = stream->stream_flags.version == UINT32_MAX 1043 81ad8388SMartin Matuska ? NULL : &stream->stream_flags; 1044 81ad8388SMartin Matuska iter->stream.padding = stream->stream_padding; 1045 81ad8388SMartin Matuska 1046 81ad8388SMartin Matuska if (stream->groups.rightmost == NULL) { 1047 81ad8388SMartin Matuska // Stream has no Blocks. 1048 81ad8388SMartin Matuska iter->stream.compressed_size = index_size(0, 0) 1049 81ad8388SMartin Matuska + 2 * LZMA_STREAM_HEADER_SIZE; 1050 81ad8388SMartin Matuska iter->stream.uncompressed_size = 0; 1051 81ad8388SMartin Matuska } else { 1052 81ad8388SMartin Matuska const index_group *g = (const index_group *)( 1053 81ad8388SMartin Matuska stream->groups.rightmost); 1054 81ad8388SMartin Matuska 1055 81ad8388SMartin Matuska // Stream Header + Stream Footer + Index + Blocks 1056 81ad8388SMartin Matuska iter->stream.compressed_size = 2 * LZMA_STREAM_HEADER_SIZE 1057 81ad8388SMartin Matuska + index_size(stream->record_count, 1058 81ad8388SMartin Matuska stream->index_list_size) 1059 81ad8388SMartin Matuska + vli_ceil4(g->records[g->last].unpadded_sum); 1060 81ad8388SMartin Matuska iter->stream.uncompressed_size 1061 81ad8388SMartin Matuska = g->records[g->last].uncompressed_sum; 1062 81ad8388SMartin Matuska } 1063 81ad8388SMartin Matuska 1064 81ad8388SMartin Matuska if (group != NULL) { 1065 81ad8388SMartin Matuska iter->block.number_in_stream = group->number_base + record; 1066 81ad8388SMartin Matuska iter->block.number_in_file = iter->block.number_in_stream 1067 81ad8388SMartin Matuska + stream->block_number_base; 1068 81ad8388SMartin Matuska 1069 81ad8388SMartin Matuska iter->block.compressed_stream_offset 1070 81ad8388SMartin Matuska = record == 0 ? group->node.compressed_base 1071 81ad8388SMartin Matuska : vli_ceil4(group->records[ 1072 81ad8388SMartin Matuska record - 1].unpadded_sum); 1073 81ad8388SMartin Matuska iter->block.uncompressed_stream_offset 1074 81ad8388SMartin Matuska = record == 0 ? group->node.uncompressed_base 1075 81ad8388SMartin Matuska : group->records[record - 1].uncompressed_sum; 1076 81ad8388SMartin Matuska 1077 81ad8388SMartin Matuska iter->block.uncompressed_size 1078 81ad8388SMartin Matuska = group->records[record].uncompressed_sum 1079 81ad8388SMartin Matuska - iter->block.uncompressed_stream_offset; 1080 81ad8388SMartin Matuska iter->block.unpadded_size 1081 81ad8388SMartin Matuska = group->records[record].unpadded_sum 1082 81ad8388SMartin Matuska - iter->block.compressed_stream_offset; 1083 81ad8388SMartin Matuska iter->block.total_size = vli_ceil4(iter->block.unpadded_size); 1084 81ad8388SMartin Matuska 1085 81ad8388SMartin Matuska iter->block.compressed_stream_offset 1086 81ad8388SMartin Matuska += LZMA_STREAM_HEADER_SIZE; 1087 81ad8388SMartin Matuska 1088 81ad8388SMartin Matuska iter->block.compressed_file_offset 1089 81ad8388SMartin Matuska = iter->block.compressed_stream_offset 1090 81ad8388SMartin Matuska + iter->stream.compressed_offset; 1091 81ad8388SMartin Matuska iter->block.uncompressed_file_offset 1092 81ad8388SMartin Matuska = iter->block.uncompressed_stream_offset 1093 81ad8388SMartin Matuska + iter->stream.uncompressed_offset; 1094 81ad8388SMartin Matuska } 1095 81ad8388SMartin Matuska 1096 81ad8388SMartin Matuska return; 1097 81ad8388SMartin Matuska } 1098 81ad8388SMartin Matuska 1099 81ad8388SMartin Matuska 1100 81ad8388SMartin Matuska extern LZMA_API(void) 1101 81ad8388SMartin Matuska lzma_index_iter_init(lzma_index_iter *iter, const lzma_index *i) 1102 81ad8388SMartin Matuska { 1103 81ad8388SMartin Matuska iter->internal[ITER_INDEX].p = i; 1104 81ad8388SMartin Matuska lzma_index_iter_rewind(iter); 1105 81ad8388SMartin Matuska return; 1106 81ad8388SMartin Matuska } 1107 81ad8388SMartin Matuska 1108 81ad8388SMartin Matuska 1109 81ad8388SMartin Matuska extern LZMA_API(void) 1110 81ad8388SMartin Matuska lzma_index_iter_rewind(lzma_index_iter *iter) 1111 81ad8388SMartin Matuska { 1112 81ad8388SMartin Matuska iter->internal[ITER_STREAM].p = NULL; 1113 81ad8388SMartin Matuska iter->internal[ITER_GROUP].p = NULL; 1114 81ad8388SMartin Matuska iter->internal[ITER_RECORD].s = 0; 1115 81ad8388SMartin Matuska iter->internal[ITER_METHOD].s = ITER_METHOD_NORMAL; 1116 81ad8388SMartin Matuska return; 1117 81ad8388SMartin Matuska } 1118 81ad8388SMartin Matuska 1119 81ad8388SMartin Matuska 1120 81ad8388SMartin Matuska extern LZMA_API(lzma_bool) 1121 81ad8388SMartin Matuska lzma_index_iter_next(lzma_index_iter *iter, lzma_index_iter_mode mode) 1122 81ad8388SMartin Matuska { 1123 81ad8388SMartin Matuska // Catch unsupported mode values. 1124 81ad8388SMartin Matuska if ((unsigned int)(mode) > LZMA_INDEX_ITER_NONEMPTY_BLOCK) 1125 81ad8388SMartin Matuska return true; 1126 81ad8388SMartin Matuska 1127 81ad8388SMartin Matuska const lzma_index *i = iter->internal[ITER_INDEX].p; 1128 81ad8388SMartin Matuska const index_stream *stream = iter->internal[ITER_STREAM].p; 1129 81ad8388SMartin Matuska const index_group *group = NULL; 1130 81ad8388SMartin Matuska size_t record = iter->internal[ITER_RECORD].s; 1131 81ad8388SMartin Matuska 1132 81ad8388SMartin Matuska // If we are being asked for the next Stream, leave group to NULL 1133 81ad8388SMartin Matuska // so that the rest of the this function thinks that this Stream 1134 81ad8388SMartin Matuska // has no groups and will thus go to the next Stream. 1135 81ad8388SMartin Matuska if (mode != LZMA_INDEX_ITER_STREAM) { 1136 81ad8388SMartin Matuska // Get the pointer to the current group. See iter_set_inf() 1137 81ad8388SMartin Matuska // for explanation. 1138 81ad8388SMartin Matuska switch (iter->internal[ITER_METHOD].s) { 1139 81ad8388SMartin Matuska case ITER_METHOD_NORMAL: 1140 81ad8388SMartin Matuska group = iter->internal[ITER_GROUP].p; 1141 81ad8388SMartin Matuska break; 1142 81ad8388SMartin Matuska 1143 81ad8388SMartin Matuska case ITER_METHOD_NEXT: 1144 81ad8388SMartin Matuska group = index_tree_next(iter->internal[ITER_GROUP].p); 1145 81ad8388SMartin Matuska break; 1146 81ad8388SMartin Matuska 1147 81ad8388SMartin Matuska case ITER_METHOD_LEFTMOST: 1148 81ad8388SMartin Matuska group = (const index_group *)( 1149 81ad8388SMartin Matuska stream->groups.leftmost); 1150 81ad8388SMartin Matuska break; 1151 81ad8388SMartin Matuska } 1152 81ad8388SMartin Matuska } 1153 81ad8388SMartin Matuska 1154 81ad8388SMartin Matuska again: 1155 81ad8388SMartin Matuska if (stream == NULL) { 1156 81ad8388SMartin Matuska // We at the beginning of the lzma_index. 1157 81ad8388SMartin Matuska // Locate the first Stream. 1158 81ad8388SMartin Matuska stream = (const index_stream *)(i->streams.leftmost); 1159 81ad8388SMartin Matuska if (mode >= LZMA_INDEX_ITER_BLOCK) { 1160 81ad8388SMartin Matuska // Since we are being asked to return information 1161 81ad8388SMartin Matuska // about the first a Block, skip Streams that have 1162 81ad8388SMartin Matuska // no Blocks. 1163 81ad8388SMartin Matuska while (stream->groups.leftmost == NULL) { 1164 81ad8388SMartin Matuska stream = index_tree_next(&stream->node); 1165 81ad8388SMartin Matuska if (stream == NULL) 1166 81ad8388SMartin Matuska return true; 1167 81ad8388SMartin Matuska } 1168 81ad8388SMartin Matuska } 1169 81ad8388SMartin Matuska 1170 81ad8388SMartin Matuska // Start from the first Record in the Stream. 1171 81ad8388SMartin Matuska group = (const index_group *)(stream->groups.leftmost); 1172 81ad8388SMartin Matuska record = 0; 1173 81ad8388SMartin Matuska 1174 81ad8388SMartin Matuska } else if (group != NULL && record < group->last) { 1175 81ad8388SMartin Matuska // The next Record is in the same group. 1176 81ad8388SMartin Matuska ++record; 1177 81ad8388SMartin Matuska 1178 81ad8388SMartin Matuska } else { 1179 81ad8388SMartin Matuska // This group has no more Records or this Stream has 1180 81ad8388SMartin Matuska // no Blocks at all. 1181 81ad8388SMartin Matuska record = 0; 1182 81ad8388SMartin Matuska 1183 81ad8388SMartin Matuska // If group is not NULL, this Stream has at least one Block 1184 81ad8388SMartin Matuska // and thus at least one group. Find the next group. 1185 81ad8388SMartin Matuska if (group != NULL) 1186 81ad8388SMartin Matuska group = index_tree_next(&group->node); 1187 81ad8388SMartin Matuska 1188 81ad8388SMartin Matuska if (group == NULL) { 1189 81ad8388SMartin Matuska // This Stream has no more Records. Find the next 1190 81ad8388SMartin Matuska // Stream. If we are being asked to return information 1191 81ad8388SMartin Matuska // about a Block, we skip empty Streams. 1192 81ad8388SMartin Matuska do { 1193 81ad8388SMartin Matuska stream = index_tree_next(&stream->node); 1194 81ad8388SMartin Matuska if (stream == NULL) 1195 81ad8388SMartin Matuska return true; 1196 81ad8388SMartin Matuska } while (mode >= LZMA_INDEX_ITER_BLOCK 1197 81ad8388SMartin Matuska && stream->groups.leftmost == NULL); 1198 81ad8388SMartin Matuska 1199 81ad8388SMartin Matuska group = (const index_group *)( 1200 81ad8388SMartin Matuska stream->groups.leftmost); 1201 81ad8388SMartin Matuska } 1202 81ad8388SMartin Matuska } 1203 81ad8388SMartin Matuska 1204 81ad8388SMartin Matuska if (mode == LZMA_INDEX_ITER_NONEMPTY_BLOCK) { 1205 81ad8388SMartin Matuska // We need to look for the next Block again if this Block 1206 81ad8388SMartin Matuska // is empty. 1207 81ad8388SMartin Matuska if (record == 0) { 1208 81ad8388SMartin Matuska if (group->node.uncompressed_base 1209 81ad8388SMartin Matuska == group->records[0].uncompressed_sum) 1210 81ad8388SMartin Matuska goto again; 1211 81ad8388SMartin Matuska } else if (group->records[record - 1].uncompressed_sum 1212 81ad8388SMartin Matuska == group->records[record].uncompressed_sum) { 1213 81ad8388SMartin Matuska goto again; 1214 81ad8388SMartin Matuska } 1215 81ad8388SMartin Matuska } 1216 81ad8388SMartin Matuska 1217 81ad8388SMartin Matuska iter->internal[ITER_STREAM].p = stream; 1218 81ad8388SMartin Matuska iter->internal[ITER_GROUP].p = group; 1219 81ad8388SMartin Matuska iter->internal[ITER_RECORD].s = record; 1220 81ad8388SMartin Matuska 1221 81ad8388SMartin Matuska iter_set_info(iter); 1222 81ad8388SMartin Matuska 1223 81ad8388SMartin Matuska return false; 1224 81ad8388SMartin Matuska } 1225 81ad8388SMartin Matuska 1226 81ad8388SMartin Matuska 1227 81ad8388SMartin Matuska extern LZMA_API(lzma_bool) 1228 81ad8388SMartin Matuska lzma_index_iter_locate(lzma_index_iter *iter, lzma_vli target) 1229 81ad8388SMartin Matuska { 1230 81ad8388SMartin Matuska const lzma_index *i = iter->internal[ITER_INDEX].p; 1231 81ad8388SMartin Matuska 1232 81ad8388SMartin Matuska // If the target is past the end of the file, return immediately. 1233 81ad8388SMartin Matuska if (i->uncompressed_size <= target) 1234 81ad8388SMartin Matuska return true; 1235 81ad8388SMartin Matuska 1236 81ad8388SMartin Matuska // Locate the Stream containing the target offset. 1237 81ad8388SMartin Matuska const index_stream *stream = index_tree_locate(&i->streams, target); 1238 81ad8388SMartin Matuska assert(stream != NULL); 1239 81ad8388SMartin Matuska target -= stream->node.uncompressed_base; 1240 81ad8388SMartin Matuska 1241 81ad8388SMartin Matuska // Locate the group containing the target offset. 1242 81ad8388SMartin Matuska const index_group *group = index_tree_locate(&stream->groups, target); 1243 81ad8388SMartin Matuska assert(group != NULL); 1244 81ad8388SMartin Matuska 1245 81ad8388SMartin Matuska // Use binary search to locate the exact Record. It is the first 1246 81ad8388SMartin Matuska // Record whose uncompressed_sum is greater than target. 1247 9e6bbe47SXin LI // This is because we want the rightmost Record that fulfills the 1248 81ad8388SMartin Matuska // search criterion. It is possible that there are empty Blocks; 1249 81ad8388SMartin Matuska // we don't want to return them. 1250 81ad8388SMartin Matuska size_t left = 0; 1251 81ad8388SMartin Matuska size_t right = group->last; 1252 81ad8388SMartin Matuska 1253 81ad8388SMartin Matuska while (left < right) { 1254 81ad8388SMartin Matuska const size_t pos = left + (right - left) / 2; 1255 81ad8388SMartin Matuska if (group->records[pos].uncompressed_sum <= target) 1256 81ad8388SMartin Matuska left = pos + 1; 1257 81ad8388SMartin Matuska else 1258 81ad8388SMartin Matuska right = pos; 1259 81ad8388SMartin Matuska } 1260 81ad8388SMartin Matuska 1261 81ad8388SMartin Matuska iter->internal[ITER_STREAM].p = stream; 1262 81ad8388SMartin Matuska iter->internal[ITER_GROUP].p = group; 1263 81ad8388SMartin Matuska iter->internal[ITER_RECORD].s = left; 1264 81ad8388SMartin Matuska 1265 81ad8388SMartin Matuska iter_set_info(iter); 1266 81ad8388SMartin Matuska 1267 81ad8388SMartin Matuska return false; 1268 81ad8388SMartin Matuska } 1269