Annotation of parser3/src/include/pa_pool.h, revision 1.54
1.34 paf 1: /** @file
1.36 paf 2: Parser: pool class decl.
3:
1.27 paf 4: Copyright (c) 2001 ArtLebedev Group (http://www.artlebedev.com)
1.36 paf 5:
1.28 paf 6: Author: Alexander Petrosyan <paf@design.ru> (http://design.ru/paf)
1.27 paf 7:
1.54 ! parser 8: $Id: pa_pool.h,v 1.53 2001/09/15 11:48:41 parser Exp $
1.1 paf 9: */
10:
11: #ifndef PA_POOL_H
12: #define PA_POOL_H
13:
1.52 parser 14: #include "pa_config_includes.h"
1.1 paf 15:
1.21 paf 16: class Exception;
1.25 paf 17: class Temp_exception;
1.1 paf 18:
1.35 paf 19: /**
1.34 paf 20: Pool mechanizm allows users not to free up allocated memory,
21: leaving that problem to 'pools'.
22:
23: Also holds Exception object, which can be temporary set using
24: Temp_exception auto-object.
1.38 paf 25:
26: @see Pooled
1.34 paf 27: */
1.47 paf 28:
1.1 paf 29: class Pool {
1.25 paf 30: friend Temp_exception;
1.1 paf 31: public:
1.18 paf 32:
1.47 paf 33: Pool(void *astorage) : fstorage(astorage), fcontext(0), ftag(0), fexception(0) {}
1.18 paf 34:
1.40 paf 35: void set_context(void *acontext) { fcontext=acontext; }
36: void *context() { return fcontext; }
1.39 paf 37:
1.47 paf 38: void set_tag(void *atag) { ftag=atag; }
39: void *tag() { return ftag; }
1.44 paf 40:
1.34 paf 41: /// allocates some bytes on pool
1.51 parser 42: void *malloc(size_t size/*, int place=0*/) {
43: return check(real_malloc(size/*, place*/), size);
1.18 paf 44: }
1.34 paf 45: /// allocates some bytes clearing them with zeros
1.18 paf 46: void *calloc(size_t size) {
47: return check(real_calloc(size), size);
48: }
1.39 paf 49:
1.53 parser 50: /// registers a routine to clean up non-pooled allocations
1.54 ! parser 51: void register_cleanup(void (*cleanup) (void *), void *data) {
! 52: if(!real_register_cleanup(cleanup, data))
! 53: fail_register_cleanup();
! 54: }
1.53 parser 55:
56: /// current exception object of the pool
57: Exception& exception() const { return *fexception; }
58:
1.39 paf 59: private:
60:
61: void *fstorage;
1.40 paf 62: void *fcontext;
1.47 paf 63: void *ftag;
1.8 paf 64:
1.50 parser 65: private:
66:
67: //{
68: /// @name implementation defined
1.51 parser 69: void *real_malloc(size_t size/*, int place*/);
1.20 paf 70: void *real_calloc(size_t size);
1.54 ! parser 71: bool real_register_cleanup(void (*cleanup) (void *), void *data);
1.50 parser 72: //}
1.17 paf 73:
1.23 paf 74: private:
1.17 paf 75:
1.34 paf 76: /// checks whether mem allocated OK. throws exception otherwise
1.23 paf 77: void *check(void *ptr, size_t size) {
78: if(ptr)
79: return ptr;
80:
1.54 ! parser 81: fail_alloc(size);
1.23 paf 82:
83: // never reached
84: return 0;
85: }
1.54 ! parser 86: /// throws allocation exception
! 87: void fail_alloc(size_t size) const;
! 88:
! 89: /// throws register cleanup exception
! 90: void fail_register_cleanup() const;
1.23 paf 91:
1.34 paf 92: private: // exception handling
1.17 paf 93:
1.45 paf 94: // exception replacement mechanism is 'private'zed from direct usage
1.34 paf 95: // Temp_exception object enforces paired set/restore
1.23 paf 96: Exception *set_exception(Exception *e){
1.31 paf 97: Exception *r=fexception;
98: fexception=e;
1.23 paf 99: return r;
100: }
101: void restore_exception(Exception *e) {
1.31 paf 102: fexception=e;
1.23 paf 103: }
104:
105: private:
106:
107: // current request's exception object
1.31 paf 108: Exception *fexception;
1.17 paf 109:
1.8 paf 110: private: //disabled
111:
1.18 paf 112: // Pool(const Pool&) {}
1.16 paf 113: Pool& operator = (const Pool&) { return *this; }
1.21 paf 114: };
115:
1.35 paf 116: /**
1.34 paf 117: Base for all classes that are allocated in 'pools'.
118:
119: Holds Pool object. Contains useful wrappers to it's methods.
1.38 paf 120:
121: @see NEW, Temp_exception
1.34 paf 122: */
1.21 paf 123: class Pooled {
1.23 paf 124: // the pool i'm allocated on
1.49 paf 125: Pool *fpool;
1.21 paf 126: public:
1.37 paf 127:
128: /// the Pooled-sole: Pooled instances can be allocated in Pool rather then on heap
1.21 paf 129: static void *operator new(size_t size, Pool& apool) {
1.51 parser 130: return apool.malloc(size/*, 1*/);
1.21 paf 131: }
132:
1.49 paf 133: Pooled(Pool& apool) : fpool(&apool) {}
1.23 paf 134:
1.34 paf 135: /// my pool
1.49 paf 136: Pool& pool() const { return *fpool; }
137:
138: /** used for moving objects from one pool to another.
139: in between object can have no pool and can not be used
140: @see SQL_Driver_manager
141: */
142: void set_pool(Pool *apool) { fpool=apool; }
1.21 paf 143:
1.34 paf 144: /// useful wrapper around pool
1.49 paf 145: void *malloc(size_t size) const { return fpool->malloc(size); }
1.34 paf 146: /// useful wrapper around pool
1.49 paf 147: void *calloc(size_t size) const { return fpool->calloc(size); }
1.53 parser 148: /// useful wrapper around pool
149: void register_cleanup(void (*cleanup) (void *), void *data) {
150: fpool->register_cleanup(cleanup, data);
151: }
1.34 paf 152: /// useful wrapper around pool
1.49 paf 153: Exception& exception() const { return fpool->exception(); }
1.23 paf 154: };
1.34 paf 155: /// useful macro for creating objects on current Pooled object Pooled::pool()
1.23 paf 156: #define NEW new(pool())
157:
1.35 paf 158: /**
1.34 paf 159: Auto-object used for temporary changing Pool's exception().
160:
161: Use by with these macros:
1.38 paf 162: @code
1.34 paf 163: TRY {
1.38 paf 164: // ...
1.34 paf 165: if(?)
166: THROW(?);
1.38 paf 167: // ...
1.34 paf 168: } CATCH(e) {
1.38 paf 169: // code, using e fields
170: // e.comment()
1.34 paf 171: }
172: END_CATCH
1.38 paf 173: @endcode
174:
175: @see TRY, THROW
1.34 paf 176: */
1.25 paf 177: class Temp_exception {
1.29 paf 178: Pool& fpool;
1.23 paf 179: Exception *saved_exception;
180: public:
1.25 paf 181: Temp_exception(Pool& apool, Exception& exception) :
1.29 paf 182: fpool(apool),
1.23 paf 183: saved_exception(apool.set_exception(&exception)) {
184: }
1.25 paf 185: ~Temp_exception() {
1.29 paf 186: fpool.restore_exception(saved_exception);
1.23 paf 187: }
1.1 paf 188: };
1.23 paf 189:
1.33 paf 190: #define XTRY(pool) \
1.24 paf 191: { \
192: Exception temp_exception; \
1.33 paf 193: Temp_exception le(pool, temp_exception); \
1.24 paf 194: if(setjmp(temp_exception.mark)==0)
1.31 paf 195:
1.33 paf 196: #define XTHROW(exception) exception._throw
197: #define XCATCH(e) \
1.24 paf 198: else{ \
199: Exception& e=temp_exception;
1.31 paf 200:
1.33 paf 201: #define XEND_CATCH \
1.24 paf 202: } \
203: }
1.33 paf 204:
1.34 paf 205: //@{
206: /// @see Temp_exception
1.33 paf 207: #define TRY XTRY(pool())
208: #define THROW XTHROW(exception())
209: #define CATCH(e) XCATCH(e)
210: #define END_CATCH XEND_CATCH
211:
212: #define PTRY XTRY(pool)
213: #define PTHROW XTHROW(pool.exception())
214: #define PCATCH(e) XCATCH(e)
215: #define PEND_CATCH XEND_CATCH
1.34 paf 216: //@}
1.1 paf 217:
218: #endif
E-mail: