Subversion Repositories HelenOS

Rev

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
}