Struct diem_parallel_executor::proptest_types::types::Task
source · pub struct Task<K, V>(_);
Implementations§
Trait Implementations§
source§impl<K, V> ExecutorTask for Task<K, V>where
K: PartialOrd + Send + Sync + Clone + Hash + Eq + 'static,
V: Send + Sync + Debug + Clone + 'static,
impl<K, V> ExecutorTask for Task<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 and value.
§type Output = Output<K, V>
type Output = Output<K, V>
The output of a transaction. This should contain the side effect of this transaction.
§type Error = usize
type Error = usize
Type of error when the executor failed to process a transaction and needs to abort.
§type Argument = ()
type Argument = ()
Type to intialize the single thread transaction executor. Copy and Sync are required because
we will create an instance of executor on each individual thread.
source§fn execute_transaction(
&self,
view: MVHashMapView<'_, K, V>,
txn: &Self::T
) -> ExecutionStatus<Self::Output, Self::Error>
fn execute_transaction( &self, view: MVHashMapView<'_, K, V>, txn: &Self::T ) -> ExecutionStatus<Self::Output, Self::Error>
Execute one single transaction given the view of the current state.