2023-10-10 05:41:07 +00:00
|
|
|
///
|
|
|
|
/// \file Arena.h
|
|
|
|
/// \author K. Isom
|
|
|
|
/// \date 2023-10-06
|
|
|
|
/// \brief Memory management using an arena.
|
|
|
|
///
|
2023-10-10 09:35:43 +00:00
|
|
|
/// Arena defines a memory management backend for pre-allocating memory.
|
2023-10-10 05:41:07 +00:00
|
|
|
///
|
2023-10-10 09:35:43 +00:00
|
|
|
/// \section PLATFORM SUPPORT
|
2023-10-10 05:41:07 +00:00
|
|
|
///
|
2023-10-10 09:35:43 +00:00
|
|
|
/// Arena will build on the major platforms, but memory-mapped files are only
|
|
|
|
/// supported on Unix-like systems. File I/O on Windows, for example, reads the
|
|
|
|
/// file into an allocated arena. See Arena::Open for more details.
|
2023-10-10 02:59:21 +00:00
|
|
|
|
2023-10-10 05:41:07 +00:00
|
|
|
|
2023-10-06 03:13:46 +00:00
|
|
|
#ifndef KIMODEM_ARENA_H
|
|
|
|
#define KIMODEM_ARENA_H
|
|
|
|
|
|
|
|
|
2023-10-09 22:23:23 +00:00
|
|
|
#include <iostream>
|
2023-10-06 03:13:46 +00:00
|
|
|
#include <sys/stat.h>
|
|
|
|
#include <cstddef>
|
|
|
|
#include <cstdint>
|
|
|
|
|
2023-10-10 13:02:21 +00:00
|
|
|
#include "Exceptions.h"
|
|
|
|
|
|
|
|
|
|
|
|
#if defined(__WIN64__) || defined(__WIN32__) || defined(WIN32)
|
|
|
|
|
|
|
|
#include <Windows.h>
|
|
|
|
#include <fileapi.h>
|
|
|
|
|
|
|
|
#endif
|
|
|
|
|
2023-10-06 03:13:46 +00:00
|
|
|
|
2023-10-09 22:23:23 +00:00
|
|
|
namespace klib {
|
|
|
|
|
|
|
|
|
2023-10-10 09:35:43 +00:00
|
|
|
/// \enum ArenaType
|
|
|
|
///
|
|
|
|
/// ArenaType describes the type of \class Arena.
|
2023-10-10 13:02:21 +00:00
|
|
|
enum class ArenaType
|
|
|
|
: uint8_t {
|
2023-10-10 09:35:43 +00:00
|
|
|
/// Uninit is an unintialized arena.
|
|
|
|
Uninit,
|
|
|
|
/// Static is an arena backed by a static block of memory.
|
|
|
|
Static,
|
|
|
|
/// Alloc is an arena backed by allocated memory.
|
|
|
|
Alloc,
|
|
|
|
/// MemoryMapped is an arena backed by a memory-mapped file.
|
|
|
|
MemoryMapped,
|
2023-10-09 22:23:23 +00:00
|
|
|
};
|
|
|
|
|
2023-10-10 05:41:07 +00:00
|
|
|
|
|
|
|
/// Arena is the class that implements a memory arena.
|
2023-10-10 09:35:43 +00:00
|
|
|
///
|
|
|
|
/// The Arena uses the concept of a cursor to point to memory in the arena. The
|
|
|
|
/// #NewCursor and #End methods return pointers to the start and end of the
|
|
|
|
/// arena memory.
|
|
|
|
///
|
2023-10-10 22:05:22 +00:00
|
|
|
/// The arena should be initialized with one of the Set methods (SetStatic,
|
2023-10-10 09:35:43 +00:00
|
|
|
/// SetAlloc) or one of the file-based options (Create, Open, MemoryMap). At
|
|
|
|
/// this point, no further memory management should be done until the end of the
|
|
|
|
/// arena's life, at which point Destroy should be called.
|
2023-10-09 22:23:23 +00:00
|
|
|
class Arena {
|
|
|
|
public:
|
2023-10-10 09:35:43 +00:00
|
|
|
/// An Arena is initialized with no backing memory.
|
2023-10-09 22:23:23 +00:00
|
|
|
Arena();
|
|
|
|
|
|
|
|
~Arena();
|
|
|
|
|
2023-10-10 09:35:43 +00:00
|
|
|
/// SetStatic points the arena to a chunk of memory. That memory is
|
|
|
|
/// intended to be statically allocated, e.g. via a global `static
|
|
|
|
/// uint8_t memory[memSize];`. If the arena is already backed, then
|
|
|
|
/// #Destroy will be called first.
|
|
|
|
///
|
|
|
|
/// \param mem A pointer to a section of memory, preferably statically
|
|
|
|
/// allocated.
|
|
|
|
/// \param memSize The size of the memory section.
|
|
|
|
/// \return Returns 0 on success and -1 on error.
|
|
|
|
int SetStatic(uint8_t *mem, size_t memSize);
|
|
|
|
|
|
|
|
/// SetAlloc allocates a chunk of memory for the arena; the arena takes
|
|
|
|
/// ownership. If the arena is already backed, then #Destroy will be
|
|
|
|
/// called first.
|
|
|
|
///
|
|
|
|
/// \param allocSize The size of memory to allocate.
|
|
|
|
/// \return Returns 0 on success and -1 on error.
|
2023-10-09 22:23:23 +00:00
|
|
|
int SetAlloc(size_t allocSize);
|
|
|
|
|
2023-10-10 13:02:21 +00:00
|
|
|
|
2023-10-10 09:35:43 +00:00
|
|
|
/// MemoryMap points the arena to a memory-mapped file. This is
|
|
|
|
/// currently only supported on Linux. If the arena is already backed,
|
|
|
|
/// then #Destroy will be called first.
|
|
|
|
///
|
|
|
|
/// \param memFileDes File descriptor to map into memory.
|
|
|
|
/// \param memSize The size of memory to map.
|
|
|
|
/// \return Returns 0 on success and -1 on error.
|
2023-10-11 01:57:43 +00:00
|
|
|
#if defined(__posix__) || defined(__linux__) || defined(__APPLE__)
|
2023-10-10 13:02:21 +00:00
|
|
|
int MemoryMap(int memFileDes, size_t memSize);
|
|
|
|
#else
|
2023-10-10 09:35:43 +00:00
|
|
|
|
2023-10-10 13:02:21 +00:00
|
|
|
int MemoryMap(int memFileDes, size_t memSize)
|
2023-10-10 19:15:14 +00:00
|
|
|
{ (void)memFileDes; (void)memSize; throw NotImplemented("WIN32"); }
|
2023-10-10 13:02:21 +00:00
|
|
|
|
|
|
|
#endif
|
2023-10-10 09:35:43 +00:00
|
|
|
/// Create creates a new file, truncating it if it already exists. On
|
|
|
|
/// Unix-based platforms, the arena will be backed by a memory via
|
|
|
|
/// #MemoryMap. On other platforms (e.g. Windows), the arena will read
|
|
|
|
/// the file into an allocated arena, calling #SetAlloc.
|
|
|
|
///
|
|
|
|
/// \param path The path to the file that should be created.
|
|
|
|
/// \param fileSize The size of the file to create.
|
|
|
|
/// \return Returns 0 on success and -1 on error.
|
2023-10-11 01:57:43 +00:00
|
|
|
#if defined(__posix__) || defined(__linux__) || defined(__APPLE__)
|
2023-10-10 21:01:09 +00:00
|
|
|
int Create(const char *path, size_t fileSize);
|
2023-10-10 13:02:21 +00:00
|
|
|
#elif defined(__WIN64__) || defined(__WIN32__) || defined(WIN32)
|
2023-10-10 23:44:29 +00:00
|
|
|
int Create(const char *path, size_t fileSize);
|
2023-10-10 09:35:43 +00:00
|
|
|
|
2023-10-10 13:02:21 +00:00
|
|
|
#endif
|
2023-10-11 00:24:29 +00:00
|
|
|
|
2023-10-10 09:35:43 +00:00
|
|
|
/// Open reads a file into the arena; the file must already exist. On
|
|
|
|
/// Unix-based platforms, the arena will be backed by a memory via
|
|
|
|
/// #MemoryMap. On other platforms (e.g. Windows), the arena will read
|
|
|
|
/// the file into an allocated arena, calling #SetAlloc. On these
|
|
|
|
/// platforms, in order to persist changes, #Write must be called to
|
|
|
|
/// sync changes to disk.
|
|
|
|
///
|
|
|
|
/// \param path The path to the file to be loaded.
|
|
|
|
/// \return Returns 0 on success and -1 on error.
|
2023-10-09 23:20:26 +00:00
|
|
|
int Open(const char *path);
|
2023-10-06 03:13:46 +00:00
|
|
|
|
2023-10-10 09:35:43 +00:00
|
|
|
/// NewCursor returns a pointer to the start of the memory in the arena.
|
|
|
|
///
|
|
|
|
/// \return A pointer to the start of the arena memory.
|
2023-10-10 13:02:21 +00:00
|
|
|
uint8_t *NewCursor() const
|
|
|
|
{ return this->store; }
|
2023-10-10 09:35:43 +00:00
|
|
|
|
|
|
|
/// End returns a pointer to the end of the arena memory.
|
|
|
|
///
|
|
|
|
/// \return A pointer to the end of the arena memory.
|
2023-10-10 13:02:21 +00:00
|
|
|
uint8_t *End()
|
|
|
|
{ return this->store + this->size; }
|
2023-10-10 09:35:43 +00:00
|
|
|
|
|
|
|
/// CursorInArena checks whether the cursor is still in the arena.
|
|
|
|
///
|
|
|
|
/// \param cursor A pointer that ostensibly points to the arena's
|
|
|
|
/// memory.
|
|
|
|
/// \return True if the cursor is still in the arena.
|
2023-10-10 13:02:21 +00:00
|
|
|
bool CursorInArena(const uint8_t *cursor);
|
2023-10-09 22:23:23 +00:00
|
|
|
|
2023-10-10 09:35:43 +00:00
|
|
|
/// Returns the current size of the arena.
|
|
|
|
///
|
|
|
|
/// \return The size of the arena.
|
2023-10-09 22:23:23 +00:00
|
|
|
size_t Size() const
|
|
|
|
{ return this->size; }
|
|
|
|
|
2023-10-10 09:35:43 +00:00
|
|
|
/// Type returns an ArenaType describing the arena.
|
|
|
|
///
|
|
|
|
/// \return An ArenaType describing the backing memory for the arena.
|
|
|
|
ArenaType Type() const
|
2023-10-09 22:23:23 +00:00
|
|
|
{ return this->arenaType; }
|
|
|
|
|
2023-10-10 09:35:43 +00:00
|
|
|
/// Ready returns whether the arena is initialized.
|
2023-10-10 13:02:21 +00:00
|
|
|
bool Ready() const
|
|
|
|
{ return this->Type() != ArenaType::Uninit; };
|
2023-10-09 23:20:26 +00:00
|
|
|
|
2023-10-10 09:35:43 +00:00
|
|
|
/// Clear zeroizes the memory in the arena.
|
2023-10-09 22:23:23 +00:00
|
|
|
void Clear();
|
|
|
|
|
2023-10-10 09:35:43 +00:00
|
|
|
/// Destroy removes any backing memory (e.g. from SetAlloc or
|
|
|
|
/// MemoryMap). This does not call Clear; if the arena was backed by a
|
|
|
|
/// file that should be persisted, it would wipe out the file.
|
|
|
|
void Destroy();
|
|
|
|
|
|
|
|
/// Write dumps the arena to a file suitable for loading by Open.
|
|
|
|
///
|
|
|
|
/// \warning DANGER: if arena is memory-mapped, DO NOT WRITE TO THE
|
|
|
|
/// BACKING FILE!
|
|
|
|
///
|
|
|
|
/// \param path
|
|
|
|
/// \return Returns 0 on success and -1 on error.
|
2023-10-09 22:23:23 +00:00
|
|
|
int Write(const char *path);
|
|
|
|
|
2023-10-10 09:35:43 +00:00
|
|
|
/// This operator allows the data in the arena to be accessed
|
|
|
|
/// as if it were an array. If the index is out of bounds, it
|
|
|
|
/// will throw a range_error.
|
|
|
|
///
|
|
|
|
/// \throws std::range_error.
|
|
|
|
///
|
|
|
|
/// \param index The index to retrieve.
|
|
|
|
/// \return
|
|
|
|
uint8_t &operator[](size_t index);
|
2023-10-09 22:23:23 +00:00
|
|
|
|
|
|
|
private:
|
|
|
|
uint8_t *store;
|
|
|
|
size_t size;
|
|
|
|
int fd;
|
|
|
|
ArenaType arenaType;
|
|
|
|
};
|
|
|
|
|
|
|
|
|
2023-10-10 09:35:43 +00:00
|
|
|
/// Write an Arena out to the output stream.
|
|
|
|
///
|
|
|
|
/// The resulting output looks something like
|
2023-10-10 11:22:04 +00:00
|
|
|
/// ```
|
2023-10-10 09:35:43 +00:00
|
|
|
/// Arena<allocated>@0x7fff91dfad70,store<128B>@0x0055d6c5881ec0.
|
2023-10-10 11:22:04 +00:00
|
|
|
/// ^ ^ ^ ^
|
|
|
|
/// | +- base memory | +- store memory
|
|
|
|
/// +- arena type +- arena size
|
|
|
|
/// ```
|
2023-10-10 09:35:43 +00:00
|
|
|
///
|
|
|
|
/// \param os
|
|
|
|
/// \param arena
|
|
|
|
/// \return
|
2023-10-10 13:02:21 +00:00
|
|
|
std::ostream &operator<<(std::ostream &os, Arena &arena);
|
2023-10-06 03:13:46 +00:00
|
|
|
|
2023-10-06 06:08:35 +00:00
|
|
|
|
2023-10-09 22:23:23 +00:00
|
|
|
} // namespace klib
|
2023-10-06 03:13:46 +00:00
|
|
|
|
|
|
|
|
|
|
|
#endif
|