1 | // Bitmap Allocator. -*- C++ -*-
|
---|
2 |
|
---|
3 | // Copyright (C) 2004-2021 Free Software Foundation, Inc.
|
---|
4 | //
|
---|
5 | // This file is part of the GNU ISO C++ Library. This library is free
|
---|
6 | // software; you can redistribute it and/or modify it under the
|
---|
7 | // terms of the GNU General Public License as published by the
|
---|
8 | // Free Software Foundation; either version 3, or (at your option)
|
---|
9 | // any later version.
|
---|
10 |
|
---|
11 | // This library is distributed in the hope that it will be useful,
|
---|
12 | // but WITHOUT ANY WARRANTY; without even the implied warranty of
|
---|
13 | // MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
|
---|
14 | // GNU General Public License for more details.
|
---|
15 |
|
---|
16 | // Under Section 7 of GPL version 3, you are granted additional
|
---|
17 | // permissions described in the GCC Runtime Library Exception, version
|
---|
18 | // 3.1, as published by the Free Software Foundation.
|
---|
19 |
|
---|
20 | // You should have received a copy of the GNU General Public License and
|
---|
21 | // a copy of the GCC Runtime Library Exception along with this program;
|
---|
22 | // see the files COPYING3 and COPYING.RUNTIME respectively. If not, see
|
---|
23 | // <http://www.gnu.org/licenses/>.
|
---|
24 |
|
---|
25 | /** @file ext/bitmap_allocator.h
|
---|
26 | * This file is a GNU extension to the Standard C++ Library.
|
---|
27 | */
|
---|
28 |
|
---|
29 | #ifndef _BITMAP_ALLOCATOR_H
|
---|
30 | #define _BITMAP_ALLOCATOR_H 1
|
---|
31 |
|
---|
32 | #include <utility> // For std::pair.
|
---|
33 | #include <bits/functexcept.h> // For __throw_bad_alloc().
|
---|
34 | #include <functional> // For greater_equal, and less_equal.
|
---|
35 | #include <new> // For operator new.
|
---|
36 | #include <debug/debug.h> // _GLIBCXX_DEBUG_ASSERT
|
---|
37 | #include <ext/concurrence.h>
|
---|
38 | #include <bits/move.h>
|
---|
39 |
|
---|
40 | /** @brief The constant in the expression below is the alignment
|
---|
41 | * required in bytes.
|
---|
42 | */
|
---|
43 | #define _BALLOC_ALIGN_BYTES 8
|
---|
44 |
|
---|
45 | namespace __gnu_cxx _GLIBCXX_VISIBILITY(default)
|
---|
46 | {
|
---|
47 | _GLIBCXX_BEGIN_NAMESPACE_VERSION
|
---|
48 |
|
---|
49 | namespace __detail
|
---|
50 | {
|
---|
51 | /** @class __mini_vector bitmap_allocator.h bitmap_allocator.h
|
---|
52 | *
|
---|
53 | * @brief __mini_vector<> is a stripped down version of the
|
---|
54 | * full-fledged std::vector<>.
|
---|
55 | *
|
---|
56 | * It is to be used only for built-in types or PODs. Notable
|
---|
57 | * differences are:
|
---|
58 | *
|
---|
59 | * 1. Not all accessor functions are present.
|
---|
60 | * 2. Used ONLY for PODs.
|
---|
61 | * 3. No Allocator template argument. Uses ::operator new() to get
|
---|
62 | * memory, and ::operator delete() to free it.
|
---|
63 | * Caveat: The dtor does NOT free the memory allocated, so this a
|
---|
64 | * memory-leaking vector!
|
---|
65 | */
|
---|
66 | template<typename _Tp>
|
---|
67 | class __mini_vector
|
---|
68 | {
|
---|
69 | __mini_vector(const __mini_vector&);
|
---|
70 | __mini_vector& operator=(const __mini_vector&);
|
---|
71 |
|
---|
72 | public:
|
---|
73 | typedef _Tp value_type;
|
---|
74 | typedef _Tp* pointer;
|
---|
75 | typedef _Tp& reference;
|
---|
76 | typedef const _Tp& const_reference;
|
---|
77 | typedef std::size_t size_type;
|
---|
78 | typedef std::ptrdiff_t difference_type;
|
---|
79 | typedef pointer iterator;
|
---|
80 |
|
---|
81 | private:
|
---|
82 | pointer _M_start;
|
---|
83 | pointer _M_finish;
|
---|
84 | pointer _M_end_of_storage;
|
---|
85 |
|
---|
86 | size_type
|
---|
87 | _M_space_left() const throw()
|
---|
88 | { return _M_end_of_storage - _M_finish; }
|
---|
89 |
|
---|
90 | _GLIBCXX_NODISCARD pointer
|
---|
91 | allocate(size_type __n)
|
---|
92 | { return static_cast<pointer>(::operator new(__n * sizeof(_Tp))); }
|
---|
93 |
|
---|
94 | void
|
---|
95 | deallocate(pointer __p, size_type)
|
---|
96 | { ::operator delete(__p); }
|
---|
97 |
|
---|
98 | public:
|
---|
99 | // Members used: size(), push_back(), pop_back(),
|
---|
100 | // insert(iterator, const_reference), erase(iterator),
|
---|
101 | // begin(), end(), back(), operator[].
|
---|
102 |
|
---|
103 | __mini_vector()
|
---|
104 | : _M_start(0), _M_finish(0), _M_end_of_storage(0) { }
|
---|
105 |
|
---|
106 | size_type
|
---|
107 | size() const throw()
|
---|
108 | { return _M_finish - _M_start; }
|
---|
109 |
|
---|
110 | iterator
|
---|
111 | begin() const throw()
|
---|
112 | { return this->_M_start; }
|
---|
113 |
|
---|
114 | iterator
|
---|
115 | end() const throw()
|
---|
116 | { return this->_M_finish; }
|
---|
117 |
|
---|
118 | reference
|
---|
119 | back() const throw()
|
---|
120 | { return *(this->end() - 1); }
|
---|
121 |
|
---|
122 | reference
|
---|
123 | operator[](const size_type __pos) const throw()
|
---|
124 | { return this->_M_start[__pos]; }
|
---|
125 |
|
---|
126 | void
|
---|
127 | insert(iterator __pos, const_reference __x);
|
---|
128 |
|
---|
129 | void
|
---|
130 | push_back(const_reference __x)
|
---|
131 | {
|
---|
132 | if (this->_M_space_left())
|
---|
133 | {
|
---|
134 | *this->end() = __x;
|
---|
135 | ++this->_M_finish;
|
---|
136 | }
|
---|
137 | else
|
---|
138 | this->insert(this->end(), __x);
|
---|
139 | }
|
---|
140 |
|
---|
141 | void
|
---|
142 | pop_back() throw()
|
---|
143 | { --this->_M_finish; }
|
---|
144 |
|
---|
145 | void
|
---|
146 | erase(iterator __pos) throw();
|
---|
147 |
|
---|
148 | void
|
---|
149 | clear() throw()
|
---|
150 | { this->_M_finish = this->_M_start; }
|
---|
151 | };
|
---|
152 |
|
---|
153 | // Out of line function definitions.
|
---|
154 | template<typename _Tp>
|
---|
155 | void __mini_vector<_Tp>::
|
---|
156 | insert(iterator __pos, const_reference __x)
|
---|
157 | {
|
---|
158 | if (this->_M_space_left())
|
---|
159 | {
|
---|
160 | size_type __to_move = this->_M_finish - __pos;
|
---|
161 | iterator __dest = this->end();
|
---|
162 | iterator __src = this->end() - 1;
|
---|
163 |
|
---|
164 | ++this->_M_finish;
|
---|
165 | while (__to_move)
|
---|
166 | {
|
---|
167 | *__dest = *__src;
|
---|
168 | --__dest; --__src; --__to_move;
|
---|
169 | }
|
---|
170 | *__pos = __x;
|
---|
171 | }
|
---|
172 | else
|
---|
173 | {
|
---|
174 | size_type __new_size = this->size() ? this->size() * 2 : 1;
|
---|
175 | iterator __new_start = this->allocate(__new_size);
|
---|
176 | iterator __first = this->begin();
|
---|
177 | iterator __start = __new_start;
|
---|
178 | while (__first != __pos)
|
---|
179 | {
|
---|
180 | *__start = *__first;
|
---|
181 | ++__start; ++__first;
|
---|
182 | }
|
---|
183 | *__start = __x;
|
---|
184 | ++__start;
|
---|
185 | while (__first != this->end())
|
---|
186 | {
|
---|
187 | *__start = *__first;
|
---|
188 | ++__start; ++__first;
|
---|
189 | }
|
---|
190 | if (this->_M_start)
|
---|
191 | this->deallocate(this->_M_start, this->size());
|
---|
192 |
|
---|
193 | this->_M_start = __new_start;
|
---|
194 | this->_M_finish = __start;
|
---|
195 | this->_M_end_of_storage = this->_M_start + __new_size;
|
---|
196 | }
|
---|
197 | }
|
---|
198 |
|
---|
199 | template<typename _Tp>
|
---|
200 | void __mini_vector<_Tp>::
|
---|
201 | erase(iterator __pos) throw()
|
---|
202 | {
|
---|
203 | while (__pos + 1 != this->end())
|
---|
204 | {
|
---|
205 | *__pos = __pos[1];
|
---|
206 | ++__pos;
|
---|
207 | }
|
---|
208 | --this->_M_finish;
|
---|
209 | }
|
---|
210 |
|
---|
211 |
|
---|
212 | template<typename _Tp>
|
---|
213 | struct __mv_iter_traits
|
---|
214 | {
|
---|
215 | typedef typename _Tp::value_type value_type;
|
---|
216 | typedef typename _Tp::difference_type difference_type;
|
---|
217 | };
|
---|
218 |
|
---|
219 | template<typename _Tp>
|
---|
220 | struct __mv_iter_traits<_Tp*>
|
---|
221 | {
|
---|
222 | typedef _Tp value_type;
|
---|
223 | typedef std::ptrdiff_t difference_type;
|
---|
224 | };
|
---|
225 |
|
---|
226 | enum
|
---|
227 | {
|
---|
228 | bits_per_byte = 8,
|
---|
229 | bits_per_block = sizeof(std::size_t) * std::size_t(bits_per_byte)
|
---|
230 | };
|
---|
231 |
|
---|
232 | template<typename _ForwardIterator, typename _Tp, typename _Compare>
|
---|
233 | _ForwardIterator
|
---|
234 | __lower_bound(_ForwardIterator __first, _ForwardIterator __last,
|
---|
235 | const _Tp& __val, _Compare __comp)
|
---|
236 | {
|
---|
237 | typedef typename __mv_iter_traits<_ForwardIterator>::difference_type
|
---|
238 | _DistanceType;
|
---|
239 |
|
---|
240 | _DistanceType __len = __last - __first;
|
---|
241 | _DistanceType __half;
|
---|
242 | _ForwardIterator __middle;
|
---|
243 |
|
---|
244 | while (__len > 0)
|
---|
245 | {
|
---|
246 | __half = __len >> 1;
|
---|
247 | __middle = __first;
|
---|
248 | __middle += __half;
|
---|
249 | if (__comp(*__middle, __val))
|
---|
250 | {
|
---|
251 | __first = __middle;
|
---|
252 | ++__first;
|
---|
253 | __len = __len - __half - 1;
|
---|
254 | }
|
---|
255 | else
|
---|
256 | __len = __half;
|
---|
257 | }
|
---|
258 | return __first;
|
---|
259 | }
|
---|
260 |
|
---|
261 | /** @brief The number of Blocks pointed to by the address pair
|
---|
262 | * passed to the function.
|
---|
263 | */
|
---|
264 | template<typename _AddrPair>
|
---|
265 | inline std::size_t
|
---|
266 | __num_blocks(_AddrPair __ap)
|
---|
267 | { return (__ap.second - __ap.first) + 1; }
|
---|
268 |
|
---|
269 | /** @brief The number of Bit-maps pointed to by the address pair
|
---|
270 | * passed to the function.
|
---|
271 | */
|
---|
272 | template<typename _AddrPair>
|
---|
273 | inline std::size_t
|
---|
274 | __num_bitmaps(_AddrPair __ap)
|
---|
275 | { return __num_blocks(__ap) / std::size_t(bits_per_block); }
|
---|
276 |
|
---|
277 | // _Tp should be a pointer type.
|
---|
278 | template<typename _Tp>
|
---|
279 | class _Inclusive_between
|
---|
280 | : public std::unary_function<typename std::pair<_Tp, _Tp>, bool>
|
---|
281 | {
|
---|
282 | typedef _Tp pointer;
|
---|
283 | pointer _M_ptr_value;
|
---|
284 | typedef typename std::pair<_Tp, _Tp> _Block_pair;
|
---|
285 |
|
---|
286 | public:
|
---|
287 | _Inclusive_between(pointer __ptr) : _M_ptr_value(__ptr)
|
---|
288 | { }
|
---|
289 |
|
---|
290 | bool
|
---|
291 | operator()(_Block_pair __bp) const throw()
|
---|
292 | {
|
---|
293 | if (std::less_equal<pointer>()(_M_ptr_value, __bp.second)
|
---|
294 | && std::greater_equal<pointer>()(_M_ptr_value, __bp.first))
|
---|
295 | return true;
|
---|
296 | else
|
---|
297 | return false;
|
---|
298 | }
|
---|
299 | };
|
---|
300 |
|
---|
301 | // Used to pass a Functor to functions by reference.
|
---|
302 | template<typename _Functor>
|
---|
303 | class _Functor_Ref
|
---|
304 | : public std::unary_function<typename _Functor::argument_type,
|
---|
305 | typename _Functor::result_type>
|
---|
306 | {
|
---|
307 | _Functor& _M_fref;
|
---|
308 |
|
---|
309 | public:
|
---|
310 | typedef typename _Functor::argument_type argument_type;
|
---|
311 | typedef typename _Functor::result_type result_type;
|
---|
312 |
|
---|
313 | _Functor_Ref(_Functor& __fref) : _M_fref(__fref)
|
---|
314 | { }
|
---|
315 |
|
---|
316 | result_type
|
---|
317 | operator()(argument_type __arg)
|
---|
318 | { return _M_fref(__arg); }
|
---|
319 | };
|
---|
320 |
|
---|
321 | /** @class _Ffit_finder bitmap_allocator.h bitmap_allocator.h
|
---|
322 | *
|
---|
323 | * @brief The class which acts as a predicate for applying the
|
---|
324 | * first-fit memory allocation policy for the bitmap allocator.
|
---|
325 | */
|
---|
326 | // _Tp should be a pointer type, and _Alloc is the Allocator for
|
---|
327 | // the vector.
|
---|
328 | template<typename _Tp>
|
---|
329 | class _Ffit_finder
|
---|
330 | : public std::unary_function<typename std::pair<_Tp, _Tp>, bool>
|
---|
331 | {
|
---|
332 | typedef typename std::pair<_Tp, _Tp> _Block_pair;
|
---|
333 | typedef typename __detail::__mini_vector<_Block_pair> _BPVector;
|
---|
334 | typedef typename _BPVector::difference_type _Counter_type;
|
---|
335 |
|
---|
336 | std::size_t* _M_pbitmap;
|
---|
337 | _Counter_type _M_data_offset;
|
---|
338 |
|
---|
339 | public:
|
---|
340 | _Ffit_finder() : _M_pbitmap(0), _M_data_offset(0)
|
---|
341 | { }
|
---|
342 |
|
---|
343 | bool
|
---|
344 | operator()(_Block_pair __bp) throw()
|
---|
345 | {
|
---|
346 | using std::size_t;
|
---|
347 | // Set the _rover to the last physical location bitmap,
|
---|
348 | // which is the bitmap which belongs to the first free
|
---|
349 | // block. Thus, the bitmaps are in exact reverse order of
|
---|
350 | // the actual memory layout. So, we count down the bitmaps,
|
---|
351 | // which is the same as moving up the memory.
|
---|
352 |
|
---|
353 | // If the used count stored at the start of the Bit Map headers
|
---|
354 | // is equal to the number of Objects that the current Block can
|
---|
355 | // store, then there is definitely no space for another single
|
---|
356 | // object, so just return false.
|
---|
357 | _Counter_type __diff = __detail::__num_bitmaps(__bp);
|
---|
358 |
|
---|
359 | if (*(reinterpret_cast<size_t*>
|
---|
360 | (__bp.first) - (__diff + 1)) == __detail::__num_blocks(__bp))
|
---|
361 | return false;
|
---|
362 |
|
---|
363 | size_t* __rover = reinterpret_cast<size_t*>(__bp.first) - 1;
|
---|
364 |
|
---|
365 | for (_Counter_type __i = 0; __i < __diff; ++__i)
|
---|
366 | {
|
---|
367 | _M_data_offset = __i;
|
---|
368 | if (*__rover)
|
---|
369 | {
|
---|
370 | _M_pbitmap = __rover;
|
---|
371 | return true;
|
---|
372 | }
|
---|
373 | --__rover;
|
---|
374 | }
|
---|
375 | return false;
|
---|
376 | }
|
---|
377 |
|
---|
378 | std::size_t*
|
---|
379 | _M_get() const throw()
|
---|
380 | { return _M_pbitmap; }
|
---|
381 |
|
---|
382 | _Counter_type
|
---|
383 | _M_offset() const throw()
|
---|
384 | { return _M_data_offset * std::size_t(bits_per_block); }
|
---|
385 | };
|
---|
386 |
|
---|
387 | /** @class _Bitmap_counter bitmap_allocator.h bitmap_allocator.h
|
---|
388 | *
|
---|
389 | * @brief The bitmap counter which acts as the bitmap
|
---|
390 | * manipulator, and manages the bit-manipulation functions and
|
---|
391 | * the searching and identification functions on the bit-map.
|
---|
392 | */
|
---|
393 | // _Tp should be a pointer type.
|
---|
394 | template<typename _Tp>
|
---|
395 | class _Bitmap_counter
|
---|
396 | {
|
---|
397 | typedef typename
|
---|
398 | __detail::__mini_vector<typename std::pair<_Tp, _Tp> > _BPVector;
|
---|
399 | typedef typename _BPVector::size_type _Index_type;
|
---|
400 | typedef _Tp pointer;
|
---|
401 |
|
---|
402 | _BPVector& _M_vbp;
|
---|
403 | std::size_t* _M_curr_bmap;
|
---|
404 | std::size_t* _M_last_bmap_in_block;
|
---|
405 | _Index_type _M_curr_index;
|
---|
406 |
|
---|
407 | public:
|
---|
408 | // Use the 2nd parameter with care. Make sure that such an
|
---|
409 | // entry exists in the vector before passing that particular
|
---|
410 | // index to this ctor.
|
---|
411 | _Bitmap_counter(_BPVector& Rvbp, long __index = -1) : _M_vbp(Rvbp)
|
---|
412 | { this->_M_reset(__index); }
|
---|
413 |
|
---|
414 | void
|
---|
415 | _M_reset(long __index = -1) throw()
|
---|
416 | {
|
---|
417 | if (__index == -1)
|
---|
418 | {
|
---|
419 | _M_curr_bmap = 0;
|
---|
420 | _M_curr_index = static_cast<_Index_type>(-1);
|
---|
421 | return;
|
---|
422 | }
|
---|
423 |
|
---|
424 | _M_curr_index = __index;
|
---|
425 | _M_curr_bmap = reinterpret_cast<std::size_t*>
|
---|
426 | (_M_vbp[_M_curr_index].first) - 1;
|
---|
427 |
|
---|
428 | _GLIBCXX_DEBUG_ASSERT(__index <= (long)_M_vbp.size() - 1);
|
---|
429 |
|
---|
430 | _M_last_bmap_in_block = _M_curr_bmap
|
---|
431 | - ((_M_vbp[_M_curr_index].second
|
---|
432 | - _M_vbp[_M_curr_index].first + 1)
|
---|
433 | / std::size_t(bits_per_block) - 1);
|
---|
434 | }
|
---|
435 |
|
---|
436 | // Dangerous Function! Use with extreme care. Pass to this
|
---|
437 | // function ONLY those values that are known to be correct,
|
---|
438 | // otherwise this will mess up big time.
|
---|
439 | void
|
---|
440 | _M_set_internal_bitmap(std::size_t* __new_internal_marker) throw()
|
---|
441 | { _M_curr_bmap = __new_internal_marker; }
|
---|
442 |
|
---|
443 | bool
|
---|
444 | _M_finished() const throw()
|
---|
445 | { return(_M_curr_bmap == 0); }
|
---|
446 |
|
---|
447 | _Bitmap_counter&
|
---|
448 | operator++() throw()
|
---|
449 | {
|
---|
450 | if (_M_curr_bmap == _M_last_bmap_in_block)
|
---|
451 | {
|
---|
452 | if (++_M_curr_index == _M_vbp.size())
|
---|
453 | _M_curr_bmap = 0;
|
---|
454 | else
|
---|
455 | this->_M_reset(_M_curr_index);
|
---|
456 | }
|
---|
457 | else
|
---|
458 | --_M_curr_bmap;
|
---|
459 | return *this;
|
---|
460 | }
|
---|
461 |
|
---|
462 | std::size_t*
|
---|
463 | _M_get() const throw()
|
---|
464 | { return _M_curr_bmap; }
|
---|
465 |
|
---|
466 | pointer
|
---|
467 | _M_base() const throw()
|
---|
468 | { return _M_vbp[_M_curr_index].first; }
|
---|
469 |
|
---|
470 | _Index_type
|
---|
471 | _M_offset() const throw()
|
---|
472 | {
|
---|
473 | return std::size_t(bits_per_block)
|
---|
474 | * ((reinterpret_cast<std::size_t*>(this->_M_base())
|
---|
475 | - _M_curr_bmap) - 1);
|
---|
476 | }
|
---|
477 |
|
---|
478 | _Index_type
|
---|
479 | _M_where() const throw()
|
---|
480 | { return _M_curr_index; }
|
---|
481 | };
|
---|
482 |
|
---|
483 | /** @brief Mark a memory address as allocated by re-setting the
|
---|
484 | * corresponding bit in the bit-map.
|
---|
485 | */
|
---|
486 | inline void
|
---|
487 | __bit_allocate(std::size_t* __pbmap, std::size_t __pos) throw()
|
---|
488 | {
|
---|
489 | std::size_t __mask = 1 << __pos;
|
---|
490 | __mask = ~__mask;
|
---|
491 | *__pbmap &= __mask;
|
---|
492 | }
|
---|
493 |
|
---|
494 | /** @brief Mark a memory address as free by setting the
|
---|
495 | * corresponding bit in the bit-map.
|
---|
496 | */
|
---|
497 | inline void
|
---|
498 | __bit_free(std::size_t* __pbmap, std::size_t __pos) throw()
|
---|
499 | {
|
---|
500 | std::size_t __mask = 1 << __pos;
|
---|
501 | *__pbmap |= __mask;
|
---|
502 | }
|
---|
503 | } // namespace __detail
|
---|
504 |
|
---|
505 | /** @brief Generic Version of the bsf instruction.
|
---|
506 | */
|
---|
507 | inline std::size_t
|
---|
508 | _Bit_scan_forward(std::size_t __num)
|
---|
509 | { return static_cast<std::size_t>(__builtin_ctzl(__num)); }
|
---|
510 |
|
---|
511 | /** @class free_list bitmap_allocator.h bitmap_allocator.h
|
---|
512 | *
|
---|
513 | * @brief The free list class for managing chunks of memory to be
|
---|
514 | * given to and returned by the bitmap_allocator.
|
---|
515 | */
|
---|
516 | class free_list
|
---|
517 | {
|
---|
518 | public:
|
---|
519 | typedef std::size_t* value_type;
|
---|
520 | typedef __detail::__mini_vector<value_type> vector_type;
|
---|
521 | typedef vector_type::iterator iterator;
|
---|
522 | typedef __mutex __mutex_type;
|
---|
523 |
|
---|
524 | private:
|
---|
525 | struct _LT_pointer_compare
|
---|
526 | {
|
---|
527 | bool
|
---|
528 | operator()(const std::size_t* __pui,
|
---|
529 | const std::size_t __cui) const throw()
|
---|
530 | { return *__pui < __cui; }
|
---|
531 | };
|
---|
532 |
|
---|
533 | #if defined __GTHREADS
|
---|
534 | __mutex_type&
|
---|
535 | _M_get_mutex()
|
---|
536 | {
|
---|
537 | static __mutex_type _S_mutex;
|
---|
538 | return _S_mutex;
|
---|
539 | }
|
---|
540 | #endif
|
---|
541 |
|
---|
542 | vector_type&
|
---|
543 | _M_get_free_list()
|
---|
544 | {
|
---|
545 | static vector_type _S_free_list;
|
---|
546 | return _S_free_list;
|
---|
547 | }
|
---|
548 |
|
---|
549 | /** @brief Performs validation of memory based on their size.
|
---|
550 | *
|
---|
551 | * @param __addr The pointer to the memory block to be
|
---|
552 | * validated.
|
---|
553 | *
|
---|
554 | * Validates the memory block passed to this function and
|
---|
555 | * appropriately performs the action of managing the free list of
|
---|
556 | * blocks by adding this block to the free list or deleting this
|
---|
557 | * or larger blocks from the free list.
|
---|
558 | */
|
---|
559 | void
|
---|
560 | _M_validate(std::size_t* __addr) throw()
|
---|
561 | {
|
---|
562 | vector_type& __free_list = _M_get_free_list();
|
---|
563 | const vector_type::size_type __max_size = 64;
|
---|
564 | if (__free_list.size() >= __max_size)
|
---|
565 | {
|
---|
566 | // Ok, the threshold value has been reached. We determine
|
---|
567 | // which block to remove from the list of free blocks.
|
---|
568 | if (*__addr >= *__free_list.back())
|
---|
569 | {
|
---|
570 | // Ok, the new block is greater than or equal to the
|
---|
571 | // last block in the list of free blocks. We just free
|
---|
572 | // the new block.
|
---|
573 | ::operator delete(static_cast<void*>(__addr));
|
---|
574 | return;
|
---|
575 | }
|
---|
576 | else
|
---|
577 | {
|
---|
578 | // Deallocate the last block in the list of free lists,
|
---|
579 | // and insert the new one in its correct position.
|
---|
580 | ::operator delete(static_cast<void*>(__free_list.back()));
|
---|
581 | __free_list.pop_back();
|
---|
582 | }
|
---|
583 | }
|
---|
584 |
|
---|
585 | // Just add the block to the list of free lists unconditionally.
|
---|
586 | iterator __temp = __detail::__lower_bound
|
---|
587 | (__free_list.begin(), __free_list.end(),
|
---|
588 | *__addr, _LT_pointer_compare());
|
---|
589 |
|
---|
590 | // We may insert the new free list before _temp;
|
---|
591 | __free_list.insert(__temp, __addr);
|
---|
592 | }
|
---|
593 |
|
---|
594 | /** @brief Decides whether the wastage of memory is acceptable for
|
---|
595 | * the current memory request and returns accordingly.
|
---|
596 | *
|
---|
597 | * @param __block_size The size of the block available in the free
|
---|
598 | * list.
|
---|
599 | *
|
---|
600 | * @param __required_size The required size of the memory block.
|
---|
601 | *
|
---|
602 | * @return true if the wastage incurred is acceptable, else returns
|
---|
603 | * false.
|
---|
604 | */
|
---|
605 | bool
|
---|
606 | _M_should_i_give(std::size_t __block_size,
|
---|
607 | std::size_t __required_size) throw()
|
---|
608 | {
|
---|
609 | const std::size_t __max_wastage_percentage = 36;
|
---|
610 | if (__block_size >= __required_size &&
|
---|
611 | (((__block_size - __required_size) * 100 / __block_size)
|
---|
612 | < __max_wastage_percentage))
|
---|
613 | return true;
|
---|
614 | else
|
---|
615 | return false;
|
---|
616 | }
|
---|
617 |
|
---|
618 | public:
|
---|
619 | /** @brief This function returns the block of memory to the
|
---|
620 | * internal free list.
|
---|
621 | *
|
---|
622 | * @param __addr The pointer to the memory block that was given
|
---|
623 | * by a call to the _M_get function.
|
---|
624 | */
|
---|
625 | inline void
|
---|
626 | _M_insert(std::size_t* __addr) throw()
|
---|
627 | {
|
---|
628 | #if defined __GTHREADS
|
---|
629 | __scoped_lock __bfl_lock(_M_get_mutex());
|
---|
630 | #endif
|
---|
631 | // Call _M_validate to decide what should be done with
|
---|
632 | // this particular free list.
|
---|
633 | this->_M_validate(reinterpret_cast<std::size_t*>(__addr) - 1);
|
---|
634 | // See discussion as to why this is 1!
|
---|
635 | }
|
---|
636 |
|
---|
637 | /** @brief This function gets a block of memory of the specified
|
---|
638 | * size from the free list.
|
---|
639 | *
|
---|
640 | * @param __sz The size in bytes of the memory required.
|
---|
641 | *
|
---|
642 | * @return A pointer to the new memory block of size at least
|
---|
643 | * equal to that requested.
|
---|
644 | */
|
---|
645 | std::size_t*
|
---|
646 | _M_get(std::size_t __sz) _GLIBCXX_THROW(std::bad_alloc);
|
---|
647 |
|
---|
648 | /** @brief This function just clears the internal Free List, and
|
---|
649 | * gives back all the memory to the OS.
|
---|
650 | */
|
---|
651 | void
|
---|
652 | _M_clear();
|
---|
653 | };
|
---|
654 |
|
---|
655 |
|
---|
656 | // Forward declare the class.
|
---|
657 | template<typename _Tp>
|
---|
658 | class bitmap_allocator;
|
---|
659 |
|
---|
660 | // Specialize for void:
|
---|
661 | template<>
|
---|
662 | class bitmap_allocator<void>
|
---|
663 | {
|
---|
664 | public:
|
---|
665 | typedef void* pointer;
|
---|
666 | typedef const void* const_pointer;
|
---|
667 |
|
---|
668 | // Reference-to-void members are impossible.
|
---|
669 | typedef void value_type;
|
---|
670 | template<typename _Tp1>
|
---|
671 | struct rebind
|
---|
672 | {
|
---|
673 | typedef bitmap_allocator<_Tp1> other;
|
---|
674 | };
|
---|
675 | };
|
---|
676 |
|
---|
677 | /**
|
---|
678 | * @brief Bitmap Allocator, primary template.
|
---|
679 | * @ingroup allocators
|
---|
680 | */
|
---|
681 | template<typename _Tp>
|
---|
682 | class bitmap_allocator : private free_list
|
---|
683 | {
|
---|
684 | public:
|
---|
685 | typedef std::size_t size_type;
|
---|
686 | typedef std::ptrdiff_t difference_type;
|
---|
687 | typedef _Tp* pointer;
|
---|
688 | typedef const _Tp* const_pointer;
|
---|
689 | typedef _Tp& reference;
|
---|
690 | typedef const _Tp& const_reference;
|
---|
691 | typedef _Tp value_type;
|
---|
692 | typedef free_list::__mutex_type __mutex_type;
|
---|
693 |
|
---|
694 | template<typename _Tp1>
|
---|
695 | struct rebind
|
---|
696 | {
|
---|
697 | typedef bitmap_allocator<_Tp1> other;
|
---|
698 | };
|
---|
699 |
|
---|
700 | #if __cplusplus >= 201103L
|
---|
701 | // _GLIBCXX_RESOLVE_LIB_DEFECTS
|
---|
702 | // 2103. propagate_on_container_move_assignment
|
---|
703 | typedef std::true_type propagate_on_container_move_assignment;
|
---|
704 | #endif
|
---|
705 |
|
---|
706 | private:
|
---|
707 | template<std::size_t _BSize, std::size_t _AlignSize>
|
---|
708 | struct aligned_size
|
---|
709 | {
|
---|
710 | enum
|
---|
711 | {
|
---|
712 | modulus = _BSize % _AlignSize,
|
---|
713 | value = _BSize + (modulus ? _AlignSize - (modulus) : 0)
|
---|
714 | };
|
---|
715 | };
|
---|
716 |
|
---|
717 | struct _Alloc_block
|
---|
718 | {
|
---|
719 | char __M_unused[aligned_size<sizeof(value_type),
|
---|
720 | _BALLOC_ALIGN_BYTES>::value];
|
---|
721 | };
|
---|
722 |
|
---|
723 |
|
---|
724 | typedef typename std::pair<_Alloc_block*, _Alloc_block*> _Block_pair;
|
---|
725 |
|
---|
726 | typedef typename __detail::__mini_vector<_Block_pair> _BPVector;
|
---|
727 | typedef typename _BPVector::iterator _BPiter;
|
---|
728 |
|
---|
729 | template<typename _Predicate>
|
---|
730 | static _BPiter
|
---|
731 | _S_find(_Predicate __p)
|
---|
732 | {
|
---|
733 | _BPiter __first = _S_mem_blocks.begin();
|
---|
734 | while (__first != _S_mem_blocks.end() && !__p(*__first))
|
---|
735 | ++__first;
|
---|
736 | return __first;
|
---|
737 | }
|
---|
738 |
|
---|
739 | #if defined _GLIBCXX_DEBUG
|
---|
740 | // Complexity: O(lg(N)). Where, N is the number of block of size
|
---|
741 | // sizeof(value_type).
|
---|
742 | void
|
---|
743 | _S_check_for_free_blocks() throw()
|
---|
744 | {
|
---|
745 | typedef typename __detail::_Ffit_finder<_Alloc_block*> _FFF;
|
---|
746 | _BPiter __bpi = _S_find(_FFF());
|
---|
747 |
|
---|
748 | _GLIBCXX_DEBUG_ASSERT(__bpi == _S_mem_blocks.end());
|
---|
749 | }
|
---|
750 | #endif
|
---|
751 |
|
---|
752 | /** @brief Responsible for exponentially growing the internal
|
---|
753 | * memory pool.
|
---|
754 | *
|
---|
755 | * @throw std::bad_alloc. If memory cannot be allocated.
|
---|
756 | *
|
---|
757 | * Complexity: O(1), but internally depends upon the
|
---|
758 | * complexity of the function free_list::_M_get. The part where
|
---|
759 | * the bitmap headers are written has complexity: O(X),where X
|
---|
760 | * is the number of blocks of size sizeof(value_type) within
|
---|
761 | * the newly acquired block. Having a tight bound.
|
---|
762 | */
|
---|
763 | void
|
---|
764 | _S_refill_pool() _GLIBCXX_THROW(std::bad_alloc)
|
---|
765 | {
|
---|
766 | using std::size_t;
|
---|
767 | #if defined _GLIBCXX_DEBUG
|
---|
768 | _S_check_for_free_blocks();
|
---|
769 | #endif
|
---|
770 |
|
---|
771 | const size_t __num_bitmaps = (_S_block_size
|
---|
772 | / size_t(__detail::bits_per_block));
|
---|
773 | const size_t __size_to_allocate = sizeof(size_t)
|
---|
774 | + _S_block_size * sizeof(_Alloc_block)
|
---|
775 | + __num_bitmaps * sizeof(size_t);
|
---|
776 |
|
---|
777 | size_t* __temp =
|
---|
778 | reinterpret_cast<size_t*>(this->_M_get(__size_to_allocate));
|
---|
779 | *__temp = 0;
|
---|
780 | ++__temp;
|
---|
781 |
|
---|
782 | // The Header information goes at the Beginning of the Block.
|
---|
783 | _Block_pair __bp =
|
---|
784 | std::make_pair(reinterpret_cast<_Alloc_block*>
|
---|
785 | (__temp + __num_bitmaps),
|
---|
786 | reinterpret_cast<_Alloc_block*>
|
---|
787 | (__temp + __num_bitmaps)
|
---|
788 | + _S_block_size - 1);
|
---|
789 |
|
---|
790 | // Fill the Vector with this information.
|
---|
791 | _S_mem_blocks.push_back(__bp);
|
---|
792 |
|
---|
793 | for (size_t __i = 0; __i < __num_bitmaps; ++__i)
|
---|
794 | __temp[__i] = ~static_cast<size_t>(0); // 1 Indicates all Free.
|
---|
795 |
|
---|
796 | _S_block_size *= 2;
|
---|
797 | }
|
---|
798 |
|
---|
799 | static _BPVector _S_mem_blocks;
|
---|
800 | static std::size_t _S_block_size;
|
---|
801 | static __detail::_Bitmap_counter<_Alloc_block*> _S_last_request;
|
---|
802 | static typename _BPVector::size_type _S_last_dealloc_index;
|
---|
803 | #if defined __GTHREADS
|
---|
804 | static __mutex_type _S_mut;
|
---|
805 | #endif
|
---|
806 |
|
---|
807 | public:
|
---|
808 |
|
---|
809 | /** @brief Allocates memory for a single object of size
|
---|
810 | * sizeof(_Tp).
|
---|
811 | *
|
---|
812 | * @throw std::bad_alloc. If memory cannot be allocated.
|
---|
813 | *
|
---|
814 | * Complexity: Worst case complexity is O(N), but that
|
---|
815 | * is hardly ever hit. If and when this particular case is
|
---|
816 | * encountered, the next few cases are guaranteed to have a
|
---|
817 | * worst case complexity of O(1)! That's why this function
|
---|
818 | * performs very well on average. You can consider this
|
---|
819 | * function to have a complexity referred to commonly as:
|
---|
820 | * Amortized Constant time.
|
---|
821 | */
|
---|
822 | pointer
|
---|
823 | _M_allocate_single_object() _GLIBCXX_THROW(std::bad_alloc)
|
---|
824 | {
|
---|
825 | using std::size_t;
|
---|
826 | #if defined __GTHREADS
|
---|
827 | __scoped_lock __bit_lock(_S_mut);
|
---|
828 | #endif
|
---|
829 |
|
---|
830 | // The algorithm is something like this: The last_request
|
---|
831 | // variable points to the last accessed Bit Map. When such a
|
---|
832 | // condition occurs, we try to find a free block in the
|
---|
833 | // current bitmap, or succeeding bitmaps until the last bitmap
|
---|
834 | // is reached. If no free block turns up, we resort to First
|
---|
835 | // Fit method.
|
---|
836 |
|
---|
837 | // WARNING: Do not re-order the condition in the while
|
---|
838 | // statement below, because it relies on C++'s short-circuit
|
---|
839 | // evaluation. The return from _S_last_request->_M_get() will
|
---|
840 | // NOT be dereference able if _S_last_request->_M_finished()
|
---|
841 | // returns true. This would inevitably lead to a NULL pointer
|
---|
842 | // dereference if tinkered with.
|
---|
843 | while (_S_last_request._M_finished() == false
|
---|
844 | && (*(_S_last_request._M_get()) == 0))
|
---|
845 | _S_last_request.operator++();
|
---|
846 |
|
---|
847 | if (__builtin_expect(_S_last_request._M_finished() == true, false))
|
---|
848 | {
|
---|
849 | // Fall Back to First Fit algorithm.
|
---|
850 | typedef typename __detail::_Ffit_finder<_Alloc_block*> _FFF;
|
---|
851 | _FFF __fff;
|
---|
852 | _BPiter __bpi = _S_find(__detail::_Functor_Ref<_FFF>(__fff));
|
---|
853 |
|
---|
854 | if (__bpi != _S_mem_blocks.end())
|
---|
855 | {
|
---|
856 | // Search was successful. Ok, now mark the first bit from
|
---|
857 | // the right as 0, meaning Allocated. This bit is obtained
|
---|
858 | // by calling _M_get() on __fff.
|
---|
859 | size_t __nz_bit = _Bit_scan_forward(*__fff._M_get());
|
---|
860 | __detail::__bit_allocate(__fff._M_get(), __nz_bit);
|
---|
861 |
|
---|
862 | _S_last_request._M_reset(__bpi - _S_mem_blocks.begin());
|
---|
863 |
|
---|
864 | // Now, get the address of the bit we marked as allocated.
|
---|
865 | pointer __ret = reinterpret_cast<pointer>
|
---|
866 | (__bpi->first + __fff._M_offset() + __nz_bit);
|
---|
867 | size_t* __puse_count =
|
---|
868 | reinterpret_cast<size_t*>
|
---|
869 | (__bpi->first) - (__detail::__num_bitmaps(*__bpi) + 1);
|
---|
870 |
|
---|
871 | ++(*__puse_count);
|
---|
872 | return __ret;
|
---|
873 | }
|
---|
874 | else
|
---|
875 | {
|
---|
876 | // Search was unsuccessful. We Add more memory to the
|
---|
877 | // pool by calling _S_refill_pool().
|
---|
878 | _S_refill_pool();
|
---|
879 |
|
---|
880 | // _M_Reset the _S_last_request structure to the first
|
---|
881 | // free block's bit map.
|
---|
882 | _S_last_request._M_reset(_S_mem_blocks.size() - 1);
|
---|
883 |
|
---|
884 | // Now, mark that bit as allocated.
|
---|
885 | }
|
---|
886 | }
|
---|
887 |
|
---|
888 | // _S_last_request holds a pointer to a valid bit map, that
|
---|
889 | // points to a free block in memory.
|
---|
890 | size_t __nz_bit = _Bit_scan_forward(*_S_last_request._M_get());
|
---|
891 | __detail::__bit_allocate(_S_last_request._M_get(), __nz_bit);
|
---|
892 |
|
---|
893 | pointer __ret = reinterpret_cast<pointer>
|
---|
894 | (_S_last_request._M_base() + _S_last_request._M_offset() + __nz_bit);
|
---|
895 |
|
---|
896 | size_t* __puse_count = reinterpret_cast<size_t*>
|
---|
897 | (_S_mem_blocks[_S_last_request._M_where()].first)
|
---|
898 | - (__detail::
|
---|
899 | __num_bitmaps(_S_mem_blocks[_S_last_request._M_where()]) + 1);
|
---|
900 |
|
---|
901 | ++(*__puse_count);
|
---|
902 | return __ret;
|
---|
903 | }
|
---|
904 |
|
---|
905 | /** @brief Deallocates memory that belongs to a single object of
|
---|
906 | * size sizeof(_Tp).
|
---|
907 | *
|
---|
908 | * Complexity: O(lg(N)), but the worst case is not hit
|
---|
909 | * often! This is because containers usually deallocate memory
|
---|
910 | * close to each other and this case is handled in O(1) time by
|
---|
911 | * the deallocate function.
|
---|
912 | */
|
---|
913 | void
|
---|
914 | _M_deallocate_single_object(pointer __p) throw()
|
---|
915 | {
|
---|
916 | using std::size_t;
|
---|
917 | #if defined __GTHREADS
|
---|
918 | __scoped_lock __bit_lock(_S_mut);
|
---|
919 | #endif
|
---|
920 | _Alloc_block* __real_p = reinterpret_cast<_Alloc_block*>(__p);
|
---|
921 |
|
---|
922 | typedef typename _BPVector::iterator _Iterator;
|
---|
923 | typedef typename _BPVector::difference_type _Difference_type;
|
---|
924 |
|
---|
925 | _Difference_type __diff;
|
---|
926 | long __displacement;
|
---|
927 |
|
---|
928 | _GLIBCXX_DEBUG_ASSERT(_S_last_dealloc_index >= 0);
|
---|
929 |
|
---|
930 | __detail::_Inclusive_between<_Alloc_block*> __ibt(__real_p);
|
---|
931 | if (__ibt(_S_mem_blocks[_S_last_dealloc_index]))
|
---|
932 | {
|
---|
933 | _GLIBCXX_DEBUG_ASSERT(_S_last_dealloc_index
|
---|
934 | <= _S_mem_blocks.size() - 1);
|
---|
935 |
|
---|
936 | // Initial Assumption was correct!
|
---|
937 | __diff = _S_last_dealloc_index;
|
---|
938 | __displacement = __real_p - _S_mem_blocks[__diff].first;
|
---|
939 | }
|
---|
940 | else
|
---|
941 | {
|
---|
942 | _Iterator _iter = _S_find(__ibt);
|
---|
943 |
|
---|
944 | _GLIBCXX_DEBUG_ASSERT(_iter != _S_mem_blocks.end());
|
---|
945 |
|
---|
946 | __diff = _iter - _S_mem_blocks.begin();
|
---|
947 | __displacement = __real_p - _S_mem_blocks[__diff].first;
|
---|
948 | _S_last_dealloc_index = __diff;
|
---|
949 | }
|
---|
950 |
|
---|
951 | // Get the position of the iterator that has been found.
|
---|
952 | const size_t __rotate = (__displacement
|
---|
953 | % size_t(__detail::bits_per_block));
|
---|
954 | size_t* __bitmapC =
|
---|
955 | reinterpret_cast<size_t*>
|
---|
956 | (_S_mem_blocks[__diff].first) - 1;
|
---|
957 | __bitmapC -= (__displacement / size_t(__detail::bits_per_block));
|
---|
958 |
|
---|
959 | __detail::__bit_free(__bitmapC, __rotate);
|
---|
960 | size_t* __puse_count = reinterpret_cast<size_t*>
|
---|
961 | (_S_mem_blocks[__diff].first)
|
---|
962 | - (__detail::__num_bitmaps(_S_mem_blocks[__diff]) + 1);
|
---|
963 |
|
---|
964 | _GLIBCXX_DEBUG_ASSERT(*__puse_count != 0);
|
---|
965 |
|
---|
966 | --(*__puse_count);
|
---|
967 |
|
---|
968 | if (__builtin_expect(*__puse_count == 0, false))
|
---|
969 | {
|
---|
970 | _S_block_size /= 2;
|
---|
971 |
|
---|
972 | // We can safely remove this block.
|
---|
973 | // _Block_pair __bp = _S_mem_blocks[__diff];
|
---|
974 | this->_M_insert(__puse_count);
|
---|
975 | _S_mem_blocks.erase(_S_mem_blocks.begin() + __diff);
|
---|
976 |
|
---|
977 | // Reset the _S_last_request variable to reflect the
|
---|
978 | // erased block. We do this to protect future requests
|
---|
979 | // after the last block has been removed from a particular
|
---|
980 | // memory Chunk, which in turn has been returned to the
|
---|
981 | // free list, and hence had been erased from the vector,
|
---|
982 | // so the size of the vector gets reduced by 1.
|
---|
983 | if ((_Difference_type)_S_last_request._M_where() >= __diff--)
|
---|
984 | _S_last_request._M_reset(__diff);
|
---|
985 |
|
---|
986 | // If the Index into the vector of the region of memory
|
---|
987 | // that might hold the next address that will be passed to
|
---|
988 | // deallocated may have been invalidated due to the above
|
---|
989 | // erase procedure being called on the vector, hence we
|
---|
990 | // try to restore this invariant too.
|
---|
991 | if (_S_last_dealloc_index >= _S_mem_blocks.size())
|
---|
992 | {
|
---|
993 | _S_last_dealloc_index =(__diff != -1 ? __diff : 0);
|
---|
994 | _GLIBCXX_DEBUG_ASSERT(_S_last_dealloc_index >= 0);
|
---|
995 | }
|
---|
996 | }
|
---|
997 | }
|
---|
998 |
|
---|
999 | public:
|
---|
1000 | bitmap_allocator() _GLIBCXX_USE_NOEXCEPT
|
---|
1001 | { }
|
---|
1002 |
|
---|
1003 | bitmap_allocator(const bitmap_allocator&) _GLIBCXX_USE_NOEXCEPT
|
---|
1004 | { }
|
---|
1005 |
|
---|
1006 | template<typename _Tp1>
|
---|
1007 | bitmap_allocator(const bitmap_allocator<_Tp1>&) _GLIBCXX_USE_NOEXCEPT
|
---|
1008 | { }
|
---|
1009 |
|
---|
1010 | ~bitmap_allocator() _GLIBCXX_USE_NOEXCEPT
|
---|
1011 | { }
|
---|
1012 |
|
---|
1013 | _GLIBCXX_NODISCARD pointer
|
---|
1014 | allocate(size_type __n)
|
---|
1015 | {
|
---|
1016 | if (__n > this->max_size())
|
---|
1017 | std::__throw_bad_alloc();
|
---|
1018 |
|
---|
1019 | #if __cpp_aligned_new
|
---|
1020 | if (alignof(value_type) > __STDCPP_DEFAULT_NEW_ALIGNMENT__)
|
---|
1021 | {
|
---|
1022 | const size_type __b = __n * sizeof(value_type);
|
---|
1023 | std::align_val_t __al = std::align_val_t(alignof(value_type));
|
---|
1024 | return static_cast<pointer>(::operator new(__b, __al));
|
---|
1025 | }
|
---|
1026 | #endif
|
---|
1027 |
|
---|
1028 | if (__builtin_expect(__n == 1, true))
|
---|
1029 | return this->_M_allocate_single_object();
|
---|
1030 | else
|
---|
1031 | {
|
---|
1032 | const size_type __b = __n * sizeof(value_type);
|
---|
1033 | return reinterpret_cast<pointer>(::operator new(__b));
|
---|
1034 | }
|
---|
1035 | }
|
---|
1036 |
|
---|
1037 | _GLIBCXX_NODISCARD pointer
|
---|
1038 | allocate(size_type __n, typename bitmap_allocator<void>::const_pointer)
|
---|
1039 | { return allocate(__n); }
|
---|
1040 |
|
---|
1041 | void
|
---|
1042 | deallocate(pointer __p, size_type __n) throw()
|
---|
1043 | {
|
---|
1044 | if (__builtin_expect(__p != 0, true))
|
---|
1045 | {
|
---|
1046 | #if __cpp_aligned_new
|
---|
1047 | // Types with extended alignment are handled by operator delete.
|
---|
1048 | if (alignof(value_type) > __STDCPP_DEFAULT_NEW_ALIGNMENT__)
|
---|
1049 | {
|
---|
1050 | ::operator delete(__p, std::align_val_t(alignof(value_type)));
|
---|
1051 | return;
|
---|
1052 | }
|
---|
1053 | #endif
|
---|
1054 |
|
---|
1055 | if (__builtin_expect(__n == 1, true))
|
---|
1056 | this->_M_deallocate_single_object(__p);
|
---|
1057 | else
|
---|
1058 | ::operator delete(__p);
|
---|
1059 | }
|
---|
1060 | }
|
---|
1061 |
|
---|
1062 | pointer
|
---|
1063 | address(reference __r) const _GLIBCXX_NOEXCEPT
|
---|
1064 | { return std::__addressof(__r); }
|
---|
1065 |
|
---|
1066 | const_pointer
|
---|
1067 | address(const_reference __r) const _GLIBCXX_NOEXCEPT
|
---|
1068 | { return std::__addressof(__r); }
|
---|
1069 |
|
---|
1070 | size_type
|
---|
1071 | max_size() const _GLIBCXX_USE_NOEXCEPT
|
---|
1072 | { return size_type(-1) / sizeof(value_type); }
|
---|
1073 |
|
---|
1074 | #if __cplusplus >= 201103L
|
---|
1075 | template<typename _Up, typename... _Args>
|
---|
1076 | void
|
---|
1077 | construct(_Up* __p, _Args&&... __args)
|
---|
1078 | { ::new((void *)__p) _Up(std::forward<_Args>(__args)...); }
|
---|
1079 |
|
---|
1080 | template<typename _Up>
|
---|
1081 | void
|
---|
1082 | destroy(_Up* __p)
|
---|
1083 | { __p->~_Up(); }
|
---|
1084 | #else
|
---|
1085 | void
|
---|
1086 | construct(pointer __p, const_reference __data)
|
---|
1087 | { ::new((void *)__p) value_type(__data); }
|
---|
1088 |
|
---|
1089 | void
|
---|
1090 | destroy(pointer __p)
|
---|
1091 | { __p->~value_type(); }
|
---|
1092 | #endif
|
---|
1093 | };
|
---|
1094 |
|
---|
1095 | template<typename _Tp1, typename _Tp2>
|
---|
1096 | bool
|
---|
1097 | operator==(const bitmap_allocator<_Tp1>&,
|
---|
1098 | const bitmap_allocator<_Tp2>&) throw()
|
---|
1099 | { return true; }
|
---|
1100 |
|
---|
1101 | #if __cpp_impl_three_way_comparison < 201907L
|
---|
1102 | template<typename _Tp1, typename _Tp2>
|
---|
1103 | bool
|
---|
1104 | operator!=(const bitmap_allocator<_Tp1>&,
|
---|
1105 | const bitmap_allocator<_Tp2>&) throw()
|
---|
1106 | { return false; }
|
---|
1107 | #endif
|
---|
1108 |
|
---|
1109 | // Static member definitions.
|
---|
1110 | template<typename _Tp>
|
---|
1111 | typename bitmap_allocator<_Tp>::_BPVector
|
---|
1112 | bitmap_allocator<_Tp>::_S_mem_blocks;
|
---|
1113 |
|
---|
1114 | template<typename _Tp>
|
---|
1115 | std::size_t bitmap_allocator<_Tp>::_S_block_size
|
---|
1116 | = 2 * std::size_t(__detail::bits_per_block);
|
---|
1117 |
|
---|
1118 | template<typename _Tp>
|
---|
1119 | typename bitmap_allocator<_Tp>::_BPVector::size_type
|
---|
1120 | bitmap_allocator<_Tp>::_S_last_dealloc_index = 0;
|
---|
1121 |
|
---|
1122 | template<typename _Tp>
|
---|
1123 | __detail::_Bitmap_counter
|
---|
1124 | <typename bitmap_allocator<_Tp>::_Alloc_block*>
|
---|
1125 | bitmap_allocator<_Tp>::_S_last_request(_S_mem_blocks);
|
---|
1126 |
|
---|
1127 | #if defined __GTHREADS
|
---|
1128 | template<typename _Tp>
|
---|
1129 | typename bitmap_allocator<_Tp>::__mutex_type
|
---|
1130 | bitmap_allocator<_Tp>::_S_mut;
|
---|
1131 | #endif
|
---|
1132 |
|
---|
1133 | _GLIBCXX_END_NAMESPACE_VERSION
|
---|
1134 | } // namespace __gnu_cxx
|
---|
1135 |
|
---|
1136 | #endif
|
---|