2 * @brief Memory allocation functions.
12 /** MEMALLOC declares the allocators for a class to allocate
13 * memory in the non-snapshotting heap. */
15 void * operator new(size_t size) { \
16 return model_malloc(size); \
18 void operator delete(void *p, size_t size) { \
21 void * operator new[](size_t size) { \
22 return model_malloc(size); \
24 void operator delete[](void *p, size_t size) { \
27 void * operator new(size_t size, void *p) { /* placement new */ \
31 /** SNAPSHOTALLOC declares the allocators for a class to allocate
32 * memory in the snapshotting heap. */
33 #define SNAPSHOTALLOC \
34 void * operator new(size_t size) { \
35 return snapshot_malloc(size); \
37 void operator delete(void *p, size_t size) { \
40 void * operator new[](size_t size) { \
41 return snapshot_malloc(size); \
43 void operator delete[](void *p, size_t size) { \
46 void * operator new(size_t size, void *p) { /* placement new */ \
50 void *model_malloc(size_t size);
51 void *model_calloc(size_t count, size_t size);
52 void model_free(void *ptr);
54 void * snapshot_malloc(size_t size);
55 void * snapshot_calloc(size_t count, size_t size);
56 void * snapshot_realloc(void *ptr, size_t size);
57 void snapshot_free(void *ptr);
59 /** @brief Provides a non-snapshotting allocator for use in STL classes.
61 * The code was adapted from a code example from the book The C++
62 * Standard Library - A Tutorial and Reference by Nicolai M. Josuttis,
63 * Addison-Wesley, 1999 © Copyright Nicolai M. Josuttis 1999
64 * Permission to copy, use, modify, sell and distribute this software
65 * is granted provided this copyright notice appears in all copies.
66 * This software is provided "as is" without express or implied
67 * warranty, and with no claim as to its suitability for any purpose.
75 typedef const T* const_pointer;
77 typedef const T& const_reference;
78 typedef size_t size_type;
79 typedef size_t difference_type;
81 // rebind allocator to type U
84 typedef ModelAlloc<U> other;
87 // return address of values
88 pointer address(reference value) const {
91 const_pointer address(const_reference value) const {
95 /* constructors and destructor
96 * - nothing to do because the allocator has no state
98 ModelAlloc() throw() {
100 ModelAlloc(const ModelAlloc&) throw() {
103 ModelAlloc(const ModelAlloc<U>&) throw() {
105 ~ModelAlloc() throw() {
108 // return maximum number of elements that can be allocated
109 size_type max_size() const throw() {
110 return std::numeric_limits<size_t>::max() / sizeof(T);
113 // allocate but don't initialize num elements of type T
114 pointer allocate(size_type num, const void * = 0) {
115 pointer p = (pointer)model_malloc(num * sizeof(T));
119 // initialize elements of allocated storage p with value value
120 void construct(pointer p, const T& value) {
121 // initialize memory with placement new
122 new((void*)p)T(value);
125 // destroy elements of initialized storage p
126 void destroy(pointer p) {
127 // destroy objects by calling their destructor
131 // deallocate storage p of deleted elements
132 void deallocate(pointer p, size_type num) {
133 model_free((void*)p);
137 /** Return that all specializations of this allocator are interchangeable. */
138 template <class T1, class T2>
139 bool operator ==(const ModelAlloc<T1>&,
140 const ModelAlloc<T2>&) throw() {
144 /** Return that all specializations of this allocator are interchangeable. */
145 template <class T1, class T2>
146 bool operator!= (const ModelAlloc<T1>&,
147 const ModelAlloc<T2>&) throw() {
151 /** @brief Provides a snapshotting allocator for use in STL classes.
153 * The code was adapted from a code example from the book The C++
154 * Standard Library - A Tutorial and Reference by Nicolai M. Josuttis,
155 * Addison-Wesley, 1999 © Copyright Nicolai M. Josuttis 1999
156 * Permission to copy, use, modify, sell and distribute this software
157 * is granted provided this copyright notice appears in all copies.
158 * This software is provided "as is" without express or implied
159 * warranty, and with no claim as to its suitability for any purpose.
162 class SnapshotAlloc {
165 typedef T value_type;
167 typedef const T* const_pointer;
168 typedef T& reference;
169 typedef const T& const_reference;
170 typedef size_t size_type;
171 typedef size_t difference_type;
173 // rebind allocator to type U
176 typedef SnapshotAlloc<U> other;
179 // return address of values
180 pointer address(reference value) const {
183 const_pointer address(const_reference value) const {
187 /* constructors and destructor
188 * - nothing to do because the allocator has no state
190 SnapshotAlloc() throw() {
192 SnapshotAlloc(const SnapshotAlloc&) throw() {
195 SnapshotAlloc(const SnapshotAlloc<U>&) throw() {
197 ~SnapshotAlloc() throw() {
200 // return maximum number of elements that can be allocated
201 size_type max_size() const throw() {
202 return std::numeric_limits<size_t>::max() / sizeof(T);
205 // allocate but don't initialize num elements of type T
206 pointer allocate(size_type num, const void * = 0) {
207 pointer p = (pointer)snapshot_malloc(num * sizeof(T));
211 // initialize elements of allocated storage p with value value
212 void construct(pointer p, const T& value) {
213 // initialize memory with placement new
214 new((void*)p)T(value);
217 // destroy elements of initialized storage p
218 void destroy(pointer p) {
219 // destroy objects by calling their destructor
223 // deallocate storage p of deleted elements
224 void deallocate(pointer p, size_type num) {
225 snapshot_free((void*)p);
229 /** Return that all specializations of this allocator are interchangeable. */
230 template <class T1, class T2>
231 bool operator ==(const SnapshotAlloc<T1>&,
232 const SnapshotAlloc<T2>&) throw() {
236 /** Return that all specializations of this allocator are interchangeable. */
237 template <class T1, class T2>
238 bool operator!= (const SnapshotAlloc<T1>&,
239 const SnapshotAlloc<T2>&) throw() {
246 typedef void * mspace;
247 extern void * mspace_malloc(mspace msp, size_t bytes);
248 extern void mspace_free(mspace msp, void* mem);
249 extern void * mspace_realloc(mspace msp, void* mem, size_t newsize);
250 extern void * mspace_calloc(mspace msp, size_t n_elements, size_t elem_size);
251 extern mspace create_mspace_with_base(void* base, size_t capacity, int locked);
252 extern mspace create_mspace(size_t capacity, int locked);
254 #if USE_MPROTECT_SNAPSHOT
255 extern mspace user_snapshot_space;
258 extern mspace model_snapshot_space;
261 }; /* end of extern "C" */
264 #endif /* _MY_MEMORY_H */