Memory pool/reuse

CHANGELOG.md

@@ -13,10 +13,13 @@ and this project adheres to [Semantic Versioning](http://semver.org/).
 
 ### Added
 
+- [#732](https://github.com/FuelLabs/fuel-vm/pull/732): Adds `reset` method to VM memory.
+
 #### Breaking
 
 - [#725](https://github.com/FuelLabs/fuel-vm/pull/725): `UtxoId::from_str` now rejects inputs with multiple `0x` prefixes. Many `::from_str` implementations also reject extra data in the end of the input, instead of silently ignoring it. `UtxoId::from_str` allows a single `:` between the fields. Unused `GasUnit` struct removed.
 - [#726](https://github.com/FuelLabs/fuel-vm/pull/726): Removed code related to Binary Merkle Sum Trees (BMSTs). The BMST is deprecated and not used in production environments. 
+- [#732](https://github.com/FuelLabs/fuel-vm/pull/732): Adds `VmPool` to allow reusing relatively expensive-to-allocate VM memories… Functions and traits which require VM initalization such as `estimate_predicates` now take the `VmPool` as an argument. The old behavior cah be restored by just passing `Default::default()` as the argument.
 
 ## [Version 0.49.0]
 

fuel-vm/Cargo.toml

@@ -39,6 +39,7 @@ rand = { version = "0.8", optional = true }
 serde = { version = "1.0", features = ["derive", "rc"], optional = true }
 serde_with = { version = "3.7", optional = true }
 sha3 = { version = "0.10", default-features = false }
+spin = "0.9"
 static_assertions = "1.1"
 strum = { version = "0.24", features = ["derive"], default-features = false }
 tai64 = { version = "4.0", default-features = false }

fuel-vm/examples/external.rs

@@ -34,6 +34,7 @@ use fuel_tx::{
 use fuel_vm::{
     error::SimpleResult,
     interpreter::EcalHandler,
+    pool::VmPool,
     prelude::{
         Interpreter,
         IntoChecked,
@@ -104,7 +105,7 @@ fn example_file_read() {
         .maturity(Default::default())
         .add_random_fee_input()
         .finalize()
-        .into_checked(Default::default(), &consensus_params)
+        .into_checked(Default::default(), &consensus_params, VmPool::default())
         .expect("failed to generate a checked tx");
     client.transact(tx);
     let receipts = client.receipts().expect("Expected receipts");
@@ -163,7 +164,7 @@ fn example_counter() {
         .maturity(Default::default())
         .add_random_fee_input()
         .finalize()
-        .into_checked(Default::default(), &consensus_params)
+        .into_checked(Default::default(), &consensus_params, VmPool::default())
         .expect("failed to generate a checked tx");
     client.transact(tx);
     let receipts = client.receipts().expect("Expected receipts");
@@ -226,7 +227,7 @@ fn example_shared_counter() {
         .maturity(Default::default())
         .add_random_fee_input()
         .finalize()
-        .into_checked(Default::default(), &consensus_params)
+        .into_checked(Default::default(), &consensus_params, VmPool::default())
         .expect("failed to generate a checked tx");
     client.transact(tx);
     let receipts = client.receipts().expect("Expected receipts");

fuel-vm/examples/single_step.rs

@@ -15,6 +15,7 @@ use fuel_vm::{
         Interpreter,
         NotSupportedEcal,
     },
+    pool::VmPool,
     prelude::*,
 };
 
@@ -46,7 +47,7 @@ fn main() {
         .maturity(Default::default())
         .add_random_fee_input()
         .finalize()
-        .into_checked(Default::default(), &consensus_params)
+        .into_checked(Default::default(), &consensus_params, VmPool::default())
         .expect("failed to generate a checked tx")
         .into_ready(
             0,