Commit graph

3 commits

Author SHA1 Message Date
Shunsuke Shibayama
cdd0b85516
Expose the Input query Id with cycle_initial (#1015)
Some checks failed
Release-plz / Release-plz PR (push) Has been cancelled
Release-plz / Release-plz release (push) Has been cancelled
Book / Book (push) Has been cancelled
Test / Test (push) Has been cancelled
Test / Miri (push) Has been cancelled
Test / Shuttle (push) Has been cancelled
Test / Benchmarks (push) Has been cancelled
Book / Deploy (push) Has been cancelled
2025-10-27 12:27:09 +00:00
Micha Reiser
d38145c295
Expose the query ID and the last provisional value to the cycle recovery function (#1012)
Some checks failed
Test / Shuttle (push) Has been cancelled
Release-plz / Release-plz release (push) Has been cancelled
Test / Test (push) Has been cancelled
Test / Miri (push) Has been cancelled
Book / Book (push) Has been cancelled
Release-plz / Release-plz PR (push) Has been cancelled
Test / Benchmarks (push) Has been cancelled
Book / Deploy (push) Has been cancelled
* Expose the query ID and the last provisional value to the cycle recovery function

* Mark cycle as converged if fallback value is the same as the last provisional

* Make `cycle_fn` optional
2025-10-23 06:36:56 +00:00
Micha Reiser
ef9f9329be
Run fixpoint per strongly connected component (#999)
Some checks failed
Book / Book (push) Has been cancelled
Release-plz / Release-plz release (push) Has been cancelled
Release-plz / Release-plz PR (push) Has been cancelled
Test / Test (push) Has been cancelled
Test / Miri (push) Has been cancelled
Test / Shuttle (push) Has been cancelled
Test / Benchmarks (push) Has been cancelled
Book / Deploy (push) Has been cancelled
* Run nested cycles in a single fixpoint iteration

Fix serde attribute

* Remove inline from `validate_same_iteration`

* Nits

* Move locking into sync table

* More trying

* More in progress work

* More progress

* Fix most parallel tests

* More bugfixes

* Short circuit in some cases

* Short circuit in drop

* Delete some unused code

* A working solution

* Simplify more

* Avoid repeated query lookups in `transfer_lock`

* Use recursion for unblocking

* Fix hang in `maybe_changed_after`

* Move claiming of transferred memos into a separate function

* More aggressive use of attributes

* Make re-entrant a const parameter

* Smaller clean-ups

* Only collect cycle heads one level deep

* More cleanups

* More docs

* More comments

* More documentation, cleanups

* More documentation, cleanups

* Remove inline attribute

* Fix failing tracked structs test

* Fix panic

* Fix persistence test

* Add test for panic in nested cycle

* Allow cycle initial values same-stack

* Try inlining fetch

* Remove some inline attributes

* Add safety comment

* Clippy

* Panic if `provisional_retry` runs too many times

* Better handling of panics in cycles

* Don't use const-generic for `REENTRANT`

* More nit improvements

* Remove `IterationCount::panicked`

* Prefer outer most cycles in `outer_cycle`

* Code review feedback

* Iterate only once in panic test when running with miri
2025-10-16 09:23:03 +00:00