Documentation
¶
Overview ¶
Package copier defines chunked shadow-table copy contracts enforcing CO-4 and LK-3.
Index ¶
Constants ¶
This section is empty.
Variables ¶
This section is empty.
Functions ¶
This section is empty.
Types ¶
type Chunk ¶
type Chunk struct {
// contains filtered or unexported fields
}
Chunk is a closed range of a single-column integer primary key. Its fields are unexported so that lower <= upper holds for every value the chunker can observe; NewChunk is the only way to obtain a non-zero Chunk.
type Watermark ¶
type Watermark struct {
// contains filtered or unexported fields
}
Watermark identifies the highest primary key below which every chunk was copied. The zero value means no chunk has been copied yet; a valid watermark is obtainable only from NewWatermark, so a value can never be paired with the wrong validity flag.
func NewWatermark ¶
NewWatermark returns a valid copied-through watermark.
Click to show internal directories.
Click to hide internal directories.