mempool size

moses2/ManagerBase.cpp

@@ -45,6 +45,7 @@ void ManagerBase::InitPools()
 {
   m_pool = &system.GetManagerPool();
   m_systemPool = &system.GetSystemPool();
+  //cerr << "pool size " << m_pool->Size() << " " << m_systemPool->Size() << endl;
 }
 
 }

moses2/MemPool.cpp

@@ -112,5 +112,14 @@ void MemPool::Reset()
   current_ = m_pages[0]->mem;
 }
 
+size_t MemPool::Size()
+{
+  size_t ret = 0;
+  for (const Page *page: m_pages) {
+    ret += page->size;
+  }
+  return ret;
+}
+
 }
 

moses2/MemPool.h

@@ -56,6 +56,8 @@ public:
   // re-use pool
   void Reset();
 
+  size_t Size();
+
 private:
   uint8_t *More(std::size_t size);