void smFreeBlocks(Structure_Manager *pSM) {
void *pCurBlock, *pNextBlock;
pCurBlock = SM_CurBlock(*pSM);
while ( IsNonNULL(pCurBlock) ) {
pNextBlock = SMBlk_NextBlock(pCurBlock);
free(pCurBlock);
pCurBlock = pNextBlock;
}
SM_CurBlock(*pSM) = SM_NextStruct(*pSM) = SM_LastStruct(*pSM) = NULL;
SM_AllocList(*pSM) = SM_FreeList(*pSM) = NULL;
}
void smFreeBlocks(Structure_Manager *pSM) {
void *pCurBlock, *pNextBlock;
pCurBlock = SM_CurBlock(*pSM);
while ( IsNonNULL(pCurBlock) ) {
pNextBlock = SMBlk_NextBlock(pCurBlock);
mem_dealloc(pCurBlock,SM_NewBlockSize(*pSM),TABLE_SPACE);
pCurBlock = pNextBlock;
}
SM_CurBlock(*pSM) = SM_NextStruct(*pSM) = SM_LastStruct(*pSM) = NULL;
SM_AllocList(*pSM) = SM_FreeList(*pSM) = NULL;
}
void smAllocateBlock(Structure_Manager *pSM) {
void *pNewBlock;
pNewBlock = mem_calloc(SM_NewBlockSize(*pSM),1,TABLE_SPACE);
// if ( IsNULL(pNewBlock) )
// xsb_resource_error_nopred("memory","[smAllocateBlock] Out of memory in allocation of %s block\n",
// SM_StructName(*pSM));
SMBlk_NextBlock(pNewBlock) = SM_CurBlock(*pSM);
SM_CurBlock(*pSM) = pNewBlock;
SM_NextStruct(*pSM) = SMBlk_FirstStruct(pNewBlock);
SM_LastStruct(*pSM) = SMBlk_LastStruct(pNewBlock,
SM_StructSize(*pSM),
SM_StructsPerBlock(*pSM));
dbg_smPrint(LOG_STRUCT_MANAGER, *pSM,"after block allocation");
}
void smAllocateBlock(Structure_Manager *pSM) {
void *pNewBlock;
dbg_smPrint(LOG_STRUCT_MANAGER, *pSM,"before block allocation");
pNewBlock = malloc(SM_NewBlockSize(*pSM));
if ( IsNULL(pNewBlock) )
xsb_abort("[smAllocateBlock] Out of memory in allocation of %s block\n",
SM_StructName(*pSM));
SMBlk_NextBlock(pNewBlock) = SM_CurBlock(*pSM);
SM_CurBlock(*pSM) = pNewBlock;
SM_NextStruct(*pSM) = SMBlk_FirstStruct(pNewBlock);
SM_LastStruct(*pSM) = SMBlk_LastStruct(pNewBlock,
SM_StructSize(*pSM),
SM_StructsPerBlock(*pSM));
dbg_smPrint(LOG_STRUCT_MANAGER, *pSM,"after block allocation");
}
xsbBool smIsAllocatedStruct(Structure_Manager smRecord, void *pStruct) {
void *freeStruct;
/* Determine whether struct lies w/i unallocated section of 1st block
------------------------------------------------------------------ */
if ( (SM_NextStruct(smRecord) <= pStruct) &&
(pStruct <= SM_LastStruct(smRecord)) )
return FALSE;
/* Determine whether struct is on the free list
-------------------------------------------- */
for ( freeStruct = SM_FreeList(smRecord); IsNonNULL(freeStruct);
freeStruct = SMFL_NextFreeStruct(freeStruct) )
if ( freeStruct == pStruct )
return FALSE;
return TRUE;
}
void smPrint(Structure_Manager smRecord, char *string) {
void *pBlock;
counter nBlocks;
nBlocks = 0;
for ( pBlock = SM_CurBlock(smRecord); IsNonNULL(pBlock);
pBlock = SMBlk_NextBlock(pBlock) )
nBlocks++;
fprintf(stddbg,
" Structure Manager for %s (%s)\n"
"\tCurBlock: %p\t\tTotal Blocks: %u\n"
"\tNextStr: %p\t\tFree List: %p\n"
"\tLastStr: %p\t\tAlloc List: %p\n"
"\tStructs per block: %u\t\tStruct size: %u bytes\n",
SM_StructName(smRecord), string,
SM_CurBlock(smRecord), nBlocks,
SM_NextStruct(smRecord), SM_FreeList(smRecord),
SM_LastStruct(smRecord), SM_AllocList(smRecord),
SM_StructsPerBlock(smRecord), SM_StructSize(smRecord));
}
