Skip to content

[concurrency] Implement the Task allocator as bump-pointer allocator. #34880

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
merged 2 commits into from
Dec 10, 2020
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
2 changes: 2 additions & 0 deletions stdlib/public/Concurrency/Task.cpp
Original file line number Diff line number Diff line change
Expand Up @@ -311,6 +311,8 @@ AsyncTaskAndContext swift::swift_task_create_future_f(
initialContext->Flags.setShouldNotDeallocateInCallee(true);

// Initialize the task-local allocator.
// TODO: consider providing an initial pre-allocated first slab to the
// allocator.
_swift_task_alloc_initialize(task);

return {task, initialContext};
Expand Down
37 changes: 12 additions & 25 deletions stdlib/public/Concurrency/TaskAlloc.cpp
Original file line number Diff line number Diff line change
Expand Up @@ -19,40 +19,27 @@

#include "TaskPrivate.h"
#include "swift/Runtime/Concurrency.h"
#include "swift/Runtime/Debug.h"
#include "../runtime/StackAllocator.h"
#include <stdlib.h>
#include <vector>

using namespace swift;

namespace {

class TaskAllocator {
// Just keep track of all allocations in a vector so that we can
// verify stack discipline. We should make sure the allocator
// implementation strictly verifies allocation order at least
// until we've stabilized the compiler implementation.
std::vector<void*> Allocations;
/// The size of an allocator slab.
///
/// TODO: find the optimal value by experiment.
static constexpr size_t SlabCapacity = 1024;

public:
void *alloc(size_t size) {
void *ptr = malloc(size);
Allocations.push_back(ptr);
return ptr;
}
using TaskAllocator = StackAllocator<SlabCapacity>;

void dealloc(void *ptr) {
if (Allocations.empty() || Allocations.back() != ptr)
fatalError(0, "pointer was not the last allocation on this task");
struct GlobalAllocator {
TaskAllocator allocator;
void *spaceForFirstSlab[64];

Allocations.pop_back();
free(ptr);
}
GlobalAllocator() : allocator(spaceForFirstSlab, sizeof(spaceForFirstSlab)) {}
};

static_assert(sizeof(TaskAllocator) <= sizeof(AsyncTask::AllocatorPrivate),
"task allocator must fit in allocator-private slot");

static_assert(alignof(TaskAllocator) <= alignof(decltype(AsyncTask::AllocatorPrivate)),
"task allocator must not be more aligned than "
"allocator-private slot");
Expand All @@ -70,8 +57,8 @@ static TaskAllocator &allocator(AsyncTask *task) {
// FIXME: this fall-back shouldn't be necessary, but it's useful
// for now, since the current execution tests aren't setting up a task
// properly.
static TaskAllocator global;
return global;
static GlobalAllocator global;
return global.allocator;
}

void swift::_swift_task_alloc_destroy(AsyncTask *task) {
Expand Down
292 changes: 292 additions & 0 deletions stdlib/public/runtime/StackAllocator.h
Original file line number Diff line number Diff line change
@@ -0,0 +1,292 @@
//===--- StackAllocator.h - A stack allocator -----------------------------===//
//
// This source file is part of the Swift.org open source project
//
// Copyright (c) 2014 - 2020 Apple Inc. and the Swift project authors
// Licensed under Apache License v2.0 with Runtime Library Exception
//
// See https://swift.org/LICENSE.txt for license information
// See https://swift.org/CONTRIBUTORS.txt for the list of Swift project authors
//
//===----------------------------------------------------------------------===//
//
// A bump-pointer allocator that obeys a stack discipline.
//
//===----------------------------------------------------------------------===//

#include "swift/Runtime/Debug.h"
#include "llvm/Support/Alignment.h"
#include <cstddef>

namespace swift {

/// A bump-pointer allocator that obeys a stack discipline.
///
/// StackAllocator performs fast allocation and deallocation of memory by
/// implementing a bump-pointer allocation strategy.
///
/// This isn't strictly a bump-pointer allocator as it uses backing slabs of
/// memory rather than relying on a boundless contiguous heap. However, it has
/// bump-pointer semantics in that it is a monotonically growing pool of memory
/// where every allocation is found by merely allocating the next N bytes in
/// the slab, or the next N bytes in the next slab.
///
/// In contrast to a pure bump-pointer allocator, it's possible to free memory.
/// Allocations and deallocations must follow a strict stack discipline. In
/// general, slabs which become unused are _not_ freed, but reused for
/// subsequent allocations.
///
/// It's possible to place the first slab into pre-allocated memory.
///
/// The SlabCapacity specifies the capacity for newly allocated slabs.
template <size_t SlabCapacity>
class StackAllocator {
private:

struct Allocation;
struct Slab;

/// The last active allocation.
///
/// A deallocate() must free this allocation.
Allocation *lastAllocation = nullptr;

/// The first slab.
Slab *firstSlab;

/// Used for unit testing.
int32_t numAllocatedSlabs = 0;

/// True if the first slab is pre-allocated.
bool firstSlabIsPreallocated;

/// The minimal alignment of allocated memory.
static constexpr size_t alignment = alignof(std::max_align_t);

/// If set to true, memory allocations are checked for buffer overflows and
/// use-after-free, similar to guard-malloc.
static constexpr bool guardAllocations =
#ifdef NDEBUG
false;
#else
true;
#endif

static constexpr uintptr_t magicUninitialized = (uintptr_t)0xcdcdcdcdcdcdcdcdull;
static constexpr uintptr_t magicEndOfAllocation = (uintptr_t)0xdeadbeafdeadbeafull;

/// A memory slab holding multiple allocations.
///
/// This struct is actually just the slab header. The slab buffer is tail
/// allocated after Slab.
struct Slab {
/// A single linked list of all allocated slabs.
Slab *next = nullptr;

// Capacity and offset do not include these header fields.
uint32_t capacity;
uint32_t currentOffset = 0;

// Here starts the tail allocated memory buffer of the slab.

Slab(size_t newCapacity) : capacity(newCapacity) {
assert((size_t)capacity == newCapacity && "capacity overflow");
}

/// The size of the slab header.
static size_t headerSize() {
return llvm::alignTo(sizeof(Slab), llvm::Align(alignment));
}

/// Return \p size with the added overhead of the slab header.
static size_t includingHeader(size_t size) {
return headerSize() + size;
}

/// Return the payload buffer address at \p atOffset.
///
/// Note: it's valid to call this function on a not-yet-constructed slab.
char *getAddr(size_t atOffset) {
return (char *)this + headerSize() + atOffset;
}

/// Return true if this slab can fit an allocation of \p size.
///
/// \p size does not include the allocation header, but must include the
/// overhead for guardAllocations (if enabled).
inline bool canAllocate(size_t size) const {
return currentOffset + Allocation::includingHeader(size) <= capacity;
}

/// Return true, if no memory is allocated in this slab.
bool isEmpty() const { return currentOffset == 0; }

/// Allocate \p alignedSize of bytes in this slab.
///
/// \p alignedSize does not include the allocation header, but must include
/// the overhead for guardAllocations (if enabled).
///
/// Precondition: \p alignedSize must be aligned up to
/// StackAllocator::alignment.
/// Precondition: there must be enough space in this slab to fit the
/// allocation.
Allocation *allocate(size_t alignedSize, Allocation *lastAllocation) {
assert(llvm::isAligned(llvm::Align(alignment), alignedSize));
assert(canAllocate(alignedSize));
void *buffer = getAddr(currentOffset);
auto *allocation = new (buffer) Allocation(lastAllocation, this);
currentOffset += Allocation::includingHeader(alignedSize);
if (guardAllocations) {
uintptr_t *endOfCurrentAllocation = (uintptr_t *)getAddr(currentOffset);
endOfCurrentAllocation[-1] = magicEndOfAllocation;
}
return allocation;
}

/// Deallocate \p allocation.
///
/// Precondition: \p allocation must be an allocation in this slab.
void deallocate(Allocation *allocation) {
assert(allocation->slab == this);
if (guardAllocations) {
auto *endOfAllocation = (uintptr_t *)getAddr(currentOffset);
if (endOfAllocation[-1] != magicEndOfAllocation)
fatalError(0, "Buffer overflow in StackAllocator");
for (auto *p = (uintptr_t *)allocation; p < endOfAllocation; ++p)
*p = magicUninitialized;
}
currentOffset = (char *)allocation - getAddr(0);
}
};

/// A single memory allocation.
///
/// This struct is actually just the allocation header. The allocated
/// memory buffer is located after Allocation.
struct Allocation {
/// A single linked list of previous allocations.
Allocation *previous;
/// The containing slab.
Slab *slab;

// Here starts the tail allocated memory.

Allocation(Allocation *previous, Slab *slab) :
previous(previous), slab(slab) {}

void *getAllocatedMemory() {
return (char *)this + headerSize();
}

/// The size of the allocation header.
static size_t headerSize() {
return llvm::alignTo(sizeof(Allocation), llvm::Align(alignment));
}

/// Return \p size with the added overhead of the allocation header.
static size_t includingHeader(size_t size) {
return headerSize() + size;
}
};

// Return a slab which is suitable to allocate \p size memory.
Slab *getSlabForAllocation(size_t size) {
Slab *slab = (lastAllocation ? lastAllocation->slab : firstSlab);
if (slab) {
// Is there enough space in the current slab?
if (slab->canAllocate(size))
return slab;

// Is there a successor slab, which we allocated before (and became free
// in the meantime)?
if (Slab *nextSlab = slab->next) {
assert(nextSlab->isEmpty());
if (nextSlab->canAllocate(size))
return nextSlab;

// No space in the next slab. Although it's empty, the size exceeds its
// capacity.
// As we have to allocate a new slab anyway, free all successor slabs
// and allocate a new one with the accumulated capacity.
size_t alreadyAllocatedCapacity = freeAllSlabs(slab->next);
size = std::max(size, alreadyAllocatedCapacity);
}
}
size_t capacity = std::max(SlabCapacity,
Allocation::includingHeader(size));
void *slabBuffer = malloc(Slab::includingHeader(capacity));
Slab *newSlab = new (slabBuffer) Slab(capacity);
if (slab)
slab->next = newSlab;
else
firstSlab = newSlab;
numAllocatedSlabs++;
return newSlab;
}

/// Deallocate all slabs after \p first and set \p first to null.
size_t freeAllSlabs(Slab *&first) {
size_t freedCapacity = 0;
Slab *slab = first;
first = nullptr;
while (slab) {
Slab *next = slab->next;
freedCapacity += slab->capacity;
free(slab);
numAllocatedSlabs--;
slab = next;
}
return freedCapacity;
}

public:
/// Construct a StackAllocator without a pre-allocated first slab.
StackAllocator() : firstSlab(nullptr), firstSlabIsPreallocated(false) { }

/// Construct a StackAllocator with a pre-allocated first slab.
StackAllocator(void *firstSlabBuffer, size_t bufferCapacity) {
char *start = (char *)llvm::alignAddr(firstSlabBuffer,
llvm::Align(alignment));
char *end = (char *)firstSlabBuffer + bufferCapacity;
assert(start + Slab::headerSize() <= end &&
"buffer for first slab too small");
firstSlab = new (start) Slab(end - start - Slab::headerSize());
firstSlabIsPreallocated = true;
}

~StackAllocator() {
if (lastAllocation)
fatalError(0, "not all allocations are deallocated");
(void)freeAllSlabs(firstSlabIsPreallocated ? firstSlab->next : firstSlab);
assert(getNumAllocatedSlabs() == 0);
}

/// Allocate a memory buffer of \p size.
void *alloc(size_t size) {
if (guardAllocations)
size += sizeof(uintptr_t);
size_t alignedSize = llvm::alignTo(size, llvm::Align(alignment));
Slab *slab = getSlabForAllocation(alignedSize);
Allocation *allocation = slab->allocate(alignedSize, lastAllocation);
lastAllocation = allocation;
assert(llvm::isAddrAligned(llvm::Align(alignment),
allocation->getAllocatedMemory()));
return allocation->getAllocatedMemory();
}

/// Deallocate memory \p ptr.
void dealloc(void *ptr) {
if (!lastAllocation || lastAllocation->getAllocatedMemory() != ptr)
fatalError(0, "freed pointer was not the last allocation");

Allocation *prev = lastAllocation->previous;
lastAllocation->slab->deallocate(lastAllocation);
lastAllocation = prev;
}

/// For unit testing.
int getNumAllocatedSlabs() { return numAllocatedSlabs; }
};

} // namespace swift

1 change: 1 addition & 0 deletions unittests/runtime/CMakeLists.txt
Original file line number Diff line number Diff line change
Expand Up @@ -79,6 +79,7 @@ if(("${SWIFT_HOST_VARIANT_SDK}" STREQUAL "${SWIFT_PRIMARY_VARIANT_SDK}") AND
Enum.cpp
Refcounting.cpp
Stdlib.cpp
StackAllocator.cpp
${PLATFORM_SOURCES}

# The runtime tests link to internal runtime symbols, which aren't exported
Expand Down
Loading