changed name of destorying a mempool completely
authorGengbin Zheng <gzheng@illinois.edu>
Thu, 6 Oct 2011 17:32:26 +0000 (10:32 -0700)
committerGengbin Zheng <gzheng@illinois.edu>
Thu, 6 Oct 2011 17:32:26 +0000 (10:32 -0700)
src/arch/gemini_gni/machine.c
src/arch/util/mempool.c
src/arch/util/mempool.h

index 09d7df8ece7d68fe60251e9937c03acab81d0465..a98814252326ec233a010008b19238b86223086a 100644 (file)
@@ -1852,7 +1852,7 @@ static void LrtsExit()
 {
     /* free memory ? */
 #if     USE_LRTS_MEMPOOL
-    kill_allmempool(mempool);
+    mempool_destory(mempool);
 #endif
     PMI_Finalize();
     exit(0);
index 42ec9ca6a2a6bfe88824bc4e3ebc6777466faa73..bf4f978848312feffd2067ce838bd0742a54cec6 100644 (file)
@@ -50,7 +50,7 @@ mempool_type *mempool_init(size_t pool_size, mempool_newblockfn allocfn, mempool
     return mptr;
 }
 
-void kill_allmempool(mempool_type *mptr)
+void mempool_destory(mempool_type *mptr)
 {
     mempool_block *current, *mempools_head;
     mempool_freeblock   freefn = mptr->freeblockfn;
index 4471e7b0a48662931a3d880377a20beea533159f..c396d80630b6f6e26ccb901a18a353af104784ec 100644 (file)
@@ -43,7 +43,7 @@ typedef struct mempool_type
 } mempool_type;
 
 mempool_type *mempool_init(size_t pool_size, mempool_newblockfn newfn, mempool_freeblock freefn);
-void kill_allmempool(mempool_type *mptr);
+void  mempool_destory(mempool_type *mptr);
 void*  mempool_malloc(mempool_type *mptr, int size, int expand);
 void mempool_free(mempool_type *mptr, void *ptr_free);