package granary

  1. Overview
  2. Docs
Pure-OCaml SQL engine

Install 

dune-project
 Dependency

github.com Edit opam file Versions (1)

Authors

  1. T
    Tej Pochiraju <foss@tej.sh>

Maintainers

  1. T
    Tej Pochiraju <foss@tej.sh>

Sources

0.0.3.tar.gz
sha256=8b18780ea373be48301d9f333925860a2f9110fc0ac28684295118d72b65a67e
sha512=25ca3c9c5e2b528704a542502e0f37dc33ba003f65622d969b8c2b800778585f8ef0cf89b36e6679832e3993e8303aecddfc662742baf7044d6afe4a796b8f11

doc/granary.storage/Granary_storage/Geometry/index.html

Module Granary_storage.GeometrySource

Page geometry (#95): the per-file choice of page_size and reserved_bytes_per_page, fixed at file creation and persisted in the header. Addressing is offset = page_id * page_size, so the size is uniform across a file and immutable once chosen.

This is a cheap, pure value carried on the pager/store context; the derived sizes below are plain field arithmetic, safe to call on every page op.

Sourcetype t = {
  1. page_size : int;
    (*

    total bytes per page on disk; a multiple of 4096

    *)
  2. reserved_bytes_per_page : int;
    (*

    fixed bytes carved off the END of every page (default 0); subtractive overhead reserved for future fixed-size per-page metadata such as a per-page AEAD tag for at-rest encryption (#84). Does not enable page-level compression.

    *)
}
Sourceval pp : Format.formatter -> t -> unit

Pretty-print a geometry as { page_size = ...; reserved_bytes_per_page = ... }.

Sourceval header_size : int

16 — the common page header, excluded from usable payload.

Sourceval freelist_entry_size : int

12 — bytes per freelist entry.

Sourceval default : t

The historical fixed geometry: 4096-byte page, no reserved bytes. Used as the default at creation and as the bootstrap geometry while peeking a header to learn a file's real page size.

Sourceval max_data_bytes : t -> int

Usable data-area bytes: page_size - header_size - reserved_bytes_per_page.

Sourceval max_overflow_payload_bytes : t -> int

Maximum payload an overflow page can hold: max_data_bytes - 2 (2 bytes for the payload-length field).

Sourceval max_freelist_entries_per_page : t -> int

Freelist entries that fit on one freelist page: max_data_bytes / 12.

Sourcetype error =
  1. | Bad_page_size of int
    (*

    not a multiple of 4096, or outside 4096, 65536

    *)
  2. | Bad_reserved of int
    (*

    negative, or so large it leaves too little payload

    *)

A creation-time geometry-validation failure.

Sourceval pp_error : Format.formatter -> error -> unit

Pretty-print a validation error.

Sourceval create : page_size:int -> reserved_bytes_per_page:int -> (t, error) result

Validate and build a geometry. page_size must be a multiple of 4096 in 4096, 65536; reserved_bytes_per_page must be >= 0 and leave a usable payload of at least 480 bytes. Returns Error otherwise.