| [0b990d] | 1 | // | 
|---|
|  | 2 | // pool.h | 
|---|
|  | 3 | // | 
|---|
|  | 4 | // Copyright (C) 1996 Limit Point Systems, Inc. | 
|---|
|  | 5 | // | 
|---|
|  | 6 | // Author: Curtis Janssen <cljanss@limitpt.com> | 
|---|
|  | 7 | // Maintainer: LPS | 
|---|
|  | 8 | // | 
|---|
|  | 9 | // This file is part of the SC Toolkit. | 
|---|
|  | 10 | // | 
|---|
|  | 11 | // The SC Toolkit is free software; you can redistribute it and/or modify | 
|---|
|  | 12 | // it under the terms of the GNU Library General Public License as published by | 
|---|
|  | 13 | // the Free Software Foundation; either version 2, or (at your option) | 
|---|
|  | 14 | // any later version. | 
|---|
|  | 15 | // | 
|---|
|  | 16 | // The SC Toolkit is distributed in the hope that it will be useful, | 
|---|
|  | 17 | // but WITHOUT ANY WARRANTY; without even the implied warranty of | 
|---|
|  | 18 | // MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the | 
|---|
|  | 19 | // GNU Library General Public License for more details. | 
|---|
|  | 20 | // | 
|---|
|  | 21 | // You should have received a copy of the GNU Library General Public License | 
|---|
|  | 22 | // along with the SC Toolkit; see the file COPYING.LIB.  If not, write to | 
|---|
|  | 23 | // the Free Software Foundation, 675 Mass Ave, Cambridge, MA 02139, USA. | 
|---|
|  | 24 | // | 
|---|
|  | 25 | // The U.S. Government is granted a limited license as per AL 91-7. | 
|---|
|  | 26 | // | 
|---|
|  | 27 |  | 
|---|
|  | 28 | #ifdef __GNUC__ | 
|---|
|  | 29 | #pragma interface | 
|---|
|  | 30 | #endif | 
|---|
|  | 31 |  | 
|---|
|  | 32 | #ifndef _util_group_pool_h | 
|---|
|  | 33 | #define _util_group_pool_h | 
|---|
|  | 34 |  | 
|---|
|  | 35 | #include <stdlib.h> | 
|---|
|  | 36 | #include <new> | 
|---|
|  | 37 | #include <iostream> | 
|---|
|  | 38 |  | 
|---|
|  | 39 | #include <util/misc/exenv.h> | 
|---|
|  | 40 |  | 
|---|
|  | 41 | #undef DEBUG_POOL | 
|---|
|  | 42 |  | 
|---|
|  | 43 | namespace sc { | 
|---|
|  | 44 |  | 
|---|
|  | 45 | const int pool_data_alignment_bit = 3; | 
|---|
|  | 46 | //const int pool_data_alignment_bit = 14; | 
|---|
|  | 47 | const size_t pool_data_alignment = 1<<pool_data_alignment_bit; | 
|---|
|  | 48 | inline size_t | 
|---|
|  | 49 | align_pool_data(size_t size) | 
|---|
|  | 50 | { | 
|---|
|  | 51 | return (size + pool_data_alignment - 1) | 
|---|
|  | 52 | & (~ (pool_data_alignment - 1)); | 
|---|
|  | 53 | } | 
|---|
|  | 54 | inline void* | 
|---|
|  | 55 | align_pool_data(void* ptr) | 
|---|
|  | 56 | { | 
|---|
|  | 57 | return (void*)( (unsigned long) ((char*)ptr + pool_data_alignment - 1) | 
|---|
|  | 58 | & (~ (pool_data_alignment - 1))); | 
|---|
|  | 59 | } | 
|---|
|  | 60 | inline size_t | 
|---|
|  | 61 | align_pool_data_downward(size_t size) | 
|---|
|  | 62 | { | 
|---|
|  | 63 | return size & (~ (pool_data_alignment - 1)); | 
|---|
|  | 64 | } | 
|---|
|  | 65 | inline void* | 
|---|
|  | 66 | align_pool_data_downward(void* ptr) | 
|---|
|  | 67 | { | 
|---|
|  | 68 | return (void*) ( (unsigned long) ptr & (~ (pool_data_alignment - 1))); | 
|---|
|  | 69 | } | 
|---|
|  | 70 |  | 
|---|
|  | 71 | // //////////////////////////////////////////////////////////////////////////// | 
|---|
|  | 72 |  | 
|---|
|  | 73 | class PoolData; | 
|---|
|  | 74 | struct FreeData { | 
|---|
|  | 75 | PoolData* next_free_; | 
|---|
|  | 76 | PoolData* prev_free_; | 
|---|
|  | 77 | }; | 
|---|
|  | 78 |  | 
|---|
|  | 79 | // //////////////////////////////////////////////////////////////////////////// | 
|---|
|  | 80 |  | 
|---|
|  | 81 | struct UsedData { | 
|---|
|  | 82 | unsigned int flags; | 
|---|
|  | 83 | unsigned int held_:16; | 
|---|
|  | 84 | int priority_:15; | 
|---|
|  | 85 | unsigned int fixed_:1; | 
|---|
|  | 86 | }; | 
|---|
|  | 87 |  | 
|---|
|  | 88 | // //////////////////////////////////////////////////////////////////////////// | 
|---|
|  | 89 |  | 
|---|
|  | 90 | class PoolData { | 
|---|
|  | 91 | public: | 
|---|
|  | 92 | enum {magic = 0x1f1d1e1c}; | 
|---|
|  | 93 | int magic_; | 
|---|
|  | 94 | size_t size_; | 
|---|
|  | 95 | unsigned int free_:1; | 
|---|
|  | 96 | unsigned int flags_:15; | 
|---|
|  | 97 | private: | 
|---|
|  | 98 | PoolData* next_; | 
|---|
|  | 99 | PoolData* prev_; | 
|---|
|  | 100 | public: | 
|---|
|  | 101 | union { | 
|---|
|  | 102 | FreeData f; | 
|---|
|  | 103 | UsedData u; | 
|---|
|  | 104 | }; | 
|---|
|  | 105 |  | 
|---|
|  | 106 | // Allocates a chunk of free memory, only initializing the size. | 
|---|
|  | 107 | PoolData(size_t size); | 
|---|
|  | 108 |  | 
|---|
|  | 109 | PoolData* next(); | 
|---|
|  | 110 | PoolData* prev(); | 
|---|
|  | 111 |  | 
|---|
|  | 112 | void next(PoolData*); | 
|---|
|  | 113 | void prev(PoolData*); | 
|---|
|  | 114 | void prev_next(PoolData*,PoolData*); | 
|---|
|  | 115 |  | 
|---|
|  | 116 | PoolData* next_free(); | 
|---|
|  | 117 | PoolData* prev_free(); | 
|---|
|  | 118 |  | 
|---|
|  | 119 | void next_free(PoolData*); | 
|---|
|  | 120 | void prev_free(PoolData*); | 
|---|
|  | 121 | void prev_next_free(PoolData*,PoolData*); | 
|---|
|  | 122 |  | 
|---|
|  | 123 | void set_magic(int = magic); | 
|---|
|  | 124 |  | 
|---|
|  | 125 | // This new can only be called with aligned memory. | 
|---|
|  | 126 | //void* operator new(size_t size, void* placement); | 
|---|
|  | 127 | void* data(); | 
|---|
|  | 128 |  | 
|---|
|  | 129 | void check(void*lower=(void*)0x0,void*upper=(void*)0x7fffffffL); | 
|---|
|  | 130 | }; | 
|---|
|  | 131 |  | 
|---|
|  | 132 | const int PoolData_aligned_size = (sizeof(PoolData) + pool_data_alignment - 1) | 
|---|
|  | 133 | & (~ (pool_data_alignment - 1)); | 
|---|
|  | 134 | inline void* PoolData::data() | 
|---|
|  | 135 | { | 
|---|
|  | 136 | return (void*)(((char*)this) + PoolData_aligned_size); | 
|---|
|  | 137 | } | 
|---|
|  | 138 |  | 
|---|
|  | 139 | inline PoolData* | 
|---|
|  | 140 | PoolData::next() | 
|---|
|  | 141 | { | 
|---|
|  | 142 | return next_; | 
|---|
|  | 143 | } | 
|---|
|  | 144 |  | 
|---|
|  | 145 | inline PoolData* | 
|---|
|  | 146 | PoolData::prev() | 
|---|
|  | 147 | { | 
|---|
|  | 148 | return prev_; | 
|---|
|  | 149 | } | 
|---|
|  | 150 |  | 
|---|
|  | 151 | inline void | 
|---|
|  | 152 | PoolData::next(PoolData*p) | 
|---|
|  | 153 | { | 
|---|
|  | 154 | next_ = p; | 
|---|
|  | 155 | #ifdef DEBUG_POOL | 
|---|
|  | 156 | if (next_ && prev_ && (next_ < prev_)) { | 
|---|
|  | 157 | ExEnv::errn() << "PoolData::next(PoolData*): next < prev" << endl; | 
|---|
|  | 158 | abort(); | 
|---|
|  | 159 | } | 
|---|
|  | 160 | #endif | 
|---|
|  | 161 | } | 
|---|
|  | 162 |  | 
|---|
|  | 163 | inline void | 
|---|
|  | 164 | PoolData::prev(PoolData*p) | 
|---|
|  | 165 | { | 
|---|
|  | 166 | prev_ = p; | 
|---|
|  | 167 | #ifdef DEBUG_POOL | 
|---|
|  | 168 | if (next_ && prev_ && (next_ < prev_)) { | 
|---|
|  | 169 | ExEnv::errn() << "PoolData::prev(PoolData*): next < prev" << endl; | 
|---|
|  | 170 | abort(); | 
|---|
|  | 171 | } | 
|---|
|  | 172 | #endif | 
|---|
|  | 173 | } | 
|---|
|  | 174 |  | 
|---|
|  | 175 | inline void | 
|---|
|  | 176 | PoolData::prev_next(PoolData*p,PoolData*n) | 
|---|
|  | 177 | { | 
|---|
|  | 178 | prev_ = p; | 
|---|
|  | 179 | next_ = n; | 
|---|
|  | 180 | #ifdef DEBUG_POOL | 
|---|
|  | 181 | if (next_ && prev_ && (next_ < prev_)) { | 
|---|
|  | 182 | ExEnv::errn() << "PoolData::prev_next: next < prev" << endl; | 
|---|
|  | 183 | abort(); | 
|---|
|  | 184 | } | 
|---|
|  | 185 | #endif | 
|---|
|  | 186 | } | 
|---|
|  | 187 |  | 
|---|
|  | 188 | // //// | 
|---|
|  | 189 |  | 
|---|
|  | 190 | inline PoolData* | 
|---|
|  | 191 | PoolData::next_free() | 
|---|
|  | 192 | { | 
|---|
|  | 193 | #ifdef DEBUG_POOL | 
|---|
|  | 194 | if (!free_) { | 
|---|
|  | 195 | ExEnv::errn() << "PoolData::next_free(): datum is not free" << endl; | 
|---|
|  | 196 | abort(); | 
|---|
|  | 197 | } | 
|---|
|  | 198 | #endif | 
|---|
|  | 199 | return f.next_free_; | 
|---|
|  | 200 | } | 
|---|
|  | 201 |  | 
|---|
|  | 202 | inline PoolData* | 
|---|
|  | 203 | PoolData::prev_free() | 
|---|
|  | 204 | { | 
|---|
|  | 205 | #ifdef DEBUG_POOL | 
|---|
|  | 206 | if (!free_) { | 
|---|
|  | 207 | ExEnv::errn() << "PoolData::prev_free(): datum is not free" << endl; | 
|---|
|  | 208 | abort(); | 
|---|
|  | 209 | } | 
|---|
|  | 210 | #endif | 
|---|
|  | 211 | return f.prev_free_; | 
|---|
|  | 212 | } | 
|---|
|  | 213 |  | 
|---|
|  | 214 | inline void | 
|---|
|  | 215 | PoolData::next_free(PoolData*p) | 
|---|
|  | 216 | { | 
|---|
|  | 217 | #ifdef DEBUG_POOL | 
|---|
|  | 218 | if (!free_) { | 
|---|
|  | 219 | ExEnv::errn() << "PoolData::next_free(PoolData*): datum is not free" << endl; | 
|---|
|  | 220 | abort(); | 
|---|
|  | 221 | } | 
|---|
|  | 222 | #endif | 
|---|
|  | 223 | f.next_free_ = p; | 
|---|
|  | 224 | } | 
|---|
|  | 225 |  | 
|---|
|  | 226 | inline void | 
|---|
|  | 227 | PoolData::prev_free(PoolData*p) | 
|---|
|  | 228 | { | 
|---|
|  | 229 | #ifdef DEBUG_POOL | 
|---|
|  | 230 | if (!free_) { | 
|---|
|  | 231 | ExEnv::errn() << "PoolData::prev_free(PoolData*): datum is not free" << endl; | 
|---|
|  | 232 | abort(); | 
|---|
|  | 233 | } | 
|---|
|  | 234 | #endif | 
|---|
|  | 235 | f.prev_free_ = p; | 
|---|
|  | 236 | } | 
|---|
|  | 237 |  | 
|---|
|  | 238 | inline void | 
|---|
|  | 239 | PoolData::prev_next_free(PoolData*p,PoolData*n) | 
|---|
|  | 240 | { | 
|---|
|  | 241 | #ifdef DEBUG_POOL | 
|---|
|  | 242 | if (!free_) { | 
|---|
|  | 243 | ExEnv::errn() << "PoolData::prev_next_free: datum is not free" << endl; | 
|---|
|  | 244 | abort(); | 
|---|
|  | 245 | } | 
|---|
|  | 246 | #endif | 
|---|
|  | 247 | f.prev_free_ = p; | 
|---|
|  | 248 | f.next_free_ = n; | 
|---|
|  | 249 | } | 
|---|
|  | 250 |  | 
|---|
|  | 251 | inline | 
|---|
|  | 252 | PoolData::PoolData(size_t size): | 
|---|
|  | 253 | magic_(magic), | 
|---|
|  | 254 | size_(size-PoolData_aligned_size) | 
|---|
|  | 255 | { | 
|---|
|  | 256 | } | 
|---|
|  | 257 |  | 
|---|
|  | 258 | inline void | 
|---|
|  | 259 | PoolData::set_magic(int magic_a) | 
|---|
|  | 260 | { | 
|---|
|  | 261 | magic_ = magic_a; | 
|---|
|  | 262 | } | 
|---|
|  | 263 |  | 
|---|
|  | 264 | // //////////////////////////////////////////////////////////////////////////// | 
|---|
|  | 265 |  | 
|---|
|  | 266 | class Pool { | 
|---|
|  | 267 | protected: | 
|---|
|  | 268 | enum { freelist_size = sizeof(size_t)*8 }; | 
|---|
|  | 269 | PoolData* freelist_[freelist_size]; | 
|---|
|  | 270 |  | 
|---|
|  | 271 | size_t size_; | 
|---|
|  | 272 |  | 
|---|
|  | 273 | PoolData* firstdatum_; | 
|---|
|  | 274 | PoolData* voidptr_to_pd(void*d); | 
|---|
|  | 275 |  | 
|---|
|  | 276 | int freelist_find_slot(size_t); | 
|---|
|  | 277 | void freelist_add(PoolData*); | 
|---|
|  | 278 | void freelist_del(PoolData*); | 
|---|
|  | 279 | public: | 
|---|
|  | 280 | Pool(size_t); | 
|---|
|  | 281 | ~Pool(); | 
|---|
|  | 282 |  | 
|---|
|  | 283 | //     void* operator new(size_t size, void* placement) { return placement; } | 
|---|
|  | 284 |  | 
|---|
|  | 285 | //     Handle& allocate_handle(size_t size, int priority = 0); | 
|---|
|  | 286 | //     void release(Handle&); | 
|---|
|  | 287 |  | 
|---|
|  | 288 | size_t size() { return size_; } | 
|---|
|  | 289 |  | 
|---|
|  | 290 | void* allocate(size_t size); | 
|---|
|  | 291 | void release(void*d); | 
|---|
|  | 292 | double* allocate_double(size_t n); | 
|---|
|  | 293 | void release(double*d); | 
|---|
|  | 294 | int* allocate_int(size_t n); | 
|---|
|  | 295 | void release(int*d); | 
|---|
|  | 296 | void print(std::ostream&o=ExEnv::out0()); | 
|---|
|  | 297 | void check(); | 
|---|
|  | 298 | }; | 
|---|
|  | 299 |  | 
|---|
|  | 300 | inline PoolData* | 
|---|
|  | 301 | Pool::voidptr_to_pd(void*d) | 
|---|
|  | 302 | { | 
|---|
|  | 303 | return (PoolData*)((char*)d - PoolData_aligned_size); | 
|---|
|  | 304 | } | 
|---|
|  | 305 |  | 
|---|
|  | 306 | inline double* | 
|---|
|  | 307 | Pool::allocate_double(size_t n) | 
|---|
|  | 308 | { | 
|---|
|  | 309 | return (double*) allocate(n*sizeof(double)); | 
|---|
|  | 310 | } | 
|---|
|  | 311 |  | 
|---|
|  | 312 | inline void | 
|---|
|  | 313 | Pool::release(double*d) | 
|---|
|  | 314 | { | 
|---|
|  | 315 | release((void*)d); | 
|---|
|  | 316 | } | 
|---|
|  | 317 | inline int* | 
|---|
|  | 318 | Pool::allocate_int(size_t n) | 
|---|
|  | 319 | { | 
|---|
|  | 320 | return (int*) allocate(n*sizeof(int)); | 
|---|
|  | 321 | } | 
|---|
|  | 322 | inline void | 
|---|
|  | 323 | Pool::release(int*d) | 
|---|
|  | 324 | { | 
|---|
|  | 325 | release((void*)d); | 
|---|
|  | 326 | } | 
|---|
|  | 327 |  | 
|---|
|  | 328 | } | 
|---|
|  | 329 |  | 
|---|
|  | 330 | #endif | 
|---|
|  | 331 |  | 
|---|
|  | 332 |  | 
|---|
|  | 333 | // Local Variables: | 
|---|
|  | 334 | // mode: c++ | 
|---|
|  | 335 | // c-file-style: "CLJ" | 
|---|
|  | 336 | // End: | 
|---|