diff options
author | Dhruv Matani <dhruvbird@gmx.net> | 2004-10-17 14:46:29 +0000 |
---|---|---|
committer | Paolo Carlini <paolo@gcc.gnu.org> | 2004-10-17 14:46:29 +0000 |
commit | a815571193ab94a7821e6c9615af311f060bce2f (patch) | |
tree | be1b6bd5b751bc3bdce3980e9e7aedd6a86c8e15 | |
parent | 05dfb0b0e3c41fa4e3342402af348ef993e65335 (diff) | |
download | gcc-a815571193ab94a7821e6c9615af311f060bce2f.zip gcc-a815571193ab94a7821e6c9615af311f060bce2f.tar.gz gcc-a815571193ab94a7821e6c9615af311f060bce2f.tar.bz2 |
bitmap_allocator.h: Change unsigned int -> size_t...
2004-10-17 Dhruv Matani <dhruvbird@gmx.net>
Paolo Carlini <pcarlini@suse.de>
* include/ext/bitmap_allocator.h: Change unsigned int -> size_t: this
makes the code 64-bit correct and also fixes (together with using at
the beginning a bitmap 2 * size_t bytes wide) alignment issues: now
8 is guaranteed, easily tunable to 16 via _BALLOC_ALIGN_BYTES.
Fix pthread-rope7.cc fail by nulling out __mini_vector<> destructor.
* src/bitmap_allocator.cc: Change to size_t.
* config/linker-map.gnu: Adjust.
Co-Authored-By: Paolo Carlini <pcarlini@suse.de>
From-SVN: r89170
-rw-r--r-- | libstdc++-v3/ChangeLog | 11 | ||||
-rw-r--r-- | libstdc++-v3/config/linker-map.gnu | 2 | ||||
-rw-r--r-- | libstdc++-v3/include/ext/bitmap_allocator.h | 176 | ||||
-rw-r--r-- | libstdc++-v3/src/bitmap_allocator.cc | 28 |
4 files changed, 116 insertions, 101 deletions
diff --git a/libstdc++-v3/ChangeLog b/libstdc++-v3/ChangeLog index cf5a2a8..cc55893 100644 --- a/libstdc++-v3/ChangeLog +++ b/libstdc++-v3/ChangeLog @@ -1,3 +1,14 @@ +2004-10-17 Dhruv Matani <dhruvbird@gmx.net> + Paolo Carlini <pcarlini@suse.de> + + * include/ext/bitmap_allocator.h: Change unsigned int -> size_t: this + makes the code 64-bit correct and also fixes (together with using at + the beginning a bitmap 2 * size_t bytes wide) alignment issues: now + 8 is guaranteed, easily tunable to 16 via _BALLOC_ALIGN_BYTES. + Fix pthread-rope7.cc fail by nulling out __mini_vector<> destructor. + * src/bitmap_allocator.cc: Change to size_t. + * config/linker-map.gnu: Adjust. + 2004-10-16 Benjamin Kosnik <bkoz@redhat.com> * include/tr1/array: Don't use layout_type. diff --git a/libstdc++-v3/config/linker-map.gnu b/libstdc++-v3/config/linker-map.gnu index dfc6f5e..565475f 100644 --- a/libstdc++-v3/config/linker-map.gnu +++ b/libstdc++-v3/config/linker-map.gnu @@ -273,7 +273,7 @@ GLIBCXX_3.4.3 { _ZN9__gnu_cxx9free_list12_S_free_listE; _ZN9__gnu_cxx9free_list12_S_bfl_mutexE; - _ZN9__gnu_cxx9free_list6_M_getEj; + _ZN9__gnu_cxx9free_list6_M_getE*; _ZN9__gnu_cxx9free_list8_M_clearEv; # stub functions from libmath diff --git a/libstdc++-v3/include/ext/bitmap_allocator.h b/libstdc++-v3/include/ext/bitmap_allocator.h index 2328e14..793f4dc 100644 --- a/libstdc++-v3/include/ext/bitmap_allocator.h +++ b/libstdc++-v3/include/ext/bitmap_allocator.h @@ -54,6 +54,10 @@ // itself(to debug the allocator itself). //#define _BALLOC_SANITY_CHECK +// The constant in the expression below is the alignment required in +// bytes. +#define _BALLOC_ALIGN_BYTES 8 + #if defined _BALLOC_SANITY_CHECK #include <cassert> #define _BALLOC_ASSERT(_EXPR) assert(_EXPR) @@ -238,6 +242,7 @@ namespace __gnu_cxx _M_end_of_storage(0) { } +#if 0 ~__mini_vector() { if (this->_M_start) @@ -246,6 +251,7 @@ namespace __gnu_cxx - this->_M_start); } } +#endif size_type size() const throw() @@ -370,7 +376,7 @@ namespace __gnu_cxx enum { bits_per_byte = 8, - bits_per_block = sizeof(unsigned int) * bits_per_byte + bits_per_block = sizeof(size_t) * bits_per_byte }; template<typename _ForwardIterator, typename _Tp, typename _Compare> @@ -419,7 +425,7 @@ namespace __gnu_cxx { return (__ap.second - __ap.first) + 1; } template<typename _AddrPair> - inline size_t + inline size_t __num_bitmaps(_AddrPair __ap) { return __num_blocks(__ap) / bits_per_block; } @@ -477,8 +483,8 @@ namespace __gnu_cxx typedef typename balloc::__mini_vector<_Block_pair> _BPVector; typedef typename _BPVector::difference_type _Counter_type; - unsigned int* _M_pbitmap; - unsigned int _M_data_offset; + size_t* _M_pbitmap; + _Counter_type _M_data_offset; public: _Ffit_finder() : _M_pbitmap(0), _M_data_offset(0) @@ -487,10 +493,11 @@ namespace __gnu_cxx bool operator()(_Block_pair __bp) throw() { - // Set the _rover to the last unsigned integer, which is the - // bitmap to the first free block. Thus, the bitmaps are in exact - // reverse order of the actual memory layout. So, we count down - // the bimaps, which is the same as moving up the memory. + // Set the _rover to the last physical location bitmap, + // which is the bitmap which belongs to the first free + // block. Thus, the bitmaps are in exact reverse order of + // the actual memory layout. So, we count down the bimaps, + // which is the same as moving up the memory. // If the used count stored at the start of the Bit Map headers // is equal to the number of Objects that the current Block can @@ -499,13 +506,12 @@ namespace __gnu_cxx _Counter_type __diff = __gnu_cxx::balloc::__num_bitmaps(__bp); - if (*reinterpret_cast<unsigned int*> - (reinterpret_cast<char*>(__bp.first) - (sizeof(unsigned int) * - (__diff+1))) + if (*(reinterpret_cast<size_t*> + (__bp.first) - (__diff + 1)) == __gnu_cxx::balloc::__num_blocks(__bp)) return false; - unsigned int* __rover = reinterpret_cast<unsigned int*>(__bp.first) - 1; + size_t* __rover = reinterpret_cast<size_t*>(__bp.first) - 1; for (_Counter_type __i = 0; __i < __diff; ++__i) { @@ -521,11 +527,11 @@ namespace __gnu_cxx } - unsigned int* + size_t* _M_get() const throw() { return _M_pbitmap; } - unsigned int + _Counter_type _M_offset() const throw() { return _M_data_offset * bits_per_block; } }; @@ -542,19 +548,19 @@ namespace __gnu_cxx typedef _Tp pointer; _BPVector& _M_vbp; - unsigned int* _M_curr_bmap; - unsigned int* _M_last_bmap_in_block; + size_t* _M_curr_bmap; + size_t* _M_last_bmap_in_block; _Index_type _M_curr_index; public: // Use the 2nd parameter with care. Make sure that such an // entry exists in the vector before passing that particular // index to this ctor. - _Bitmap_counter(_BPVector& Rvbp, int __index = -1) : _M_vbp(Rvbp) + _Bitmap_counter(_BPVector& Rvbp, long __index = -1) : _M_vbp(Rvbp) { this->_M_reset(__index); } void - _M_reset(int __index = -1) throw() + _M_reset(long __index = -1) throw() { if (__index == -1) { @@ -564,10 +570,10 @@ namespace __gnu_cxx } _M_curr_index = __index; - _M_curr_bmap = reinterpret_cast<unsigned int*> + _M_curr_bmap = reinterpret_cast<size_t*> (_M_vbp[_M_curr_index].first) - 1; - - _BALLOC_ASSERT(__index <= (int)_M_vbp.size() - 1); + + _BALLOC_ASSERT(__index <= (long)_M_vbp.size() - 1); _M_last_bmap_in_block = _M_curr_bmap - ((_M_vbp[_M_curr_index].second @@ -579,7 +585,7 @@ namespace __gnu_cxx // function ONLY those values that are known to be correct, // otherwise this will mess up big time. void - _M_set_internal_bitmap(unsigned int* __new_internal_marker) throw() + _M_set_internal_bitmap(size_t* __new_internal_marker) throw() { _M_curr_bmap = __new_internal_marker; } bool @@ -601,7 +607,7 @@ namespace __gnu_cxx return *this; } - unsigned int* + size_t* _M_get() const throw() { return _M_curr_bmap; } @@ -609,50 +615,51 @@ namespace __gnu_cxx _M_base() const throw() { return _M_vbp[_M_curr_index].first; } - unsigned int + _Index_type _M_offset() const throw() { return bits_per_block - * ((reinterpret_cast<unsigned int*>(this->_M_base()) + * ((reinterpret_cast<size_t*>(this->_M_base()) - _M_curr_bmap) - 1); } - unsigned int + _Index_type _M_where() const throw() { return _M_curr_index; } }; inline void - __bit_allocate(unsigned int* __pbmap, unsigned int __pos) throw() + __bit_allocate(size_t* __pbmap, size_t __pos) throw() { - unsigned int __mask = 1 << __pos; + size_t __mask = 1 << __pos; __mask = ~__mask; *__pbmap &= __mask; } inline void - __bit_free(unsigned int* __pbmap, unsigned int __pos) throw() + __bit_free(size_t* __pbmap, size_t __pos) throw() { - unsigned int __mask = 1 << __pos; + size_t __mask = 1 << __pos; *__pbmap |= __mask; } } // namespace balloc // Generic Version of the bsf instruction. - inline unsigned int - _Bit_scan_forward(register unsigned int __num) - { return static_cast<unsigned int>(__builtin_ctz(__num)); } + inline size_t + _Bit_scan_forward(size_t __num) + { return static_cast<size_t>(__builtin_ctzl(__num)); } class free_list { - typedef unsigned int* value_type; + typedef size_t* value_type; typedef balloc::__mini_vector<value_type> vector_type; typedef vector_type::iterator iterator; struct _LT_pointer_compare { bool - operator()(const unsigned int* __pui, const unsigned int __cui) const throw() + operator()(const size_t* __pui, + const size_t __cui) const throw() { return *__pui < __cui; } }; @@ -662,9 +669,9 @@ namespace __gnu_cxx static vector_type _S_free_list; void - _M_validate(unsigned int* __addr) throw() + _M_validate(size_t* __addr) throw() { - const unsigned int __max_size = 64; + const vector_type::size_type __max_size = 64; if (_S_free_list.size() >= __max_size) { // Ok, the threshold value has been reached. We determine @@ -696,10 +703,10 @@ namespace __gnu_cxx } bool - _M_should_i_give(unsigned int __block_size, - unsigned int __required_size) throw() + _M_should_i_give(size_t __block_size, + size_t __required_size) throw() { - const unsigned int __max_wastage_percentage = 36; + const size_t __max_wastage_percentage = 36; if (__block_size >= __required_size && (((__block_size - __required_size) * 100 / __block_size) < __max_wastage_percentage)) @@ -710,20 +717,19 @@ namespace __gnu_cxx public: inline void - _M_insert(unsigned int* __addr) throw() + _M_insert(size_t* __addr) throw() { #if defined __GTHREADS _Auto_Lock __bfl_lock(&_S_bfl_mutex); #endif // Call _M_validate to decide what should be done with // this particular free list. - this->_M_validate(reinterpret_cast<unsigned int*> - (reinterpret_cast<char*>(__addr) - - sizeof(unsigned int))); + this->_M_validate(reinterpret_cast<size_t*>(__addr) - 1); + // See discussion as to why this is 1! } - unsigned int* - _M_get(unsigned int __sz) throw(std::bad_alloc); + size_t* + _M_get(size_t __sz) throw(std::bad_alloc); // This function just clears the internal Free List, and gives back // all the memory to the OS. @@ -771,7 +777,7 @@ namespace __gnu_cxx }; private: - template<unsigned int _BSize, unsigned int _AlignSize> + template<size_t _BSize, size_t _AlignSize> struct aligned_size { enum @@ -783,7 +789,8 @@ namespace __gnu_cxx struct _Alloc_block { - char __M_unused[aligned_size<sizeof(value_type), 8>::value]; + char __M_unused[aligned_size<sizeof(value_type), + _BALLOC_ALIGN_BYTES>::value]; }; @@ -824,17 +831,16 @@ namespace __gnu_cxx _S_check_for_free_blocks(); #endif - const unsigned int __num_bitmaps = _S_block_size / balloc::bits_per_block; - const unsigned int __size_to_allocate = sizeof(unsigned int) + const size_t __num_bitmaps = _S_block_size / balloc::bits_per_block; + const size_t __size_to_allocate = sizeof(size_t) + _S_block_size * sizeof(_Alloc_block) - + __num_bitmaps * sizeof(unsigned int); + + __num_bitmaps * sizeof(size_t); - unsigned int* __temp = - reinterpret_cast<unsigned int*>(this->_M_get(__size_to_allocate)); + size_t* __temp = + reinterpret_cast<size_t*> + (this->_M_get(__size_to_allocate)); *__temp = 0; - // ++__temp; - __temp = reinterpret_cast<unsigned int*> - (reinterpret_cast<char*>(__temp) + sizeof(unsigned int)); + ++__temp; // The Header information goes at the Beginning of the Block. _Block_pair __bp = @@ -847,10 +853,10 @@ namespace __gnu_cxx // Fill the Vector with this information. _S_mem_blocks.push_back(__bp); - unsigned int __bit_mask = 0; // 0 Indicates all Allocated. + size_t __bit_mask = 0; // 0 Indicates all Allocated. __bit_mask = ~__bit_mask; // 1 Indicates all Free. - for (unsigned int __i = 0; __i < __num_bitmaps; ++__i) + for (size_t __i = 0; __i < __num_bitmaps; ++__i) __temp[__i] = __bit_mask; _S_block_size *= 2; @@ -858,7 +864,7 @@ namespace __gnu_cxx static _BPVector _S_mem_blocks; - static unsigned int _S_block_size; + static size_t _S_block_size; static __gnu_cxx::balloc:: _Bitmap_counter<_Alloc_block*> _S_last_request; static typename _BPVector::size_type _S_last_dealloc_index; @@ -918,7 +924,7 @@ namespace __gnu_cxx // Search was successful. Ok, now mark the first bit from // the right as 0, meaning Allocated. This bit is obtained // by calling _M_get() on __fff. - unsigned int __nz_bit = _Bit_scan_forward(*__fff._M_get()); + size_t __nz_bit = _Bit_scan_forward(*__fff._M_get()); balloc::__bit_allocate(__fff._M_get(), __nz_bit); _S_last_request._M_reset(__bpi - _S_mem_blocks.begin()); @@ -926,10 +932,10 @@ namespace __gnu_cxx // Now, get the address of the bit we marked as allocated. pointer __ret = reinterpret_cast<pointer> (__bpi->first + __fff._M_offset() + __nz_bit); - unsigned int* __puse_count = reinterpret_cast<unsigned int*> - (reinterpret_cast<char*> - (__bpi->first) - (sizeof(unsigned int) * - (__gnu_cxx::balloc::__num_bitmaps(*__bpi)+1))); + size_t* __puse_count = + reinterpret_cast<size_t*> + (__bpi->first) + - (__gnu_cxx::balloc::__num_bitmaps(*__bpi) + 1); ++(*__puse_count); return __ret; @@ -950,18 +956,16 @@ namespace __gnu_cxx // _S_last_request holds a pointer to a valid bit map, that // points to a free block in memory. - unsigned int __nz_bit = _Bit_scan_forward(*_S_last_request._M_get()); + size_t __nz_bit = _Bit_scan_forward(*_S_last_request._M_get()); balloc::__bit_allocate(_S_last_request._M_get(), __nz_bit); pointer __ret = reinterpret_cast<pointer> (_S_last_request._M_base() + _S_last_request._M_offset() + __nz_bit); - unsigned int* __puse_count = reinterpret_cast<unsigned int*> - (reinterpret_cast<char*> - (_S_mem_blocks[_S_last_request._M_where()].first) - - (sizeof(unsigned int) * - (__gnu_cxx::balloc:: - __num_bitmaps(_S_mem_blocks[_S_last_request._M_where()])+1))); + size_t* __puse_count = reinterpret_cast<size_t*> + (_S_mem_blocks[_S_last_request._M_where()].first) + - (__gnu_cxx::balloc:: + __num_bitmaps(_S_mem_blocks[_S_last_request._M_where()]) + 1); ++(*__puse_count); return __ret; @@ -982,7 +986,7 @@ namespace __gnu_cxx typedef typename _BPVector::difference_type _Difference_type; _Difference_type __diff; - int __displacement; + long __displacement; _BALLOC_ASSERT(_S_last_dealloc_index >= 0); @@ -1000,10 +1004,12 @@ namespace __gnu_cxx else { _Iterator _iter = - __gnu_cxx::balloc::__find_if(_S_mem_blocks.begin(), - _S_mem_blocks.end(), - __gnu_cxx::balloc:: - _Inclusive_between<_Alloc_block*>(__real_p)); + __gnu_cxx::balloc:: + __find_if(_S_mem_blocks.begin(), + _S_mem_blocks.end(), + __gnu_cxx::balloc:: + _Inclusive_between<_Alloc_block*>(__real_p)); + _BALLOC_ASSERT(_iter != _S_mem_blocks.end()); __diff = _iter - _S_mem_blocks.begin(); @@ -1012,17 +1018,16 @@ namespace __gnu_cxx } // Get the position of the iterator that has been found. - const unsigned int __rotate = __displacement % balloc::bits_per_block; - unsigned int* __bitmapC = - reinterpret_cast<unsigned int*>(_S_mem_blocks[__diff].first) - 1; + const size_t __rotate = __displacement % balloc::bits_per_block; + size_t* __bitmapC = + reinterpret_cast<size_t*> + (_S_mem_blocks[__diff].first) - 1; __bitmapC -= (__displacement / balloc::bits_per_block); balloc::__bit_free(__bitmapC, __rotate); - unsigned int* __puse_count = reinterpret_cast<unsigned int*> - (reinterpret_cast<char*> - (_S_mem_blocks[__diff].first) - - (sizeof(unsigned int) * - (__gnu_cxx::balloc::__num_bitmaps(_S_mem_blocks[__diff])+1))); + size_t* __puse_count = reinterpret_cast<size_t*> + (_S_mem_blocks[__diff].first) + - (__gnu_cxx::balloc::__num_bitmaps(_S_mem_blocks[__diff]) + 1); _BALLOC_ASSERT(*__puse_count != 0); @@ -1143,7 +1148,8 @@ namespace __gnu_cxx bitmap_allocator<_Tp>::_S_mem_blocks; template<typename _Tp> - unsigned int bitmap_allocator<_Tp>::_S_block_size = balloc::bits_per_block; + size_t bitmap_allocator<_Tp>::_S_block_size = + 2 * balloc::bits_per_block; template<typename _Tp> typename __gnu_cxx::bitmap_allocator<_Tp>::_BPVector::size_type diff --git a/libstdc++-v3/src/bitmap_allocator.cc b/libstdc++-v3/src/bitmap_allocator.cc index 3cd0fb9..b953ffd 100644 --- a/libstdc++-v3/src/bitmap_allocator.cc +++ b/libstdc++-v3/src/bitmap_allocator.cc @@ -41,11 +41,11 @@ namespace __gnu_cxx <bitmap_allocator<wchar_t>::_Alloc_block*, bitmap_allocator<wchar_t>::_Alloc_block*> >; - template class __mini_vector<unsigned int*>; + template class __mini_vector<size_t*>; - template unsigned int** __lower_bound - (unsigned int**, unsigned int**, - unsigned int const&, free_list::_LT_pointer_compare); + template size_t** __lower_bound + (size_t**, size_t**, + size_t const&, free_list::_LT_pointer_compare); } #if defined __GTHREADS @@ -53,9 +53,9 @@ namespace __gnu_cxx #endif free_list::vector_type free_list::_S_free_list; - unsigned int* + size_t* free_list:: - _M_get(unsigned int __sz) throw(std::bad_alloc) + _M_get(size_t __sz) throw(std::bad_alloc) { #if defined __GTHREADS _Lock __bfl_lock(&_S_bfl_mutex); @@ -77,15 +77,15 @@ namespace __gnu_cxx // Try twice to get the memory: once directly, and the 2nd // time after clearing the free list. If both fail, then // throw std::bad_alloc(). - unsigned int __ctr = 2; + int __ctr = 2; while (__ctr) { - unsigned int* __ret = 0; + size_t* __ret = 0; --__ctr; try { - __ret = reinterpret_cast<unsigned int*> - (::operator new(__sz + sizeof(unsigned int))); + __ret = reinterpret_cast<size_t*> + (::operator new(__sz + sizeof(size_t))); } catch(...) { @@ -94,20 +94,18 @@ namespace __gnu_cxx if (!__ret) continue; *__ret = __sz; - return reinterpret_cast<unsigned int*> - (reinterpret_cast<char*>(__ret) + sizeof(unsigned int)); + return __ret + 1; } throw std::bad_alloc(); } else { - unsigned int* __ret = *__temp; + size_t* __ret = *__temp; _S_free_list.erase(__temp); #if defined __GTHREADS __bfl_lock._M_unlock(); #endif - return reinterpret_cast<unsigned int*> - (reinterpret_cast<char*>(__ret) + sizeof(unsigned int)); + return __ret + 1; } } |