Heyang Zhou

mvSQLite does not need SQLite's journaling mechanism. Currently we emulate an in-memory journal to make applications happy, but this is a waste of memory. We need to figure out a...

- [x] Stage 1: Writer lock - block concurrent read-write DMLs (https://github.com/losfair/mvsqlite/pull/80) - [ ] Stage 2: Log replay - fully concurrent

- Online schema change (restricted: database will be read-only to non-migration clients) - Overlay databases: create writable snapshots as new "overlay" databases from a version of an existing database

SQLite manages an on-disk data structure called "[freelist](https://www.sqlite.org/fileformat.html#the_freelist)". The freelist is used to track free pages in the database. The head of the freelist is stored in page 0. Each...

mvSQLite has stacked a lot of logic on top of FoundationDB. The *design* of these logic should be verified for correctness. Some specific subsystems that would benefit from verification: -...

Currently there is a 50,000 pages (390 MiB) total write size limit on transactions, but larger transactions can be useful in scenarios like schema change. It is possible to provide...

When `word32 == 1` the sign-extended upper bits `[63:32]` will be shifted into the lower 32-bit range and break the `srl.w` semantics of shifting in zeros.

SQLite schema cache is not properly invalidated

4

### Version 0.2.0 ### Platform ``` Linux devbox-aws 5.11.0-1022-aws #23~20.04.1-Ubuntu SMP Mon Nov 15 14:03:19 UTC 2021 x86_64 x86_64 x86_64 GNU/Linux ``` ### What steps will reproduce the bug? Run...

This patch allows to call `kv.atomic().sum()` directly on values of type `bigint` and `number`. `Deno.KvU64` is no longer needed. Also adds an option bag to `sum()` that allows to specify...

Now the "JSON" export format is the 2nd option in the dropdown menu.