ProvSQL C/C++ API
Adding support for provenance and uncertainty management to PostgreSQL databases
Loading...
Searching...
No Matches
MMappedCircuit::Check Struct Reference

What provsql.check_store() reports about a store. More...

#include "MMappedCircuit.h"

Public Attributes

bool unclean
 A file was left marked open-for-writing.
unsigned long nb_gates
 Gate records.
unsigned long nb_mapping
 Mapping entries.
unsigned long next_value
 Next index the mapping would assign.
unsigned long dangling_indices
 Mapping entries indexing past the records.
unsigned long unreferenced
 Records no mapping entry points at.
unsigned long bad_wires
 Records whose children run past the wires.
unsigned long bad_extra
 Records whose extra runs past the extra file.

Detailed Description

What provsql.check_store() reports about a store.

Every count but unclean is zero for a store nothing has damaged. A non-zero one means a write was interrupted at a point the ordering rules do not cover, or a set of files was copied at different instants (a file-level backup of a running server); provsql.circuit_cleanup() rebuilds the store from what is still reachable.

Definition at line 311 of file MMappedCircuit.h.

Member Data Documentation

◆ bad_extra

unsigned long MMappedCircuit::Check::bad_extra

Records whose extra runs past the extra file.

Definition at line 319 of file MMappedCircuit.h.

◆ bad_wires

unsigned long MMappedCircuit::Check::bad_wires

Records whose children run past the wires.

Definition at line 318 of file MMappedCircuit.h.

◆ dangling_indices

unsigned long MMappedCircuit::Check::dangling_indices

Mapping entries indexing past the records.

Definition at line 316 of file MMappedCircuit.h.

◆ nb_gates

unsigned long MMappedCircuit::Check::nb_gates

Gate records.

Definition at line 313 of file MMappedCircuit.h.

◆ nb_mapping

unsigned long MMappedCircuit::Check::nb_mapping

Mapping entries.

Definition at line 314 of file MMappedCircuit.h.

◆ next_value

unsigned long MMappedCircuit::Check::next_value

Next index the mapping would assign.

Definition at line 315 of file MMappedCircuit.h.

◆ unclean

bool MMappedCircuit::Check::unclean

A file was left marked open-for-writing.

Definition at line 312 of file MMappedCircuit.h.

◆ unreferenced

unsigned long MMappedCircuit::Check::unreferenced

Records no mapping entry points at.

Definition at line 317 of file MMappedCircuit.h.

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