1 | // =============================================================== // |
---|
2 | // // |
---|
3 | // File : PT_mem.h // |
---|
4 | // Purpose : memory handling for ptserver // |
---|
5 | // // |
---|
6 | // Coded by Ralf Westram (coder@reallysoft.de) in October 2012 // |
---|
7 | // Institute of Microbiology (Technical University Munich) // |
---|
8 | // http://www.arb-home.de/ // |
---|
9 | // // |
---|
10 | // =============================================================== // |
---|
11 | |
---|
12 | #ifndef PT_MEM_H |
---|
13 | #define PT_MEM_H |
---|
14 | |
---|
15 | #ifndef ARBTOOLS_H |
---|
16 | #include <arbtools.h> |
---|
17 | #endif |
---|
18 | #ifndef ARB_CORE_H |
---|
19 | #include <arb_core.h> |
---|
20 | #endif |
---|
21 | #ifndef PT_TOOLS_H |
---|
22 | #include "PT_tools.h" |
---|
23 | #endif |
---|
24 | #ifndef ARB_MISC_H |
---|
25 | #include <arb_misc.h> |
---|
26 | #endif |
---|
27 | |
---|
28 | #define PTM_MANAGED_MEMORY // comment-out to use malloc/free => can use valgrind |
---|
29 | |
---|
30 | #if defined(PTM_MANAGED_MEMORY) |
---|
31 | // # define PTM_MEM_DUMP_STATS |
---|
32 | // # define PTM_MEM_CHECKED_FREE // careful: slow as hell! |
---|
33 | #endif |
---|
34 | |
---|
35 | #define PTM_MIN_SIZE (int(sizeof(PT_PNTR))+1) // see .@PTM_MIN_SIZE_RESTRICTED |
---|
36 | |
---|
37 | #if defined(PTM_MANAGED_MEMORY) |
---|
38 | |
---|
39 | #define PTM_TABLE_SIZE (1024*256) |
---|
40 | |
---|
41 | #define PTM_TABLE_COUNT 256 |
---|
42 | #define PTM_ELEMS_PER_BLOCK 256 |
---|
43 | |
---|
44 | #define PTM_MAX_SIZE (PTM_TABLE_COUNT+PTM_MIN_SIZE-1) |
---|
45 | |
---|
46 | #define PTM_magic 0xf4 |
---|
47 | |
---|
48 | #if defined(PTM_MEM_DUMP_STATS) |
---|
49 | const char *get_blocksize_description(int blocksize); // declare this elsewhere |
---|
50 | #endif |
---|
51 | |
---|
52 | |
---|
53 | class MemBlock : virtual Noncopyable { |
---|
54 | char *data; |
---|
55 | MemBlock *next; |
---|
56 | public: |
---|
57 | MemBlock(int size, MemBlock*& prev) |
---|
58 | : data(ARB_alloc<char>(size)), |
---|
59 | next(prev) |
---|
60 | { |
---|
61 | if (!data) GBK_terminate("out of memory"); |
---|
62 | prev = NULp; |
---|
63 | } |
---|
64 | |
---|
65 | ~MemBlock() { |
---|
66 | if (next) { |
---|
67 | MemBlock *del = next; |
---|
68 | next = NULp; |
---|
69 | |
---|
70 | while (del) { |
---|
71 | MemBlock *n = del->next; |
---|
72 | del->next = NULp; |
---|
73 | |
---|
74 | delete del; |
---|
75 | del = n; |
---|
76 | } |
---|
77 | } |
---|
78 | free(data); |
---|
79 | } |
---|
80 | |
---|
81 | char *get_memory() { return data; } |
---|
82 | |
---|
83 | bool contains(char *somemem, int blocksize) const { |
---|
84 | pt_assert(somemem); |
---|
85 | pt_assert(blocksize>0); |
---|
86 | return |
---|
87 | (somemem >= data && somemem < (data+blocksize)) |
---|
88 | || |
---|
89 | (next && next->contains(somemem, blocksize)); |
---|
90 | } |
---|
91 | |
---|
92 | #if defined(PTM_MEM_DUMP_STATS) |
---|
93 | size_t count() const { |
---|
94 | const MemBlock *b = this; |
---|
95 | |
---|
96 | size_t cnt = 1; |
---|
97 | while (b->next) { |
---|
98 | b = b->next; |
---|
99 | ++cnt; |
---|
100 | } |
---|
101 | |
---|
102 | return cnt; |
---|
103 | } |
---|
104 | #endif |
---|
105 | }; |
---|
106 | |
---|
107 | class MemBlockManager : virtual Noncopyable { |
---|
108 | MemBlock *block[PTM_TABLE_COUNT]; |
---|
109 | long allsize; |
---|
110 | |
---|
111 | static int blocksize4size(int forsize) { |
---|
112 | return forsize * PTM_ELEMS_PER_BLOCK; |
---|
113 | } |
---|
114 | |
---|
115 | public: |
---|
116 | #if defined(PTM_MEM_DUMP_STATS) |
---|
117 | bool dump_stats; |
---|
118 | #endif |
---|
119 | |
---|
120 | static int size2idx(int forsize) { return forsize-PTM_MIN_SIZE; } |
---|
121 | static int idx2size(int idx) { return idx+PTM_MIN_SIZE; } |
---|
122 | |
---|
123 | MemBlockManager() |
---|
124 | : allsize(0) |
---|
125 | #if defined(PTM_MEM_DUMP_STATS) |
---|
126 | , dump_stats(true) |
---|
127 | #endif |
---|
128 | { |
---|
129 | for (int b = 0; b<PTM_TABLE_COUNT; ++b) { |
---|
130 | block[b] = NULp; |
---|
131 | } |
---|
132 | } |
---|
133 | ~MemBlockManager() { |
---|
134 | clear(); |
---|
135 | } |
---|
136 | |
---|
137 | char *get_block(int forsize) { |
---|
138 | int allocsize = blocksize4size(forsize); |
---|
139 | int tab = size2idx(forsize); |
---|
140 | |
---|
141 | block[tab] = new MemBlock(allocsize, block[tab]); |
---|
142 | allsize += allocsize; |
---|
143 | |
---|
144 | return block[tab]->get_memory(); |
---|
145 | } |
---|
146 | |
---|
147 | #if defined(PTM_MEM_CHECKED_FREE) |
---|
148 | bool block_has_size(char *vblock, int size) const { |
---|
149 | int tab = size2idx(size); |
---|
150 | if (block[tab]) { |
---|
151 | if (block[tab]->contains(vblock, blocksize4size(size))) { |
---|
152 | return true; |
---|
153 | } |
---|
154 | } |
---|
155 | return false; |
---|
156 | } |
---|
157 | #endif |
---|
158 | |
---|
159 | #if defined(PTM_MEM_DUMP_STATS) |
---|
160 | void dump_max_memory_usage(FILE *out) const { |
---|
161 | fflush_all(); |
---|
162 | long sum = 0; |
---|
163 | for (int b = 0; b<PTM_TABLE_COUNT; ++b) { |
---|
164 | if (block[b]) { |
---|
165 | int size = idx2size(b); |
---|
166 | size_t blocks = block[b]->count(); |
---|
167 | size_t allocated4size = blocks * blocksize4size(size); |
---|
168 | int elemsPerBlock = blocksize4size(size)/size; |
---|
169 | size_t maxElements = blocks*elemsPerBlock; |
---|
170 | int percent = double(allocated4size)/double(allsize)*100+0.5; |
---|
171 | |
---|
172 | fprintf(out, "blocksize: %2i allocated: %7s [~%2i%%] ", size, GBS_readable_size(allocated4size, "b"), percent); |
---|
173 | fprintf(out, "<~%12s", GBS_readable_size(maxElements, "Blocks")); |
---|
174 | |
---|
175 | const char *desc = get_blocksize_description(size); |
---|
176 | if (desc) fprintf(out, " [%s]", desc); |
---|
177 | |
---|
178 | fputc('\n', out); |
---|
179 | |
---|
180 | sum += allocated4size; |
---|
181 | } |
---|
182 | } |
---|
183 | fprintf(out, "sum of above: %s\n", GBS_readable_size(sum, "b")); |
---|
184 | fprintf(out, "overall alloc: %s\n", GBS_readable_size(allsize, "b")); |
---|
185 | fflush_all(); |
---|
186 | } |
---|
187 | #endif |
---|
188 | |
---|
189 | bool is_clear() const { |
---|
190 | for (int b = 0; b<PTM_TABLE_COUNT; ++b) { |
---|
191 | if (block[b]) return false; |
---|
192 | } |
---|
193 | return true; |
---|
194 | } |
---|
195 | |
---|
196 | void clear() { |
---|
197 | #if defined(PTM_MEM_DUMP_STATS) |
---|
198 | if (dump_stats) dump_max_memory_usage(stderr); |
---|
199 | #endif |
---|
200 | for (int b = 0; b<PTM_TABLE_COUNT; ++b) { |
---|
201 | delete block[b]; |
---|
202 | block[b] = NULp; |
---|
203 | } |
---|
204 | allsize = 0; |
---|
205 | } |
---|
206 | |
---|
207 | }; |
---|
208 | |
---|
209 | class Memory : virtual Noncopyable { |
---|
210 | MemBlockManager manager; |
---|
211 | char *free_data[PTM_TABLE_COUNT]; |
---|
212 | |
---|
213 | void alloc_new_blocks(int forsize) { |
---|
214 | int tab = MemBlockManager::size2idx(forsize); |
---|
215 | pt_assert(!free_data[tab]); |
---|
216 | |
---|
217 | char *prevPos = NULp; |
---|
218 | { |
---|
219 | char *block = manager.get_block(forsize); |
---|
220 | char *wp = block; |
---|
221 | |
---|
222 | for (int b = 0; b<PTM_ELEMS_PER_BLOCK; ++b) { |
---|
223 | PT_write_pointer(wp, prevPos); |
---|
224 | wp[sizeof(PT_PNTR)] = PTM_magic; |
---|
225 | |
---|
226 | prevPos = wp; |
---|
227 | wp += forsize; |
---|
228 | } |
---|
229 | } |
---|
230 | |
---|
231 | free_data[tab] = prevPos; |
---|
232 | } |
---|
233 | |
---|
234 | void clear_tables() { |
---|
235 | for (int t = 0; t < PTM_TABLE_COUNT; ++t) { |
---|
236 | free_data[t] = NULp; |
---|
237 | } |
---|
238 | } |
---|
239 | |
---|
240 | public: |
---|
241 | |
---|
242 | Memory() { clear_tables(); } |
---|
243 | |
---|
244 | #if defined(PTM_MEM_DUMP_STATS) |
---|
245 | void dump_stats(bool dump) { manager.dump_stats = dump; } |
---|
246 | #endif |
---|
247 | |
---|
248 | void *get(int size) { |
---|
249 | pt_assert(size >= PTM_MIN_SIZE); |
---|
250 | |
---|
251 | if (size > PTM_MAX_SIZE) { |
---|
252 | return ARB_calloc<char>(size); |
---|
253 | } |
---|
254 | |
---|
255 | int tab = MemBlockManager::size2idx(size); |
---|
256 | char *erg = free_data[tab]; |
---|
257 | if (!erg) { |
---|
258 | alloc_new_blocks(size); |
---|
259 | erg = free_data[tab]; |
---|
260 | } |
---|
261 | |
---|
262 | pt_assert(erg); |
---|
263 | free_data[tab] = PT_read_pointer<char>(free_data[tab]); |
---|
264 | memset(erg, 0, size); |
---|
265 | return erg; |
---|
266 | } |
---|
267 | |
---|
268 | #if defined(PTM_MEM_CHECKED_FREE) |
---|
269 | bool block_has_size(void *vblock, int size) { return manager.block_has_size((char*)vblock, size); } |
---|
270 | #endif |
---|
271 | |
---|
272 | void put(void *vblock, int size) { |
---|
273 | pt_assert(size >= PTM_MIN_SIZE); |
---|
274 | |
---|
275 | char *block = (char*)vblock; |
---|
276 | if (size > PTM_MAX_SIZE) { |
---|
277 | free(block); |
---|
278 | } |
---|
279 | else { |
---|
280 | #if defined(PTM_MEM_CHECKED_FREE) |
---|
281 | if (!block_has_size(vblock, size)) { |
---|
282 | for (int idx = 0; idx<PTM_TABLE_COUNT; ++idx) { |
---|
283 | int isize = manager.idx2size(idx); |
---|
284 | if (isize != size && block_has_size(vblock, isize)) { |
---|
285 | pt_assert(size == isize); |
---|
286 | } |
---|
287 | } |
---|
288 | } |
---|
289 | #endif |
---|
290 | int tab = MemBlockManager::size2idx(size); |
---|
291 | PT_write_pointer(block, free_data[tab]); // Note: PTM_MIN_SIZE_RESTRICTED by amount written here |
---|
292 | block[sizeof(PT_PNTR)] = PTM_magic; |
---|
293 | free_data[tab] = block; |
---|
294 | } |
---|
295 | } |
---|
296 | |
---|
297 | bool is_clear() const { return manager.is_clear(); } |
---|
298 | void clear() { |
---|
299 | clear_tables(); |
---|
300 | manager.clear(); |
---|
301 | pt_assert(is_clear()); |
---|
302 | } |
---|
303 | }; |
---|
304 | #else // !defined(PTM_MANAGED_MEMORY) |
---|
305 | |
---|
306 | struct Memory { // plain version allowing to use memory-checker |
---|
307 | void clear() {} |
---|
308 | bool is_clear() const { return true; } |
---|
309 | void *get(int size) { return ARB_calloc<char>(size); } // @@@ use ARB_alloc and initialize objects instead, then stop cleaning memory in Memory |
---|
310 | void put(void *block, int) { free(block); } |
---|
311 | }; |
---|
312 | |
---|
313 | #endif |
---|
314 | |
---|
315 | extern Memory MEM; |
---|
316 | |
---|
317 | #else |
---|
318 | #error PT_mem.h included twice |
---|
319 | #endif // PT_MEM_H |
---|