2026-08-15 15:17:01 -07:00
|
|
|
//
|
|
|
|
|
// heap.cpp
|
|
|
|
|
// Kraken Engine
|
|
|
|
|
//
|
|
|
|
|
// Copyright 2026 Kearwood Gilbert. All rights reserved.
|
|
|
|
|
//
|
|
|
|
|
// Redistribution and use in source and binary forms, with or without modification, are
|
|
|
|
|
// permitted provided that the following conditions are met:
|
|
|
|
|
//
|
|
|
|
|
// 1. Redistributions of source code must retain the above copyright notice, this list of
|
|
|
|
|
// conditions and the following disclaimer.
|
|
|
|
|
//
|
|
|
|
|
// 2. Redistributions in binary form must reproduce the above copyright notice, this list
|
|
|
|
|
// of conditions and the following disclaimer in the documentation and/or other materials
|
|
|
|
|
// provided with the distribution.
|
|
|
|
|
//
|
|
|
|
|
// THIS SOFTWARE IS PROVIDED BY KEARWOOD GILBERT ''AS IS'' AND ANY EXPRESS OR IMPLIED
|
|
|
|
|
// WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND
|
|
|
|
|
// FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL KEARWOOD GILBERT OR
|
|
|
|
|
// CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR
|
|
|
|
|
// CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR
|
|
|
|
|
// SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON
|
|
|
|
|
// ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING
|
|
|
|
|
// NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF
|
|
|
|
|
// ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
|
|
|
|
|
//
|
|
|
|
|
// The views and conclusions contained in the software and documentation are those of the
|
|
|
|
|
// authors and should not be interpreted as representing official policies, either expressed
|
|
|
|
|
// or implied, of Kearwood Gilbert.
|
|
|
|
|
//
|
|
|
|
|
|
|
|
|
|
#include "../include/mimir.h"
|
|
|
|
|
#include "mimir_impl.h"
|
|
|
|
|
|
|
|
|
|
#include <cassert>
|
|
|
|
|
#include <cstring>
|
|
|
|
|
#include <bit>
|
|
|
|
|
|
|
|
|
|
namespace mimir {
|
|
|
|
|
|
2026-08-15 16:07:00 -07:00
|
|
|
// Two-Level Segregated Fit (TLSF): http://www.gii.upv.es/tlsf/files/papers/ecrts04_tlsf.pdf
|
|
|
|
|
|
2026-08-15 19:44:47 -07:00
|
|
|
const size_t kMinblockSize = 32;
|
|
|
|
|
|
|
|
|
|
struct TLSFBlock
|
|
|
|
|
{
|
|
|
|
|
size_t size; // LSB: T, F: T = Last physical block, F = Free block
|
|
|
|
|
TLSFBlock* prevPhys;
|
|
|
|
|
TLSFBlock* prevFree;
|
|
|
|
|
TLSFBlock* nextFree;
|
|
|
|
|
};
|
2026-08-17 23:47:22 -07:00
|
|
|
static_assert(sizeof(TLSFBlock) == kMinblockSize);
|
2026-08-15 19:44:47 -07:00
|
|
|
|
|
|
|
|
struct TLSFIndex
|
|
|
|
|
{
|
|
|
|
|
uint64_t firstLevelFreeBitMap;
|
|
|
|
|
uint8_t secondLevelFreeBitMap[60];
|
2026-08-17 23:47:22 -07:00
|
|
|
TLSFBlock* secondLevelFreeBlocks[60][16];
|
2026-08-15 19:44:47 -07:00
|
|
|
};
|
|
|
|
|
|
2026-08-17 23:47:22 -07:00
|
|
|
// First Level Ranges:
|
|
|
|
|
// 0: 0b00000000010000 ( 1 ~ 16 )
|
|
|
|
|
// 1: 0b00000000100000 ( 17 ~ 32 )
|
|
|
|
|
// 2: 0b00000001000000 ( 33 ~ 64 )
|
|
|
|
|
// 3: 0b00000010000000 ( 65 ~ 128 )
|
|
|
|
|
// 4: 0b00000100000000 ( 129 ~ 256 )
|
|
|
|
|
// 5: 0b00001000000000 ( 257 ~ 512 )
|
|
|
|
|
// 6: 0b00010000000000 ( 513 ~ 1024 )
|
|
|
|
|
// 7: 0b00100000000000 ( 1025 ~ 2048 )
|
|
|
|
|
//
|
|
|
|
|
// bit_width(15): 4 bit_floor(15): 0b000001000
|
|
|
|
|
// bit_width(16): 5 bit_floor(16): 0b000010000
|
|
|
|
|
// bit_width(31): 5 bit_floor(31): 0b000010000
|
|
|
|
|
// bit_width(32): 6 bit_floor(32): 0b000100000
|
|
|
|
|
// bit_width(63): 6 bit_floor(63): 0b000100000
|
|
|
|
|
// bit_width(64): 7 bit_floor(64): 0b001000000
|
|
|
|
|
|
|
|
|
|
/*
|
2026-08-15 19:44:47 -07:00
|
|
|
uint64_t blockSizeToIndex(uint64_t size)
|
|
|
|
|
{
|
|
|
|
|
// MSB 60 bits are the first level index
|
|
|
|
|
// LSB 4 bits is the second level index
|
2026-08-17 23:47:22 -07:00
|
|
|
|
|
|
|
|
// size 0b0000001101011010000
|
|
|
|
|
// bit_width 13
|
|
|
|
|
// bit_width - 5 8
|
|
|
|
|
// size >> 8 0b0000000000000011010
|
|
|
|
|
// & 0b1111 0b1010
|
|
|
|
|
|
2026-08-15 19:44:47 -07:00
|
|
|
size_t firstLevelIndex = std::bit_width(size) - 5;
|
|
|
|
|
size_t secondLevelIndex = (size >> firstLevelIndex) & 0b1111;
|
|
|
|
|
return (firstLevelIndex << 4) | secondLevelIndex;
|
|
|
|
|
}
|
2026-08-17 23:47:22 -07:00
|
|
|
*/
|
2026-08-15 19:44:47 -07:00
|
|
|
|
2026-08-15 15:17:01 -07:00
|
|
|
Heap::Heap()
|
|
|
|
|
{
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
Heap::~Heap()
|
|
|
|
|
{
|
|
|
|
|
}
|
|
|
|
|
|
2026-08-15 16:07:00 -07:00
|
|
|
bool Heap::init(size_t maxSize)
|
2026-08-15 15:25:50 -07:00
|
|
|
{
|
2026-08-15 16:07:00 -07:00
|
|
|
if (!m_region.init(maxSize)) {
|
|
|
|
|
return false;
|
|
|
|
|
}
|
2026-08-15 19:44:47 -07:00
|
|
|
if (!m_region.resize(sizeof(TLSFIndex) + 16)) {
|
|
|
|
|
return false;
|
|
|
|
|
}
|
|
|
|
|
TLSFIndex* index = (TLSFIndex*)m_region.getAddress();
|
|
|
|
|
memset(index, 0, sizeof(TLSFIndex));
|
|
|
|
|
|
|
|
|
|
// Start with one free block, filling the entire Region
|
|
|
|
|
TLSFBlock* block = (TLSFBlock*)(m_region.getAddress() + sizeof(TLSFIndex));
|
|
|
|
|
block->nextFree = nullptr;
|
|
|
|
|
block->prevFree = nullptr;
|
|
|
|
|
block->size = m_region.getMaxSize() - sizeof(TLSFIndex);
|
|
|
|
|
block->size |= 0b11; // T=1: Last Block, F=1: Free Block
|
|
|
|
|
|
2026-08-17 23:47:22 -07:00
|
|
|
insertFreeBlock(block);
|
|
|
|
|
|
|
|
|
|
return true;
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
void Heap::insertFreeBlock(TLSFBlock* block)
|
|
|
|
|
{
|
2026-08-15 19:44:47 -07:00
|
|
|
size_t usableSize = (block->size & ~0b11) - 16;
|
2026-08-17 23:47:22 -07:00
|
|
|
|
|
|
|
|
// Add the block to the index
|
|
|
|
|
|
|
|
|
|
TLSFIndex* index = (TLSFIndex*)m_region.getAddress();
|
|
|
|
|
|
|
|
|
|
size_t firstLevelIndex = std::bit_width(usableSize) - 5;
|
|
|
|
|
size_t secondLevelIndex = (usableSize >> firstLevelIndex) & 0b1111;
|
2026-08-15 19:44:47 -07:00
|
|
|
index->firstLevelFreeBitMap |= std::bit_floor(usableSize);
|
2026-08-17 23:47:22 -07:00
|
|
|
index->secondLevelFreeBitMap[firstLevelIndex] |= secondLevelIndex & 0b1111;
|
|
|
|
|
index->secondLevelFreeBlocks[firstLevelIndex][secondLevelIndex] = block;
|
|
|
|
|
}
|
2026-08-15 19:44:47 -07:00
|
|
|
|
2026-08-17 23:47:22 -07:00
|
|
|
void Heap::removeFreeBlock(TLSFBlock* block)
|
|
|
|
|
{
|
|
|
|
|
// Remove the block from the index
|
|
|
|
|
TLSFIndex* index = (TLSFIndex*)m_region.getAddress();
|
|
|
|
|
|
|
|
|
|
size_t usableSize = (block->size & ~0b11) - 16;
|
2026-08-15 15:25:50 -07:00
|
|
|
}
|
|
|
|
|
|
|
|
|
|
// Allocate `size` bytes
|
|
|
|
|
std::byte* Heap::alloc(size_t size)
|
|
|
|
|
{
|
2026-08-17 23:47:22 -07:00
|
|
|
TLSFIndex* index = (TLSFIndex*)m_region.getAddress();
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
// size: 0b0000001110011101 (925)
|
|
|
|
|
// bit_ceil(size): 0b0000010000000000
|
|
|
|
|
// - 1 ... 0b0000001111111111
|
|
|
|
|
// ~ ... 0b1111110000000000
|
|
|
|
|
|
|
|
|
|
uint64_t possibleFirstLevels = ~(std::bit_ceil(size) - 1);
|
|
|
|
|
uint64_t freeFirstLevels = index->firstLevelFreeBitMap & possibleFirstLevels;
|
|
|
|
|
uint64_t selectedFirstLevel = std::countr_zero(freeFirstLevels);
|
|
|
|
|
if (selectedFirstLevel < 5) {
|
|
|
|
|
selectedFirstLevel = 0;
|
|
|
|
|
} else {
|
|
|
|
|
selectedFirstLevel -= 5;
|
2026-08-15 19:44:47 -07:00
|
|
|
}
|
|
|
|
|
|
2026-08-17 23:47:22 -07:00
|
|
|
|
|
|
|
|
|
2026-08-15 15:25:50 -07:00
|
|
|
return nullptr; // not implemented
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
// Allocate `size` bytes, aligned to 16 bytes and padded to next 16-byte offset.
|
|
|
|
|
std::byte* Heap::allocA16(size_t size)
|
|
|
|
|
{
|
|
|
|
|
return nullptr; // not implemented
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
// Allocate `size` bytes, aligned to 64 bytes and padded to next 64-byte offset.
|
|
|
|
|
std::byte* Heap::allocA64(size_t size)
|
|
|
|
|
{
|
|
|
|
|
return nullptr; // not implemented
|
|
|
|
|
}
|
|
|
|
|
|
2026-08-15 19:44:47 -07:00
|
|
|
// Free the allocation at `address`
|
|
|
|
|
void Heap::free(std::byte* address)
|
|
|
|
|
{
|
|
|
|
|
}
|
|
|
|
|
|
2026-08-15 15:17:01 -07:00
|
|
|
} // namespace mimir
|