omAllocSystem.c
Go to the documentation of this file.
1 /*******************************************************************
2  * File: omAllocSystem.c
3  * Purpose: implementation of main lowl-level alloc functions
4  * Author: obachman@mathematik.uni-kl.de (Olaf Bachmann)
5  * Created: 11/99
6  *******************************************************************/
7 #ifndef OM_ALLOC_SYSTEM_C
8 #define OM_ALLOC_SYSTEM_C
9 
10 #include <unistd.h>
11 #include <limits.h>
12 
13 
14 #include "omConfig.h"
15 
16 #ifdef HAVE_OMALLOC
17 #include "omDefaultConfig.h"
18 #include "omMalloc.h"
19 #include "omalloc.h"
20 /* include after omMalloc.h */
21 #include <string.h>
22 
23 #define OM_MALLOC_FROM_SYSTEM OM_MALLOC_MALLOC
24 #define OM_REALLOC_FROM_SYSTEM OM_MALLOC_REALLOC
25 #define OM_FREE_TO_SYSTEM OM_MALLOC_FREE
26 
27 /*******************************************************************
28  *
29  * AllocLarge/FreeLarge if malloc can not return sizeof(addr)
30  *
31  *******************************************************************/
32 /* allocation of large addr */
33 #if defined(HAVE_MALLOC_SIZE)
34 #include <malloc/malloc.h>
35 #define _omSizeOfLargeAddr(addr) (malloc_size(addr))
36 #elif defined(HAVE_MALLOC_USABLE_SIZE)
37 #include <stdlib.h>
38 #define _omSizeOfLargeAddr(addr) (malloc_usable_size(addr))
39 #else
40 void* omAllocLarge(size_t size)
41 {
42  char* addr;
43  size = OM_ALIGN_SIZE(size);
44  addr = omAllocFromSystem(size + SIZEOF_STRICT_ALIGNMENT);
45  *((size_t*) addr) = size;
46  return (void *)(addr + SIZEOF_STRICT_ALIGNMENT);
47 }
48 
49 void* omReallocLarge(void* old_addr, size_t new_size)
50 {
51  char* _old_addr;
52  char* new_addr;
53 
54  omAssume(omIsLargeAddr(old_addr));
55 
56  new_size = OM_ALIGN_SIZE(new_size);
57  _old_addr = (char *)old_addr - SIZEOF_STRICT_ALIGNMENT;
58  new_addr = omReallocSizeFromSystem(_old_addr,
59  *((size_t*) _old_addr) + SIZEOF_STRICT_ALIGNMENT,
60  new_size + SIZEOF_STRICT_ALIGNMENT);
61  *((size_t*) new_addr) = new_size;
62  return (void *)(new_addr + SIZEOF_STRICT_ALIGNMENT);
63 }
64 
65 void omFreeLarge(void* addr)
66 {
67  char* _addr = (char *)addr - SIZEOF_STRICT_ALIGNMENT;
68  omFreeSizeToSystem(_addr, *((size_t*) _addr) + SIZEOF_STRICT_ALIGNMENT);
69 }
70 
71 #define _omSizeOfLargeAddr(addr) (*((size_t*) ((char*) addr - SIZEOF_STRICT_ALIGNMENT)))
72 #endif /* HAVE_MALLOC_SIZE/HAVE_MALLOC_USABLE_SIZE */
73 
74 void* omAlloc0Large(size_t size)
75 {
76  void* addr = omAllocLarge(size);
77  memset(addr, 0, size);
78  return addr;
79 }
80 
81 void* omRealloc0Large(void* old_addr, size_t new_size)
82 {
83  size_t old_size;
84  char* new_addr;
85 
86  omAssume(!omIsBinPageAddr(old_addr));
87 
88  old_size = omSizeOfLargeAddr(old_addr);
89 
90  new_addr = omReallocLarge(old_addr, new_size);
91  new_size = omSizeOfLargeAddr(new_addr);
92  if (new_size > old_size)
93  memset(new_addr + old_size, 0, new_size - old_size);
94  return (void *)new_addr;
95 }
96 
97 size_t omSizeOfLargeAddr(void* addr)
98 {
99  return _omSizeOfLargeAddr((char *)addr);
100 }
101 
102 size_t omSizeOfAddr(const void* addr)
103 {
104  /*if (addr==NULL) return 0; */
105 
106  return (omIsBinPageAddr(addr) ?
107 #ifdef OM_HAVE_TRACK
108  (omIsBinAddrTrackAddr(addr) ? omOutSizeOfTrackAddr((char *)addr) : omSizeOfBinAddr(addr)) :
109 #else
110  omSizeOfBinAddr(addr) :
111 #endif
112  omSizeOfLargeAddr((char *)addr));
113 }
114 
115 size_t omSizeWOfAddr(void* addr)
116 {
117 
118  return (omIsBinPageAddr(addr) ?
119 #ifdef OM_HAVE_TRACK
120  (omIsBinAddrTrackAddr(addr) ? omOutSizeOfTrackAddr(addr) >> LOG_SIZEOF_LONG : omSizeWOfBinAddr(addr)) :
121 #else
122  omSizeWOfBinAddr(addr) :
123 #endif
124  omSizeOfLargeAddr(addr) >> LOG_SIZEOF_LONG);
125 }
126 
127 /*******************************************************************
128  *
129  * Valloc
130  *
131  *******************************************************************/
132 #ifdef OM_HAVE_VALLOC_MMAP
133 
134 #include "omMmap.c"
135 
136 #define OM_VALLOC_FROM_SYSTEM omVallocMmap
137 #define OM_VFREE_TO_SYSTEM omVfreeMmap
138 
139 #elif defined(OM_HAVE_VALLOC_MALLOC)
140 
141 #define OM_VALLOC_FROM_SYSTEM OM_MALLOC_VALLOC
142 #define OM_VFREE_TO_SYSTEM OM_MALLOC_VFREE
143 
144 #else
145 
146 #define OM_VALLOC_FROM_SYSTEM omEmulateValloc
147 #define OM_VFREE_TO_SYSTEM omEmulateVfree
148 
149 #define OM_ALIGN_PAGE(addr) ( ((long)addr + (SIZEOF_SYSTEM_PAGE -1)) & ~(SIZEOF_SYSTEM_PAGE - 1))
150 /* now we implement an emulation */
151 void* omEmulateValloc(size_t size)
152 {
153  void* addr;
154  size_t padding = SIZEOF_VOIDP;
155  size = OM_ALIGN_SIZE(size);
156  while (1)
157  {
158  addr = OM_MALLOC_FROM_SYSTEM(size + padding);
159  if (addr == NULL) return NULL;
160  if ((OM_ALIGN_PAGE(addr) + SIZEOF_VOIDP) - (long) addr <= padding)
161  {
162  void* ret_addr = (void*) OM_ALIGN_PAGE(addr);
163  *((void**) ((void*) ret_addr + size)) = addr;
164  return ret_addr;
165  }
166  else
167  {
168  OM_FREE_TO_SYSTEM(addr);
169  padding = padding << 1;
170  }
171  }
172 }
173 
174 void omEmulateVfree(void* addr, size_t size)
175 {
176  size = OM_ALIGN_SIZE(size);
177  OM_FREE_TO_SYSTEM( *((void**) ((void*) addr + size)) );
178 }
179 #endif /* OM_HAVE_VALLOC_MMAP */
180 
181 /*******************************************************************
182  *
183  * System-level Alloc/Free
184  *
185  *******************************************************************/
186 void* omAllocFromSystem(size_t size)
187 {
188  void* ptr;
189 
190  ptr = OM_MALLOC_FROM_SYSTEM(size);
191  if (ptr == NULL)
192  {
193  OM_MEMORY_LOW_HOOK();
194  ptr = OM_MALLOC_FROM_SYSTEM(size);
195  if (ptr == NULL)
196  {
197  OM_OUT_OF_MEMORY_HOOK();
198  exit(1);
199  }
200  }
201 #if defined(HAVE_MALLOC_SIZE) || defined(HAVE_MALLOC_USABLE_SIZE)
202  size=_omSizeOfLargeAddr(ptr);
203 #else
204  size=omSizeOfAddr(ptr);
205 #endif
206 #ifndef OM_NDEBUG
207  if (((unsigned long) ptr) + size > om_MaxAddr)
208  om_MaxAddr = ((unsigned long) ptr) + size;
209  if (((unsigned long) ptr) < om_MinAddr)
210  om_MinAddr = ((unsigned long) ptr);
211 #endif
212 
213  om_Info.CurrentBytesFromMalloc += size;
214  if (om_Info.CurrentBytesFromMalloc > om_Info.MaxBytesFromMalloc)
215  {
216  om_Info.MaxBytesFromMalloc = om_Info.CurrentBytesFromMalloc;
217 #if defined(OM_HAVE_VALLOC_MMAP) && defined(OM_MALLOC_MAX_BYTES_SYSTEM)
218  if (om_Info.CurrentBytesFromValloc + OM_MALLOC_MAX_BYTES_SYSTEM > om_Info.MaxBytesSystem)
219  om_Info.MaxBytesSystem = om_Info.CurrentBytesFromValloc + OM_MALLOC_MAX_BYTES_SYSTEM;
220 #endif
221 #if defined(HAVE_SBRK) && !defined(OM_MALLOC_MAX_BYTES_SBRK)
222  if (! om_SbrkInit) om_SbrkInit = (unsigned long) sbrk(0) - size;
223  if (om_Info.MaxBytesFromMalloc
224 #ifndef OM_HAVE_VALLOC_MMAP
225  + om_Info.CurrentBytesFromValloc
226 #endif
227  > om_Info.MaxBytesSbrk)
228  {
229  om_Info.MaxBytesSbrk = (unsigned long) sbrk(0) - om_SbrkInit;
230  }
231 #endif
232  }
233  OM_MALLOC_HOOK(size);
234  return ptr;
235 }
236 
237 void* omReallocFromSystem(void* addr, size_t newsize)
238 {
239  return omReallocSizeFromSystem(addr, omSizeOfAddr(addr), newsize);
240 }
241 
242 void* omReallocSizeFromSystem(void* addr, size_t oldsize, size_t newsize)
243 {
244  void* res;
245 
246  /*oldsize=omSizeOfLargeAddr(addr);*/
247  res = OM_REALLOC_FROM_SYSTEM(addr, newsize);
248  if (res == NULL)
249  {
250  OM_MEMORY_LOW_HOOK();
251  /* Can do a realloc again: manpage reads:
252  "If realloc() fails the original block is left untouched -
253  it is not freed or moved." */
254  res = OM_REALLOC_FROM_SYSTEM(addr, newsize);
255  if (res == NULL)
256  {
257  OM_OUT_OF_MEMORY_HOOK();
258  /* should never get here */
259  omAssume(0);
260  exit(1);
261  }
262  }
263  /*newsize=omSizeOfAddr(res);*/
264 
265 #ifndef OM_NDEBUG
266  if (((unsigned long) res) + newsize > om_MaxAddr)
267  om_MaxAddr = ((unsigned long) res) + newsize;
268  if (((unsigned long) res) < om_MinAddr)
269  om_MinAddr = ((unsigned long) res);
270 #endif
271 
272  om_Info.CurrentBytesFromMalloc += (long) newsize - (long) oldsize;
273 
274 
275  if (om_Info.CurrentBytesFromMalloc > om_Info.MaxBytesFromMalloc)
276  {
277  om_Info.MaxBytesFromMalloc = om_Info.CurrentBytesFromMalloc;
278 #if defined(OM_HAVE_VALLOC_MMAP) && defined(OM_MALLOC_MAX_BYTES_SYSTEM)
279  if (om_Info.CurrentBytesFromValloc + OM_MALLOC_MAX_BYTES_SYSTEM > om_Info.MaxBytesSystem)
280  om_Info.MaxBytesSystem = om_Info.CurrentBytesFromValloc + OM_MALLOC_MAX_BYTES_SYSTEM;
281 #endif
282 #if defined(HAVE_SBRK) && !defined(OM_MALLOC_MAX_BYTES_SBRK)
283  if (om_Info.MaxBytesFromMalloc
284 #ifndef OM_HAVE_VALLOC_MMAP
285  + om_Info.CurrentBytesFromValloc
286 #endif
287  > om_Info.MaxBytesSbrk)
288  {
289  om_Info.MaxBytesSbrk = (unsigned long) sbrk(0) - om_SbrkInit;
290  }
291 #endif
292  }
293 
294  OM_REALLOC_HOOK(oldsize, newsize);
295  return res;
296 }
297 
298 void omFreeToSystem(void* addr)
299 {
300  omFreeSizeToSystem(addr, omSizeOfAddr(addr));
301 }
302 
303 void omFreeSizeToSystem(void* addr, size_t size)
304 {
305  OM_FREE_TO_SYSTEM( addr );
306  om_Info.CurrentBytesFromMalloc -= size;
307  OM_FREE_HOOK(size);
308 }
309 
310 void* _omVallocFromSystem(size_t size, int fail)
311 {
312  void* page = OM_VALLOC_FROM_SYSTEM(size);
313  if (page == NULL)
314  {
315  OM_MEMORY_LOW_HOOK();
316  page = OM_VALLOC_FROM_SYSTEM(size);
317  if (page == NULL)
318  {
319  if (fail) return NULL;
320  else
321  {
322  OM_OUT_OF_MEMORY_HOOK();
323  /* should never get here */
324  omAssume(0);
325  exit(1);
326  }
327  }
328  }
329 
330 #ifndef OM_NDEBUG
331  if (((unsigned long) page) + size > om_MaxAddr)
332  om_MaxAddr = ((unsigned long) page) + size;
333  if (((unsigned long) page) < om_MinAddr)
334  om_MinAddr = ((unsigned long) page);
335 #endif
336 
338  om_Info.CurrentBytesFromValloc += size;
339  if (om_Info.CurrentBytesFromValloc > om_Info.MaxBytesFromValloc)
340  {
341  om_Info.MaxBytesFromValloc = om_Info.CurrentBytesFromValloc;
342 #if defined(OM_HAVE_VALLOC_MMAP) && defined(OM_MALLOC_MAX_BYTES_SYSTEM)
343  if (om_Info.MaxBytesFromValloc + OM_MALLOC_MAX_BYTES_SYSTEM > om_Info.MaxBytesSystem)
344  om_Info.MaxBytesSystem = om_Info.MaxBytesFromValloc + OM_MALLOC_MAX_BYTES_SYSTEM;
345 #endif
346 #if defined(HAVE_SBRK) && !defined(OM_HAVE_VALLOC_MMAP) && !defined(OM_MALLOC_MAX_BYTES_SBRK)
347  if (! om_SbrkInit) om_SbrkInit = (unsigned long) sbrk(0) - size;
348  if (om_Info.CurrentBytesFromMalloc + om_Info.CurrentBytesFromValloc > om_Info.MaxBytesSbrk)
349  {
350  om_Info.MaxBytesSbrk = (unsigned long) sbrk(0) - om_SbrkInit;
351  omAssume(om_Info.MaxBytesSbrk >= om_Info.CurrentBytesFromMalloc
352  + om_Info.CurrentBytesFromValloc);
353  }
354 #endif
355  }
356  OM_VALLOC_HOOK(size);
357  return page;
358 }
359 
360 void omVfreeToSystem(void* page, size_t size)
361 {
363  OM_VFREE_TO_SYSTEM(page, size);
364  om_Info.CurrentBytesFromValloc -= size;
365  OM_VFREE_HOOK(size);
366 }
367 
368 #endif /*HAVE_OMALLOC*/
369 #endif /* OM_ALLOC_SYSTEM_C */
#define OM_MALLOC_FROM_SYSTEM
Definition: omAllocSystem.c:23
void * omAllocFromSystem(size_t size)
unsigned long om_SbrkInit
Definition: omStats.c:18
#define OM_ALIGN_PAGE(addr)
#define OM_VALLOC_FROM_SYSTEM
void * omReallocSizeFromSystem(void *addr, size_t oldsize, size_t newsize)
size_t omSizeOfAddr(const void *addr)
void omFreeLarge(void *addr)
Definition: omAllocSystem.c:65
void omEmulateVfree(void *addr, size_t size)
void * omEmulateValloc(size_t size)
size_t omSizeOfLargeAddr(void *addr)
Definition: omAllocSystem.c:97
size_t omSizeWOfAddr(void *addr)
void * _omVallocFromSystem(size_t size, int fail)
#define _omSizeOfLargeAddr(addr)
Definition: omAllocSystem.c:71
void * omAllocLarge(size_t size)
Definition: omAllocSystem.c:40
void * omReallocLarge(void *old_addr, size_t new_size)
Definition: omAllocSystem.c:49
#define OM_REALLOC_FROM_SYSTEM
Definition: omAllocSystem.c:24
void omFreeSizeToSystem(void *addr, size_t size)
CanonicalForm res
Definition: facAbsFact.cc:64
omInfo_t om_Info
Definition: omStats.c:16
#define omIsBinAddrTrackAddr(addr)
Definition: omDebug.h:15
#define omAssume(x)
Definition: omError.h:85
void * omReallocFromSystem(void *addr, size_t newsize)
void omVfreeToSystem(void *page, size_t size)
#define omSizeWOfBinAddr(addr)
#define OM_VFREE_TO_SYSTEM
int size(const CanonicalForm &f, const Variable &v)
int size ( const CanonicalForm & f, const Variable & v )
Definition: cf_ops.cc:600
#define omSizeOfBinAddr(addr)
#define NULL
Definition: omList.c:12
void * omRealloc0Large(void *old_addr, size_t new_size)
Definition: omAllocSystem.c:81
#define omIsBinPageAddr(addr)
Definition: omBinPage.h:68
void * omAlloc0Large(size_t size)
Definition: omAllocSystem.c:74
void omFreeToSystem(void *addr)
unsigned long om_MinAddr
Definition: omDebugCheck.c:20
unsigned long om_MaxAddr
Definition: omDebugCheck.c:19
#define omIsAddrPageAligned(addr)
Definition: omBinPage.h:16
#define OM_FREE_TO_SYSTEM
Definition: omAllocSystem.c:25