This introduces a new `address_t` type and two new casts: `pointer_cast` and `address_cast` for casting between an `address_t` and a pointer. These should make it easier to audit the codebase for casts between pointers and integers. In particular, the remaining `reinterpret_cast`s and `pointer_cast`s should be the only places where we could perform invalid pointer arithmetic. Also adds a `pointer_offset` helper that adds an offset (in bytes) to a pointer, preserving its original type. This is a sufficiently common pattern that it seemed worthwhile to centralise it.
167 lines
4.4 KiB
C++
167 lines
4.4 KiB
C++
#pragma once
|
|
|
|
#include "superslab.h"
|
|
|
|
namespace snmalloc
|
|
{
|
|
class Slab
|
|
{
|
|
private:
|
|
uint16_t pointer_to_index(void* p)
|
|
{
|
|
// Get the offset from the slab for a memory location.
|
|
return static_cast<uint16_t>(address_cast(p) - address_cast(this));
|
|
}
|
|
|
|
public:
|
|
static Slab* get(void* p)
|
|
{
|
|
return pointer_cast<Slab>(address_cast(p) & SLAB_MASK);
|
|
}
|
|
|
|
Metaslab& get_meta()
|
|
{
|
|
Superslab* super = Superslab::get(this);
|
|
return super->get_meta(this);
|
|
}
|
|
|
|
SlabLink* get_link()
|
|
{
|
|
return get_meta().get_link(this);
|
|
}
|
|
|
|
template<ZeroMem zero_mem, typename MemoryProvider>
|
|
void* alloc(SlabList* sc, size_t rsize, MemoryProvider& memory_provider)
|
|
{
|
|
// Read the head from the metadata stored in the superslab.
|
|
Metaslab& meta = get_meta();
|
|
uint16_t head = meta.head;
|
|
|
|
assert(rsize == sizeclass_to_size(meta.sizeclass));
|
|
meta.debug_slab_invariant(is_short(), this);
|
|
assert(sc->get_head() == (SlabLink*)((size_t)this + meta.link));
|
|
assert(!meta.is_full());
|
|
|
|
meta.add_use();
|
|
|
|
void* p;
|
|
|
|
if ((head & 1) == 0)
|
|
{
|
|
void* node = pointer_offset(this, head);
|
|
|
|
// Read the next slot from the memory that's about to be allocated.
|
|
uint16_t next = *static_cast<uint16_t*>(node);
|
|
meta.head = next;
|
|
|
|
p = remove_cache_friendly_offset(node, meta.sizeclass);
|
|
}
|
|
else
|
|
{
|
|
// This slab is being bump allocated.
|
|
p = pointer_offset(this, head - 1);
|
|
meta.head = (head + static_cast<uint16_t>(rsize)) & (SLAB_SIZE - 1);
|
|
if (meta.head == 1)
|
|
{
|
|
meta.set_full();
|
|
}
|
|
}
|
|
|
|
// If we're full, we're no longer the current slab for this sizeclass
|
|
if (meta.is_full())
|
|
sc->pop();
|
|
|
|
meta.debug_slab_invariant(is_short(), this);
|
|
|
|
if constexpr (zero_mem == YesZero)
|
|
{
|
|
if (rsize < PAGE_ALIGNED_SIZE)
|
|
memory_provider.zero(p, rsize);
|
|
else
|
|
memory_provider.template zero<true>(p, rsize);
|
|
}
|
|
|
|
return p;
|
|
}
|
|
|
|
bool is_start_of_object(Superslab* super, void* p)
|
|
{
|
|
Metaslab& meta = super->get_meta(this);
|
|
return is_multiple_of_sizeclass(
|
|
sizeclass_to_size(meta.sizeclass),
|
|
address_cast(this) + SLAB_SIZE - address_cast(p));
|
|
}
|
|
|
|
// Returns true, if it alters get_status.
|
|
template<typename MemoryProvider>
|
|
inline typename Superslab::Action dealloc(
|
|
SlabList* sc, Superslab* super, void* p, MemoryProvider& memory_provider)
|
|
{
|
|
Metaslab& meta = super->get_meta(this);
|
|
|
|
bool was_full = meta.is_full();
|
|
meta.debug_slab_invariant(is_short(), this);
|
|
meta.sub_use();
|
|
|
|
if (was_full)
|
|
{
|
|
// We are not on the sizeclass list.
|
|
if (!meta.is_unused())
|
|
{
|
|
// Update the head and the sizeclass link.
|
|
uint16_t index = pointer_to_index(p);
|
|
meta.head = index;
|
|
assert(meta.valid_head(is_short()));
|
|
meta.link = index;
|
|
|
|
// Push on the list of slabs for this sizeclass.
|
|
sc->insert(meta.get_link(this));
|
|
meta.debug_slab_invariant(is_short(), this);
|
|
}
|
|
else
|
|
{
|
|
// Dealloc on the superslab.
|
|
if (is_short())
|
|
return super->dealloc_short_slab(memory_provider);
|
|
|
|
return super->dealloc_slab(this, memory_provider);
|
|
}
|
|
}
|
|
else if (meta.is_unused())
|
|
{
|
|
// Remove from the sizeclass list and dealloc on the superslab.
|
|
sc->remove(meta.get_link(this));
|
|
|
|
if (is_short())
|
|
return super->dealloc_short_slab(memory_provider);
|
|
|
|
return super->dealloc_slab(this, memory_provider);
|
|
}
|
|
else
|
|
{
|
|
#ifndef NDEBUG
|
|
sc->debug_check_contains(meta.get_link(this));
|
|
#endif
|
|
|
|
// Update the head and the next pointer in the free list.
|
|
uint16_t head = meta.head;
|
|
uint16_t current = pointer_to_index(p);
|
|
|
|
// Set the head to the memory being deallocated.
|
|
meta.head = current;
|
|
assert(meta.valid_head(is_short()));
|
|
|
|
// Set the next pointer to the previous head.
|
|
*static_cast<uint16_t*>(p) = head;
|
|
meta.debug_slab_invariant(is_short(), this);
|
|
}
|
|
return Superslab::NoSlabReturn;
|
|
}
|
|
|
|
bool is_short()
|
|
{
|
|
return (address_cast(this) & SUPERSLAB_MASK) == address_cast(this);
|
|
}
|
|
};
|
|
}
|