debugging
How to debug tursodb using Bytecode comparison, logging, ThreadSanitizer
by tursodatabaseFree
Description
Debugging is an agent skill that explains how to debug the Turso database, tursodb, when its behavior differs from SQLite. Turso aims for SQLite compatibility, so the main method is a bytecode comparison. You run EXPLAIN on the same query in sqlite3 and in tursodb, then compare the two bytecode listings. If the bytecode differs, the bug is in code generation. If the bytecode is the same but the results differ, the bug lies in the virtual machine or the storage layer. The skill includes an example that runs EXPLAIN SELECT 1 + 1 in an in-memory sqlite3 session. Its listing also names the other tools the guide covers: logging, ThreadSanitizer, deterministic simulation, and corruption analysis tools. The skill is meant for engineers who find a result that disagrees with SQLite and need to locate the faulty layer before changing code. It is listed on skills.sh under the Turso repository, and the differential fuzzer skill is the companion for finding such differences automatically. Its audit results are Gen Agent Trust Hub: Pass, Socket: Pass and Snyk: Pass.…
Highlights
- Bytecode comparison with SQLite's EXPLAIN
- Separates code generation bugs from VM or storage bugs
- Logging and ThreadSanitizer guidance
- Deterministic simulation and corruption tools
Ratings & Reviews
No ratings yet
Be the first to rate debugging.
People also visit
code-quality
General Correctness rules, Rust patterns, comments, avoiding over-engineering
debugging FAQ
What is the first debugging step?
Run EXPLAIN on the query in sqlite3 and in tursodb, then compare the bytecode from the two runs.
What does a bytecode difference mean?
If the bytecode is different, the bug is in code generation. If it is the same but results differ, the bug is in the virtual machine or the storage layer.
Who is it for?
Engineers who see behavior in tursodb that differs from SQLite and need to find which layer is at fault.
What other tools does it cover?
The listing names logging, ThreadSanitizer, deterministic simulation and corruption analysis tools.
How do I install it?
Run npx skills add https://github.com/tursodatabase/turso --skill debugging.
What security audits has it passed?
skills.sh lists three audits: Gen Agent Trust Hub Pass, Socket Pass and Snyk Pass.
What are the best debugging alternatives?
Popular alternatives to debugging include differential-fuzzer, storage-format and testing. See all debugging alternatives