mirror of
https://github.com/lancedb/lancedb.git
synced 2026-10-12 14:52:26 +00:00
Move the public website pages into `docs/web` beside the SDK, with
shared navigation and executable example sources in `docs/web-tests`.
The combined website is assembled by
[lancedb/docs#355](https://github.com/lancedb/docs/pull/355), with six
Enterprise replacements from
[lancedb/sophon#7681](https://github.com/lancedb/sophon/pull/7681).
This includes Function guidance, runnable Quickstarts, regenerated
snippets, production contact/demo fixes, the legacy SQL route, and the
LeRobot redirect. LeRobot remains attributed to Geneva; all 34 Geneva
pages remain in the docs repository until Function officially launches.
Materialized-view guidance follows the full rebuild refresh introduced
by #4373: local refresh writes the complete result, has no `full`
argument, supports `source_version`, and no longer requires stable row
IDs. Deployment SQL refresh options and stable-ID setup are qualified by
version/configuration. Function input guidance distinguishes ordinary
stored columns from computed inputs supported by newer deployments.
**Validation:** independently accepted local checks include 95 Python
tests (real Enterprise excluded), eight TypeScript tests, Rust
Quickstart, snippet parity, typos, deterministic assembly, Mint
validation and links/anchors/redirects. The combined baseline retains
all 181 production routes and 17 legacy redirects. Examples ran locally
against source-built Python SDK 0.40.0b13; existing GitHub workflows do
not run `docs/web-tests`. New main at `069b2f7d` is 0.41.0b0 and adds
computed Function inputs; that SDK was not exercised by the accepted
tests. Latest prose corrections receive focused site validation.
**Merge/rollout:** merge this and #7681 before #355's combined CI, which
reads producer `main`. This is migration infrastructure: section
overlays, source-owned skills and automatic versioned paired releases
remain follow-ups. The current manual publisher is transitional. Hosted
validation, a supported SDK/Enterprise release pair and a real
Enterprise walkthrough remain pending.
Production Mintlify watches `lancedb/docs:deploy-freeze`, directory
`docs`; preserve that source through review. The separate SDK GitHub
Pages reference workflow rebuilds on main merges.
**Updated-head CI (9a50f8db):**
[Typos](https://github.com/lancedb/lancedb/actions/runs/37654185443/job/112904990558),
[PR
title](https://github.com/lancedb/lancedb/actions/runs/37654179507/job/112904974595)
and
[Aikido](https://app.aikido.dev/featurebranch/scan/215386145?groupId=74229)
pass. Critical findings in the example lockfiles were patched: all Sharp
copies use 0.35.5, protobufjs 7.6.6, tar 7.5.22, quinn-proto 0.11.19,
zerovec 0.11.8 and zerovec-derive 0.11.6. The SDK's product dependencies
are unchanged. The revised lockfiles pass eight TypeScript examples,
HuggingFace decode/resize/crop/rescale/normalize plus AVIF roundtrip,
and Rust Quickstart. Aikido passing does not mean every advisory is
cleared; npm still reports 29 high and five moderate advisories in the
example dependency graph. No scanner bypass or suppression was added.
The Function prose correction passes combined/standalone Mint,
deterministic assembly, routes and assets. The revised 325-file site
checksum is
`175bec06864abb400dd292e667ba93448c0479b8359fd7bf6146afabf9040647`. This
PR remains open for independent review; further merges are on hold.
---------
Co-authored-by: Brendan Clement <brendan.clement@lancedb.com>
135 lines
5.8 KiB
Plaintext
135 lines
5.8 KiB
Plaintext
---
|
|
title: "Guarantees"
|
|
sidebarTitle: "Guarantees"
|
|
description: "What a write promises when it returns, what a reader sees, and what survives a failure."
|
|
icon: shield-check
|
|
keywords: ["guarantees", "consistency", "atomicity", "durability", "concurrency", "acid"]
|
|
---
|
|
|
|
What the system promises, and — just as usefully — what it does not. Most
|
|
surprises in practice come from assuming one of the guarantees below is
|
|
stronger or weaker than it is.
|
|
|
|
## Writes {#writes}
|
|
|
|
**A write is atomic.** Every write commits a new table version. Either the
|
|
version exists and holds all of the change, or it does not exist and holds none
|
|
of it. There is no state in which a reader sees half an `add()`.
|
|
|
|
**A write returns only after the commit.** When the call returns, the version
|
|
is durable in object storage. Nothing is buffered in your process waiting to be
|
|
flushed.
|
|
|
|
**Every write advances the version**, including one that affects zero rows. A
|
|
delete whose predicate matches nothing still commits. Version numbers count
|
|
commits, not changes.
|
|
|
|
**Concurrent writes are resolved optimistically.** A transaction records the
|
|
change and the version it was based on. At commit time, a conflicting
|
|
concurrent operation is detected rather than silently overwritten, and the
|
|
commit is retried against the newer version. Operations that do not collide —
|
|
appending while another process appends — both succeed.
|
|
|
|
<Note>
|
|
`merge_insert` reports its retry attempts in the result. A high count means
|
|
contention on the same keys, not an error.
|
|
</Note>
|
|
|
|
## Reads {#reads}
|
|
|
|
**A read sees a consistent snapshot.** A query reads one table version
|
|
throughout; it never sees a mixture of two.
|
|
|
|
**Which version, by default, is the one open at the time the table was opened.**
|
|
This is the guarantee most often assumed to be stronger than it is:
|
|
|
|
<Warning>
|
|
A long-lived connection **does not observe other processes' writes** until it
|
|
reopens the table or its `read_consistency_interval` elapses. The default is
|
|
right for a batch job reading a stable snapshot and wrong for a service
|
|
expected to see fresh data.
|
|
</Warning>
|
|
|
|
Set `read_consistency_interval` when several processes write the same table and
|
|
readers must observe those writes. The cost is a metadata check on that
|
|
interval. See [Consistency](/tables/consistency).
|
|
|
|
**Your own writes are always visible to you.** The interval governs other
|
|
writers, not yourself.
|
|
|
|
## Durability and history {#durability}
|
|
|
|
**Old versions are retained, not overwritten.** A new version does not destroy
|
|
the one before it, which is what makes [time travel](/management/table#versioning) work
|
|
and what lets a reader finish a scan that started on an older version.
|
|
|
|
**Deletion is a mark, not an erase.** A deleted row is recorded in a deletion
|
|
file. The data is recoverable for as long as the version that contains it
|
|
exists.
|
|
|
|
<Warning>
|
|
Retention is finite. [Compaction](/maintenance/compaction) prunes versions
|
|
older than the retention window — **7 days by default** — and a tag or branch
|
|
pointing at a pruned version no longer resolves. If you rely on reading old
|
|
versions, widen the window before running it, not after.
|
|
</Warning>
|
|
|
|
**Dropping a table ends its history.** Versioning does not survive
|
|
`drop_table`; there is no undrop.
|
|
|
|
## Jobs {#jobs}
|
|
|
|
**A refresh recomputes only what changed.** It gives values to rows that lack
|
|
them and recomputes rows whose inputs changed since they were computed; it
|
|
leaves the rest alone. Two consequences, both relied on elsewhere:
|
|
|
|
- **Retrying is safe.** Re-running a refresh fills what is still empty or stale.
|
|
It is not guaranteed to cost only the rows that did not complete: a retry can
|
|
recompute values that were already written.
|
|
- **A filled value catches up at the next refresh.** If a column derives from
|
|
`price` and a row's `price` later changes, the derived value keeps its old
|
|
value until the next refresh recomputes it.
|
|
|
|
**What a failure keeps depends on where the refresh ran.** `refresh_column` in
|
|
your process commits the column once, so a failure keeps none of its values. A
|
|
refresh job on a deployment commits finished batches as it goes, so some values
|
|
can remain.
|
|
|
|
**Cancellation is a request.** `cancel()` asks a job to stop; it does not
|
|
guarantee it stops before doing more work, and cancelling a finished job does
|
|
nothing.
|
|
|
|
**A job id is opaque.** It correlates with server logs and the jobs API.
|
|
Parsing it, or storing it to resume the job later, is not supported.
|
|
|
|
See [Jobs](/basics/jobs).
|
|
|
|
## Schema {#schema}
|
|
|
|
**Schema changes are versioned like data changes.** Adding, renaming, retyping
|
|
or dropping a column commits a version, so a schema change can be travelled back
|
|
through.
|
|
|
|
**A computed column's inputs are protected.** While a declaration references a
|
|
column, that column cannot be renamed, retyped, or dropped — the declaration is
|
|
part of the schema and will not be invalidated out from under itself.
|
|
|
|
**Most schema changes do not rewrite data.** Adding a derived column writes only
|
|
the new column. Type changes are the exception and can be substantial.
|
|
|
|
## What is not guaranteed {#not-guaranteed}
|
|
|
|
Worth stating plainly, because each is occasionally assumed:
|
|
|
|
| | |
|
|
| --- | --- |
|
|
| Multi-table transactions | A commit covers one table. There is no cross-table atomic write. |
|
|
| Read-your-writes across processes | Governed by `read_consistency_interval`, not automatic. |
|
|
| Unenforced primary keys | `SET UNENFORCED PRIMARY KEY` records intent; it does not enforce uniqueness. |
|
|
| Ordering of concurrent appends | Two appends both succeed; their relative row order is not defined. |
|
|
| Index freshness | An index does not cover rows added after it was built until [optimized](/maintenance/compaction). |
|
|
| Automatic compaction | Nothing runs in the background. `optimize()` runs when you call it. |
|
|
|
|
The last two are the most common source of "why is this query slow" — see
|
|
[Limits](/basics/limits) for the bounds that pair with them.
|