Remix.run Logo
Havoc 16 hours ago

I’d imagine this will go a bit like the rust rewrite of sudo etc. Despite the memory safety advantages at least towards the start it still ends up more fragile because the incumbent has years of testing and fixing behind it

fulafel 16 hours ago | parent | next [-]

They're not aiming at replacing SQLite-in-C with SQLite-in-Rust, they're doing this so they can implement more additional functionality faster than with C's chainsaw-juggling-act semantics and the inability to access the proprietary SQLite test suite.

See the features and roadmap at https://github.com/tursodatabase/turso

adamzwasserman 15 hours ago | parent | next [-]

IMHO breaking free of SQLite's proprietary test suite is a bigger driver than C vs Rust. Turso's Limbo announcement says exactly that: they couldn't confidently make large architectural changes without access to the tests. The rewrite lets them build Deterministic Simulation Testing from scratch, which they argue can exceed SQLite's reliability by simulating unlikely scenarios and reproducing failures deterministically.

pseudohadamard 3 hours ago | parent | next [-]

Having seen way too many "we're going to rewrite $xyz but make it BETTERER!!", I don't give this one much chance of success. SQLite is a high-quality product with a quarter-century of development history and huge amounts of effort, both by the devs and via public use, of testing. So this let's-reinvent-it-in-Rust effort will have to beat an already very good product that's had a staggering amount of development effort and testing put into it which, if the devs do manage to get through it all, will end up being about the same as the existing thing but written in a language that most of the SQLite targets don't work with. I just can't see this going anywhere outside of hardcore Rust devotees who want to use a Rust SQLite even thought it still hasn't got past the fixer-upper stage.

CharlesW 14 hours ago | parent | prev [-]

> IMHO breaking free of SQLite's proprietary test suite is a bigger driver than C vs Rust.

I don't understand this claim, given the breadth and depth of SQLite's public domain TCL Tests. Can someone explain to me how this isn't pure FUD?

"There are 51445 distinct test cases, but many of the test cases are parameterized and run multiple times (with different parameters) so that on a full test run millions of separate tests are performed." - https://sqlite.org/testing.html

lmm 8 hours ago | parent | next [-]

The test suite that the actual SQLite developers use to develop SQLite is not open-source. 51445 open-source test cases is a big number but doesn't really mean much, particularly given that evidently the SQLite developers themselves don't consider it enough to provide adequate coverage.

einsteinx2 14 hours ago | parent | prev | next [-]

The irony is if they only had the public domain tests, no one would complain even though it would mean the exact same number of open source tests.

dullcrisp 3 hours ago | parent [-]

That’s like if I gave you half the dictionary and then said it’s ironic that if there really weren’t any letters after “M” you wouldn’t be complaining.

Ar-Curunir 6 hours ago | parent | prev | next [-]

There are also non-public tests.

digitalPhonix 13 hours ago | parent | prev [-]

The next bullet point:

> 2. The TH3 test harness is a set of proprietary tests…

CharlesW 13 hours ago | parent [-]

Of course, but how does that make the allegation not FUD?

digitalPhonix 9 hours ago | parent [-]

I’m confused, the statement is that SQLite has a proprietary test suite? It does. Where’s the FUD?

Turso tried to add features to SQLite in libsqlite but there were bugs/divergent behaviour that they couldn’t reconcile without the full test suite.

thisislife2 16 hours ago | parent | prev | next [-]

In other words, they are creating their own database and hitching on to the SQLite brand to market it. (That's fine though).

dlisboa 15 hours ago | parent | next [-]

I think it's fair to say they tried using SQLite but apparently had to bail out. Their use case is a distributed DBaaS with local-first semantics, they started out with SQLite and only now seem to be pivoting to "SQLite-compatible".

Building off of that into a SQLite-compatible DB doesn't seem to me as trying to piggyback on the brand. They have no other option as their product was SQLite to begin with.

IshKebab 14 hours ago | parent | prev | next [-]

No that's completely incorrect. It's compatible with SQLite, not just in the same spirit:

> SQLite compatibility for SQL dialect, file formats, and the C API

yencabulator 13 hours ago | parent [-]

It stopped being compatible with SQLite even before the Rust rewrite: https://news.ycombinator.com/item?id=42386894

IshKebab 12 hours ago | parent [-]

That doesn't seem very fair. It's still beta and clearly far from finished. And they do call out the compromises - they have a whole page about how they are not yet fully compatible:

https://github.com/tursodatabase/turso/blob/main/COMPAT.md

shimman 7 hours ago | parent | prev [-]

I don't think that's fine at all, it's quite a shitty thing to do hoenstly and I'm not surprised it's a VC backed company doing it.

groundzeros2015 15 hours ago | parent | prev [-]

Without the test suite isn’t even more likely to have stability problems?

dlisboa 15 hours ago | parent | next [-]

Maybe. It's hard to know what kind of issues that test suite covers. If memory safety is the main source of instability for the C implementation then the Rust implementation won't be too affected without the test suite. Same if it focus a lot on compatibility with niche embedded platforms and different OSes, which Turso won't care to lose.

"Stability" is a word that means different things for different use cases.

groundzeros2015 14 hours ago | parent [-]

Coverage is described on the SQLite website

0x457 15 hours ago | parent | prev | next [-]

Turso has its own test suite that in the repo.

groundzeros2015 15 hours ago | parent [-]

but the other one has decades of engineering effort and is based on real world problems

0x457 9 hours ago | parent [-]

But the other one is not available to most and SQLite itself is "open-source" not "open-contributions" so extending SQLite is pretty much impossible at scale:

- no way to merge upstream

- no way to run full test-suit to be sure everything is tiptop

9rx 14 hours ago | parent | prev [-]

Not likely. The alternative was for them to modify SQLite without the test suite and no obvious indication of what they would need to do to try to fill in the gaps. Modifying SQLite with its full test suite would be the best choice, of course, but one that is apparently[1] not on the table for them. Since they have to reimagine the test suite either way, they believe they can do a better job if the tests are written alongside a new codebase.

And I expect they are right. Trying to test a codebase after the fact never goes well.

[1] With the kind of investment backing they have you'd think they'd be able to reach some kind of licensing deal, but who knows.

SpecialistK 11 hours ago | parent | prev | next [-]

Of all the projects which may benefit from a rewrite or re-imagining in a memory-safe language, I'm really puzzled why it's heavily-tested, near-universally-deployed software such as sudo (use oBSD doas instead?), the coreutils, and sqlite.

Havoc 10 hours ago | parent [-]

I don't think there is a big picture plan. It requires that someone care both about rust and the thing

...which is a pretty arbitrary combination

tracker1 16 hours ago | parent | prev | next [-]

I definitely wouldn't be surprised by bugs and/or compatibility issues over time. Especially in the near term. I'm mixed, but somewhat enthusiastic on Turso's efforts to create client-server options and replication.

In the past I've reached for FirebirdSQL when I needed local + external databases and wanted to limit the technology spread... In the use case, as long as transactions synched up even once a week it was enough for the disparate remote connections/systems. I'm honestly surprised it isn't used more. That said, SQLite is more universal and lighter overall.

adamzwasserman 15 hours ago | parent [-]

Building a production app on Turso now. No bugs or compatibility issues so far. The sqlite API isn't fully implemented yet, so I wrote a declarative facade that backfills the missing implementations and parallels writes to both Turso and native sqlite: gives me integrity checking and fallback while the implementation matures

zbentley 15 hours ago | parent | prev [-]

Isn’t the rust rewrite deployed as part of some fairly significant Linux distros these days?

That’s hearsay that I haven’t dug into, so I may well be wrong.

ktimespi 15 hours ago | parent [-]

Ubuntu is deploying it in a non-LTS release, and they're trying to get the bugs out of the way is what I'm hearing