Struct BufferPool 

pub struct BufferPool { /* private fields */ }

A pool that hands out reusable buffers for prover working memory.

Allocation goes through alloc_vec. Freed buffers are kept on an internal free list, keyed by block size (in AlignedChunks), and reused to satisfy later allocations of the same size. A pool is created once, above the code that uses it, and shared by borrow — every PoolVec it produces holds a &'alloc BufferPool. The pool is thread-safe: the free list sits behind a Mutex, so allocation and reclamation may happen from any thread.

Implementations

impl BufferPool

pub fn new() -> Self

Creates a new, empty pool.

pub fn alloc_vec<T>(&self, capacity: usize) -> PoolVec<'_, T>

Allocates a PoolVec with room for at least capacity elements.

The block size is rounded up to a power-of-two number of bytes. If the free list holds a block of that size it is reused; otherwise a fresh block is allocated. The returned buffer is empty; fill it through the PoolVec interface.

Panics

Panics at compile time (via a const assertion) if T’s alignment exceeds BUFFER_ALIGN, or if T’s size is not a power of two — either would break the byte-size keyed reuse.

Trait Implementations

impl<'alloc> Allocator for &'alloc BufferPool

type Vec<T: Send> = PoolVec<'alloc, T>

The buffer type this allocator hands out for element type T.

fn alloc<T: Send>(&self, capacity: usize) -> Self::Vec<T>

Allocates an empty buffer with room for at least capacity elements of type T.

impl Debug for BufferPool

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Default for BufferPool

fn default() -> BufferPool

Returns the “default value” for a type.