Skip to content
Open
Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
37 commits
Select commit Hold shift + click to select a range
3bf0ceb
Run nested cycles in a single fixpoint iteration
MichaReiser Sep 27, 2025
702fc10
Remove inline from `validate_same_iteration`
MichaReiser Sep 30, 2025
6264d7a
Nits
MichaReiser Oct 1, 2025
f9aca5b
Move locking into sync table
MichaReiser Oct 2, 2025
2649303
More trying
MichaReiser Oct 2, 2025
202fe55
More in progress work
MichaReiser Oct 4, 2025
45fefe9
More progress
MichaReiser Oct 5, 2025
86e8e3c
Fix most parallel tests
MichaReiser Oct 6, 2025
65d973f
More bugfixes
MichaReiser Oct 6, 2025
3efde91
Short circuit in some cases
MichaReiser Oct 6, 2025
995acd7
Short circuit in drop
MichaReiser Oct 6, 2025
445f812
Delete some unused code
MichaReiser Oct 6, 2025
824559a
A working solution
MichaReiser Oct 8, 2025
f7f630e
Simplify more
MichaReiser Oct 8, 2025
307aae5
Avoid repeated query lookups in `transfer_lock`
MichaReiser Oct 8, 2025
9c79821
Use recursion for unblocking
MichaReiser Oct 8, 2025
4dc0939
Fix hang in `maybe_changed_after`
MichaReiser Oct 8, 2025
2273fc7
Move claiming of transferred memos into a separate function
MichaReiser Oct 8, 2025
8d5dab7
More aggressive use of attributes
MichaReiser Oct 9, 2025
7f3d2ee
Make re-entrant a const parameter
MichaReiser Oct 9, 2025
85ef516
Smaller clean-ups
MichaReiser Oct 9, 2025
1dc2bea
Only collect cycle heads one level deep
MichaReiser Oct 9, 2025
6c5495a
More cleanups
MichaReiser Oct 9, 2025
2071c7f
More docs
MichaReiser Oct 9, 2025
c72efef
More comments
MichaReiser Oct 9, 2025
0a2d865
More documentation, cleanups
MichaReiser Oct 10, 2025
92a9ab6
More documentation, cleanups
MichaReiser Oct 10, 2025
868fb50
Remove inline attribute
MichaReiser Oct 10, 2025
b34ea29
Fix failing tracked structs test
MichaReiser Oct 10, 2025
8d786ae
Fix panic
MichaReiser Oct 10, 2025
5813326
Fix persistence test
MichaReiser Oct 10, 2025
81137dd
Add test for panic in nested cycle
MichaReiser Oct 10, 2025
282382a
Allow cycle initial values same-stack
MichaReiser Oct 10, 2025
d6f0f20
Try inlining fetch
MichaReiser Oct 10, 2025
e532693
Remove some inline attributes
MichaReiser Oct 10, 2025
14c64ee
Add safety comment
MichaReiser Oct 10, 2025
bb97d96
Clippy
MichaReiser Oct 10, 2025
File filter

Filter by extension

Filter by extension


Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
2 changes: 1 addition & 1 deletion Cargo.toml
Original file line number Diff line number Diff line change
Expand Up @@ -22,7 +22,7 @@ intrusive-collections = "0.9.7"
parking_lot = "0.12"
portable-atomic = "1"
rustc-hash = "2"
smallvec = "1"
smallvec = { version = "1", features = ["const_new"] }
thin-vec = { version = "0.2.14" }
tracing = { version = "0.1", default-features = false, features = ["std"] }

Expand Down
4 changes: 2 additions & 2 deletions src/active_query.rs
Original file line number Diff line number Diff line change
Expand Up @@ -498,7 +498,7 @@ impl fmt::Display for Backtrace {
if full {
write!(fmt, " -> ({changed_at:?}, {durability:#?}")?;
if !cycle_heads.is_empty() || !iteration_count.is_initial() {
write!(fmt, ", iteration = {iteration_count:?}")?;
write!(fmt, ", iteration = {iteration_count}")?;
}
write!(fmt, ")")?;
}
Expand All @@ -517,7 +517,7 @@ impl fmt::Display for Backtrace {
}
write!(
fmt,
"{:?} -> {:?}",
"{:?} -> iteration = {}",
head.database_key_index, head.iteration_count
)?;
}
Expand Down
Loading