mirrors/salsa
1
0
Fork 0
mirror of https://github.com/salsa-rs/salsa.git synced 2025-01-22 21:05:11 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 2

add report_untracked_read to salsa::Database

Browse source
This commit is contained in:
XFFXFF 2022-08-25 06:30:27 +08:00
parent e86252d051
commit 8e754ec0d7
3 changed files with 11 additions and 4 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

8
components/salsa-2022/src/database.rs
View file

@ -22,6 +22,14 @@ pub trait Database: HasJarsDyn + AsSalsaDatabase {
fn synthetic_write(&mut self, durability: Durability) {
self.runtime_mut().synthetic_write(durability);
}
/// Reports that the query depends on some state unknown to salsa.
///
/// Queries which report untracked reads will be re-executed in the next
/// revision.
fn report_untracked_read(&self) {
self.runtime().report_untracked_read();
}
}
/// Indicates a database that also supports parallel query

5
salsa-2022-tests/tests/cycles.rs
View file

@ -3,7 +3,6 @@
use std::panic::{RefUnwindSafe, UnwindSafe};
use expect_test::expect;
use salsa::storage::HasJarsDyn;
use salsa::Durability;
// Axes:
@ -99,13 +98,13 @@ fn memoized_b(db: &dyn Db, input: MyInput) {
#[salsa::tracked(jar = Jar)]
fn volatile_a(db: &dyn Db, input: MyInput) {
db.runtime().report_untracked_read();
db.report_untracked_read();
volatile_b(db, input)
}
#[salsa::tracked(jar = Jar)]
fn volatile_b(db: &dyn Db, input: MyInput) {
db.runtime().report_untracked_read();
db.report_untracked_read();
volatile_a(db, input)
}

2
salsa-2022-tests/tests/lru.rs
View file

@ -55,7 +55,7 @@ fn get_hot_potato2(db: &dyn Db, input: MyInput) -> u32 {
#[salsa::tracked(jar = Jar, lru = 32)]
fn get_volatile(db: &dyn Db, _input: MyInput) -> usize {
static COUNTER: AtomicUsize = AtomicUsize::new(0);
db.runtime().report_untracked_read();
db.report_untracked_read();
COUNTER.fetch_add(1, Ordering::SeqCst)
}