415 commits

Author	SHA1	Message	Date
pedrocarlo	4cbf861699	use a different seed for gen_rng	2025-09-25 01:20:35 -03:00
pedrocarlo	44c08c02d1	do not shadow interactions when generating the next plan, only after the interaction is ran	2025-09-23 21:57:06 -03:00
pedrocarlo	69d09bcf8c	modify code to use runtime generation	2025-09-23 21:57:06 -03:00
pedrocarlo	5f83f3bdfe	modify plan generation to generate interactions on demand	2025-09-23 21:57:06 -03:00
pedrocarlo	6569d27bdc	compare rows order insensitively for differential testing	2025-09-22 15:33:37 -03:00
pedrocarlo	2cd7c68c35	adjust property generation to not panic by always having some property to select from	2025-09-22 15:24:30 -03:00
pedrocarlo	7d1f23dd3a	better diffing with similar crate	2025-09-22 15:24:30 -03:00
pedrocarlo	05034e1f9d	instead of incrementing interaction counter, just substitue the current state	2025-09-22 15:24:30 -03:00
pedrocarlo	6e2b0c901e	remove PanicGenerationContext and instead just pass the connection context directly	2025-09-21 14:16:46 -03:00
pedrocarlo	0e702fbec2	check FaultyQuery depending tables when shrinking	2025-09-20 12:01:07 -03:00
pedrocarlo	021d5d272a	refactor shadowing code to take into account snapshot isolation	2025-09-20 12:01:07 -03:00
pedrocarlo	6b0011f477	in shriking remove unnecessary begin commit queries	2025-09-20 11:52:15 -03:00
pedrocarlo	0293c32616	disable integrity check and indexes when using mvcc	2025-09-20 11:52:15 -03:00
pedrocarlo	850dbc75a2	adjust shrinking to keep previous interactions if there are no depending tables	2025-09-20 11:52:15 -03:00
pedrocarlo	c3cdb0e0fd	add begin concurrent before each statement with mvcc	2025-09-20 11:52:15 -03:00
pedrocarlo	13f36880f8	adjust generation code to use the context from the current connection index instead of the whole database	2025-09-20 11:52:15 -03:00
pedrocarlo	c4843d6a6e	refactor SimulatorEnv to hold committed tables and separate connection tables for snapshot isolation	2025-09-20 11:52:15 -03:00
pedrocarlo	30538e7898	modify Begin struct	2025-09-20 11:52:15 -03:00
pedrocarlo	c072b0314b	fix shrinking	2025-09-18 12:00:18 -03:00
pedrocarlo	27a8f019c6	clippy	2025-09-17 10:49:24 -03:00
pedrocarlo	8b05dcba21	add 10 connections to base profiles	2025-09-17 10:49:24 -03:00
pedrocarlo	6039a30222	fix double create failure	2025-09-17 10:49:24 -03:00
pedrocarlo	81cff3e3d7	fix shrinking to use a secondary index that points to the Property that generated the interactions	2025-09-17 10:49:24 -03:00
pedrocarlo	04154bf368	simplify code for doublecheck testing	2025-09-17 10:49:24 -03:00
pedrocarlo	f95ac87f06	simplify code for differential testing	2025-09-17 10:49:24 -03:00
pedrocarlo	4d9e676f65	simplify run_simualtion signature + remove watch mode file as it shares logic with default run simulation logic	2025-09-17 10:49:24 -03:00
pedrocarlo	35ddcb4270	adjust shrinking as we do not have a property pointer	2025-09-17 10:49:24 -03:00
pedrocarlo	b98c22a90e	run simulation on the total list of interactions to avoid recomputing whole vec of interactions on each loop + change state management in preparation for multiple connections change	2025-09-17 10:49:24 -03:00
pedrocarlo	faf38fe196	add connection Index to interaction struct	2025-09-17 10:49:24 -03:00
pedrocarlo	7e02fbe7e7	make assertion to be cloneable	2025-09-17 10:49:24 -03:00
pedrocarlo	77cab30c5b	add connection index to interaction	2025-09-17 10:49:24 -03:00
pedrocarlo	3c91ae206b	move as many dependencies as possible to workspace to avoid multiple versions of the same dependency	2025-09-15 17:19:36 -03:00
Pekka Enberg	860627942a	Merge 'core: Rename IO::run_once() to IO::step()' from Pekka Enberg ... The `run_once()` name is just a historical accident. Furthermore, it now started to appear elsewhere as well, so let's just call it IO::step() as we should have from the beginning. Closes #3001	2025-09-10 15:11:28 +03:00
Pekka Enberg	e0a3d2741b	Merge 'simulator: Clean up code to use extract_if()' from Pavan Nambi ... As we are in rust 1.88 rn, we can safely use extract_if Reviewed-by: Pedro Muniz (@pedrocarlo) Closes #2911	2025-09-10 14:59:42 +03:00
Pekka Enberg	2131a04b7d	core: Rename IO::run_once() to IO::step() ... The `run_once()` name is just a historical accident. Furthermore, it now started to appear elsewhere as well, so let's just call it IO::step() as we should have from the beginning.	2025-09-10 14:36:02 +03:00
Jussi Saurio	23c55eab6c	Make 'faultless' sim profile create some indexes too	2025-09-10 00:32:09 +03:00
pedrocarlo	5f24ff6e45	fix non determinism by using IndexSet for order preserving iteration	2025-09-05 02:00:18 -03:00
Pavan-Nambi	b85233059a	use extract_if	2025-09-04 08:59:18 +05:30
Pekka Enberg	1de647758f	Merge 'refactor parser fmt' from Lâm Hoàng Phúc ... @penberg this PR try to clean up `turso_parser`'s`fmt` code. - `get_table_name` and `get_column_name` should return None when table/column does not exist. ```rust /// Context to be used in ToSqlString pub trait ToSqlContext { /// Given an id, get the table name /// First Option indicates whether the table exists /// /// Currently not considering aliases fn get_table_name(&self, _id: TableInternalId) -> Option<&str> { None } /// Given a table id and a column index, get the column name /// First Option indicates whether the column exists /// Second Option indicates whether the column has a name fn get_column_name(&self, _table_id: TableInternalId, _col_idx: usize) -> Option<Option<&str>> { None } // help function to handle missing table/column names fn get_table_and_column_names( &self, table_id: TableInternalId, col_idx: usize, ) -> (String, String) { let table_name = self .get_table_name(table_id) .map(|s| s.to_owned()) .unwrap_or_else(|| format!("t{}", table_id.0)); let column_name = self .get_column_name(table_id, col_idx) .map(|opt| { opt.map(|s| s.to_owned()) .unwrap_or_else(|| format!("c{col_idx}")) }) .unwrap_or_else(|| format!("c{col_idx}")); (table_name, column_name) } } ``` - remove `FmtTokenStream` because it is same as `WriteTokenStream ` - remove useless functions and simplify `ToTokens` ```rust /// Generate token(s) from AST node /// Also implements Display to make sure devs won't forget Display pub trait ToTokens: Display { /// Send token(s) to the specified stream with context fn to_tokens<S: TokenStream + ?Sized, C: ToSqlContext>( &self, s: &mut S, context: &C, ) -> Result<(), S::Error>; // Return displayer representation with context fn displayer<'a, 'b, C: ToSqlContext>(&'b self, ctx: &'a C) -> SqlDisplayer<'a, 'b, C, Self> where Self: Sized, { SqlDisplayer::new(ctx, self) } } ``` Closes #2748	2025-09-02 18:35:43 +03:00
Pekka Enberg	8204fbc8ec	simulator: Fix 64-bit offset build failures ... Fix brekage from first merging commit d959319b ("Merge 'Use u64 for file offsets in I/O and calculate such offsets in u64' from Preston Thorpe") and then commit 6591b66c ("Merge 'Simulate I/O in memory' from Pedro Muniz"), which was unaware of the changes.	2025-09-02 14:14:04 +03:00
TcMits	33a04fbaf7	resolve conflict	2025-09-02 17:30:10 +07:00
Pekka Enberg	6591b66c3d	Merge 'Simulate I/O in memory' from Pedro Muniz ... Revives the `MemorySim` PR and fixes a page cache issue where we could have a unlocked and unloaded page in the page cache after a FaultyQuery. The page would continue in the cache and could affect other queries as the `page_cache` is at the `Connection` level. Depends on #2785 Closes #2693	2025-09-02 13:28:48 +03:00
Pekka Enberg	d959319b42	Merge 'Use u64 for file offsets in I/O and calculate such offsets in u64' from Preston Thorpe ... Using `usize` to compute file offsets caps us at ~16GB on 32-bit systems. For example, with 4 KiB pages we can only address up to 1048576 pages; attempting the next page overflows a 32-bit usize and can wrap the write offset, corrupting data. Switching our I/O APIs and offset math to u64 avoids this overflow on 32-bit targets Closes #2791	2025-09-02 09:06:49 +03:00
pedrocarlo	51a54d3c33	Fd should be part of Operation struct	2025-09-01 16:53:07 -03:00
pedrocarlo	1eb1171f55	do not fault on Fsync until we correctly define the expected behaviour in the simulator	2025-09-01 14:12:11 -03:00
pedrocarlo	c158db072b	inject fault in the IO Operation in the MemorySim	2025-09-01 14:12:11 -03:00
pedrocarlo	bd8cfe40f1	impl remove_file for MemoryIO + skip completion if finished	2025-09-01 14:12:11 -03:00
pedrocarlo	cc3488bba0	print path in stats for memory IO	2025-09-01 14:12:11 -03:00
pedrocarlo	ff51965c3e	fix shrinking to not include some properties that are present in faulty query, but that are not relevant to the error	2025-09-01 14:12:11 -03:00
pedrocarlo	fd4e74929a	Cli option to enable memory IO	2025-09-01 14:12:11 -03:00