gc.h 13 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468
  1. #pragma once
  2. #include "BeefySysLib/Common.h"
  3. #include "BeefySysLib/util/CritSect.h"
  4. #include "BeefySysLib/util/Array.h"
  5. #include "BeefySysLib/util/Dictionary.h"
  6. #include <unordered_map>
  7. #include <map>
  8. #include "../rt/BfObjects.h"
  9. //#include "boost/lockfree/stack.hpp"
  10. #ifdef BF_PLATFORM_WINDOWS
  11. #define BF_GC_SUPPORTED
  12. #endif
  13. #ifdef BF_GC_SUPPORTED
  14. class GCDbgData
  15. {
  16. public:
  17. static const int MAX_SIZE_CLASSES = 95;
  18. public:
  19. BfRtFlags mDbgFlags;
  20. void* mObjRootPtr;
  21. void* mRawRootPtr;
  22. void* mRawObjectSentinel;
  23. int mSizeClasses[MAX_SIZE_CLASSES];
  24. };
  25. extern "C" GCDbgData gGCDbgData;
  26. class BfDbgInternalThread;
  27. void* BfRawAllocate(intptr elemCount, bf::System::DbgRawAllocData* rawAllocData, void* stackTraceInfo, int stackTraceCount);
  28. void BfRawFree(void* ptr);
  29. void* BfObjectAllocate(intptr size, bf::System::Type* type);
  30. void BFDumpAllocStats();
  31. class BfInternalThread;
  32. // Incremental/concurrent requires write barriers
  33. //#define BF_GC_INCREMENTAL
  34. //#define BF_GC_LOG_ENABLED
  35. #ifdef BF_DEBUG
  36. //#define BF_GC_LOG_ENABLED
  37. #endif
  38. #ifdef BF_GC_LOG_ENABLED
  39. void BFGCLogWrite();
  40. //void BFGCLogAlloc(bf::System::Object* obj, bf::System::Type* objType, int allocNum);
  41. #ifdef BF_PLATFORM_WINDOWS
  42. #define BF_LOGASSERT(_Expression) (void)( (!!(_Expression)) || (BFGCLogWrite(), 0) || (Beefy::BFFatalError(#_Expression, __FILE__, __LINE__), 0) )
  43. #else
  44. #define BF_LOGASSERT(_Expression) (void)( (!!(_Expression)) || (BFGCLogWrite(), 0) || (BF_ASSERT(_Expression), 0) )
  45. #endif
  46. #else
  47. #define BF_LOGASSERT(_Expression)
  48. #endif
  49. extern HANDLE gGCHeap;
  50. template <class T>
  51. class GCAllocStd
  52. {
  53. public:
  54. typedef size_t size_type;
  55. typedef ptrdiff_t difference_type;
  56. typedef T* pointer;
  57. typedef const T* const_pointer;
  58. typedef T& reference;
  59. typedef const T& const_reference;
  60. typedef T value_type;
  61. GCAllocStd() {}
  62. GCAllocStd(const GCAllocStd&) {}
  63. pointer allocate(size_type n, const void * = 0)
  64. {
  65. if (gGCHeap == NULL)
  66. gGCHeap = ::HeapCreate(0, 0, 0);
  67. return (T*)::HeapAlloc(gGCHeap, 0, n * sizeof(T));
  68. }
  69. void deallocate(void* p, size_type)
  70. {
  71. ::HeapFree(gGCHeap, 0, p);
  72. }
  73. pointer address(reference x) const { return &x; }
  74. const_pointer address(const_reference x) const { return &x; }
  75. GCAllocStd<T>& operator=(const GCAllocStd&) { return *this; }
  76. void construct(pointer p, const T& val)
  77. {
  78. new ((T*)p) T(val);
  79. }
  80. void destroy(pointer p) { p->~T(); }
  81. size_type max_size() const { return size_t(-1); }
  82. template <class U>
  83. struct rebind { typedef GCAllocStd<U> other; };
  84. template <class U>
  85. GCAllocStd(const GCAllocStd<U>&) {}
  86. template <class U>
  87. GCAllocStd& operator=(const GCAllocStd<U>&) { return *this; }
  88. };
  89. template <class T>
  90. class GCAlloc
  91. {
  92. public:
  93. T* allocate(intptr n)
  94. {
  95. if (gGCHeap == NULL)
  96. gGCHeap = ::HeapCreate(0, 0, 0);
  97. return (T*)::HeapAlloc(gGCHeap, 0, n * sizeof(T));
  98. }
  99. void deallocate(void* p)
  100. {
  101. ::HeapFree(gGCHeap, 0, p);
  102. }
  103. };
  104. class BFIThreadData
  105. {
  106. public:
  107. };
  108. //#define BF_OBJECTFLAG_FREED 0x10
  109. //#define BF_OBJECTFLAG_QUEUE_FULLMARK 0x20
  110. //If we need an extr aflag, we could use two bits to store Allocated/Stack_Alloc/Append_Alloc since those are all
  111. // mutually exclusive
  112. // If ALLOCINFO is not set mAllocVal is a single stack trace entry
  113. // When ALLOC_INFO_SHORT is set, mDebugData is: [ObjectSize:*][MetadataSize:8][StackCount:8]
  114. // if any of those fields is too large then we use ALLOC_INFO, where ObjectSize takes the whole mDebugData,
  115. /// then at the end of the object we have: [MetadataSize:*][StackCount:16]
  116. #define BF_OBJECTFLAG_MARK_ID_MASK 0x03
  117. #define BF_OBJECTFLAG_ALLOCATED 0x04
  118. #define BF_OBJECTFLAG_STACK_ALLOC 0x08
  119. #define BF_OBJECTFLAG_APPEND_ALLOC 0x10
  120. #define BF_OBJECTFLAG_ALLOCINFO 0x20
  121. #define BF_OBJECTFLAG_ALLOCINFO_SHORT 0x40
  122. #define BF_OBJECTFLAG_DELETED 0x80
  123. namespace tcmalloc_obj
  124. {
  125. struct Span;
  126. }
  127. namespace tcmalloc_raw
  128. {
  129. struct Span;
  130. }
  131. class BFGC
  132. {
  133. public:
  134. struct ThreadInfo
  135. {
  136. static BF_TLS_DECLSPEC ThreadInfo* sCurThreadInfo;
  137. Beefy::CritSect mCritSect;
  138. BfpThread* mThreadHandle;
  139. BfpThreadId mThreadId;
  140. void* mTEB;
  141. intptr mStackStart;
  142. bool mRunning;
  143. Beefy::Array<bf::System::Object*> mStackMarkableObjects;
  144. ThreadInfo()
  145. {
  146. mThreadId = 0;
  147. mThreadHandle = NULL;
  148. mTEB = NULL;
  149. mStackStart = NULL;
  150. mRunning = true;
  151. }
  152. ~ThreadInfo();
  153. };
  154. struct RawLeakInfo
  155. {
  156. bf::System::DbgRawAllocData* mRawAllocData;
  157. void* mDataPtr;
  158. void* mStackTracePtr;
  159. int mStackTraceCount;
  160. int mDataCount;
  161. };
  162. struct CollectReport
  163. {
  164. int mCollectIdx;
  165. uint32 mStartTick;
  166. int mTotalMS;
  167. int mPausedMS;
  168. int mCollectCount;
  169. };
  170. struct SweepInfo
  171. {
  172. Beefy::Array<bf::System::Object* /*, GCAlloc<System::Object*> */> mLeakObjects;
  173. Beefy::Array<RawLeakInfo> mRawLeaks;
  174. int mLeakCount;
  175. bool mShowAllAsLeaks;
  176. bool mEmptyScan;
  177. SweepInfo()
  178. {
  179. mLeakCount = 0;
  180. mShowAllAsLeaks = false;
  181. mEmptyScan = false;
  182. }
  183. void Clear()
  184. {
  185. mLeakCount = 0;
  186. mShowAllAsLeaks = false;
  187. mLeakObjects.Clear();
  188. mRawLeaks.Clear();
  189. }
  190. };
  191. struct TLSMember
  192. {
  193. intptr mTLSOffset;
  194. void* mMarkFunc;
  195. int mTLSIndex;
  196. };
  197. struct AllocInfo
  198. {
  199. int mCount;
  200. int mSize;
  201. bool operator<(const AllocInfo &rhs) const
  202. {
  203. return mSize > rhs.mSize;
  204. }
  205. };
  206. enum
  207. {
  208. DEBUGDUMPSTATE_NONE,
  209. DEBUGDUMPSTATE_WAITING_FOR_PREV,
  210. DEBUGDUMPSTATE_WAITING_FOR_PREV_2,
  211. DEBUGDUMPSTATE_WAITING_FOR_MUTATOR,
  212. DEBUGDUMPSTATE_WAITING_FOR_GC
  213. };
  214. Beefy::CritSect mCritSect;
  215. Beefy::SyncEvent mCollectEvent;
  216. Beefy::SyncEvent mCollectDoneEvent;
  217. BfpThread* mGCThread;
  218. //BfObject* mEphemeronTombstone;
  219. BfpThreadId mThreadId;
  220. volatile bool mExiting;
  221. volatile bool mRunning;
  222. bool mGracelessShutdown;
  223. bool mPaused;
  224. bool mShutdown;
  225. bool mWaitingForGC; // GC.Collect sets this
  226. int mAllocSinceLastGC; // Added to on alloc and subtracted from on nursery cleanup
  227. int mFreeSinceLastGC;
  228. bool mFullGCTriggered;
  229. bool mForceDecommit;
  230. bool mSkipMark;
  231. volatile bool mCollectRequested;
  232. volatile bool mPerformingCollection;
  233. volatile bool mUsingThreadUnlocked;
  234. volatile int mDebugDumpState;
  235. Beefy::Array<bf::System::Object*> mExplicitRoots;
  236. Beefy::Array<TLSMember> mTLSMembers;
  237. Beefy::Array<CollectReport> mCollectReports;
  238. int mCollectIdx;
  239. void* mMainThreadTLSPtr;
  240. int mMultiStackScanWait; // To avoid multiple stack scans per frame
  241. int mFullGCPeriod; // Maximum milliseconds between GC cycles
  242. int mFreeTrigger; // Bytes before a full GC is triggered
  243. int mMaxPausePercentage; // Maximum percentage we're allowed to stop threads
  244. int mMaxRawDeferredObjectFreePercentage; // Maximum percentage of heap usage to defer raw object
  245. int mStackScanIdx;
  246. bool mDoStackDeepMark;
  247. int mStage;
  248. int mLastCollectFrame;
  249. int mCurMarkId;
  250. static int volatile sCurMarkId; //0-3
  251. static int volatile sAllocFlags;
  252. Beefy::Array<bf::System::Object*> mPendingGCData;
  253. Beefy::Array<ThreadInfo*> mThreadList;
  254. int mCurMutatorMarkCount;
  255. int mCurGCMarkCount;
  256. int mCurGCObjectQueuedCount;
  257. int mCurMutatorObjectQueuedCount;
  258. int mCurObjectDeleteCount;
  259. int mCurFinalizersCalled;
  260. int mCurSweepFoundCount;
  261. int mCurSweepFoundPermanentCount;
  262. int mCurFreedBytes;
  263. int mCurLiveObjectCount;
  264. int mCurScanIdx;
  265. int mTotalAllocs;
  266. int mTotalFrees;
  267. uint64 mBytesFreed;
  268. size_t mBytesRequested; // Consistent but race-susceptible. Fixup once per cycle from TLS data
  269. bool mRequestedSizesInvalid; // Can occur if reflection data is trimmed -- only matters for debug reporting anyway
  270. int mMarkDepthCount;
  271. bool mMarkingDeleted;
  272. bool mQueueMarkObjects;
  273. int mLastFreeCount;
  274. Beefy::Array<bf::System::Object* /*, GCAlloc<System::Object*>*/ > mFinalizeList;
  275. SweepInfo mSweepInfo;
  276. bool mDisplayFreedObjects;
  277. bool mHadRootError;
  278. public:
  279. void RawInit();
  280. void RawShutdown();
  281. void WriteDebugDumpState();
  282. bool HandlePendingGCData(Beefy::Array<bf::System::Object*>* pendingGCData);
  283. bool HandlePendingGCData();
  284. void MarkMembers(bf::System::Object* obj);
  285. void AdjustStackPtr(intptr& addr, int& size);
  286. bool ScanThreads();
  287. void ReportLeak(bf::System::Object* obj);
  288. void SweepSpan(tcmalloc_obj::Span* span, int expectedStartPage);
  289. void Sweep();
  290. void RawMarkSpan(tcmalloc_raw::Span* span, int expectedStartPage);
  291. void RawMarkAll();
  292. void ProcessSweepInfo();
  293. void ReleasePendingSpanObjects(tcmalloc_obj::Span* span);
  294. void ReleasePendingObjects();
  295. void ConservativeScan(void* addr, int length);
  296. bool IsHeapObject(bf::System::Object* obj);
  297. void MarkStatics();
  298. void ObjectDeleteRequested(bf::System::Object* obj);
  299. void DoCollect(bool doingFullGC);
  300. void FinishCollect();
  301. void Run();
  302. static void BFP_CALLTYPE RunStub(void* gc);
  303. void DumpLeaksSpan(tcmalloc_obj::Span* span, int expectedStartPage, Beefy::StringImpl& msg);
  304. public:
  305. BFGC();
  306. ~BFGC();
  307. void Init();
  308. void Start();
  309. void StopCollecting();
  310. void AddStackMarkableObject(bf::System::Object* obj);
  311. void RemoveStackMarkableObject(bf::System::Object* obj);
  312. void Shutdown();
  313. void InitDebugDump();
  314. void EndDebugDump();
  315. void SuspendThreads();
  316. void ResumeThreads();
  317. void PerformCollection();
  318. void Collect(bool async);
  319. void DebugDumpLeaks();
  320. void ObjReportHandleSpan(tcmalloc_obj::Span* span, int expectedStartPage, int& objectCount, intptr& freeSize, Beefy::Dictionary<bf::System::Type*, AllocInfo>& sizeMap);
  321. void ObjReportScan(int& objectCount, intptr& freeSize, Beefy::Dictionary<bf::System::Type*, AllocInfo>& sizeMap);
  322. void RawReportHandleSpan(tcmalloc_raw::Span* span, int expectedStartPage, int& objectCount, intptr& freeSize, Beefy::Dictionary<bf::System::Type*, AllocInfo>* sizeMap);
  323. void RawReportScan(int& objectCount, intptr& freeSize, Beefy::Dictionary<bf::System::Type*, AllocInfo>* sizeMap);
  324. void Report();
  325. void RawReport(Beefy::String& msg, intptr& freeSize, std::multimap<AllocInfo, bf::System::Type*>& orderedSizeMap);
  326. void ReportTLSMember(int tlsIndex, void* ptr, void* markFunc);
  327. //void RegisterRoot(BfObject* obj);
  328. void ThreadStarted(BfDbgInternalThread* thread);
  329. void ThreadStopped(BfDbgInternalThread* thread);
  330. void ThreadStarted();
  331. void ThreadStopped();
  332. void MarkFromGCThread(bf::System::Object* obj); // Can only called from within GC thread
  333. void SetAutoCollectPeriod(int periodMS);
  334. void SetCollectFreeThreshold(int freeBytes);
  335. void SetMaxPausePercentage(int maxPausePercentage);
  336. void SetMaxRawDeferredObjectFreePercentage(intptr maxPercentage);
  337. };
  338. extern BFGC gBFGC;
  339. #define BF_OBJALLOC_NO_ALLOCDONE(klass) (bfNewObject = new (BfObjectAllocate(sizeof(klass), klass::sBFTypeID)) klass(), bfNewObject->mBFVData = &klass::sClassVData, bfNewObject)
  340. #define BF_OBJALLOC(klass) (bfNewObject = new (BfObjectAllocate(sizeof(klass), klass::sBFTypeID)) klass(), bfNewObject->mBFVData = &klass::sClassVData, bfNewObject->BFAllocDone(0), bfNewObject)
  341. //#define BF_OBJALLOC(klass) (bfNewObject = new (BfObjectAllocate(sizeof(klass), klass::sBFTypeID)) klass(), bfNewObject->mBFVData = &klass::sClassVData, bfNewObject->BFAllocDone(0), BFCheckObjectSize(bfNewObject, sizeof(klass)), bfNewObject)
  342. #define BF_OBJALLOC_PERMANENT(klass) (bfNewObject = new (BfObjectAllocate(sizeof(klass), klass::sBFTypeID)) klass(), bfNewObject->mBFVData = &klass::sClassVData, bfNewObject->BFAllocDone(BF_OBJECTFLAG_PERMANENT), bfNewObject)
  343. #else //BF_GC_SUPPORTED
  344. class BFGC
  345. {
  346. public:
  347. static const int sAllocFlags = 0;
  348. };
  349. void* BfObjectAllocate(intptr size, bf::System::Type* type);
  350. void* BfRawAllocate(intptr elemCount, bf::System::DbgRawAllocData* rawAllocData, void* stackTraceInfo, int stackTraceCount);
  351. void BfRawFree(void* ptr);
  352. #endif
  353. namespace bf
  354. {
  355. namespace System
  356. {
  357. class Object;
  358. namespace Threading
  359. {
  360. class Thread;
  361. }
  362. class GC : public Object
  363. {
  364. private:
  365. BFRT_EXPORT static void Init();
  366. BFRT_EXPORT static void Run();
  367. BFRT_EXPORT static void ReportTLSMember(intptr tlsIndex, void* ptr, void* markFunc);
  368. BFRT_EXPORT static void StopCollecting();
  369. BFRT_EXPORT static void AddStackMarkableObject(Object* obj);
  370. BFRT_EXPORT static void RemoveStackMarkableObject(Object* obj);
  371. public:
  372. BFRT_EXPORT static void Shutdown();
  373. BFRT_EXPORT static void Collect(bool async);
  374. BFRT_EXPORT static void Report();
  375. BFRT_EXPORT static void Mark(Object* obj);
  376. BFRT_EXPORT static void Mark(void* ptr, intptr size);
  377. BFRT_EXPORT static void DebugDumpLeaks();
  378. //static void ToLeakString(Object* obj, String* strBuffer);
  379. static void DoMarkAllStaticMembers()
  380. {
  381. BFRTCALLBACKS.GC_MarkAllStaticMembers();
  382. }
  383. static bool DoCallRootCallbacks()
  384. {
  385. return BFRTCALLBACKS.GC_CallRootCallbacks();
  386. }
  387. BFRT_EXPORT static void SetAutoCollectPeriod(intptr periodMS);
  388. BFRT_EXPORT static void SetCollectFreeThreshold(intptr freeBytes);
  389. BFRT_EXPORT static void SetMaxPausePercentage(intptr maxPausePercentage);
  390. BFRT_EXPORT static void SetMaxRawDeferredObjectFreePercentage(intptr maxPercentage);
  391. };
  392. }
  393. }