[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:
|
---|