1 | /*------------------------------------------------------------------------- |
2 | * |
3 | * memdebug.c |
4 | * Declarations used in memory context implementations, not part of the |
5 | * public API of the memory management subsystem. |
6 | * |
7 | * |
8 | * Portions Copyright (c) 1996-2019, PostgreSQL Global Development Group |
9 | * Portions Copyright (c) 1994, Regents of the University of California |
10 | * |
11 | * src/backend/utils/mmgr/memdebug.c |
12 | * |
13 | * |
14 | * About CLOBBER_FREED_MEMORY: |
15 | * |
16 | * If this symbol is defined, all freed memory is overwritten with 0x7F's. |
17 | * This is useful for catching places that reference already-freed memory. |
18 | * |
19 | * About MEMORY_CONTEXT_CHECKING: |
20 | * |
21 | * Since we usually round request sizes up to the next power of 2, there |
22 | * is often some unused space immediately after a requested data area. |
23 | * Thus, if someone makes the common error of writing past what they've |
24 | * requested, the problem is likely to go unnoticed ... until the day when |
25 | * there *isn't* any wasted space, perhaps because of different memory |
26 | * alignment on a new platform, or some other effect. To catch this sort |
27 | * of problem, the MEMORY_CONTEXT_CHECKING option stores 0x7E just beyond |
28 | * the requested space whenever the request is less than the actual chunk |
29 | * size, and verifies that the byte is undamaged when the chunk is freed. |
30 | * |
31 | * |
32 | * About USE_VALGRIND and Valgrind client requests: |
33 | * |
34 | * Valgrind provides "client request" macros that exchange information with |
35 | * the host Valgrind (if any). Under !USE_VALGRIND, memdebug.h stubs out |
36 | * currently-used macros. |
37 | * |
38 | * When running under Valgrind, we want a NOACCESS memory region both before |
39 | * and after the allocation. The chunk header is tempting as the preceding |
40 | * region, but mcxt.c expects to able to examine the standard chunk header |
41 | * fields. Therefore, we use, when available, the requested_size field and |
42 | * any subsequent padding. requested_size is made NOACCESS before returning |
43 | * a chunk pointer to a caller. However, to reduce client request traffic, |
44 | * it is kept DEFINED in chunks on the free list. |
45 | * |
46 | * The rounded-up capacity of the chunk usually acts as a post-allocation |
47 | * NOACCESS region. If the request consumes precisely the entire chunk, |
48 | * there is no such region; another chunk header may immediately follow. In |
49 | * that case, Valgrind will not detect access beyond the end of the chunk. |
50 | * |
51 | * See also the cooperating Valgrind client requests in mcxt.c. |
52 | * |
53 | *------------------------------------------------------------------------- |
54 | */ |
55 | |
56 | #include "postgres.h" |
57 | |
58 | #include "utils/memdebug.h" |
59 | |
60 | #ifdef RANDOMIZE_ALLOCATED_MEMORY |
61 | |
62 | /* |
63 | * Fill a just-allocated piece of memory with "random" data. It's not really |
64 | * very random, just a repeating sequence with a length that's prime. What |
65 | * we mainly want out of it is to have a good probability that two palloc's |
66 | * of the same number of bytes start out containing different data. |
67 | * |
68 | * The region may be NOACCESS, so make it UNDEFINED first to avoid errors as |
69 | * we fill it. Filling the region makes it DEFINED, so make it UNDEFINED |
70 | * again afterward. Whether to finally make it UNDEFINED or NOACCESS is |
71 | * fairly arbitrary. UNDEFINED is more convenient for SlabRealloc(), and |
72 | * other callers have no preference. |
73 | */ |
74 | void |
75 | randomize_mem(char *ptr, size_t size) |
76 | { |
77 | static int save_ctr = 1; |
78 | size_t remaining = size; |
79 | int ctr; |
80 | |
81 | ctr = save_ctr; |
82 | VALGRIND_MAKE_MEM_UNDEFINED(ptr, size); |
83 | while (remaining-- > 0) |
84 | { |
85 | *ptr++ = ctr; |
86 | if (++ctr > 251) |
87 | ctr = 1; |
88 | } |
89 | VALGRIND_MAKE_MEM_UNDEFINED(ptr - size, size); |
90 | save_ctr = ctr; |
91 | } |
92 | |
93 | #endif /* RANDOMIZE_ALLOCATED_MEMORY */ |
94 | |