FoundationDB: A Distributed Unbundled Transactional Key Value Store

Jingyu Zhou, Meng Xu, A. Shraer, B. Namasivayam, Alex Miller, Evan Tschannen, Steve Atherton, Andrew J. Beamon, Rusty Sears, J. Leach, D. Rosenthal, X. Dong, Willie B. Wilson, Ben Collins, David Scherer, Alec Grieser, Young Liu, Alvin Moore, Bhaskar Muppana, Xi-sheng Su, Vishesh Yadav. 2021. SIGMOD Conference.

Read the paper · doi:10.1145/3448016.3457559

What this paper does with SQLancer

SQLancer's work is cited once, in related work, as part of the body of approaches for testing the correctness of database subsystems in the absence of faults -- the query engine specifically. That is the contrast the paper draws with its own concern, which is correctness under injected faults. The mention is reachable only through the citation marker. The FoundationDB paper describes a distributed transactional key-value store built as unbundled components, and is best known for its deterministic simulation testing: the whole system runs in a single-threaded simulation where faults are injected reproducibly, so distributed bugs can be found and replayed exactly. Written by claude-opus-5 from the 1 place this paper refers to SQLancer. The quotations below are the paper's own words, stored verbatim when the text was extracted.

How it was classified

uses infrastructure — no

SQLancer is cited as related work; no reuse of its code, generator or workload is described.

extends technique — no

No SQLancer technique is extended; the citation is background.

compares with — no

No empirical comparison against SQLancer or one of its oracles is reported.

describes as state of the art — no

The text does not describe SQLancer as the state of the art.

SQLancer publications it cites (1)

Bibliography entries that resolved to a SQLancer publication, or to a paper by one of the project's authors. A sentence citing one of these numbers is a reference to SQLancer even when it never writes the name.

#	Entry	Matched as
57	M. Rigger and Z. Su. Testing database engines via pivoted query synthesis. In 14th USENIX Symposium on Operating Systems Design and Implementation (OSDI 20), pages 667–682. USENIX Association, Nov. 2020.	sqlancer publication · PQS

Every place it refers to SQLancer (1)

1 sentence, each stored verbatim from the extracted text with where it was found and how. “Citation marker” means the sentence names no tool at all and was reached through a reference number that resolved to a SQLancer publication.

Id	Sentence	Found by	Where
M1	Finally there are numerous approaches to testing the correctness of database subsystems in the absence of faults, including the query engine [ 17,57,60] and concurrency control mechanism [ 63].	citation marker background	7 Related Work page 12

This page is rendered from _data/papers/paper_doi_10_1145_3448016_3457559.json, extracted from supplied pdf. 14 pages, 71 references parsed.