Directories
¶
| Path | Synopsis |
|---|---|
|
cmd
|
|
|
bench-report
command
Binary bench-report compares two Go benchmark result files and outputs a markdown comparison table.
|
Binary bench-report compares two Go benchmark result files and outputs a markdown comparison table. |
|
dst-generate
command
Command dst-generate runs metamorphic equivalence scenarios (hand-written or LLM-generated) through the deterministic SQL engine over SimFDB and reports findings.
|
Command dst-generate runs metamorphic equivalence scenarios (hand-written or LLM-generated) through the deterministic SQL engine over SimFDB and reports findings. |
|
dst-hunt
command
Command dst-hunt is the overnight brute-force bug hunter for the record layer.
|
Command dst-hunt is the overnight brute-force bug hunter for the record layer. |
|
explain-differ
command
Command explain-differ dumps the planned PHYSICAL plan shape of every query in the yamsql conformance corpus to a stable text baseline, and diffs two such baselines.
|
Command explain-differ dumps the planned PHYSICAL plan shape of every query in the yamsql conformance corpus to a stable text baseline, and diffs two such baselines. |
|
factory-migrate
command
factory-migrate re-emits the committed RFC-201 factory corpus from its seeds into the grouped `.yamsql` family-file format (RFC-201 §5.7).
|
factory-migrate re-emits the committed RFC-201 factory corpus from its seeds into the grouped `.yamsql` family-file format (RFC-201 §5.7). |
|
factory-plan-census
command
Command factory-plan-census makes a factory-corpus plan-shape drift READABLE, and fails loudly on the drift classes that are regressions.
|
Command factory-plan-census makes a factory-corpus plan-shape drift READABLE, and fails loudly on the drift classes that are regressions. |
|
factory-rebless
command
factory-rebless re-derives the PLAN-SHAPE and DEDUP-KEY headers of the committed RFC-201 factory corpus after a deliberate planner change, and rewrites the census baseline to match.
|
factory-rebless re-derives the PLAN-SHAPE and DEDUP-KEY headers of the committed RFC-201 factory corpus after a deliberate planner change, and rewrites the census baseline to match. |
|
factory-rebless-plan-shapes
command
Command factory-rebless-plan-shapes re-derives the PLAN SHAPE and dedup key of every committed RFC-201 factory scenario and rewrites the ones that moved.
|
Command factory-rebless-plan-shapes re-derives the PLAN SHAPE and dedup key of every committed RFC-201 factory scenario and rewrites the ones that moved. |
|
factory-run
command
factory-run is the RFC-201 §5 generation factory: it generates seeded query candidates, executes them against a real FoundationDB through the production SQL path, blesses the ones every oracle agrees on, deduplicates them against the corpus already committed, and WRITES the survivors into pkg/relational/conformance/factorycorpus/testdata as permanent suite content.
|
factory-run is the RFC-201 §5 generation factory: it generates seeded query candidates, executes them against a real FoundationDB through the production SQL path, blesses the ones every oracle agrees on, deduplicates them against the corpus already committed, and WRITES the survivors into pkg/relational/conformance/factorycorpus/testdata as permanent suite content. |
|
fdb-binding-stress
command
fdb-binding-stress runs the FDB binding tester across many seeds and reports results.
|
fdb-binding-stress runs the FDB binding tester across many seeds and reports results. |
|
fdb-diff-oracle
Package difforacle implements the differential serialization fuzzer.
|
Package difforacle implements the differential serialization fuzzer. |
|
fdb-stacktester
command
fdb-stacktester implements the FDB binding tester stack machine.
|
fdb-stacktester implements the FDB binding tester stack machine. |
|
fdb-stacktester/bindingtester
Package bindingtester runs the official FoundationDB binding tester against the pure-Go stacktester.
|
Package bindingtester runs the official FoundationDB binding tester against the pure-Go stacktester. |
|
fdb-wirelog-dump
command
fdb-wirelog-dump reads a binary wire log (FDB_WIRE_LOG format) and prints human-readable frame summaries.
|
fdb-wirelog-dump reads a binary wire log (FDB_WIRE_LOG format) and prints human-readable frame summaries. |
|
fuzzrun
command
Command fuzzrun runs one fuzzing command and classifies its failure.
|
Command fuzzrun runs one fuzzing command and classifies its failure. |
|
gen-feature-matrix
command
Command gen-feature-matrix regenerates FEATURE_MATRIX.md from the yamsql conformance corpus.
|
Command gen-feature-matrix regenerates FEATURE_MATRIX.md from the yamsql conformance corpus. |
|
gen-sql-coverage
command
Command gen-sql-coverage regenerates the RFC-165 SQL conformance ledgers from the yamsql conformance corpus.
|
Command gen-sql-coverage regenerates the RFC-165 SQL conformance ledgers from the yamsql conformance corpus. |
|
spfresh-maintainer
command
Command spfresh-maintainer is the reference SPFresh maintenance worker (RFC-156 §3.2).
|
Command spfresh-maintainer is the reference SPFresh maintenance worker (RFC-156 §3.2). |
|
sql-diff-stress
command
sql-diff-stress is the RFC-182 generative row-soundness differential stress binary: seeded random (schema, data, query) cases executed through the full production SQL path against a real FDB testcontainer, rows diffed against the in-memory brute-force oracle (Oracle M).
|
sql-diff-stress is the RFC-182 generative row-soundness differential stress binary: seeded random (schema, data, query) cases executed through the full production SQL path against a real FDB testcontainer, rows diffed against the in-memory brute-force oracle (Oracle M). |
|
test-budget
command
Command test-budget reports how much of its Bazel timeout budget each test target actually consumed, and fails when a target that RAN is close enough to its budget that the next growth will break it.
|
Command test-budget reports how much of its Bazel timeout budget each test target actually consumed, and fails when a target that RAN is close enough to its budget that the next growth will break it. |
|
test-report
command
Binary test-report generates a self-contained HTML test report from Bazel's Build Event Protocol (BEP) JSON output.
|
Binary test-report generates a self-contained HTML test report from Bazel's Build Event Protocol (BEP) JSON output. |
|
verify-corpus-retirement-history
command
Command verify-corpus-retirement-history anchors both sides of every factory-corpus retirement ledger: BEFORE at its declared base commit and AFTER at the ledger's unique first-add commit.
|
Command verify-corpus-retirement-history anchors both sides of every factory-corpus retirement ledger: BEFORE at its declared base commit and AFTER at the ledger's unique first-add commit. |
|
verify-pr-checks
command
Command verify-pr-checks answers one question about a pull request that GitHub's own merge state answers wrongly: did the checks this repository requires actually RUN and PASS?
|
Command verify-pr-checks answers one question about a pull request that GitHub's own merge state answers wrongly: did the checks this repository requires actually RUN and PASS? |
|
vulnscan
command
Command vulnscan runs govulncheck as a CI security gate that cannot be silenced by an upstream outage and cannot silently pass because of one.
|
Command vulnscan runs govulncheck as a CI security gate that cannot be silenced by an upstream outage and cannot silently pass because of one. |
|
frl
module
|
|
|
Package conformance holds the cross-engine conformance suite that compares the Go record layer against the Java reference.
|
Package conformance holds the cross-engine conformance suite that compares the Go record layer against the Java reference. |
|
sql
command
Command sql is a runnable quickstart for the SQL engine via Go's standard database/sql interface.
|
Command sql is a runnable quickstart for the SQL engine via Go's standard database/sql interface. |
|
pkg
|
|
|
docscheck
Package docscheck holds repository documentation-consistency guards (RFC-131).
|
Package docscheck holds repository documentation-consistency guards (RFC-131). |
|
dst
Package dst provides the deterministic-simulation-testing foundation (RFC-199 Tier 0): a Clock seam, a seeded randomness source, and FoundationDB-style Buggify fault points.
|
Package dst provides the deterministic-simulation-testing foundation (RFC-199 Tier 0): a Clock seam, a seeded randomness source, and FoundationDB-style Buggify fault points. |
|
fdbgo
Package fdbgo is the root of the pure-Go FoundationDB client.
|
Package fdbgo is the root of the pure-Go FoundationDB client. |
|
fdbgo/client
Package client implements the FDB client transaction lifecycle.
|
Package client implements the FDB client transaction lifecycle. |
|
fdbgo/fdb
Package fdb provides a pure-Go client for FoundationDB.
|
Package fdb provides a pure-Go client for FoundationDB. |
|
fdbgo/fdb/directory
Package directory provides a tool for managing related subspaces.
|
Package directory provides a tool for managing related subspaces. |
|
fdbgo/fdb/subspace
Package subspace provides a convenient way to use FoundationDB tuples to define namespaces for different categories of data.
|
Package subspace provides a convenient way to use FoundationDB tuples to define namespaces for different categories of data. |
|
fdbgo/fdb/tuple
Package tuple provides a layer for encoding and decoding multi-element tuples into keys usable by FoundationDB.
|
Package tuple provides a layer for encoding and decoding multi-element tuples into keys usable by FoundationDB. |
|
fdbgo/fdbmetrics
Package fdbmetrics exposes a pure-Go FDB client's operational counters (client.Database.Metrics, RFC-097) in the Prometheus text exposition format, ready to scrape — with zero dependencies.
|
Package fdbmetrics exposes a pure-Go FDB client's operational counters (client.Database.Metrics, RFC-097) in the Prometheus text exposition format, ready to scrape — with zero dependencies. |
|
fdbgo/internal/diag
Package diag is the shared diagnostics sink for recovered panics in the pure-Go FDB client (the client and fdb-facade layers; transport keeps its own seriousLog).
|
Package diag is the shared diagnostics sink for recovered panics in the pure-Go FDB client (the client and fdb-facade layers; transport keeps its own seriousLog). |
|
fdbgo/libfdbc
This stub keeps the package compilable when something imports it in a CGO_ENABLED=0 build (e.g.
|
This stub keeps the package compilable when something imports it in a CGO_ENABLED=0 build (e.g. |
|
fdbgo/transport
Package transport implements FDB's TCP wire protocol: framing, handshake, and request/response multiplexing via endpoint tokens.
|
Package transport implements FDB's TCP wire protocol: framing, handshake, and request/response multiplexing via endpoint tokens. |
|
fdbgo/wire
Package wire implements FDB's custom FlatBuffers-inspired binary serialization format.
|
Package wire implements FDB's custom FlatBuffers-inspired binary serialization format. |
|
fdbgo/wire/types
Package types contains generated FDB FlatBuffers message types.
|
Package types contains generated FDB FlatBuffers message types. |
|
internal/fdbclient
Package fdbclient selects the FoundationDB client backend at BUILD time.
|
Package fdbclient selects the FoundationDB client backend at BUILD time. |
|
linters/gofmt
Package gofmt defines an analyzer that reports unformatted Go source files.
|
Package gofmt defines an analyzer that reports unformatted Go source files. |
|
linters/gofumpt
Package gofumpt defines an analyzer that reports Go source files not formatted with gofumpt (a strict superset of gofmt).
|
Package gofumpt defines an analyzer that reports Go source files not formatted with gofumpt (a strict superset of gofmt). |
|
linters/noemptyiface
Package noemptyiface defines an analyzer that rejects interface{} in favor of any.
|
Package noemptyiface defines an analyzer that rejects interface{} in favor of any. |
|
linters/norecover
Package norecover is a nogo analyzer that enforces the panic→error boundary discipline (RFC-134, audit P2).
|
Package norecover is a nogo analyzer that enforces the panic→error boundary discipline (RFC-134, audit P2). |
|
linters/typeimmutable
Package typeimmutable is a nogo analyzer that enforces the immutability RFC-234 relies on: a `values.Type` graph may be written only by the function that built it.
|
Package typeimmutable is a nogo analyzer that enforces the immutability RFC-234 relies on: a `values.Type` graph may be written only by the function that built it. |
|
recordlayer/chaos
Package chaos provides model-based chaos testing for the FDB Record Layer.
|
Package chaos provides model-based chaos testing for the FDB Record Layer. |
|
recordlayer/keyspace
Package keyspace provides a logical directory tree abstraction over FDB.
|
Package keyspace provides a logical directory tree abstraction over FDB. |
|
recordlayer/protoname
Package protoname is the protobuf identifier escaping shared by every descriptor emitter in the tree, and the DISPLAY policy that decides when an escaped name may safely be shown as the SQL identifier it came from.
|
Package protoname is the protobuf identifier escaping shared by every descriptor emitter in the tree, and the DISPLAY policy that decides when an escaped name may safely be shown as the SQL identifier it came from. |
|
recordlayer/query/executor
Package executor bridges RecordQueryPlan trees (Cascades planner output) and the FDBRecordStore scanning API to produce RecordCursor[QueryResult] streams.
|
Package executor bridges RecordQueryPlan trees (Cascades planner output) and the FDBRecordStore scanning API to produce RecordCursor[QueryResult] streams. |
|
recordlayer/query/plan/cascades
derivations_evaluator.go — evaluates DerivationsProperty for physical plan wrapper expressions.
|
derivations_evaluator.go — evaluates DerivationsProperty for physical plan wrapper expressions. |
|
recordlayer/query/plan/cascades/expressions
Package expressions ports the Cascades-side relational expression hierarchy from Java's `com.apple.foundationdb.record.query.plan.cascades.expressions`.
|
Package expressions ports the Cascades-side relational expression hierarchy from Java's `com.apple.foundationdb.record.query.plan.cascades.expressions`. |
|
recordlayer/query/plan/cascades/properties
Package properties — Cardinality and Cardinalities types.
|
Package properties — Cardinality and Cardinalities types. |
|
recordlayer/query/plan/cascades/values
Package values is the Value-tier of the Go Cascades planner port — scalar / row-context expressions that compose into predicates, projections, and join keys.
|
Package values is the Value-tier of the Go Cascades planner port — scalar / row-context expressions that compose into predicates, projections, and join keys. |
|
recordlayer/query/plan/plans
Go extension — no Java equivalent.
|
Go extension — no Java equivalent. |
|
recordlayer/rlmetrics
Package rlmetrics exposes a record-layer StoreTimer (the Go port of Java's FDBStoreTimer) in the Prometheus text exposition format, ready to scrape — with zero dependencies.
|
Package rlmetrics exposes a record-layer StoreTimer (the Go port of Java's FDBStoreTimer) in the Prometheus text exposition format, ready to scrape — with zero dependencies. |
|
recordlayer/vectorcodec
Package vectorcodec is the on-disk byte codec for HNSW vector columns, wire-compatible with Java's RealVector.fromBytes / VectorType.
|
Package vectorcodec is the on-disk byte codec for HNSW vector columns, wire-compatible with Java's RealVector.fromBytes / VectorType. |
|
relational/api
Package api mirrors Java's fdb-relational-api module.
|
Package api mirrors Java's fdb-relational-api module. |
|
relational/api/ddl
Package ddl defines the DDL action interfaces for the relational layer.
|
Package ddl defines the DDL action interfaces for the relational layer. |
|
relational/conformance/coveringleaf
Package coveringleaf holds the schema and queries shared by the two tests that probe a COVERING index leaf from opposite sides — the planner-side shape pin in package embedded_test and the column-metadata pin in package sqldriver_test.
|
Package coveringleaf holds the schema and queries shared by the two tests that probe a COVERING index leaf from opposite sides — the planner-side shape pin in package embedded_test and the column-metadata pin in package sqldriver_test. |
|
relational/conformance/explaindiff
Package explaindiff renders the PHYSICAL plan shape of every query in the yamsql conformance corpus into a stable, diffable text baseline, and diffs two such baselines entry-by-entry.
|
Package explaindiff renders the PHYSICAL plan shape of every query in the yamsql conformance corpus into a stable, diffable text baseline, and diffs two such baselines entry-by-entry. |
|
relational/conformance/factory
Package factory is the producer half of the RFC-201 §5 generation factory: generate → execute → bless-or-file → dedup, with cmd/factory-run driving it and pkg/relational/conformance/factorycorpus owning the committed output.
|
Package factory is the producer half of the RFC-201 §5 generation factory: generate → execute → bless-or-file → dedup, with cmd/factory-run driving it and pkg/relational/conformance/factorycorpus owning the committed output. |
|
relational/conformance/factorycorpus
Package factorycorpus is the home of the RFC-201 §5 generation factory's COMMITTED output: machine-generated, oracle-blessed yamsql scenarios that live in the repository as permanent suite content.
|
Package factorycorpus is the home of the RFC-201 §5 generation factory's COMMITTED output: machine-generated, oracle-blessed yamsql scenarios that live in the repository as permanent suite content. |
|
relational/conformance/javacorpus
Package javacorpus executes the vendored Java `.yamsql` acceptance corpus (parsed by the sibling javayamsql package) against the Go SQL engine.
|
Package javacorpus executes the vendored Java `.yamsql` acceptance corpus (parsed by the sibling javayamsql package) against the Go SQL engine. |
|
relational/conformance/javayamsql
Package javayamsql parses Apple's `.yamsql` acceptance-test format — the multi-document YAML dialect driving the Java record layer's yaml-tests suite.
|
Package javayamsql parses Apple's `.yamsql` acceptance-test format — the multi-document YAML dialect driving the Java record layer's yaml-tests suite. |
|
relational/conformance/memoinvariant
Package memoinvariant is RFC-184 W4: a generative memo-invariant harness.
|
Package memoinvariant is RFC-184 W4: a generative memo-invariant harness. |
|
relational/conformance/plandiff
Package plandiff is the Phase 4.-1 plan-equivalence harness from RFC-022 §4.-1.
|
Package plandiff is the Phase 4.-1 plan-equivalence harness from RFC-022 §4.-1. |
|
relational/conformance/rowdiff
Package rowdiff is the RFC-182 generative row-soundness differential harness: seeded random (schema, data, query) cases executed through the full production path (sqldriver → Cascades → executor → real FDB), rows diffed against Oracle M — a brute-force in-memory full-scan evaluation over the generator's own authoritative row set, reusing the engine's predicate evaluation (predicates.Comparison.Eval) so the planner is the only component removed.
|
Package rowdiff is the RFC-182 generative row-soundness differential harness: seeded random (schema, data, query) cases executed through the full production path (sqldriver → Cascades → executor → real FDB), rows diffed against Oracle M — a brute-force in-memory full-scan evaluation over the generator's own authoritative row set, reusing the engine's predicate evaluation (predicates.Comparison.Eval) so the planner is the only component removed. |
|
relational/conformance/yamsql
Package yamsql is a SQL-level conformance harness for the Go SQL driver.
|
Package yamsql is a SQL-level conformance harness for the Go SQL driver. |
|
relational/core/catalog
Package catalog contains concrete implementations of the api.StoreCatalog / api.SchemaTemplateCatalog / api.Transaction interfaces.
|
Package catalog contains concrete implementations of the api.StoreCatalog / api.SchemaTemplateCatalog / api.Transaction interfaces. |
|
relational/core/embedded
Package embedded implements the embedded (in-process) SQL execution engine for the FoundationDB relational layer.
|
Package embedded implements the embedded (in-process) SQL execution engine for the FoundationDB relational layer. |
|
relational/core/fleet
Package fleet drives fan-out maintenance across every tenant schema in a relational database: rebinding a fleet onto a new schema-template version, and building the indexes that rebind leaves unbuilt.
|
Package fleet drives fan-out maintenance across every tenant schema in a relational database: rebinding a fleet onto a new schema-template version, and building the indexes that rebind leaves unbuilt. |
|
relational/core/functions
Package functions holds SQL-value operations that don't need connection/session state: checked integer arithmetic, numeric + bitwise operators with SQL semantics, type-coercion helpers used by scalar-function arguments, and (in future PRs) the scalar function dispatcher + protoreflect <-> driver.Value marshaling.
|
Package functions holds SQL-value operations that don't need connection/session state: checked integer arithmetic, numeric + bitwise operators with SQL semantics, type-coercion helpers used by scalar-function arguments, and (in future PRs) the scalar function dispatcher + protoreflect <-> driver.Value marshaling. |
|
relational/core/keyspace
Package keyspace defines the relational-layer FDB key structure.
|
Package keyspace defines the relational-layer FDB key structure. |
|
relational/core/metadata
Package metadata provides concrete bridge implementations of the api.* metadata interfaces backed by *recordlayer.RecordMetaData.
|
Package metadata provides concrete bridge implementations of the api.* metadata interfaces backed by *recordlayer.RecordMetaData. |
|
relational/core/parser
Package parser houses the generated ANTLR4 lexer and parser for the Relational SQL dialect, plus the thin Go wrapper that wires them into a ParseTree suitable for consumption by the semantic analyzer.
|
Package parser houses the generated ANTLR4 lexer and parser for the Relational SQL dialect, plus the thin Go wrapper that wires them into a ParseTree suitable for consumption by the semantic analyzer. |
|
relational/core/parser/grammar
Package grammar is a go-sentinel (empty) package whose only job is to anchor the *.g4 grammar files in the Go module tree so they travel with builds and gazelle doesn't delete the directory.
|
Package grammar is a go-sentinel (empty) package whose only job is to anchor the *.g4 grammar files in the Go module tree so they travel with builds and gazelle doesn't delete the directory. |
|
relational/core/query
Package query defines the planner/plan seam between the SQL frontend (database/sql driver, future gRPC server, REPL) and the SQL execution engine.
|
Package query defines the planner/plan seam between the SQL frontend (database/sql driver, future gRPC server, REPL) and the SQL execution engine. |
|
relational/core/query/ddl
Package ddl holds the materialized-view index generator — the Go port of Java's MaterializedViewIndexGenerator (RFC-202).
|
Package ddl holds the materialized-view index generator — the Go port of Java's MaterializedViewIndexGenerator (RFC-202). |
|
relational/core/query/expr
Package expr is the parse-tree → values.Value resolver.
|
Package expr is the parse-tree → values.Value resolver. |
|
relational/core/query/logical
Package logical holds the Phase 3 (TODO.md §"Phase 3 — Semantic analysis") logical-operator hierarchy.
|
Package logical holds the Phase 3 (TODO.md §"Phase 3 — Semantic analysis") logical-operator hierarchy. |
|
relational/core/query/semantic
Package semantic is the Go port of Java's `com.apple.foundationdb.relational.recordlayer.query.SemanticAnalyzer` plus related Identifier / Expression / reference-resolution helpers.
|
Package semantic is the Go port of Java's `com.apple.foundationdb.relational.recordlayer.query.SemanticAnalyzer` plus related Identifier / Expression / reference-resolution helpers. |
|
relational/core/query/semantic/rlcatalog
Package rlcatalog adapts the Record Layer's `RecordMetaData` into the `semantic.Catalog` interface.
|
Package rlcatalog adapts the Record Layer's `RecordMetaData` into the `semantic.Catalog` interface. |
|
relational/core/rowstruct
Package rowstruct materializes a STRUCT column value for SQL clients: the Go analogue of Java's RowStruct family, where a struct column read off a record surfaces as a RelationalStruct rather than as the raw protobuf message.
|
Package rowstruct materializes a STRUCT column value for SQL clients: the Go analogue of Java's RowStruct family, where a struct column read off a record surfaces as a RelationalStruct rather than as the raw protobuf message. |
|
relational/core/session
Package session holds per-connection resource state for the relational SQL engine.
|
Package session holds per-connection resource state for the relational SQL engine. |
|
relational/sqldriver
Package sqldriver implements a database/sql driver for the FoundationDB Record Layer relational (SQL) layer.
|
Package sqldriver implements a database/sql driver for the FoundationDB Record Layer relational (SQL) layer. |
|
relational/txbudgetcensus
Package txbudgetcensus finds test transactions that carry an unstated assumption about FDB's five-second MVCC window.
|
Package txbudgetcensus finds test transactions that carry an unstated assumption about FDB's five-second MVCC window. |
|
simfdb
Package simfdb is a deterministic, in-memory MVCC implementation of the fdb.BackendDatabase contract (RFC-199 Tier 1 — "SimFDB").
|
Package simfdb is a deterministic, in-memory MVCC implementation of the fdb.BackendDatabase contract (RFC-199 Tier 1 — "SimFDB"). |
|
simfdb/hunt
Package hunt is a brute-force, seed-driven bug hunter for the record layer.
|
Package hunt is a brute-force, seed-driven bug hunter for the record layer. |
|
simfdb/hunt/atomicops
Package atomicops is a DST driver that differentials FoundationDB's ten atomic mutation types (Add / And / Or / Xor / Max / Min / ByteMax / ByteMin / AppendIfFits / CompareAndClear) end-to-end through the SimFDB backend against an INDEPENDENT Go reference model.
|
Package atomicops is a DST driver that differentials FoundationDB's ten atomic mutation types (Add / And / Or / Xor / Max / Min / ByteMax / ByteMin / AppendIfFits / CompareAndClear) end-to-end through the SimFDB backend against an INDEPENDENT Go reference model. |
|
simfdb/hunt/continuation
Package continuation is RFC-199 Tier 2's continuation-under-fault replay driver.
|
Package continuation is RFC-199 Tier 2's continuation-under-fault replay driver. |
|
simfdb/hunt/golden
Package golden is a characterization ("golden master") harness for the SQL engine over SimFDB.
|
Package golden is a characterization ("golden master") harness for the SQL engine over SimFDB. |
|
simfdb/hunt/interleave
Package interleave is RFC-199 Tier 2's concurrent-open-transaction interleaving driver.
|
Package interleave is RFC-199 Tier 2's concurrent-open-transaction interleaving driver. |
|
simfdb/hunt/metamorphic
Package metamorphic is the WRONG-catching SQL oracle for the DST harness (RFC-199 Tier 2).
|
Package metamorphic is the WRONG-catching SQL oracle for the DST harness (RFC-199 Tier 2). |
|
simfdb/hunt/rangeconflict
Package rangeconflict is RFC-199 Tier 2's range-conflict interleaving driver.
|
Package rangeconflict is RFC-199 Tier 2's range-conflict interleaving driver. |
|
simfdb/hunt/sqlhunt
This file adds a SECOND SQL workload to the DST bug hunter, focused on SECONDARY-INDEX maintenance under the commit-fault schedule (commit_unknown / not_committed / too_old retry).
|
This file adds a SECOND SQL workload to the DST bug hunter, focused on SECONDARY-INDEX maintenance under the commit-fault schedule (commit_unknown / not_committed / too_old retry). |
|
simfdb/hunt/sqlpage
Package sqlpage is RFC-199 Tier 2's SQL-query pagination oracle.
|
Package sqlpage is RFC-199 Tier 2's SQL-query pagination oracle. |
|
testcontainers/foundationdb
Package foundationdb provides a testcontainers module for FoundationDB.
|
Package foundationdb provides a testcontainers module for FoundationDB. |
|
tools
|
|
|
bazelscaleset
module
|
Click to show internal directories.
Click to hide internal directories.