There are over 600 lines of test code for every line of code in SQLite
Holy mother of god
this post was submitted on 30 Dec 2024
140 points (99.3% liked)
Programming
17710 readers
135 users here now
Welcome to the main community in programming.dev! Feel free to post anything relating to programming here!
Cross posting is strongly encouraged in the instance. If you feel your post or another person's post makes sense in another community cross post into it.
Hope you enjoy the instance!
Rules
Rules
- Follow the programming.dev instance rules
- Keep content related to programming in some way
- If you're posting long videos try to add in some form of tldr for those who don't want to watch videos
Wormhole
Follow the wormhole through a path of communities [email protected]
founded 2 years ago
MODERATORS
And they still find new bugs
A limitation of testing is that you can only write tests for cases that you can think of, and cases you can think of ways to write tests for.
It's still valuable despite this limitation, of course.
That's not entirely true, e.g. you can do fuzz testing or constrained random testing. Maybe you aren't including those in "testing"?
I was mostly thinking about hand-written tests and manual test procedures, but yeah, fuzzing can help you catch issues as well and you don't necessarily consciously know about the test cases you put into the system in that case.
Then again, you have to design the fuzzing input consciously so I guess that's kind of a "what you can think about"-limitation.
Good point regardless, thanks
You can write shit tests. Finding new bugs doesn't surprise me. Putting that much effort in does, but 600:1? That's some serious red flags there. There are only so many variables in a single line of code. How many unhappy paths can there be for a single line?
SQLite is one of the best tested codebases in existence. Having only so many variables per line means nothing
I had no idea the maintainers of sqlite were religious fanatics.
Yeah, the code of ethics thing shocked me as well, but it's really important to remember that it's not something they expect users to follow, it's something the devs are saying they'll follow. So it's not too bad in my opinion.
As long as they don't go on a holy crusade or forcefully evangelize the entire world by genocide I wouldn't call them fanatics.
That's a pretty high bar for fanatic. This list definitely sparks of fanaticism to me and it was derived from rules for monks. We could squabble over where to draw the line for "fanatic" but either way they're very religious.
- First of all, love the Lord God with your whole heart, your whole soul, and your whole strength.
- Deny oneself in order to follow Christ.
- Chastise the body.
- Prefer nothing more than the love of Christ.
- Put your hope in God.
- Attribute to God, and not to self, whatever good you see in yourself.
- Recognize always that evil is your own doing, and to impute it to yourself.
- Fear the Day of Judgment.
- Be in dread of hell.
- Desire eternal life with all the passion of the spirit.
- Keep death daily before your eyes.
- Know for certain that God sees you everywhere.
- When wrongful thoughts come into your heart, dash them against Christ immediately.
- Disclose wrongful thoughts to your spiritual mentor.
- Devote yourself frequently to prayer.
- Daily in your prayers, with tears and sighs, confess your past sins to God, and amend them for the
- Fulfill not the desires of the flesh; hate your own will.
- Obey in all things the commands of those whom God has placed in authority over you even though they (which God forbid) should act otherwise, mindful of the Lord's precept, "Do what they say, but not what they do."
Why do we even need a server? Why can’t I pull this directly off the disk drive? That way if the computer is healthy enough, it can run our application at all, we don’t have dependencies that can fail and cause us to fail, and I looked around and there were no SQL database engines that would do that, and one of the guys I was working with says, “Richard, why don’t you just write one?” “Okay, I’ll give it a try.” I didn’t do that right away, but later on, it was a funding hiatus. This was back in 2000, and if I recall correctly, Newt Gingrich and Bill Clinton were having a fight of some sort, so all government contracts got shut down, so I was out of work for a few months, and I thought, “Well, I’ll just write that database engine now.”
Gee, thanks Newt Gingrich and Bill Clinton?! Government shutdown leads to actual production of value for everyone instead of just making a better military vessel.
another one not mentioned there: sqlite is really tiny: (from https://sqlite.org/faq.html#q18 )
The default configuration of SQLite only supports case-insensitive comparisons of ASCII characters. The reason for this is that doing full Unicode case-insensitive comparisons and case conversions requires tables and logic that would nearly double the size of the SQLite library.
Their commitment to backwards compatibility, to the point of keeping a known bug that allows primary keys to be null, is both amazing and "wtf".
You can do backwards compatibility and make breaking changes to fix bugs. All you need is an opt-in "target version". CMake and Android are good examples of this.
I get it...I've never been the maintainer of a codebase that's deployed on trillions of devices, and backwards compatibility is something to be taken seriously and responsibly when you're that prolific. I do not begrudge SQLite or any large projects when they make decisions in service to that.
However
It always makes me feel oddly icky when known bugs (particularly of the footgun variety) become the new standard that the project intentionally upholds.
It's not on trillions of devices, just billions. But e.g. a typical android phone has 1000s of sqlite db's for different purposes.
You’re right, that’s a distinction I failed to make
I'm glad to see i've been pronouncing it right all these years.
Yeah I was really surprised by that. Surely "sequelite", given SQL is commonly pronounced "sequel" (c.f. PRQL).
ass-keh-leet
Unfortunately, you're both wrong 🙂
It’s pronounced “gif”
like the peanut butter?
SKIPPY
like the clear soda?
This article is written as though it is targeting FOSS newbie or something -- a weird mix of jargon and simple language designed to overawe someone.
Their VCS is at least as interesting as SQLite :)
Here's a fun fact not noted in the article: Temporary files in sqlite are named etilqs_something in order to prevent people from contacting the sqlite developers for support when other applications (specifically, McAfee) have decided dump and not prune temp files.
Source: https://github.com/sqlite/sqlite/blob/95f6df5b8d55e67d1e34d2bff217305a2f21b1fb/src/os.h#L57
Here’s a fun fact not noted in the article:
It's #19 in the article.
Well, I can't read I guess.
At least I linked to the code, since the article doesn't seem to do that. The twitter thread it linked to probably does, but I can't view the replies without logging in.
At least I linked to the code,
I appreciate that. :)
Hmm, well... I have never murdered anyone, not even once! Is that good enough for their Code of Ethics?
So nerdy, so good