~/bend-docscommunity

src/DurableDbPolicy.bend checks

raw source on the hub · import mylsm-lsm-store@0.5.0.0/src/DurableDbPolicy.bend as DurableDbPolicy

2 imports
import Base
import ./DurableError.bend as DurableError

Types

type HandleState source · line 5 · raw

Data

Tracks whether the handle accepts data operations.

type AppendPhase source · line 15 · raw

Data

Distinguishes failures before and after WAL append begins.

type MaintenanceState source · line 20 · raw

Data

Tracks whether failed maintenance blocks later writes.

Definitions

def next_operation_errors source · line 11 · raw

@count:Nat -> Nat

Increments the per-handle operation error count.

def accepts_data_operation source · line 25 · raw

@state:HandleState -> Bool

Checks whether accepts data operation.

def state_after_write_failure source · line 35 · raw

@phase:AppendPhase -> @current:HandleState -> HandleState

Selects handle state from the write failure stage.

def state_after_maintenance source · line 43 · raw

@result:MaintenanceState -> HandleState

Blocks writes when maintenance fails.

def committed_maintenance source · line 51 · raw

@commit_error:Maybe<&2, 0x4fcd94fa965aa1443134557fd075a483/src/DurableError.Error> -> Bool

Reports maintenance separately from the confirmed commit.