inspect.c revision 1.1.1.2 1 1.1 christos #include "test/jemalloc_test.h"
2 1.1 christos
3 1.1.1.2 christos #define TEST_UTIL_EINVAL(node, a, b, c, d, why_inval) \
4 1.1.1.2 christos do { \
5 1.1.1.2 christos assert_d_eq( \
6 1.1.1.2 christos mallctl("experimental.utilization." node, a, b, c, d), \
7 1.1.1.2 christos EINVAL, "Should fail when " why_inval); \
8 1.1.1.2 christos assert_zu_eq(out_sz, out_sz_ref, \
9 1.1.1.2 christos "Output size touched when given invalid arguments"); \
10 1.1.1.2 christos assert_d_eq(memcmp(out, out_ref, out_sz_ref), 0, \
11 1.1.1.2 christos "Output content touched when given invalid arguments"); \
12 1.1.1.2 christos } while (0)
13 1.1 christos
14 1.1.1.2 christos #define TEST_UTIL_QUERY_EINVAL(a, b, c, d, why_inval) \
15 1.1 christos TEST_UTIL_EINVAL("query", a, b, c, d, why_inval)
16 1.1.1.2 christos #define TEST_UTIL_BATCH_EINVAL(a, b, c, d, why_inval) \
17 1.1 christos TEST_UTIL_EINVAL("batch_query", a, b, c, d, why_inval)
18 1.1 christos
19 1.1.1.2 christos #define TEST_UTIL_VALID(node) \
20 1.1.1.2 christos do { \
21 1.1.1.2 christos assert_d_eq(mallctl("experimental.utilization." node, out, \
22 1.1.1.2 christos &out_sz, in, in_sz), \
23 1.1.1.2 christos 0, "Should return 0 on correct arguments"); \
24 1.1.1.2 christos expect_zu_eq(out_sz, out_sz_ref, "incorrect output size"); \
25 1.1.1.2 christos expect_d_ne(memcmp(out, out_ref, out_sz_ref), 0, \
26 1.1.1.2 christos "Output content should be changed"); \
27 1.1.1.2 christos } while (0)
28 1.1 christos
29 1.1 christos #define TEST_UTIL_BATCH_VALID TEST_UTIL_VALID("batch_query")
30 1.1 christos
31 1.1 christos #define TEST_MAX_SIZE (1 << 20)
32 1.1 christos
33 1.1 christos TEST_BEGIN(test_query) {
34 1.1 christos size_t sz;
35 1.1 christos /*
36 1.1 christos * Select some sizes that can span both small and large sizes, and are
37 1.1 christos * numerically unrelated to any size boundaries.
38 1.1 christos */
39 1.1 christos for (sz = 7; sz <= TEST_MAX_SIZE && sz <= SC_LARGE_MAXCLASS;
40 1.1.1.2 christos sz += (sz <= SC_SMALL_MAXCLASS ? 1009 : 99989)) {
41 1.1.1.2 christos void *p = mallocx(sz, 0);
42 1.1 christos void **in = &p;
43 1.1 christos size_t in_sz = sizeof(const void *);
44 1.1 christos size_t out_sz = sizeof(void *) + sizeof(size_t) * 5;
45 1.1.1.2 christos void *out = mallocx(out_sz, 0);
46 1.1.1.2 christos void *out_ref = mallocx(out_sz, 0);
47 1.1 christos size_t out_sz_ref = out_sz;
48 1.1 christos
49 1.1.1.2 christos assert_ptr_not_null(p, "test pointer allocation failed");
50 1.1.1.2 christos assert_ptr_not_null(out, "test output allocation failed");
51 1.1.1.2 christos assert_ptr_not_null(
52 1.1.1.2 christos out_ref, "test reference output allocation failed");
53 1.1 christos
54 1.1 christos #define SLABCUR_READ(out) (*(void **)out)
55 1.1 christos #define COUNTS(out) ((size_t *)((void **)out + 1))
56 1.1 christos #define NFREE_READ(out) COUNTS(out)[0]
57 1.1 christos #define NREGS_READ(out) COUNTS(out)[1]
58 1.1 christos #define SIZE_READ(out) COUNTS(out)[2]
59 1.1 christos #define BIN_NFREE_READ(out) COUNTS(out)[3]
60 1.1 christos #define BIN_NREGS_READ(out) COUNTS(out)[4]
61 1.1 christos
62 1.1 christos SLABCUR_READ(out) = NULL;
63 1.1 christos NFREE_READ(out) = NREGS_READ(out) = SIZE_READ(out) = -1;
64 1.1 christos BIN_NFREE_READ(out) = BIN_NREGS_READ(out) = -1;
65 1.1 christos memcpy(out_ref, out, out_sz);
66 1.1 christos
67 1.1 christos /* Test invalid argument(s) errors */
68 1.1.1.2 christos TEST_UTIL_QUERY_EINVAL(NULL, &out_sz, in, in_sz, "old is NULL");
69 1.1.1.2 christos TEST_UTIL_QUERY_EINVAL(out, NULL, in, in_sz, "oldlenp is NULL");
70 1.1.1.2 christos TEST_UTIL_QUERY_EINVAL(
71 1.1.1.2 christos out, &out_sz, NULL, in_sz, "newp is NULL");
72 1.1.1.2 christos TEST_UTIL_QUERY_EINVAL(out, &out_sz, in, 0, "newlen is zero");
73 1.1 christos in_sz -= 1;
74 1.1.1.2 christos TEST_UTIL_QUERY_EINVAL(
75 1.1.1.2 christos out, &out_sz, in, in_sz, "invalid newlen");
76 1.1 christos in_sz += 1;
77 1.1 christos out_sz_ref = out_sz -= 2 * sizeof(size_t);
78 1.1.1.2 christos TEST_UTIL_QUERY_EINVAL(
79 1.1.1.2 christos out, &out_sz, in, in_sz, "invalid *oldlenp");
80 1.1 christos out_sz_ref = out_sz += 2 * sizeof(size_t);
81 1.1 christos
82 1.1 christos /* Examine output for valid call */
83 1.1 christos TEST_UTIL_VALID("query");
84 1.1 christos expect_zu_le(sz, SIZE_READ(out),
85 1.1 christos "Extent size should be at least allocation size");
86 1.1 christos expect_zu_eq(SIZE_READ(out) & (PAGE - 1), 0,
87 1.1 christos "Extent size should be a multiple of page size");
88 1.1 christos
89 1.1 christos /*
90 1.1 christos * We don't do much bin checking if prof is on, since profiling
91 1.1 christos * can produce extents that are for small size classes but not
92 1.1 christos * slabs, which interferes with things like region counts.
93 1.1 christos */
94 1.1 christos if (!opt_prof && sz <= SC_SMALL_MAXCLASS) {
95 1.1 christos expect_zu_le(NFREE_READ(out), NREGS_READ(out),
96 1.1 christos "Extent free count exceeded region count");
97 1.1 christos expect_zu_le(NREGS_READ(out), SIZE_READ(out),
98 1.1 christos "Extent region count exceeded size");
99 1.1 christos expect_zu_ne(NREGS_READ(out), 0,
100 1.1 christos "Extent region count must be positive");
101 1.1.1.2 christos expect_true(NFREE_READ(out) == 0
102 1.1.1.2 christos || (SLABCUR_READ(out) != NULL
103 1.1.1.2 christos && SLABCUR_READ(out) <= p),
104 1.1 christos "Allocation should follow first fit principle");
105 1.1 christos
106 1.1 christos if (config_stats) {
107 1.1 christos expect_zu_le(BIN_NFREE_READ(out),
108 1.1 christos BIN_NREGS_READ(out),
109 1.1 christos "Bin free count exceeded region count");
110 1.1 christos expect_zu_ne(BIN_NREGS_READ(out), 0,
111 1.1 christos "Bin region count must be positive");
112 1.1 christos expect_zu_le(NFREE_READ(out),
113 1.1 christos BIN_NFREE_READ(out),
114 1.1 christos "Extent free count exceeded bin free count");
115 1.1 christos expect_zu_le(NREGS_READ(out),
116 1.1 christos BIN_NREGS_READ(out),
117 1.1 christos "Extent region count exceeded "
118 1.1 christos "bin region count");
119 1.1.1.2 christos expect_zu_eq(
120 1.1.1.2 christos BIN_NREGS_READ(out) % NREGS_READ(out), 0,
121 1.1 christos "Bin region count isn't a multiple of "
122 1.1 christos "extent region count");
123 1.1 christos expect_zu_le(
124 1.1 christos BIN_NFREE_READ(out) - NFREE_READ(out),
125 1.1 christos BIN_NREGS_READ(out) - NREGS_READ(out),
126 1.1 christos "Free count in other extents in the bin "
127 1.1 christos "exceeded region count in other extents "
128 1.1 christos "in the bin");
129 1.1 christos expect_zu_le(NREGS_READ(out) - NFREE_READ(out),
130 1.1 christos BIN_NREGS_READ(out) - BIN_NFREE_READ(out),
131 1.1 christos "Extent utilized count exceeded "
132 1.1 christos "bin utilized count");
133 1.1 christos }
134 1.1 christos } else if (sz > SC_SMALL_MAXCLASS) {
135 1.1 christos expect_zu_eq(NFREE_READ(out), 0,
136 1.1 christos "Extent free count should be zero");
137 1.1 christos expect_zu_eq(NREGS_READ(out), 1,
138 1.1 christos "Extent region count should be one");
139 1.1 christos expect_ptr_null(SLABCUR_READ(out),
140 1.1 christos "Current slab must be null for large size classes");
141 1.1 christos if (config_stats) {
142 1.1 christos expect_zu_eq(BIN_NFREE_READ(out), 0,
143 1.1 christos "Bin free count must be zero for "
144 1.1 christos "large sizes");
145 1.1 christos expect_zu_eq(BIN_NREGS_READ(out), 0,
146 1.1 christos "Bin region count must be zero for "
147 1.1 christos "large sizes");
148 1.1 christos }
149 1.1 christos }
150 1.1 christos
151 1.1 christos #undef BIN_NREGS_READ
152 1.1 christos #undef BIN_NFREE_READ
153 1.1 christos #undef SIZE_READ
154 1.1 christos #undef NREGS_READ
155 1.1 christos #undef NFREE_READ
156 1.1 christos #undef COUNTS
157 1.1 christos #undef SLABCUR_READ
158 1.1 christos
159 1.1 christos free(out_ref);
160 1.1 christos free(out);
161 1.1 christos free(p);
162 1.1 christos }
163 1.1 christos }
164 1.1 christos TEST_END
165 1.1 christos
166 1.1 christos TEST_BEGIN(test_batch) {
167 1.1 christos size_t sz;
168 1.1 christos /*
169 1.1 christos * Select some sizes that can span both small and large sizes, and are
170 1.1 christos * numerically unrelated to any size boundaries.
171 1.1 christos */
172 1.1 christos for (sz = 17; sz <= TEST_MAX_SIZE && sz <= SC_LARGE_MAXCLASS;
173 1.1.1.2 christos sz += (sz <= SC_SMALL_MAXCLASS ? 1019 : 99991)) {
174 1.1.1.2 christos void *p = mallocx(sz, 0);
175 1.1.1.2 christos void *q = mallocx(sz, 0);
176 1.1.1.2 christos void *in[] = {p, q};
177 1.1 christos size_t in_sz = sizeof(const void *) * 2;
178 1.1 christos size_t out[] = {-1, -1, -1, -1, -1, -1};
179 1.1 christos size_t out_sz = sizeof(size_t) * 6;
180 1.1 christos size_t out_ref[] = {-1, -1, -1, -1, -1, -1};
181 1.1 christos size_t out_sz_ref = out_sz;
182 1.1 christos
183 1.1 christos assert_ptr_not_null(p, "test pointer allocation failed");
184 1.1 christos assert_ptr_not_null(q, "test pointer allocation failed");
185 1.1 christos
186 1.1 christos /* Test invalid argument(s) errors */
187 1.1.1.2 christos TEST_UTIL_BATCH_EINVAL(NULL, &out_sz, in, in_sz, "old is NULL");
188 1.1.1.2 christos TEST_UTIL_BATCH_EINVAL(out, NULL, in, in_sz, "oldlenp is NULL");
189 1.1.1.2 christos TEST_UTIL_BATCH_EINVAL(
190 1.1.1.2 christos out, &out_sz, NULL, in_sz, "newp is NULL");
191 1.1.1.2 christos TEST_UTIL_BATCH_EINVAL(out, &out_sz, in, 0, "newlen is zero");
192 1.1 christos in_sz -= 1;
193 1.1.1.2 christos TEST_UTIL_BATCH_EINVAL(
194 1.1.1.2 christos out, &out_sz, in, in_sz, "newlen is not an exact multiple");
195 1.1 christos in_sz += 1;
196 1.1 christos out_sz_ref = out_sz -= 2 * sizeof(size_t);
197 1.1 christos TEST_UTIL_BATCH_EINVAL(out, &out_sz, in, in_sz,
198 1.1 christos "*oldlenp is not an exact multiple");
199 1.1 christos out_sz_ref = out_sz += 2 * sizeof(size_t);
200 1.1 christos in_sz -= sizeof(const void *);
201 1.1 christos TEST_UTIL_BATCH_EINVAL(out, &out_sz, in, in_sz,
202 1.1 christos "*oldlenp and newlen do not match");
203 1.1 christos in_sz += sizeof(const void *);
204 1.1 christos
205 1.1.1.2 christos /* Examine output for valid calls */
206 1.1.1.2 christos #define TEST_EQUAL_REF(i, message) \
207 1.1 christos assert_d_eq(memcmp(out + (i) * 3, out_ref + (i) * 3, 3), 0, message)
208 1.1 christos
209 1.1 christos #define NFREE_READ(out, i) out[(i) * 3]
210 1.1 christos #define NREGS_READ(out, i) out[(i) * 3 + 1]
211 1.1 christos #define SIZE_READ(out, i) out[(i) * 3 + 2]
212 1.1 christos
213 1.1 christos out_sz_ref = out_sz /= 2;
214 1.1 christos in_sz /= 2;
215 1.1 christos TEST_UTIL_BATCH_VALID;
216 1.1 christos expect_zu_le(sz, SIZE_READ(out, 0),
217 1.1 christos "Extent size should be at least allocation size");
218 1.1 christos expect_zu_eq(SIZE_READ(out, 0) & (PAGE - 1), 0,
219 1.1 christos "Extent size should be a multiple of page size");
220 1.1 christos /*
221 1.1 christos * See the corresponding comment in test_query; profiling breaks
222 1.1 christos * our slab count expectations.
223 1.1 christos */
224 1.1 christos if (sz <= SC_SMALL_MAXCLASS && !opt_prof) {
225 1.1 christos expect_zu_le(NFREE_READ(out, 0), NREGS_READ(out, 0),
226 1.1 christos "Extent free count exceeded region count");
227 1.1 christos expect_zu_le(NREGS_READ(out, 0), SIZE_READ(out, 0),
228 1.1 christos "Extent region count exceeded size");
229 1.1 christos expect_zu_ne(NREGS_READ(out, 0), 0,
230 1.1 christos "Extent region count must be positive");
231 1.1 christos } else if (sz > SC_SMALL_MAXCLASS) {
232 1.1 christos expect_zu_eq(NFREE_READ(out, 0), 0,
233 1.1 christos "Extent free count should be zero");
234 1.1 christos expect_zu_eq(NREGS_READ(out, 0), 1,
235 1.1 christos "Extent region count should be one");
236 1.1 christos }
237 1.1.1.2 christos TEST_EQUAL_REF(
238 1.1.1.2 christos 1, "Should not overwrite content beyond what's needed");
239 1.1 christos in_sz *= 2;
240 1.1 christos out_sz_ref = out_sz *= 2;
241 1.1 christos
242 1.1 christos memcpy(out_ref, out, 3 * sizeof(size_t));
243 1.1 christos TEST_UTIL_BATCH_VALID;
244 1.1 christos TEST_EQUAL_REF(0, "Statistics should be stable across calls");
245 1.1 christos if (sz <= SC_SMALL_MAXCLASS) {
246 1.1 christos expect_zu_le(NFREE_READ(out, 1), NREGS_READ(out, 1),
247 1.1 christos "Extent free count exceeded region count");
248 1.1 christos } else {
249 1.1 christos expect_zu_eq(NFREE_READ(out, 0), 0,
250 1.1 christos "Extent free count should be zero");
251 1.1 christos }
252 1.1 christos expect_zu_eq(NREGS_READ(out, 0), NREGS_READ(out, 1),
253 1.1 christos "Extent region count should be same for same region size");
254 1.1 christos expect_zu_eq(SIZE_READ(out, 0), SIZE_READ(out, 1),
255 1.1 christos "Extent size should be same for same region size");
256 1.1 christos
257 1.1 christos #undef SIZE_READ
258 1.1 christos #undef NREGS_READ
259 1.1 christos #undef NFREE_READ
260 1.1 christos
261 1.1 christos #undef TEST_EQUAL_REF
262 1.1 christos
263 1.1 christos free(q);
264 1.1 christos free(p);
265 1.1 christos }
266 1.1 christos }
267 1.1 christos TEST_END
268 1.1 christos
269 1.1 christos int
270 1.1 christos main(void) {
271 1.1 christos assert_zu_lt(SC_SMALL_MAXCLASS + 100000, TEST_MAX_SIZE,
272 1.1 christos "Test case cannot cover large classes");
273 1.1 christos return test(test_query, test_batch);
274 1.1 christos }
275