mirror of
https://github.com/ToyB-Chan/minimal-heap.git
synced 2026-11-09 07:02:06 +01:00
Compare commits
17 Commits
| Author | SHA1 | Date | |
|---|---|---|---|
| 1633fbe1ba | |||
| 4e10b6e053 | |||
| 667b359eec | |||
| f283f38a38 | |||
| 8f737acc1a | |||
| 63a447d1c4 | |||
| 3086f768ee | |||
| fa1eb41719 | |||
| 54b61085a8 | |||
| d3aa81fcea | |||
| ccce067d13 | |||
| dd92501753 | |||
| ad14fa7c74 | |||
| 3c46dfa855 | |||
| 468378e88e | |||
| 05343eb3cd | |||
| af88bcac93 |
@@ -1,4 +1,4 @@
|
|||||||
/* Version 1.2 */
|
/* Version 1.XX */
|
||||||
|
|
||||||
#ifndef __MINIMAL_HEAP_H__
|
#ifndef __MINIMAL_HEAP_H__
|
||||||
#define __MINIMAL_HEAP_H__
|
#define __MINIMAL_HEAP_H__
|
||||||
@@ -32,9 +32,9 @@
|
|||||||
/* */
|
/* */
|
||||||
|
|
||||||
/* Hooks to be implemented by the library user */
|
/* Hooks to be implemented by the library user */
|
||||||
void* MIHP_PlatformRequestMemory(size_t minRequestedSize, size_t* outActualSize); // Alignment must at least be alignment of size_t, outActualSize must at least be minRequestedSize
|
void* MIHP_PlatformRequestMemory(const struct _MIHP_Heap* heap, size_t minRequestedSize, size_t* outActualSize); // Alignment must at least be alignment of size_t, outActualSize must at least be minRequestedSize
|
||||||
bool MIHP_PlatformFreeMemory(void* ptr, size_t actualSize);
|
bool MIHP_PlatformFreeMemory(const struct _MIHP_Heap* heap, void* ptr, size_t actualSize);
|
||||||
void MIHP_PlatformOnHeapCorruptionDetected(struct _MIHP_HeapCorruptionInfo info);
|
void MIHP_PlatformOnHeapCorruptionDetected(const struct _MIHP_Heap* heap, struct _MIHP_HeapCorruptionInfo info);
|
||||||
/* */
|
/* */
|
||||||
|
|
||||||
#define MIHP_HEAP_CORRUPTION_TYPE_MEMORY_AREA_CHECKSUM_MISMATCH 0
|
#define MIHP_HEAP_CORRUPTION_TYPE_MEMORY_AREA_CHECKSUM_MISMATCH 0
|
||||||
@@ -45,8 +45,8 @@ typedef struct _MIHP_HeapConfig
|
|||||||
{
|
{
|
||||||
size_t AllocationAlignment; // Must be power of two and at least sizeof(size_t)
|
size_t AllocationAlignment; // Must be power of two and at least sizeof(size_t)
|
||||||
|
|
||||||
size_t MinimalMemoryAreaSize; // Must be a multiple of AllocationAlingment
|
size_t MinimalMemoryAreaSize; // Must be a multiple of AllocationAlignment
|
||||||
size_t MaximalMemoryAreaSize; // Must be a multiple of AllocationAlingment
|
size_t MaximalMemoryAreaSize; // Must be a multiple of AllocationAlignment
|
||||||
|
|
||||||
char AllocationInitialValue;
|
char AllocationInitialValue;
|
||||||
} MIHP_HeapConfig;
|
} MIHP_HeapConfig;
|
||||||
@@ -71,6 +71,7 @@ typedef struct _MIHP_HeapMemoryAreaHeader
|
|||||||
|
|
||||||
struct _MIHP_Heap* OwningHeap;
|
struct _MIHP_Heap* OwningHeap;
|
||||||
struct _MIHP_HeapSegmentHeader* FirstSegment;
|
struct _MIHP_HeapSegmentHeader* FirstSegment;
|
||||||
|
struct _MIHP_HeapSegmentHeaderFreePayload* FirstFreeSegment;
|
||||||
|
|
||||||
|
|
||||||
uint32_t Checksum; // Checksum must be the last member !
|
uint32_t Checksum; // Checksum must be the last member !
|
||||||
@@ -92,9 +93,14 @@ typedef struct _MIHP_HeapSegmentHeader
|
|||||||
|
|
||||||
} MIHP_HeapSegmentHeader;
|
} MIHP_HeapSegmentHeader;
|
||||||
|
|
||||||
|
typedef struct _MIHP_HeapSegmentHeaderFreePayload
|
||||||
|
{
|
||||||
|
struct _MIHP_HeapSegmentHeaderFreePayload* PreviousFreeSegment;
|
||||||
|
struct _MIHP_HeapSegmentHeaderFreePayload* NextFreeSegment;
|
||||||
|
} MIHP_HeapSegmentHeaderFreePayload;
|
||||||
|
|
||||||
typedef struct _MIHP_HeapCorruptionInfo
|
typedef struct _MIHP_HeapCorruptionInfo
|
||||||
{
|
{
|
||||||
const struct _MIHP_Heap* Heap;
|
|
||||||
uint8_t Type;
|
uint8_t Type;
|
||||||
const void* Ptr;
|
const void* Ptr;
|
||||||
uint32_t ExpectedValue;
|
uint32_t ExpectedValue;
|
||||||
@@ -108,14 +114,14 @@ typedef struct _MIHP_Heap
|
|||||||
MIHP_HeapMemoryAreaHeader* FirstArea;
|
MIHP_HeapMemoryAreaHeader* FirstArea;
|
||||||
MIHP_HeapMemoryAreaHeader* LastSuccessfulAllocationArea;
|
MIHP_HeapMemoryAreaHeader* LastSuccessfulAllocationArea;
|
||||||
|
|
||||||
size_t HeapStructureAllocationSize;
|
|
||||||
|
|
||||||
MIHP_HEAP_LOCK_TYPE HeapLock;
|
MIHP_HEAP_LOCK_TYPE HeapLock;
|
||||||
} MIHP_Heap;
|
} MIHP_Heap;
|
||||||
|
|
||||||
/* API Interface */
|
/* API Interface */
|
||||||
MIHP_Heap* MIHP_CreateHeap(MIHP_HeapConfig config);
|
bool MIHP_InitializeHeap(MIHP_Heap* heap, MIHP_HeapConfig config);
|
||||||
bool MIHP_DestroyHeap(MIHP_Heap* heap, bool force);
|
bool MIHP_IsHeapInitialized(const MIHP_Heap* heap);
|
||||||
|
bool MIHP_UninitializeHeap(MIHP_Heap* heap, bool force);
|
||||||
|
|
||||||
void* MIHP_Allocate(MIHP_Heap* heap, size_t size);
|
void* MIHP_Allocate(MIHP_Heap* heap, size_t size);
|
||||||
void* MIHP_Realloc(MIHP_Heap* heap, void* ptr, size_t newSize);
|
void* MIHP_Realloc(MIHP_Heap* heap, void* ptr, size_t newSize);
|
||||||
bool MIHP_Free(MIHP_Heap* heap, void* ptr);
|
bool MIHP_Free(MIHP_Heap* heap, void* ptr);
|
||||||
@@ -132,9 +138,15 @@ bool MIHP_DestroyHeapMemoryArea(MIHP_Heap* heap, MIHP_HeapMemoryAreaHeader* area
|
|||||||
MIHP_HeapSegmentHeader* MIHP_InitializeHeapSegment(MIHP_HeapMemoryAreaHeader* area, void* segmentStart, size_t size);
|
MIHP_HeapSegmentHeader* MIHP_InitializeHeapSegment(MIHP_HeapMemoryAreaHeader* area, void* segmentStart, size_t size);
|
||||||
bool MIHP_UninitializeHeapSegment(MIHP_HeapSegmentHeader* segment);
|
bool MIHP_UninitializeHeapSegment(MIHP_HeapSegmentHeader* segment);
|
||||||
|
|
||||||
bool MIHP_SplitHeapSegment(MIHP_HeapSegmentHeader* sourceSegment, size_t newSegmentSize, MIHP_HeapSegmentHeader** optOutNewSegment);
|
bool MIHP_SplitHeapSegment(MIHP_HeapSegmentHeader* sourceSegment, size_t newSegmentSize, MIHP_HeapSegmentHeader** outNewSegment);
|
||||||
bool MIHP_MergeHeapSegments(MIHP_HeapSegmentHeader* sourceSegment, MIHP_HeapSegmentHeader* segmentToAbsorb);
|
bool MIHP_MergeHeapSegments(MIHP_HeapSegmentHeader* sourceSegment, MIHP_HeapSegmentHeader* segmentToAbsorb);
|
||||||
|
|
||||||
|
void MIHP_AddSegmentToFreeList(MIHP_Heap* heap, MIHP_HeapSegmentHeader* segment);
|
||||||
|
void MIHP_RemoveSegmentFromFreeList(MIHP_Heap* heap, MIHP_HeapSegmentHeader* segment);
|
||||||
|
|
||||||
|
void* MIHP_GetSegmentPayloadPtr(MIHP_Heap* heap, MIHP_HeapSegmentHeader* segment);
|
||||||
|
MIHP_HeapSegmentHeader* MIHP_GetSegmentHeaderPtr(MIHP_Heap* heap, void* payloadPtr);
|
||||||
|
|
||||||
size_t MIHP_GetHeapAlignedSize(const MIHP_Heap* heap, size_t size);
|
size_t MIHP_GetHeapAlignedSize(const MIHP_Heap* heap, size_t size);
|
||||||
|
|
||||||
uint32_t MIHP_HashMemoryRegion(const void* data, size_t size);
|
uint32_t MIHP_HashMemoryRegion(const void* data, size_t size);
|
||||||
|
|||||||
@@ -5,49 +5,52 @@
|
|||||||
|
|
||||||
#define MIHP_IS_PO2(Val) (Val != 0 && (Val & (Val - 1)) == 0)
|
#define MIHP_IS_PO2(Val) (Val != 0 && (Val & (Val - 1)) == 0)
|
||||||
|
|
||||||
MIHP_Heap* MIHP_CreateHeap(MIHP_HeapConfig config)
|
bool MIHP_InitializeHeap(MIHP_Heap* heap, MIHP_HeapConfig config)
|
||||||
{
|
{
|
||||||
|
if (heap == NULL)
|
||||||
|
return false;
|
||||||
|
|
||||||
|
if (MIHP_IsHeapInitialized(heap))
|
||||||
|
return false;
|
||||||
|
|
||||||
if (config.AllocationAlignment < sizeof(size_t))
|
if (config.AllocationAlignment < sizeof(size_t))
|
||||||
return NULL;
|
return false;
|
||||||
|
|
||||||
if (!MIHP_IS_PO2(config.AllocationAlignment))
|
if (!MIHP_IS_PO2(config.AllocationAlignment))
|
||||||
return NULL;
|
return false;
|
||||||
|
|
||||||
if (config.MinimalMemoryAreaSize % config.AllocationAlignment != 0)
|
if (config.MinimalMemoryAreaSize % config.AllocationAlignment != 0)
|
||||||
return NULL;
|
return false;
|
||||||
|
|
||||||
if (config.MaximalMemoryAreaSize % config.AllocationAlignment != 0)
|
if (config.MaximalMemoryAreaSize % config.AllocationAlignment != 0)
|
||||||
return NULL;
|
return false;
|
||||||
|
|
||||||
size_t actualHeapStructAllocSize = 0;
|
|
||||||
MIHP_Heap* heap = (MIHP_Heap*)MIHP_PlatformRequestMemory(sizeof(MIHP_Heap), &actualHeapStructAllocSize);
|
|
||||||
if (heap == NULL)
|
|
||||||
return NULL;
|
|
||||||
|
|
||||||
MIHP_ASSERT(actualHeapStructAllocSize >= sizeof(MIHP_Heap));
|
|
||||||
MIHP_MEMSET(heap, sizeof(MIHP_Heap), 0);
|
MIHP_MEMSET(heap, sizeof(MIHP_Heap), 0);
|
||||||
|
|
||||||
heap->Config = config;
|
heap->Config = config;
|
||||||
heap->HeapStructureAllocationSize = actualHeapStructAllocSize;
|
heap->FirstArea = MIHP_CreateHeapMemoryArea(heap, config.MinimalMemoryAreaSize);
|
||||||
heap->FirstArea = MIHP_CreateHeapMemoryArea(heap, actualHeapStructAllocSize);
|
|
||||||
heap->LastSuccessfulAllocationArea = heap->FirstArea;
|
heap->LastSuccessfulAllocationArea = heap->FirstArea;
|
||||||
|
|
||||||
if (heap->FirstArea == NULL)
|
|
||||||
{
|
|
||||||
MIHP_PlatformFreeMemory(heap, heap->HeapStructureAllocationSize);
|
|
||||||
return NULL;
|
|
||||||
}
|
|
||||||
|
|
||||||
heap->FirstArea->Checksum = MIHP_GenerateHeapMemoryAreaChecksum(heap->FirstArea);
|
heap->FirstArea->Checksum = MIHP_GenerateHeapMemoryAreaChecksum(heap->FirstArea);
|
||||||
|
|
||||||
return heap;
|
return heap;
|
||||||
}
|
}
|
||||||
|
|
||||||
bool MIHP_DestroyHeap(MIHP_Heap* heap, bool force)
|
bool MIHP_IsHeapInitialized(const MIHP_Heap* heap)
|
||||||
{
|
{
|
||||||
if (heap == NULL)
|
if (heap == NULL)
|
||||||
return false;
|
return false;
|
||||||
|
|
||||||
|
return heap->FirstArea != NULL;
|
||||||
|
}
|
||||||
|
|
||||||
|
bool MIHP_UninitializeHeap(MIHP_Heap* heap, bool force)
|
||||||
|
{
|
||||||
|
if (heap == NULL)
|
||||||
|
return false;
|
||||||
|
|
||||||
|
if (!MIHP_IsHeapInitialized(heap))
|
||||||
|
return false;
|
||||||
|
|
||||||
if (!force && heap->Stats.NumTotalOccupiedSegments > 0)
|
if (!force && heap->Stats.NumTotalOccupiedSegments > 0)
|
||||||
return false;
|
return false;
|
||||||
|
|
||||||
@@ -61,7 +64,7 @@ bool MIHP_DestroyHeap(MIHP_Heap* heap, bool force)
|
|||||||
MIHP_DestroyHeapMemoryArea(heap, currentArea);
|
MIHP_DestroyHeapMemoryArea(heap, currentArea);
|
||||||
}
|
}
|
||||||
|
|
||||||
MIHP_PlatformFreeMemory(heap, heap->HeapStructureAllocationSize);
|
MIHP_MEMSET(heap, sizeof(MIHP_Heap), 0);
|
||||||
return true;
|
return true;
|
||||||
}
|
}
|
||||||
|
|
||||||
@@ -100,12 +103,12 @@ void* MIHP_Allocate(MIHP_Heap* heap, size_t size)
|
|||||||
if (currentArea->NumOccupiedSegments == currentArea->NumSegments)
|
if (currentArea->NumOccupiedSegments == currentArea->NumSegments)
|
||||||
continue;
|
continue;
|
||||||
|
|
||||||
MIHP_HeapSegmentHeader* nextSegment = currentArea->FirstSegment;
|
MIHP_HeapSegmentHeaderFreePayload* nextFreeSegmentPayload = currentArea->FirstFreeSegment;
|
||||||
while (nextSegment)
|
while (nextFreeSegmentPayload)
|
||||||
{
|
{
|
||||||
MIHP_HeapSegmentHeader* currentSegment = nextSegment;
|
MIHP_HeapSegmentHeader* currentSegment = MIHP_GetSegmentHeaderPtr(heap, nextFreeSegmentPayload);
|
||||||
MIHP_ValidateHeapSegmentHeader(heap, currentSegment);
|
MIHP_ValidateHeapSegmentHeader(heap, currentSegment);
|
||||||
nextSegment = currentSegment->NextSegment;
|
nextFreeSegmentPayload = nextFreeSegmentPayload->NextFreeSegment;
|
||||||
|
|
||||||
if (currentSegment->OccupiedSize != 0)
|
if (currentSegment->OccupiedSize != 0)
|
||||||
continue;
|
continue;
|
||||||
@@ -120,6 +123,7 @@ void* MIHP_Allocate(MIHP_Heap* heap, size_t size)
|
|||||||
else
|
else
|
||||||
continue;
|
continue;
|
||||||
|
|
||||||
|
MIHP_RemoveSegmentFromFreeList(heap, targetSegment);
|
||||||
targetSegment->OccupiedSize = size;
|
targetSegment->OccupiedSize = size;
|
||||||
targetSegment->Checksum = MIHP_GenerateHeapSegmentChecksum(targetSegment);
|
targetSegment->Checksum = MIHP_GenerateHeapSegmentChecksum(targetSegment);
|
||||||
|
|
||||||
@@ -131,7 +135,7 @@ void* MIHP_Allocate(MIHP_Heap* heap, size_t size)
|
|||||||
|
|
||||||
MIHP_UNLOCK_HEAP(&heap->HeapLock);
|
MIHP_UNLOCK_HEAP(&heap->HeapLock);
|
||||||
|
|
||||||
void* data = (char*)targetSegment + segmentHeaderSize;
|
void* data = MIHP_GetSegmentPayloadPtr(heap, targetSegment);
|
||||||
MIHP_MEMSET(data, size, heap->Config.AllocationInitialValue);
|
MIHP_MEMSET(data, size, heap->Config.AllocationInitialValue);
|
||||||
|
|
||||||
return data;
|
return data;
|
||||||
@@ -178,10 +182,10 @@ void* MIHP_Realloc(MIHP_Heap* heap, void* ptr, size_t newSize)
|
|||||||
|
|
||||||
MIHP_LOCK_HEAP(&heap->HeapLock);
|
MIHP_LOCK_HEAP(&heap->HeapLock);
|
||||||
|
|
||||||
size_t segmentHeaderSize = MIHP_GetHeapAlignedSize(heap, sizeof(MIHP_HeapSegmentHeader));
|
MIHP_HeapSegmentHeader* segment = MIHP_GetSegmentHeaderPtr(heap, ptr);
|
||||||
MIHP_HeapSegmentHeader* segment = (MIHP_HeapSegmentHeader*)((char*)ptr - segmentHeaderSize);
|
|
||||||
MIHP_ValidateHeapSegmentHeader(heap, segment);
|
MIHP_ValidateHeapSegmentHeader(heap, segment);
|
||||||
|
|
||||||
|
size_t segmentHeaderSize = MIHP_GetHeapAlignedSize(heap, sizeof(MIHP_HeapSegmentHeader));
|
||||||
if (newSize > segment->OccupiedSize)
|
if (newSize > segment->OccupiedSize)
|
||||||
{
|
{
|
||||||
size_t maxPayloadSize = segment->SegmentSize - segmentHeaderSize;
|
size_t maxPayloadSize = segment->SegmentSize - segmentHeaderSize;
|
||||||
@@ -250,8 +254,7 @@ bool MIHP_Free(MIHP_Heap* heap, void* ptr)
|
|||||||
|
|
||||||
MIHP_LOCK_HEAP(&heap->HeapLock);
|
MIHP_LOCK_HEAP(&heap->HeapLock);
|
||||||
|
|
||||||
size_t segmentHeaderSize = MIHP_GetHeapAlignedSize(heap, sizeof(MIHP_HeapSegmentHeader));
|
MIHP_HeapSegmentHeader* segment = MIHP_GetSegmentHeaderPtr(heap, ptr);
|
||||||
MIHP_HeapSegmentHeader* segment = (MIHP_HeapSegmentHeader*)((char*)ptr - segmentHeaderSize);
|
|
||||||
MIHP_ValidateHeapSegmentHeader(heap, segment);
|
MIHP_ValidateHeapSegmentHeader(heap, segment);
|
||||||
|
|
||||||
MIHP_HeapMemoryAreaHeader* area = segment->OwningMemoryArea;
|
MIHP_HeapMemoryAreaHeader* area = segment->OwningMemoryArea;
|
||||||
@@ -260,11 +263,10 @@ bool MIHP_Free(MIHP_Heap* heap, void* ptr)
|
|||||||
if (segment->OccupiedSize == 0)
|
if (segment->OccupiedSize == 0)
|
||||||
{
|
{
|
||||||
MIHP_HeapCorruptionInfo corruptionInfo = {0};
|
MIHP_HeapCorruptionInfo corruptionInfo = {0};
|
||||||
corruptionInfo.Heap = heap;
|
|
||||||
corruptionInfo.Type = MIHP_HEAP_CORRUPTION_TYPE_DOUBLE_FREE;
|
corruptionInfo.Type = MIHP_HEAP_CORRUPTION_TYPE_DOUBLE_FREE;
|
||||||
corruptionInfo.Ptr = ptr;
|
corruptionInfo.Ptr = ptr;
|
||||||
|
|
||||||
MIHP_PlatformOnHeapCorruptionDetected(corruptionInfo);
|
MIHP_PlatformOnHeapCorruptionDetected(heap, corruptionInfo);
|
||||||
return false;
|
return false;
|
||||||
}
|
}
|
||||||
|
|
||||||
@@ -276,6 +278,8 @@ bool MIHP_Free(MIHP_Heap* heap, void* ptr)
|
|||||||
|
|
||||||
heap->Stats.NumTotalOccupiedSegments--;
|
heap->Stats.NumTotalOccupiedSegments--;
|
||||||
|
|
||||||
|
MIHP_AddSegmentToFreeList(heap, segment);
|
||||||
|
|
||||||
if (area->NumOccupiedSegments == 0 && heap->Stats.NumMemoryAreas > 1)
|
if (area->NumOccupiedSegments == 0 && heap->Stats.NumMemoryAreas > 1)
|
||||||
{
|
{
|
||||||
MIHP_HeapMemoryAreaHeader* prevArea = area->PreviousArea;
|
MIHP_HeapMemoryAreaHeader* prevArea = area->PreviousArea;
|
||||||
@@ -393,7 +397,7 @@ MIHP_HeapMemoryAreaHeader* MIHP_CreateHeapMemoryArea(MIHP_Heap* heap, size_t req
|
|||||||
effectiveSize = MIHP_MIN(effectiveSize, heap->Config.MaximalMemoryAreaSize);
|
effectiveSize = MIHP_MIN(effectiveSize, heap->Config.MaximalMemoryAreaSize);
|
||||||
|
|
||||||
size_t actualSize = 0;
|
size_t actualSize = 0;
|
||||||
MIHP_HeapMemoryAreaHeader* area = (MIHP_HeapMemoryAreaHeader*)MIHP_PlatformRequestMemory(effectiveSize, &actualSize);
|
MIHP_HeapMemoryAreaHeader* area = (MIHP_HeapMemoryAreaHeader*)MIHP_PlatformRequestMemory(heap, effectiveSize, &actualSize);
|
||||||
if (area == NULL)
|
if (area == NULL)
|
||||||
return NULL;
|
return NULL;
|
||||||
|
|
||||||
@@ -423,7 +427,7 @@ bool MIHP_DestroyHeapMemoryArea(MIHP_Heap* heap, MIHP_HeapMemoryAreaHeader* memo
|
|||||||
size_t areaNumOccupiedSegments = memoryArea->NumOccupiedSegments;
|
size_t areaNumOccupiedSegments = memoryArea->NumOccupiedSegments;
|
||||||
size_t areaSize = memoryArea->AreaSize;
|
size_t areaSize = memoryArea->AreaSize;
|
||||||
|
|
||||||
if (!MIHP_PlatformFreeMemory(memoryArea, memoryArea->AreaSize))
|
if (!MIHP_PlatformFreeMemory(heap, memoryArea, memoryArea->AreaSize))
|
||||||
return false;
|
return false;
|
||||||
|
|
||||||
heap->Stats.NumTotalSegments -= areaNumSegments;
|
heap->Stats.NumTotalSegments -= areaNumSegments;
|
||||||
@@ -452,6 +456,8 @@ MIHP_HeapSegmentHeader* MIHP_InitializeHeapSegment(MIHP_HeapMemoryAreaHeader* ar
|
|||||||
|
|
||||||
area->OwningHeap->Stats.NumTotalSegments++;
|
area->OwningHeap->Stats.NumTotalSegments++;
|
||||||
|
|
||||||
|
MIHP_AddSegmentToFreeList(area->OwningHeap, segment);
|
||||||
|
|
||||||
return segment;
|
return segment;
|
||||||
}
|
}
|
||||||
|
|
||||||
@@ -462,6 +468,8 @@ bool MIHP_UninitializeHeapSegment(MIHP_HeapSegmentHeader* segment)
|
|||||||
if (segment->OccupiedSize > 0)
|
if (segment->OccupiedSize > 0)
|
||||||
return false;
|
return false;
|
||||||
|
|
||||||
|
MIHP_RemoveSegmentFromFreeList(segment->OwningMemoryArea->OwningHeap, segment);
|
||||||
|
|
||||||
segment->OwningMemoryArea->NumSegments--;
|
segment->OwningMemoryArea->NumSegments--;
|
||||||
segment->OwningMemoryArea->Checksum = MIHP_GenerateHeapMemoryAreaChecksum(segment->OwningMemoryArea);
|
segment->OwningMemoryArea->Checksum = MIHP_GenerateHeapMemoryAreaChecksum(segment->OwningMemoryArea);
|
||||||
segment->OwningMemoryArea->OwningHeap->Stats.NumTotalSegments--;
|
segment->OwningMemoryArea->OwningHeap->Stats.NumTotalSegments--;
|
||||||
@@ -471,7 +479,7 @@ bool MIHP_UninitializeHeapSegment(MIHP_HeapSegmentHeader* segment)
|
|||||||
return true;
|
return true;
|
||||||
}
|
}
|
||||||
|
|
||||||
bool MIHP_SplitHeapSegment(MIHP_HeapSegmentHeader* sourceSegment, size_t newSegmentMinSize, MIHP_HeapSegmentHeader** optOutNewSegment)
|
bool MIHP_SplitHeapSegment(MIHP_HeapSegmentHeader* sourceSegment, size_t newSegmentMinSize, MIHP_HeapSegmentHeader** outNewSegment)
|
||||||
{
|
{
|
||||||
MIHP_ASSERT(sourceSegment);
|
MIHP_ASSERT(sourceSegment);
|
||||||
|
|
||||||
@@ -501,12 +509,10 @@ bool MIHP_SplitHeapSegment(MIHP_HeapSegmentHeader* sourceSegment, size_t newSegm
|
|||||||
|
|
||||||
sourceSegment->NextSegment = newSegment;
|
sourceSegment->NextSegment = newSegment;
|
||||||
|
|
||||||
if (optOutNewSegment)
|
|
||||||
*optOutNewSegment = newSegment;
|
|
||||||
|
|
||||||
newSegment->Checksum = MIHP_GenerateHeapSegmentChecksum(newSegment);
|
newSegment->Checksum = MIHP_GenerateHeapSegmentChecksum(newSegment);
|
||||||
sourceSegment->Checksum = MIHP_GenerateHeapSegmentChecksum(sourceSegment);
|
sourceSegment->Checksum = MIHP_GenerateHeapSegmentChecksum(sourceSegment);
|
||||||
|
|
||||||
|
*outNewSegment = newSegment;
|
||||||
return true;
|
return true;
|
||||||
}
|
}
|
||||||
|
|
||||||
@@ -536,6 +542,61 @@ bool MIHP_MergeHeapSegments(MIHP_HeapSegmentHeader* sourceSegment, MIHP_HeapSegm
|
|||||||
return true;
|
return true;
|
||||||
}
|
}
|
||||||
|
|
||||||
|
void MIHP_AddSegmentToFreeList(MIHP_Heap* heap, MIHP_HeapSegmentHeader* segment)
|
||||||
|
{
|
||||||
|
MIHP_ASSERT(segment->OccupiedSize == 0);
|
||||||
|
MIHP_HeapMemoryAreaHeader* area = segment->OwningMemoryArea;
|
||||||
|
MIHP_HeapSegmentHeaderFreePayload* list = (MIHP_HeapSegmentHeaderFreePayload*)MIHP_GetSegmentPayloadPtr(heap, segment);
|
||||||
|
|
||||||
|
list->PreviousFreeSegment = NULL;
|
||||||
|
list->NextFreeSegment = area->FirstFreeSegment;
|
||||||
|
|
||||||
|
if (area->FirstFreeSegment)
|
||||||
|
area->FirstFreeSegment->PreviousFreeSegment = list;
|
||||||
|
|
||||||
|
area->FirstFreeSegment = list;
|
||||||
|
area->Checksum = MIHP_GenerateHeapMemoryAreaChecksum(area);
|
||||||
|
}
|
||||||
|
|
||||||
|
void MIHP_RemoveSegmentFromFreeList(MIHP_Heap* heap, MIHP_HeapSegmentHeader* segment)
|
||||||
|
{
|
||||||
|
MIHP_ASSERT(segment->OccupiedSize == 0);
|
||||||
|
|
||||||
|
MIHP_HeapMemoryAreaHeader* area = segment->OwningMemoryArea;
|
||||||
|
MIHP_HeapSegmentHeaderFreePayload* list = (MIHP_HeapSegmentHeaderFreePayload*)MIHP_GetSegmentPayloadPtr(heap, segment);
|
||||||
|
|
||||||
|
if (list->PreviousFreeSegment)
|
||||||
|
list->PreviousFreeSegment->NextFreeSegment = list->NextFreeSegment;
|
||||||
|
|
||||||
|
if (list->NextFreeSegment)
|
||||||
|
list->NextFreeSegment->PreviousFreeSegment = list->PreviousFreeSegment;
|
||||||
|
|
||||||
|
if (area->FirstFreeSegment == list)
|
||||||
|
{
|
||||||
|
area->FirstFreeSegment = list->NextFreeSegment;
|
||||||
|
area->Checksum = MIHP_GenerateHeapMemoryAreaChecksum(area);
|
||||||
|
}
|
||||||
|
|
||||||
|
list->NextFreeSegment = NULL;
|
||||||
|
list->PreviousFreeSegment = NULL;
|
||||||
|
}
|
||||||
|
|
||||||
|
void* MIHP_GetSegmentPayloadPtr(MIHP_Heap* heap, MIHP_HeapSegmentHeader* segment)
|
||||||
|
{
|
||||||
|
MIHP_ASSERT(heap);
|
||||||
|
MIHP_ASSERT(segment);
|
||||||
|
|
||||||
|
return (char*)segment + MIHP_GetHeapAlignedSize(heap, sizeof(MIHP_HeapSegmentHeader));
|
||||||
|
}
|
||||||
|
|
||||||
|
MIHP_HeapSegmentHeader* MIHP_GetSegmentHeaderPtr(MIHP_Heap* heap, void* payloadPtr)
|
||||||
|
{
|
||||||
|
MIHP_ASSERT(heap);
|
||||||
|
MIHP_ASSERT(payloadPtr);
|
||||||
|
|
||||||
|
return (MIHP_HeapSegmentHeader*)((char*)payloadPtr - MIHP_GetHeapAlignedSize(heap, sizeof(MIHP_HeapSegmentHeader)));
|
||||||
|
}
|
||||||
|
|
||||||
size_t MIHP_GetHeapAlignedSize(const MIHP_Heap* heap, size_t size)
|
size_t MIHP_GetHeapAlignedSize(const MIHP_Heap* heap, size_t size)
|
||||||
{
|
{
|
||||||
return (size + (heap->Config.AllocationAlignment - 1)) & ~(heap->Config.AllocationAlignment - 1);
|
return (size + (heap->Config.AllocationAlignment - 1)) & ~(heap->Config.AllocationAlignment - 1);
|
||||||
@@ -610,13 +671,12 @@ void MIHP_ValidateHeapMemoryAreaHeader(const MIHP_Heap* heap, const MIHP_HeapMem
|
|||||||
if (area->Checksum != newChecksum)
|
if (area->Checksum != newChecksum)
|
||||||
{
|
{
|
||||||
MIHP_HeapCorruptionInfo corruptionInfo;
|
MIHP_HeapCorruptionInfo corruptionInfo;
|
||||||
corruptionInfo.Heap = heap;
|
|
||||||
corruptionInfo.Type = MIHP_HEAP_CORRUPTION_TYPE_MEMORY_AREA_CHECKSUM_MISMATCH;
|
corruptionInfo.Type = MIHP_HEAP_CORRUPTION_TYPE_MEMORY_AREA_CHECKSUM_MISMATCH;
|
||||||
corruptionInfo.Ptr = area;
|
corruptionInfo.Ptr = area;
|
||||||
corruptionInfo.ExpectedValue = area->Checksum;
|
corruptionInfo.ExpectedValue = area->Checksum;
|
||||||
corruptionInfo.ActualValue = newChecksum;
|
corruptionInfo.ActualValue = newChecksum;
|
||||||
|
|
||||||
MIHP_PlatformOnHeapCorruptionDetected(corruptionInfo);
|
MIHP_PlatformOnHeapCorruptionDetected(heap, corruptionInfo);
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
|
||||||
@@ -637,17 +697,16 @@ void MIHP_ValidateHeapSegmentHeader(const MIHP_Heap* heap, const MIHP_HeapSegmen
|
|||||||
if (segment->Checksum != newChecksum)
|
if (segment->Checksum != newChecksum)
|
||||||
{
|
{
|
||||||
MIHP_HeapCorruptionInfo corruptionInfo;
|
MIHP_HeapCorruptionInfo corruptionInfo;
|
||||||
corruptionInfo.Heap = heap;
|
|
||||||
corruptionInfo.Type = MIHP_HEAP_CORRUPTION_TYPE_SEGMENT_CHECKSUM_MISMATCH;
|
corruptionInfo.Type = MIHP_HEAP_CORRUPTION_TYPE_SEGMENT_CHECKSUM_MISMATCH;
|
||||||
corruptionInfo.Ptr = segment;
|
corruptionInfo.Ptr = segment;
|
||||||
corruptionInfo.ExpectedValue = segment->Checksum;
|
corruptionInfo.ExpectedValue = segment->Checksum;
|
||||||
corruptionInfo.ActualValue = newChecksum;
|
corruptionInfo.ActualValue = newChecksum;
|
||||||
|
|
||||||
MIHP_PlatformOnHeapCorruptionDetected(corruptionInfo);
|
MIHP_PlatformOnHeapCorruptionDetected(heap, corruptionInfo);
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
|
||||||
size_t MIHP_GetMinimalPayloadSize(const MIHP_Heap* heap)
|
size_t MIHP_GetMinimalPayloadSize(const MIHP_Heap* heap)
|
||||||
{
|
{
|
||||||
return heap->Config.AllocationAlignment;
|
return MIHP_MAX(heap->Config.AllocationAlignment, sizeof(MIHP_HeapSegmentHeaderFreePayload));
|
||||||
}
|
}
|
||||||
|
|||||||
@@ -7,37 +7,39 @@
|
|||||||
|
|
||||||
#define USE_MALLOC 0
|
#define USE_MALLOC 0
|
||||||
|
|
||||||
#define MIHP_ValidateHeap(x)
|
//#define MIHP_ValidateHeap(x)
|
||||||
|
|
||||||
void* MIHP_PlatformRequestMemory(size_t minRequestedSize, size_t* outActualSize)
|
void* MIHP_PlatformRequestMemory(const MIHP_Heap* heap, size_t minRequestedSize, size_t* outActualSize)
|
||||||
{
|
{
|
||||||
*outActualSize = minRequestedSize;
|
*outActualSize = minRequestedSize;
|
||||||
return malloc(minRequestedSize);
|
return malloc(minRequestedSize);
|
||||||
}
|
}
|
||||||
|
|
||||||
bool MIHP_PlatformFreeMemory(void* ptr, size_t actualSize)
|
bool MIHP_PlatformFreeMemory(const MIHP_Heap* heap, void* ptr, size_t actualSize)
|
||||||
{
|
{
|
||||||
free(ptr);
|
free(ptr);
|
||||||
return true;
|
return true;
|
||||||
}
|
}
|
||||||
|
|
||||||
void MIHP_PlatformOnHeapCorruptionDetected(MIHP_HeapCorruptionInfo info)
|
void MIHP_PlatformOnHeapCorruptionDetected(const MIHP_Heap* heap, MIHP_HeapCorruptionInfo info)
|
||||||
{
|
{
|
||||||
__debugbreak();
|
__debugbreak();
|
||||||
}
|
}
|
||||||
|
|
||||||
#define NUM_ALLOCATIONS (4096 * 4)
|
#define NUM_ALLOCATIONS (4096 * 128)
|
||||||
|
|
||||||
void* myptrs[NUM_ALLOCATIONS] = { 0 };
|
char* myptrs[NUM_ALLOCATIONS] = { 0 };
|
||||||
|
|
||||||
int main()
|
int main()
|
||||||
{
|
{
|
||||||
MIHP_HeapConfig config = {0};
|
MIHP_HeapConfig config = {0};
|
||||||
config.AllocationInitialValue = 0xbe;
|
config.AllocationInitialValue = 'f'; //0xbe;
|
||||||
config.AllocationAlignment = 16;
|
config.AllocationAlignment = 16;
|
||||||
config.MinimalMemoryAreaSize = 4096 * 32;
|
config.MinimalMemoryAreaSize = 4096 * 32;
|
||||||
config.MaximalMemoryAreaSize = 4096ull * 4096ull * 4096ull;
|
config.MaximalMemoryAreaSize = 4096ull * 4096ull * 4096ull;
|
||||||
MIHP_Heap* myHeap = MIHP_CreateHeap(config);
|
|
||||||
|
MIHP_Heap myHeap = { 0 };
|
||||||
|
MIHP_InitializeHeap(&myHeap, config);
|
||||||
|
|
||||||
for (int i = 0; i < NUM_ALLOCATIONS; i++)
|
for (int i = 0; i < NUM_ALLOCATIONS; i++)
|
||||||
{
|
{
|
||||||
@@ -45,8 +47,9 @@ int main()
|
|||||||
#if USE_MALLOC
|
#if USE_MALLOC
|
||||||
myptrs[i] = malloc(size);
|
myptrs[i] = malloc(size);
|
||||||
#else
|
#else
|
||||||
myptrs[i] = MIHP_Allocate(myHeap, size);
|
myptrs[i] = MIHP_Allocate(&myHeap, size);
|
||||||
MIHP_ValidateHeap(myHeap);
|
myptrs[i][size - 1] = '\0';
|
||||||
|
MIHP_ValidateHeap(&myHeap);
|
||||||
#endif
|
#endif
|
||||||
}
|
}
|
||||||
|
|
||||||
@@ -59,8 +62,8 @@ int main()
|
|||||||
#if USE_MALLOC
|
#if USE_MALLOC
|
||||||
free(myptrs[i]);
|
free(myptrs[i]);
|
||||||
#else
|
#else
|
||||||
MIHP_Free(myHeap, myptrs[i]);
|
MIHP_Free(&myHeap, myptrs[i]);
|
||||||
MIHP_ValidateHeap(myHeap);
|
MIHP_ValidateHeap(&myHeap);
|
||||||
#endif
|
#endif
|
||||||
|
|
||||||
myptrs[i] = NULL;
|
myptrs[i] = NULL;
|
||||||
@@ -72,15 +75,17 @@ int main()
|
|||||||
for (int i = 0; i < NUM_ALLOCATIONS; i++)
|
for (int i = 0; i < NUM_ALLOCATIONS; i++)
|
||||||
{
|
{
|
||||||
volatile int n = i;
|
volatile int n = i;
|
||||||
if (myptrs[i])
|
if (!myptrs[i])
|
||||||
{
|
{
|
||||||
size_t size = 300 + rand() % 500;
|
size_t size = 300 + rand() % 500;
|
||||||
|
|
||||||
#if USE_MALLOC
|
#if USE_MALLOC
|
||||||
myptrs[i] = realloc(myptrs[i], size);
|
myptrs[i] = realloc(myptrs[i], size);
|
||||||
#else
|
#else
|
||||||
myptrs[i] = MIHP_Realloc(myHeap, myptrs[i], size);
|
//myptrs[i] = MIHP_Realloc(&myHeap, myptrs[i], size);
|
||||||
MIHP_ValidateHeap(myHeap);
|
myptrs[i] = MIHP_Allocate(&myHeap, size);
|
||||||
|
myptrs[i][size - 1] = '\0';
|
||||||
|
MIHP_ValidateHeap(&myHeap);
|
||||||
|
|
||||||
|
|
||||||
#endif
|
#endif
|
||||||
@@ -96,8 +101,8 @@ int main()
|
|||||||
#if USE_MALLOC
|
#if USE_MALLOC
|
||||||
free(myptrs[i]);
|
free(myptrs[i]);
|
||||||
#else
|
#else
|
||||||
MIHP_Free(myHeap, myptrs[i]);
|
MIHP_Free(&myHeap, myptrs[i]);
|
||||||
MIHP_ValidateHeap(myHeap);
|
MIHP_ValidateHeap(&myHeap);
|
||||||
#endif
|
#endif
|
||||||
|
|
||||||
myptrs[i] = NULL;
|
myptrs[i] = NULL;
|
||||||
|
|||||||
Reference in New Issue
Block a user