Bedrock.DataPlane.Materializer.Olivine.IdAllocator (bedrock v0.5.2)

View Source

Manages ID allocation and reallocation for pages.

Summary

Types

t()

Functions

allocate_id(allocator)
allocate_ids(allocator, count)
new(max_id, free_ids)
recycle_id(allocator, page_id)
recycle_ids(allocator, page_ids)

Types

t()

@type t() :: %Bedrock.DataPlane.Materializer.Olivine.IdAllocator{
  free_ids: [Bedrock.DataPlane.Materializer.Olivine.Index.Page.id()],
  max_id: Bedrock.DataPlane.Materializer.Olivine.Index.Page.id()
}

Functions

allocate_id(allocator)

@spec allocate_id(t()) ::
  {Bedrock.DataPlane.Materializer.Olivine.Index.Page.id(), t()}

allocate_ids(allocator, count)

@spec allocate_ids(t(), non_neg_integer()) ::
  {[Bedrock.DataPlane.Materializer.Olivine.Index.Page.id()], t()}

new(max_id, free_ids)

@spec new(Bedrock.DataPlane.Materializer.Olivine.Index.Page.id(), [
  Bedrock.DataPlane.Materializer.Olivine.Index.Page.id()
]) :: t()

recycle_id(allocator, page_id)

@spec recycle_id(t(), Bedrock.DataPlane.Materializer.Olivine.Index.Page.id()) :: t()

recycle_ids(allocator, page_ids)

@spec recycle_ids(t(), [Bedrock.DataPlane.Materializer.Olivine.Index.Page.id()]) ::
  t()