mirrors/salsa
1
0
Fork 0
mirror of https://github.com/salsa-rs/salsa.git synced 2024-12-24 12:58:37 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 2

Remove workaround for parking_lot#101

Browse source
This commit is contained in:
Laurențiu Nicola 2020-06-27 13:30:38 +03:00
parent 335e92e547
commit cfb4e18eba
2 changed files with 8 additions and 7 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

1
Cargo.toml
View file

@ -11,6 +11,7 @@ readme = "README.md"
[dependencies]
crossbeam = "0.7.1"
indexmap = "1.0.1"
lock_api = "0.4"
log = "0.4.5"
parking_lot = "0.11.0"
rustc-hash = "1.0"

14
src/derived/slot.rs
View file

@ -17,7 +17,7 @@ use crate::runtime::StampedValue;
use crate::{CycleError, Database, DiscardIf, DiscardWhat, Event, EventKind, SweepStrategy};
use log::{debug, info};
use parking_lot::Mutex;
use parking_lot::RwLock;
use parking_lot::{RawRwLock, RwLock};
use smallvec::SmallVec;
use std::marker::PhantomData;
use std::ops::Deref;
@ -165,13 +165,13 @@ where
// Check with an upgradable read to see if there is a value
// already. (This permits other readers but prevents anyone
// else from running `read_upgrade` at the same time.)
//
// FIXME(Amanieu/parking_lot#101) -- we are using a write-lock
// and not an upgradable read here because upgradable reads
// can sometimes encounter deadlocks.
let old_memo = match self.probe(db, self.state.write(), runtime, revision_now) {
let old_memo = match self.probe(db, self.state.upgradable_read(), runtime, revision_now) {
ProbeState::UpToDate(v) => return v,
ProbeState::StaleOrAbsent(mut state) => {
ProbeState::StaleOrAbsent(state) => {
type RwLockUpgradableReadGuard<'a, T> =
lock_api::RwLockUpgradableReadGuard<'a, RawRwLock, T>;
let mut state = RwLockUpgradableReadGuard::upgrade(state);
match std::mem::replace(&mut *state, QueryState::in_progress(runtime.id())) {
QueryState::Memoized(old_memo) => Some(old_memo),
QueryState::InProgress { .. } => unreachable!(),