lloyal::kv::tenancy::State Struct Reference

Tenancy state — tracks seq_id vacancy and leases. More...

#include <lloyal/kv.hpp>

Public Attributes
llama_context *	ctx = nullptr
	Context for KV operations (nullptr after drain)
llama_seq_id	n_seq_max = 0
	Total seq_id capacity (from llama_n_seq_max)
std::vector< llama_seq_id >	vacant
	Available seq_ids (LIFO stack)
std::vector< uint8_t >	leased
	Bitmap: leased[seq] = 1 if issued.

Detailed Description

Tenancy state — tracks seq_id vacancy and leases.

Owned by BranchStore. Initialized via init(), becomes inert after the owning BranchStore calls drain().

Definition at line 216 of file kv.hpp.

Member Data Documentation

ctx

llama_context* lloyal::kv::tenancy::State::ctx = nullptr

Context for KV operations (nullptr after drain)

Examples

/home/runner/work/liblloyal/liblloyal/include/lloyal/branch.hpp, and /home/runner/work/liblloyal/liblloyal/include/lloyal/kv.hpp.

Definition at line 217 of file kv.hpp.

leased

std::vector<uint8_t> lloyal::kv::tenancy::State::leased

Bitmap: leased[seq] = 1 if issued.

Examples

/home/runner/work/liblloyal/liblloyal/include/lloyal/kv.hpp.

Definition at line 220 of file kv.hpp.

n_seq_max

llama_seq_id lloyal::kv::tenancy::State::n_seq_max = 0

Total seq_id capacity (from llama_n_seq_max)

Examples

/home/runner/work/liblloyal/liblloyal/include/lloyal/kv.hpp.

Definition at line 218 of file kv.hpp.

vacant

std::vector<llama_seq_id> lloyal::kv::tenancy::State::vacant

Available seq_ids (LIFO stack)

Examples

/home/runner/work/liblloyal/liblloyal/include/lloyal/kv.hpp.

Definition at line 219 of file kv.hpp.

---

The documentation for this struct was generated from the following file:

• include/lloyal/kv.hpp