runtime: Make persistent transaction check state configurable

Author: kostko

.changelog/4640.feature.md

@@ -0,0 +1 @@
+runtime: Make persistent transaction check state configurable

runtime/src/config.rs

@@ -12,6 +12,9 @@ pub struct Config {
     pub storage: Storage,
     /// Advertised runtime features.
     pub features: Option<Features>,
+    /// Whether storage state should be persisted between transaction check invocations. The state
+    /// is invalidated on the next round.
+    pub persist_check_tx_state: bool,
 }
 
 /// Storage-related configuration.

runtime/src/dispatcher.rs

@@ -520,7 +520,7 @@ impl Dispatcher {
 
         let txn_ctx = TxnContext::new(
             ctx.clone(),
-            protocol,
+            protocol.clone(),
             consensus_state,
             &mut overlay,
             &state.header,
@@ -531,9 +531,11 @@ impl Dispatcher {
         );
         let results = txn_dispatcher.check_batch(txn_ctx, &inputs);
 
-        // Commit results to in-memory tree so they persist for subsequent batches that are based on
-        // the same block.
-        let _ = overlay.commit(Context::create_child(&ctx)).unwrap();
+        if protocol.get_config().persist_check_tx_state {
+            // Commit results to in-memory tree so they persist for subsequent batches that are
+            // based on the same block.
+            let _ = overlay.commit(Context::create_child(&ctx)).unwrap();
+        }
 
         debug!(self.logger, "Transaction batch check complete");