bbgc.h 4.8 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305
  1. #ifndef BB_GC_H
  2. #define BB_GC_H
  3. #include "bbstd.h"
  4. #include "bbtypes.h"
  5. #include "bbmemory.h"
  6. //how much to allocate before a sweep occurs
  7. //#define BBGC_TRIGGER 0
  8. //#define BBGC_TRIGGER 64
  9. //#define BBGC_TRIGGER 256
  10. //#define BBGC_TRIGGER 65536
  11. //#define BBGC_TRIGGER 1*1024*1024
  12. #define BBGC_TRIGGER 4*1024*1024
  13. //#define BBGC_TRIGGER 16*1024*1024
  14. //mark while allocating, slower but smoother...
  15. #define BBGC_INCREMENTAL 1
  16. //reclaim all memory after a sweep, lumpier...
  17. //#define BBGC_AGGRESSIVE 1
  18. //check for use of deleted objects, MUCH leakier...
  19. //#define BBGC_DEBUG 1
  20. #if BBGC_DEBUG
  21. #define BBGC_VALIDATE( P ) \
  22. if( (P) && (P)->flags==3 ){ \
  23. printf( "Attempt to use deleted object %p of type '%s'\n",(P),(P)->typeName() ); \
  24. fflush( stdout ); \
  25. abort(); \
  26. }
  27. #else
  28. #define BBGC_VALIDATE( P )
  29. #endif
  30. struct bbGCNode;
  31. struct bbGCFiber;
  32. struct bbGCFrame;
  33. struct bbGCRoot;
  34. struct bbGCTmp;
  35. namespace bbGC{
  36. extern bbGCRoot *roots;
  37. extern bbGCTmp *freeTmps;
  38. extern bbGCNode *markQueue;
  39. extern bbGCNode *unmarkedList;
  40. extern bbGCFiber *fibers;
  41. extern bbGCFiber *currentFiber;
  42. extern int markedBit;
  43. extern int unmarkedBit;
  44. void init();
  45. void collect();
  46. bbGCNode *alloc( size_t size );
  47. }
  48. struct bbGCNode{
  49. bbGCNode *succ;
  50. bbGCNode *pred;
  51. size_t flags; //0=lonely, 1/2=marked/unmarked; 3=destroyed
  52. bbGCNode(){
  53. }
  54. virtual ~bbGCNode(){
  55. }
  56. virtual void gcMark(){
  57. }
  58. virtual void dbEmit(){
  59. }
  60. virtual const char *typeName()const{
  61. return "bbGCNode";
  62. }
  63. };
  64. struct bbGCFiber{
  65. bbGCFiber *succ;
  66. bbGCFiber *pred;
  67. bbGCFrame *frames;
  68. bbGCNode *ctoring;
  69. bbGCTmp *tmps;
  70. bbGCFiber():succ( this ),pred( this ),frames( nullptr ),ctoring( nullptr ),tmps( nullptr ){
  71. }
  72. void link(){
  73. succ=bbGC::fibers;
  74. pred=bbGC::fibers->pred;
  75. bbGC::fibers->pred=this;
  76. pred->succ=this;
  77. }
  78. void unlink(){
  79. pred->succ=succ;
  80. succ->pred=pred;
  81. }
  82. };
  83. struct bbGCFrame{
  84. bbGCFrame *succ;
  85. bbGCFrame():succ( bbGC::currentFiber->frames ){
  86. bbGC::currentFiber->frames=this;
  87. }
  88. ~bbGCFrame(){
  89. bbGC::currentFiber->frames=succ;
  90. }
  91. virtual void gcMark(){
  92. }
  93. };
  94. struct bbGCRoot{
  95. bbGCRoot *succ;
  96. bbGCRoot():succ( bbGC::roots ){
  97. bbGC::roots=this;
  98. }
  99. virtual void gcMark(){
  100. }
  101. };
  102. struct bbGCTmp{
  103. bbGCTmp *succ;
  104. bbGCNode *node;
  105. };
  106. namespace bbGC{
  107. inline void insert( bbGCNode *p,bbGCNode *succ ){
  108. p->succ=succ;
  109. p->pred=succ->pred;
  110. p->pred->succ=p;
  111. succ->pred=p;
  112. }
  113. inline void remove( bbGCNode *p ){
  114. p->pred->succ=p->succ;
  115. p->succ->pred=p->pred;
  116. }
  117. inline void enqueue( bbGCNode *p ){
  118. BBGC_VALIDATE( p )
  119. if( !p || p->flags!=unmarkedBit ) return;
  120. remove( p );
  121. p->succ=markQueue;
  122. markQueue=p;
  123. p->flags=markedBit;
  124. }
  125. inline void pushTmp( bbGCNode *p ){
  126. bbGCTmp *tmp=freeTmps;
  127. if( !tmp ) tmp=new bbGCTmp;
  128. tmp->node=p;
  129. tmp->succ=currentFiber->tmps;
  130. currentFiber->tmps=tmp;
  131. // puts( "pushTmp" );
  132. }
  133. inline void popTmps( int n ){
  134. // printf( "popTmps %i\n",n );
  135. while( n-- ){
  136. bbGCTmp *tmp=currentFiber->tmps;
  137. currentFiber->tmps=tmp->succ;
  138. tmp->succ=freeTmps;
  139. freeTmps=tmp;
  140. }
  141. }
  142. template<class T> T *tmp( T *p ){
  143. pushTmp( p );
  144. return p;
  145. }
  146. inline void beginCtor( bbGCNode *p ){
  147. p->succ=currentFiber->ctoring;
  148. currentFiber->ctoring=p;
  149. }
  150. inline void endCtor( bbGCNode *p ){
  151. currentFiber->ctoring=p->succ;
  152. #if BBGC_INCREMENTAL
  153. p->succ=markQueue;
  154. markQueue=p;
  155. p->flags=markedBit;
  156. #else
  157. p->flags=unmarkedBit;
  158. insert( p,unmarkedList );
  159. #endif
  160. }
  161. }
  162. template<class T> struct bbGCVar{
  163. public:
  164. T *_ptr;
  165. void enqueue(){
  166. #if BBGC_INCREMENTAL
  167. bbGC::enqueue( dynamic_cast<bbGCNode*>( _ptr ) );
  168. #endif
  169. }
  170. bbGCVar():_ptr( nullptr ){
  171. }
  172. bbGCVar( T *p ):_ptr( p ){
  173. enqueue();
  174. }
  175. bbGCVar( const bbGCVar &p ):_ptr( p._ptr ){
  176. enqueue();
  177. }
  178. bbGCVar &operator=( T *p ){
  179. _ptr=p;
  180. enqueue();
  181. return *this;
  182. }
  183. bbGCVar &operator=( const bbGCVar &p ){
  184. _ptr=p._ptr;
  185. enqueue();
  186. return *this;
  187. }
  188. T *get()const{
  189. return _ptr;
  190. }
  191. T *operator->()const{
  192. return _ptr;
  193. }
  194. operator T*()const{
  195. return _ptr;
  196. }
  197. };
  198. template<class T> struct bbGCRootVar : public bbGCVar<T>,public bbGCRoot{
  199. using bbGCVar<T>::_ptr;
  200. using bbGCVar<T>::enqueue;
  201. bbGCRootVar(){
  202. }
  203. bbGCRootVar( T *p ){
  204. _ptr=p;
  205. enqueue();
  206. }
  207. bbGCRootVar( const bbGCVar<T> &p ){
  208. _ptr=p._ptr;
  209. enqueue();
  210. }
  211. bbGCRootVar &operator=( T *p ){
  212. _ptr=p;
  213. enqueue();
  214. return *this;
  215. }
  216. bbGCRootVar &operator=( const bbGCVar<T> &p ){
  217. _ptr=p._ptr;
  218. enqueue();
  219. return *this;
  220. }
  221. virtual void gcMark(){
  222. bbGC::enqueue( dynamic_cast<bbGCNode*>( _ptr ) );
  223. }
  224. };
  225. template<class T> void bbGCMark( const T &t ){}
  226. template<class T> void bbGCMark( const bbGCVar<T> &v ){
  227. bbGC::enqueue( dynamic_cast<bbGCNode*>( v._ptr ) );
  228. }
  229. template<class T> void bbGCMarkPtr( T *p ){
  230. bbGC::enqueue( dynamic_cast<bbGCNode*>( p ) );
  231. }
  232. #endif