pub struct ImpreciseInferencer<K, V>(_);
Implementations§
source§impl<K, V> ImpreciseInferencer<K, V>
impl<K, V> ImpreciseInferencer<K, V>
Trait Implementations§
source§impl<K, V> ReadWriteSetInferencer for ImpreciseInferencer<K, V>where
K: PartialOrd + Send + Sync + Clone + Hash + Eq + 'static,
V: Send + Sync + Debug + Clone + 'static,
impl<K, V> ReadWriteSetInferencer for ImpreciseInferencer<K, V>where K: PartialOrd + Send + Sync + Clone + Hash + Eq + 'static, V: Send + Sync + Debug + Clone + 'static,
§type T = Transaction<K, V>
type T = Transaction<K, V>
Type of transaction and its associated key.
source§fn infer_writes(&self, txn: &Self::T) -> AResult<Vec<K>>
fn infer_writes(&self, txn: &Self::T) -> AResult<Vec<K>>
Get the write set of a transaction. Write set estimation is crucial to the execution
correctness as there’s no way to resolve read-after-write conflict where a write is
unexpected. Thus we require write to be an over approximation for now.