Rev 4597 | Details | Compare with Previous | Last modification | View Log | RSS feed
| Rev | Author | Line No. | Line |
|---|---|---|---|
| 4597 | decky | 1 | /* |
| 2 | * Copyright (c) 2009 Martin Decky |
||
| 3 | * Copyright (c) 2009 Tomas Bures |
||
| 4 | * Copyright (c) 2009 Lubomir Bulej |
||
| 5 | * All rights reserved. |
||
| 6 | * |
||
| 7 | * Redistribution and use in source and binary forms, with or without |
||
| 8 | * modification, are permitted provided that the following conditions |
||
| 9 | * are met: |
||
| 10 | * |
||
| 11 | * - Redistributions of source code must retain the above copyright |
||
| 12 | * notice, this list of conditions and the following disclaimer. |
||
| 13 | * - Redistributions in binary form must reproduce the above copyright |
||
| 14 | * notice, this list of conditions and the following disclaimer in the |
||
| 15 | * documentation and/or other materials provided with the distribution. |
||
| 16 | * - The name of the author may not be used to endorse or promote products |
||
| 17 | * derived from this software without specific prior written permission. |
||
| 18 | * |
||
| 19 | * THIS SOFTWARE IS PROVIDED BY THE AUTHOR ``AS IS'' AND ANY EXPRESS OR |
||
| 20 | * IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES |
||
| 21 | * OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED. |
||
| 22 | * IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR ANY DIRECT, INDIRECT, |
||
| 23 | * INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT |
||
| 24 | * NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, |
||
| 25 | * DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY |
||
| 26 | * THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT |
||
| 27 | * (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF |
||
| 28 | * THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. |
||
| 29 | */ |
||
| 30 | |||
| 31 | #include <stdio.h> |
||
| 32 | #include <unistd.h> |
||
| 33 | #include <stdlib.h> |
||
| 34 | #include <malloc.h> |
||
| 35 | #include "../tester.h" |
||
| 36 | |||
| 37 | /* |
||
| 38 | * The test consists of several phases which differ in the size of blocks |
||
| 39 | * they allocate. The size of blocks is given as a range of minimum and |
||
| 40 | * maximum allowed size. Each of the phases is divided into 3 subphases which |
||
| 41 | * differ in the probability of free and alloc actions. Second subphase is |
||
| 42 | * started when malloc returns 'out of memory' or when MAX_ALLOC is reached. |
||
| 43 | * Third subphase is started after a given number of cycles. The third subphase |
||
| 44 | * as well as the whole phase ends when all memory blocks are released. |
||
| 45 | */ |
||
| 46 | |||
| 47 | /** |
||
| 48 | * sizeof_array |
||
| 49 | * @array array to determine the size of |
||
| 50 | * |
||
| 51 | * Returns the size of @array in array elements. |
||
| 52 | */ |
||
| 53 | #define sizeof_array(array) \ |
||
| 54 | (sizeof(array) / sizeof((array)[0])) |
||
| 55 | |||
| 56 | #define MAX_ALLOC (16 * 1024 * 1024) |
||
| 57 | |||
| 58 | /* |
||
| 59 | * Subphase control structures: subphase termination conditions, |
||
| 60 | * probabilities of individual actions, subphase control structure. |
||
| 61 | */ |
||
| 62 | |||
| 63 | typedef struct { |
||
| 64 | unsigned int max_cycles; |
||
| 65 | unsigned int no_memory; |
||
| 66 | unsigned int no_allocated; |
||
| 67 | } sp_term_cond_s; |
||
| 68 | |||
| 69 | typedef struct { |
||
| 70 | unsigned int alloc; |
||
| 71 | unsigned int free; |
||
| 72 | } sp_action_prob_s; |
||
| 73 | |||
| 74 | typedef struct { |
||
| 75 | char *name; |
||
| 76 | sp_term_cond_s cond; |
||
| 77 | sp_action_prob_s prob; |
||
| 78 | } subphase_s; |
||
| 79 | |||
| 80 | |||
| 81 | /* |
||
| 82 | * Phase control structures: The minimum and maximum block size that |
||
| 83 | * can be allocated during the phase execution, phase control structure. |
||
| 84 | */ |
||
| 85 | |||
| 86 | typedef struct { |
||
| 87 | size_t min_block_size; |
||
| 88 | size_t max_block_size; |
||
| 89 | } ph_alloc_size_s; |
||
| 90 | |||
| 91 | typedef struct { |
||
| 92 | char *name; |
||
| 93 | ph_alloc_size_s alloc; |
||
| 94 | subphase_s *subphases; |
||
| 95 | } phase_s; |
||
| 96 | |||
| 97 | |||
| 98 | /* |
||
| 99 | * Subphases are defined separately here. This is for two reasons: |
||
| 100 | * 1) data are not duplicated, 2) we don't have to state beforehand |
||
| 101 | * how many subphases a phase contains. |
||
| 102 | */ |
||
| 103 | static subphase_s subphases_32B[] = { |
||
| 104 | { |
||
| 105 | .name = "Allocation", |
||
| 106 | .cond = { |
||
| 107 | .max_cycles = 200, |
||
| 108 | .no_memory = 1, |
||
| 109 | .no_allocated = 0, |
||
| 110 | }, |
||
| 111 | .prob = { |
||
| 112 | .alloc = 90, |
||
| 113 | .free = 100 |
||
| 114 | } |
||
| 115 | }, |
||
| 116 | { |
||
| 117 | .name = "Alloc/Dealloc", |
||
| 118 | .cond = { |
||
| 119 | .max_cycles = 200, |
||
| 120 | .no_memory = 0, |
||
| 121 | .no_allocated = 0, |
||
| 122 | }, |
||
| 123 | .prob = { |
||
| 124 | .alloc = 50, |
||
| 125 | .free = 100 |
||
| 126 | } |
||
| 127 | }, |
||
| 128 | { |
||
| 129 | .name = "Deallocation", |
||
| 130 | .cond = { |
||
| 131 | .max_cycles = 0, |
||
| 132 | .no_memory = 0, |
||
| 133 | .no_allocated = 1, |
||
| 134 | }, |
||
| 135 | .prob = { |
||
| 136 | .alloc = 10, |
||
| 137 | .free = 100 |
||
| 138 | } |
||
| 139 | } |
||
| 140 | }; |
||
| 141 | |||
| 142 | static subphase_s subphases_128K[] = { |
||
| 143 | { |
||
| 144 | .name = "Allocation", |
||
| 145 | .cond = { |
||
| 146 | .max_cycles = 0, |
||
| 147 | .no_memory = 1, |
||
| 148 | .no_allocated = 0, |
||
| 149 | }, |
||
| 150 | .prob = { |
||
| 151 | .alloc = 70, |
||
| 152 | .free = 100 |
||
| 153 | } |
||
| 154 | }, |
||
| 155 | { |
||
| 156 | .name = "Alloc/Dealloc", |
||
| 157 | .cond = { |
||
| 158 | .max_cycles = 30, |
||
| 159 | .no_memory = 0, |
||
| 160 | .no_allocated = 0, |
||
| 161 | }, |
||
| 162 | .prob = { |
||
| 163 | .alloc = 50, |
||
| 164 | .free = 100 |
||
| 165 | } |
||
| 166 | }, |
||
| 167 | { |
||
| 168 | .name = "Deallocation", |
||
| 169 | .cond = { |
||
| 170 | .max_cycles = 0, |
||
| 171 | .no_memory = 0, |
||
| 172 | .no_allocated = 1, |
||
| 173 | }, |
||
| 174 | .prob = { |
||
| 175 | .alloc = 30, |
||
| 176 | .free = 100 |
||
| 177 | } |
||
| 178 | } |
||
| 179 | }; |
||
| 180 | |||
| 181 | static subphase_s subphases_default[] = { |
||
| 182 | { |
||
| 183 | .name = "Allocation", |
||
| 184 | .cond = { |
||
| 185 | .max_cycles = 0, |
||
| 186 | .no_memory = 1, |
||
| 187 | .no_allocated = 0, |
||
| 188 | }, |
||
| 189 | .prob = { |
||
| 190 | .alloc = 90, |
||
| 191 | .free = 100 |
||
| 192 | } |
||
| 193 | }, |
||
| 194 | { |
||
| 195 | .name = "Alloc/Dealloc", |
||
| 196 | .cond = { |
||
| 197 | .max_cycles = 200, |
||
| 198 | .no_memory = 0, |
||
| 199 | .no_allocated = 0, |
||
| 200 | }, |
||
| 201 | .prob = { |
||
| 202 | .alloc = 50, |
||
| 203 | .free = 100 |
||
| 204 | } |
||
| 205 | }, |
||
| 206 | { |
||
| 207 | .name = "Deallocation", |
||
| 208 | .cond = { |
||
| 209 | .max_cycles = 0, |
||
| 210 | .no_memory = 0, |
||
| 211 | .no_allocated = 1, |
||
| 212 | }, |
||
| 213 | .prob = { |
||
| 214 | .alloc = 10, |
||
| 215 | .free = 100 |
||
| 216 | } |
||
| 217 | } |
||
| 218 | }; |
||
| 219 | |||
| 220 | |||
| 221 | /* |
||
| 222 | * Phase definitions. |
||
| 223 | */ |
||
| 224 | static phase_s phases[] = { |
||
| 225 | { |
||
| 226 | .name = "32 B memory blocks", |
||
| 227 | .alloc = { |
||
| 228 | .min_block_size = 32, |
||
| 229 | .max_block_size = 32 |
||
| 230 | }, |
||
| 231 | .subphases = subphases_32B |
||
| 232 | }, |
||
| 233 | { |
||
| 234 | .name = "128 KB memory blocks", |
||
| 235 | .alloc = { |
||
| 236 | .min_block_size = 128 * 1024, |
||
| 237 | .max_block_size = 128 * 1024 |
||
| 238 | }, |
||
| 239 | .subphases = subphases_128K |
||
| 240 | }, |
||
| 241 | { |
||
| 242 | .name = "2500 B memory blocks", |
||
| 243 | .alloc = { |
||
| 244 | .min_block_size = 2500, |
||
| 245 | .max_block_size = 2500 |
||
| 246 | }, |
||
| 247 | .subphases = subphases_default |
||
| 248 | }, |
||
| 249 | { |
||
| 250 | .name = "1 B .. 250000 B memory blocks", |
||
| 251 | .alloc = { |
||
| 252 | .min_block_size = 1, |
||
| 253 | .max_block_size = 250000 |
||
| 254 | }, |
||
| 255 | .subphases = subphases_default |
||
| 256 | } |
||
| 257 | }; |
||
| 258 | |||
| 259 | |||
| 260 | /* |
||
| 261 | * Global error flag. The flag is set if an error |
||
| 262 | * is encountered (overlapping blocks, inconsistent |
||
| 263 | * block data, etc.) |
||
| 264 | */ |
||
| 265 | static bool error_flag = false; |
||
| 266 | |||
| 267 | /* |
||
| 268 | * Memory accounting: the amount of allocated memory and the |
||
| 269 | * number and list of allocated blocks. |
||
| 270 | */ |
||
| 271 | static size_t mem_allocated; |
||
| 272 | static size_t mem_blocks_count; |
||
| 273 | |||
| 274 | static LIST_INITIALIZE(mem_blocks); |
||
| 275 | |||
| 276 | typedef struct { |
||
| 277 | /* Address of the start of the block */ |
||
| 278 | void *addr; |
||
| 279 | |||
| 280 | /* Size of the memory block */ |
||
| 281 | size_t size; |
||
| 282 | |||
| 283 | /* link to other blocks */ |
||
| 284 | link_t link; |
||
| 285 | } mem_block_s; |
||
| 286 | |||
| 287 | typedef mem_block_s *mem_block_t; |
||
| 288 | |||
| 289 | |||
| 290 | /** init_mem |
||
| 291 | * |
||
| 292 | * Initializes the memory accounting structures. |
||
| 293 | * |
||
| 294 | */ |
||
| 295 | static void init_mem(void) |
||
| 296 | { |
||
| 297 | mem_allocated = 0; |
||
| 298 | mem_blocks_count = 0; |
||
| 299 | } |
||
| 300 | |||
| 301 | |||
| 302 | static bool overlap_match(link_t *entry, void *addr, size_t size) |
||
| 303 | { |
||
| 304 | mem_block_t mblk = list_get_instance(entry, mem_block_s, link); |
||
| 305 | |||
| 306 | /* Entry block control structure <mbeg, mend) */ |
||
| 307 | uint8_t *mbeg = (uint8_t *) mblk; |
||
| 308 | uint8_t *mend = (uint8_t *) mblk + sizeof(mem_block_s); |
||
| 309 | |||
| 310 | /* Entry block memory <bbeg, bend) */ |
||
| 311 | uint8_t *bbeg = (uint8_t *) mblk->addr; |
||
| 312 | uint8_t *bend = (uint8_t *) mblk->addr + mblk->size; |
||
| 313 | |||
| 314 | /* Data block <dbeg, dend) */ |
||
| 315 | uint8_t *dbeg = (uint8_t *) addr; |
||
| 316 | uint8_t *dend = (uint8_t *) addr + size; |
||
| 317 | |||
| 318 | /* Check for overlaps */ |
||
| 319 | if (((mbeg >= dbeg) && (mbeg < dend)) || |
||
| 320 | ((mend > dbeg) && (mend <= dend)) || |
||
| 321 | ((bbeg >= dbeg) && (bbeg < dend)) || |
||
| 322 | ((bend > dbeg) && (bend <= dend))) |
||
| 323 | return true; |
||
| 324 | |||
| 325 | return false; |
||
| 326 | } |
||
| 327 | |||
| 328 | |||
| 329 | /** test_overlap |
||
| 330 | * |
||
| 331 | * Test whether a block starting at @addr overlaps with another, previously |
||
| 332 | * allocated memory block or its control structure. |
||
| 333 | * |
||
| 334 | * @param addr Initial address of the block |
||
| 335 | * @param size Size of the block |
||
| 336 | * |
||
| 337 | * @return false if the block does not overlap. |
||
| 338 | * |
||
| 339 | */ |
||
| 340 | static int test_overlap(void *addr, size_t size) |
||
| 341 | { |
||
| 342 | link_t *entry; |
||
| 343 | bool fnd = false; |
||
| 344 | |||
| 345 | for (entry = mem_blocks.next; entry != &mem_blocks; entry = entry->next) { |
||
| 346 | if (overlap_match(entry, addr, size)) { |
||
| 347 | fnd = true; |
||
| 348 | break; |
||
| 349 | } |
||
| 350 | } |
||
| 351 | |||
| 352 | return fnd; |
||
| 353 | } |
||
| 354 | |||
| 355 | |||
| 356 | /** checked_malloc |
||
| 357 | * |
||
| 358 | * Allocate @size bytes of memory and check whether the chunk comes |
||
| 359 | * from the non-mapped memory region and whether the chunk overlaps |
||
| 360 | * with other, previously allocated, chunks. |
||
| 361 | * |
||
| 362 | * @param size Amount of memory to allocate |
||
| 363 | * |
||
| 364 | * @return NULL if the allocation failed. Sets the global error_flag to |
||
| 365 | * true if the allocation succeeded but is illegal. |
||
| 366 | * |
||
| 367 | */ |
||
| 368 | static void *checked_malloc(size_t size) |
||
| 369 | { |
||
| 370 | void *data; |
||
| 371 | |||
| 372 | /* Allocate the chunk of memory */ |
||
| 373 | data = malloc(size); |
||
| 374 | if (data == NULL) |
||
| 375 | return NULL; |
||
| 376 | |||
| 377 | /* Check for overlaps with other chunks */ |
||
| 378 | if (test_overlap(data, size)) { |
||
| 379 | TPRINTF("\nError: Allocated block overlaps with another " |
||
| 380 | "previously allocated block.\n"); |
||
| 381 | error_flag = true; |
||
| 382 | } |
||
| 383 | |||
| 384 | return data; |
||
| 385 | } |
||
| 386 | |||
| 387 | |||
| 388 | /** alloc_block |
||
| 389 | * |
||
| 390 | * Allocate a block of memory of @size bytes and add record about it into |
||
| 391 | * the mem_blocks list. Return a pointer to the block holder structure or |
||
| 392 | * NULL if the allocation failed. |
||
| 393 | * |
||
| 394 | * If the allocation is illegal (e.g. the memory does not come from the |
||
| 395 | * right region or some of the allocated blocks overlap with others), |
||
| 396 | * set the global error_flag. |
||
| 397 | * |
||
| 398 | * @param size Size of the memory block |
||
| 399 | * |
||
| 400 | */ |
||
| 401 | static mem_block_t alloc_block(size_t size) |
||
| 402 | { |
||
| 403 | /* Check for allocation limit */ |
||
| 404 | if (mem_allocated >= MAX_ALLOC) |
||
| 405 | return NULL; |
||
| 406 | |||
| 407 | /* Allocate the block holder */ |
||
| 408 | mem_block_t block = (mem_block_t) checked_malloc(sizeof(mem_block_s)); |
||
| 409 | if (block == NULL) |
||
| 410 | return NULL; |
||
| 411 | |||
| 412 | link_initialize(&block->link); |
||
| 413 | |||
| 414 | /* Allocate the block memory */ |
||
| 415 | block->addr = checked_malloc(size); |
||
| 416 | if (block->addr == NULL) { |
||
| 417 | free(block); |
||
| 418 | return NULL; |
||
| 419 | } |
||
| 420 | |||
| 421 | block->size = size; |
||
| 422 | |||
| 423 | /* Register the allocated block */ |
||
| 424 | list_append(&block->link, &mem_blocks); |
||
| 425 | mem_allocated += size + sizeof(mem_block_s); |
||
| 426 | mem_blocks_count++; |
||
| 427 | |||
| 428 | return block; |
||
| 429 | } |
||
| 430 | |||
| 431 | |||
| 432 | /** free_block |
||
| 433 | * |
||
| 434 | * Free the block of memory and the block control structure allocated by |
||
| 435 | * alloc_block. Set the global error_flag if an error occurs. |
||
| 436 | * |
||
| 437 | * @param block Block control structure |
||
| 438 | * |
||
| 439 | */ |
||
| 440 | static void free_block(mem_block_t block) |
||
| 441 | { |
||
| 442 | /* Unregister the block */ |
||
| 443 | list_remove(&block->link); |
||
| 444 | mem_allocated -= block->size + sizeof(mem_block_s); |
||
| 445 | mem_blocks_count--; |
||
| 446 | |||
| 447 | /* Free the memory */ |
||
| 448 | free(block->addr); |
||
| 449 | free(block); |
||
| 450 | } |
||
| 451 | |||
| 452 | |||
| 453 | /** expected_value |
||
| 454 | * |
||
| 455 | * Compute the expected value of a byte located at @pos in memory |
||
| 456 | * block described by @blk. |
||
| 457 | * |
||
| 458 | * @param blk Memory block control structure |
||
| 459 | * @param pos Position in the memory block data area |
||
| 460 | * |
||
| 461 | */ |
||
| 462 | static inline uint8_t expected_value(mem_block_t blk, uint8_t *pos) |
||
| 463 | { |
||
| 464 | return ((unsigned long) blk ^ (unsigned long) pos) & 0xff; |
||
| 465 | } |
||
| 466 | |||
| 467 | |||
| 468 | /** fill_block |
||
| 469 | * |
||
| 470 | * Fill the memory block controlled by @blk with data. |
||
| 471 | * |
||
| 472 | * @param blk Memory block control structure |
||
| 473 | * |
||
| 474 | */ |
||
| 475 | static void fill_block(mem_block_t blk) |
||
| 476 | { |
||
| 477 | uint8_t *pos; |
||
| 478 | uint8_t *end; |
||
| 479 | |||
| 480 | for (pos = blk->addr, end = pos + blk->size; pos < end; pos++) |
||
| 481 | *pos = expected_value(blk, pos); |
||
| 482 | } |
||
| 483 | |||
| 484 | |||
| 485 | /** check_block |
||
| 486 | * |
||
| 487 | * Check whether the block @blk contains the data it was filled with. |
||
| 488 | * Set global error_flag if an error occurs. |
||
| 489 | * |
||
| 490 | * @param blk Memory block control structure |
||
| 491 | * |
||
| 492 | */ |
||
| 493 | static void check_block(mem_block_t blk) |
||
| 494 | { |
||
| 495 | uint8_t *pos; |
||
| 496 | uint8_t *end; |
||
| 497 | |||
| 498 | for (pos = blk->addr, end = pos + blk->size; pos < end; pos++) { |
||
| 499 | if (*pos != expected_value (blk, pos)) { |
||
| 500 | TPRINTF("\nError: Corrupted content of a data block.\n"); |
||
| 501 | error_flag = true; |
||
| 502 | return; |
||
| 503 | } |
||
| 504 | } |
||
| 505 | } |
||
| 506 | |||
| 507 | |||
| 508 | static link_t *list_get_nth(link_t *list, unsigned int i) |
||
| 509 | { |
||
| 510 | unsigned int cnt = 0; |
||
| 511 | link_t *entry; |
||
| 512 | |||
| 513 | for (entry = list->next; entry != list; entry = entry->next) { |
||
| 514 | if (cnt == i) |
||
| 515 | return entry; |
||
| 516 | |||
| 517 | cnt++; |
||
| 518 | } |
||
| 519 | |||
| 520 | return NULL; |
||
| 521 | } |
||
| 522 | |||
| 523 | |||
| 524 | /** get_random_block |
||
| 525 | * |
||
| 526 | * Select a random memory block from the list of allocated blocks. |
||
| 527 | * |
||
| 528 | * @return Block control structure or NULL if the list is empty. |
||
| 529 | * |
||
| 530 | */ |
||
| 531 | static mem_block_t get_random_block(void) |
||
| 532 | { |
||
| 533 | if (mem_blocks_count == 0) |
||
| 534 | return NULL; |
||
| 535 | |||
| 536 | unsigned int blkidx = rand() % mem_blocks_count; |
||
| 537 | link_t *entry = list_get_nth(&mem_blocks, blkidx); |
||
| 538 | |||
| 539 | if (entry == NULL) { |
||
| 540 | TPRINTF("\nError: Corrupted list of allocated memory blocks.\n"); |
||
| 541 | error_flag = true; |
||
| 542 | } |
||
| 543 | |||
| 544 | return list_get_instance(entry, mem_block_s, link); |
||
| 545 | } |
||
| 546 | |||
| 547 | |||
| 548 | #define RETURN_IF_ERROR \ |
||
| 549 | { \ |
||
| 550 | if (error_flag) \ |
||
| 551 | return; \ |
||
| 552 | } |
||
| 553 | |||
| 554 | |||
| 555 | static void do_subphase(phase_s *phase, subphase_s *subphase) |
||
| 556 | { |
||
| 557 | unsigned int cycles; |
||
| 558 | for (cycles = 0; /* always */; cycles++) { |
||
| 559 | |||
| 560 | if (subphase->cond.max_cycles && |
||
| 561 | cycles >= subphase->cond.max_cycles) { |
||
| 562 | /* |
||
| 563 | * We have performed the required number of |
||
| 564 | * cycles. End the current subphase. |
||
| 565 | */ |
||
| 566 | break; |
||
| 567 | } |
||
| 568 | |||
| 569 | /* |
||
| 570 | * Decide whether we alloc or free memory in this step. |
||
| 571 | */ |
||
| 572 | unsigned int rnd = rand() % 100; |
||
| 573 | if (rnd < subphase->prob.alloc) { |
||
| 574 | /* Compute a random number lying in interval <min_block_size, max_block_size> */ |
||
| 575 | int alloc = phase->alloc.min_block_size + |
||
| 576 | (rand() % (phase->alloc.max_block_size - phase->alloc.min_block_size + 1)); |
||
| 577 | |||
| 578 | mem_block_t blk = alloc_block(alloc); |
||
| 579 | RETURN_IF_ERROR; |
||
| 580 | |||
| 581 | if (blk == NULL) { |
||
| 582 | TPRINTF("F(A)"); |
||
| 583 | if (subphase->cond.no_memory) { |
||
| 584 | /* We filled the memory. Proceed to next subphase */ |
||
| 585 | break; |
||
| 586 | } |
||
| 587 | |||
| 588 | } else { |
||
| 589 | TPRINTF("A"); |
||
| 590 | fill_block(blk); |
||
| 591 | } |
||
| 592 | |||
| 593 | } else if (rnd < subphase->prob.free) { |
||
| 594 | mem_block_t blk = get_random_block(); |
||
| 595 | if (blk == NULL) { |
||
| 596 | TPRINTF("F(R)"); |
||
| 597 | if (subphase->cond.no_allocated) { |
||
| 598 | /* We free all the memory. Proceed to next subphase. */ |
||
| 599 | break; |
||
| 600 | } |
||
| 601 | |||
| 602 | } else { |
||
| 603 | TPRINTF("R"); |
||
| 604 | check_block(blk); |
||
| 605 | RETURN_IF_ERROR; |
||
| 606 | |||
| 607 | free_block(blk); |
||
| 608 | RETURN_IF_ERROR; |
||
| 609 | } |
||
| 610 | } |
||
| 611 | } |
||
| 612 | |||
| 613 | TPRINTF("\n.. finished.\n"); |
||
| 614 | } |
||
| 615 | |||
| 616 | |||
| 617 | static void do_phase(phase_s *phase) |
||
| 618 | { |
||
| 619 | unsigned int subno; |
||
| 620 | |||
| 621 | for (subno = 0; subno < 3; subno++) { |
||
| 622 | subphase_s *subphase = & phase->subphases [subno]; |
||
| 623 | |||
| 624 | TPRINTF(".. Sub-phase %u (%s)\n", subno + 1, subphase->name); |
||
| 625 | do_subphase(phase, subphase); |
||
| 626 | RETURN_IF_ERROR; |
||
| 627 | } |
||
| 628 | } |
||
| 629 | |||
| 630 | char *test_malloc1(void) |
||
| 631 | { |
||
| 632 | init_mem(); |
||
| 633 | |||
| 634 | unsigned int phaseno; |
||
| 635 | for (phaseno = 0; phaseno < sizeof_array(phases); phaseno++) { |
||
| 636 | phase_s *phase = &phases[phaseno]; |
||
| 637 | |||
| 638 | TPRINTF("Entering phase %u (%s)\n", phaseno + 1, phase->name); |
||
| 639 | |||
| 640 | do_phase(phase); |
||
| 641 | if (error_flag) |
||
| 642 | break; |
||
| 643 | |||
| 644 | TPRINTF("Phase finished.\n"); |
||
| 645 | } |
||
| 646 | |||
| 647 | if (error_flag) |
||
| 648 | return "Test failed"; |
||
| 649 | |||
| 650 | return NULL; |
||
| 651 | } |