fix harness test

gas_schedule: change max gas unit of test env to 400_000_000 [dev branch] move update use new gas meter imp (#3795) * use GasParameter replace costTable * compat GasCost and GasConstants * ErrorContext change to ErrorDescription * update GasConstants member function * ErrorContext change to ErrorDescription * update move TableHandle def * 1.refactor gas-algebra-ext 2.add gas_params for starcoin_vm * 1.fix mpm code 2.fix TableHandle code * 1.fix mpm code 2.fix TableHandle code * fix NativeGasParams * 1.add move stdlib nursery GasParam * update starcoin_natives gas_params * update VmConfig to gas_params * fix GasParams names * add vmconfig to gas_schedule test * add gas meter calc function * remove debug info * fix simple_instruction * fix complex instr and gas_meter * fix gas_meter related charge implement * update starcoin_vm get gas_params * temp remove table_info column * fix charge_move_to and charge_borrow_global * add debug info for gas_meter * fix vector append remove reverse * fix sha2_256 sha3_256 native_function cal zero str * update starcoin-framework * fix gas-algebra config * add test stdlib precompiled * fix test_init_script and test_signer_cap_internal_type_error * update move_stdlib params * Package transaction publish bundle logic * Update move dep for fixing transactional test harness * comment StarcoinFramework checkpoint * compatible legacy AccountDataCache * Fix task help * move bytecode v6 * update starcoin-framework Co-authored-by: jolestar <jolestar@gmail.com> Co-authored-by: fikgol <hit.cs.lijun@gmail.com> Co-authored-by: WGB5445 <919603023@qq.com>
starcoinorg · Jan 31, 2023 · 5be7029 · 5be7029
1 parent eb60b70
commit 5be7029
Show file tree

Hide file tree

Showing 252 changed files with 5,232 additions and 1,662 deletions.
diff --git a/Cargo.lock b/Cargo.lock
diff --git a/Cargo.toml b/Cargo.toml
@@ -77,7 +77,9 @@ members = [
     "vm/transaction-builder-generator",
     "vm/move-coverage",
     "vm/resource-viewer",
+    "vm/starcoin-gas",
     "vm/dev",
+    "vm/gas-algebra-ext",
     "vm/move-explain",
     "vm/move-package-manager",
     "vm/vm-status-translator",
@@ -178,7 +180,9 @@ default-members = [
     "vm/transaction-builder-generator",
     "vm/move-coverage",
     "vm/resource-viewer",
+    "vm/starcoin-gas",
     "vm/dev",
+    "vm/gas-algebra-ext",
     "vm/move-explain",
     "vm/move-package-manager",
     "vm/vm-status-translator",

diff --git a/abi/decoder/Cargo.toml b/abi/decoder/Cargo.toml
@@ -10,7 +10,7 @@ version = "1.12.5"
 [dependencies]
 anyhow = "1.0.41"
 hex = "0.4.3"
-move-binary-format = { git = "https://github.com/starcoinorg/move", rev = "9c67dd9324b3b4b0ed6e8a916f68e6b5dd067243" }
+move-binary-format = { git = "https://github.com/starcoinorg/move", rev = "a781b641dd345c3e8f3e83ed080597f6c23a157c" }
 starcoin-resource-viewer = { path = "../../vm/resource-viewer" }
 starcoin-vm-types = { path = "../../vm/types" }
 starcoin-abi-types = { path = "../types" }

diff --git a/abi/decoder/src/lib.rs b/abi/decoder/src/lib.rs
@@ -82,8 +82,12 @@ fn value_to_json(origin: AnnotatedMoveValue) -> serde_json::Value {
     use serde_json::Value;
     match origin {
         AnnotatedMoveValue::U8(v) => Value::Number(v.into()),
+        AnnotatedMoveValue::U16(v) => Value::Number(v.into()),
+        AnnotatedMoveValue::U32(v) => Value::Number(v.into()),
         AnnotatedMoveValue::U64(v) => Value::Number(v.into()),
         AnnotatedMoveValue::U128(v) => Value::Number(v.into()),
+        // XXX FIXME YSG
+        AnnotatedMoveValue::U256(v) => Value::String(v.to_string()),
         AnnotatedMoveValue::Bool(v) => Value::Bool(v),
         AnnotatedMoveValue::Address(v) => Value::String(v.to_string()),
         AnnotatedMoveValue::Vector(v) => Value::Array(v.into_iter().map(value_to_json).collect()),

diff --git a/abi/resolver/Cargo.toml b/abi/resolver/Cargo.toml
@@ -11,7 +11,7 @@ starcoin-vm-types = { path = "../../vm/types" }
 starcoin-abi-types = { path = "../types" }
 anyhow = "~1"
 starcoin-resource-viewer = { path = "../../vm/resource-viewer" }
-move-model = { git = "https://github.com/starcoinorg/move", rev = "9c67dd9324b3b4b0ed6e8a916f68e6b5dd067243" }
+move-model = { git = "https://github.com/starcoinorg/move", rev = "a781b641dd345c3e8f3e83ed080597f6c23a157c" }
 [dev-dependencies]
 stdlib = { path = "../../vm/stdlib" }
 serde_json = "1"

diff --git a/abi/resolver/src/lib.rs b/abi/resolver/src/lib.rs
@@ -12,7 +12,7 @@ use starcoin_resource_viewer::module_cache::ModuleCache;
 use starcoin_resource_viewer::resolver::Resolver;
 use starcoin_vm_types::access::ModuleAccess;
 use starcoin_vm_types::file_format::{
-    CompiledModule, CompiledScript, FunctionDefinitionIndex, StructDefinitionIndex, Visibility,
+    CompiledModule, CompiledScript, FunctionDefinitionIndex, StructDefinitionIndex,
 };
 use starcoin_vm_types::identifier::{IdentStr, Identifier};
 use starcoin_vm_types::language_storage::{ModuleId, StructTag, TypeTag};
@@ -63,7 +63,7 @@ impl<'a> ABIResolver<'a> {
         let functions = m
             .exposed_functions
             .iter()
-            .filter(|(_, func)| func.visibility == Visibility::Script) // only script functions
+            // .filter(|(_, func)| func.visibility == Visibility::Script) // only script functions
             .map(|(name, func)| self.function_to_abi(&module_id, name.as_ident_str(), func))
             .collect::<Result<Vec<_>>>()?;
         Ok(ModuleABI::new(m.module_id(), structs, functions))
@@ -108,8 +108,11 @@ impl<'a> ABIResolver<'a> {
         Ok(match type_tag {
             TypeTag::Bool => TypeInstantiation::Bool,
             TypeTag::U8 => TypeInstantiation::U8,
+            TypeTag::U16 => TypeInstantiation::U16,
+            TypeTag::U32 => TypeInstantiation::U32,
             TypeTag::U64 => TypeInstantiation::U64,
             TypeTag::U128 => TypeInstantiation::U128,
+            TypeTag::U256 => TypeInstantiation::U256,
             TypeTag::Address => TypeInstantiation::Address,
 
             TypeTag::Signer => TypeInstantiation::Signer,
@@ -134,8 +137,11 @@ impl<'a> ABIResolver<'a> {
         Ok(match ty {
             Type::Bool => TypeInstantiation::Bool,
             Type::U8 => TypeInstantiation::U8,
+            Type::U16 => TypeInstantiation::U16,
+            Type::U32 => TypeInstantiation::U32,
             Type::U64 => TypeInstantiation::U64,
             Type::U128 => TypeInstantiation::U128,
+            Type::U256 => TypeInstantiation::U256,
             Type::Address => TypeInstantiation::Address,
             Type::Signer => TypeInstantiation::Signer,
             Type::Struct {
@@ -388,8 +394,7 @@ mod tests {
                     }))
                 }
                 StateKey::TableItem(_table_item) => {
-                    // XXX FIXME YSG
-                    unimplemented!()
+                    anyhow::bail!("no need table_item")
                 }
             }
         }

diff --git a/abi/types/Cargo.toml b/abi/types/Cargo.toml
@@ -15,3 +15,4 @@ serde_bytes = "0.11"
 serde_json = "~1"
 hex = "0.4"
 schemars = { git = "https://github.com/starcoinorg/schemars", rev = "6972da92f4360e1779168bb3fe0274c521d324e2" }
+move-core-types = { git = "https://github.com/starcoinorg/move", rev = "a781b641dd345c3e8f3e83ed080597f6c23a157c" }
diff --git a/abi/types/src/lib.rs b/abi/types/src/lib.rs
@@ -571,8 +571,11 @@ impl FieldABI {
 pub enum TypeInstantiation {
     Bool,
     U8,
+    U16,
+    U32,
     U64,
     U128,
+    U256,
     Address,
     Signer,
     Vector(Box<TypeInstantiation>),
@@ -591,9 +594,11 @@ impl TypeInstantiation {
         Ok(match self {
             Self::Bool => MoveTypeLayout::Bool,
             Self::U8 => MoveTypeLayout::U8,
-
+            Self::U16 => MoveTypeLayout::U16,
+            Self::U32 => MoveTypeLayout::U32,
             Self::U64 => MoveTypeLayout::U64,
             Self::U128 => MoveTypeLayout::U128,
+            Self::U256 => MoveTypeLayout::U256,
             Self::Address => MoveTypeLayout::Address,
             Self::Signer => MoveTypeLayout::Signer,
 
@@ -607,14 +612,16 @@ impl TypeInstantiation {
         Ok(match self {
             Self::Bool => TypeTag::Bool,
             Self::U8 => TypeTag::U8,
-
+            Self::U16 => TypeTag::U16,
+            Self::U32 => TypeTag::U32,
             Self::U64 => TypeTag::U64,
             Self::U128 => TypeTag::U128,
+            Self::U256 => TypeTag::U256,
             Self::Address => TypeTag::Address,
             Self::Signer => TypeTag::Signer,
 
             Self::Vector(t) => TypeTag::Vector(Box::new(t.type_tag()?)),
-            Self::Struct(s) => TypeTag::Struct(s.struct_tag()?),
+            Self::Struct(s) => TypeTag::Struct(Box::new(s.struct_tag()?)),
             Self::TypeParameter(_) => anyhow::bail!("get type tag failed -- {:?}", self),
             Self::Reference(_, _) => anyhow::bail!("get type tag failed -- {:?}", self),
         })
@@ -650,8 +657,12 @@ impl<'d> serde::de::DeserializeSeed<'d> for &TypeInstantiation {
         match &self {
             T::Bool => bool::deserialize(deserializer).map(V::Bool),
             T::U8 => u8::deserialize(deserializer).map(Into::into),
+            T::U16 => u16::deserialize(deserializer).map(Into::into),
+            T::U32 => u32::deserialize(deserializer).map(Into::into),
             T::U64 => u64::deserialize(deserializer).map(Into::into),
             T::U128 => u128::deserialize(deserializer).map(Into::into),
+            // XXX FIXME YSG
+            T::U256 => Err(D::Error::custom("type U256 not process variant")),
             T::Address => {
                 AccountAddress::deserialize(deserializer).map(|addr| V::String(addr.to_string()))
             }

diff --git a/chain/tests/test_block_chain.rs b/chain/tests/test_block_chain.rs
@@ -28,12 +28,12 @@ fn test_chain_filter_events() {
     let times = 10;
     mock_chain.produce_and_apply_times(times).unwrap();
 
-    let event_type_tag = TypeTag::Struct(StructTag {
+    let event_type_tag = TypeTag::Struct(Box::new(StructTag {
         address: genesis_address(),
         module: Identifier::from_str("Block").unwrap(),
         name: Identifier::from_str("NewBlockEvent").unwrap(),
         type_params: vec![],
-    });
+    }));
 
     // Origin block event index is 4, after https://github.com/starcoinorg/starcoin-framework/pull/42 , Genesis account create more event_handles, so the block event index is 7.
     // So we should use type_tags to filter event, do not dependent on event key.

diff --git a/cmd/airdrop/src/main.rs b/cmd/airdrop/src/main.rs
@@ -124,7 +124,7 @@ async fn main() -> Result<()> {
         .token_code
         .unwrap_or_else(|| G_STC_TOKEN_CODE.clone())
         .try_into()?;
-    let is_stc = stc_type_tag().eq(&TypeTag::Struct(token_type.clone()));
+    let is_stc = stc_type_tag().eq(&TypeTag::Struct(Box::new(token_type.clone())));
 
     let mut total_amount = 0u128;
     let airdrop_infos: Vec<AirdropInfo> = {

diff --git a/cmd/db-exporter/Cargo.toml b/cmd/db-exporter/Cargo.toml
@@ -33,8 +33,8 @@ logger = { path = "../../commons/logger", package = "starcoin-logger" }
 clap = { version = "3", features = ["derive"] }
 atomic-counter = "1.0.1"
 tokio = { version = "^1", features = ["full"] }
-move-binary-format = { git = "https://github.com/starcoinorg/move", rev = "9c67dd9324b3b4b0ed6e8a916f68e6b5dd067243" }
-move-bytecode-verifier = { git = "https://github.com/starcoinorg/move", rev = "9c67dd9324b3b4b0ed6e8a916f68e6b5dd067243" }
+move-binary-format = { git = "https://github.com/starcoinorg/move", rev = "a781b641dd345c3e8f3e83ed080597f6c23a157c" }
+move-bytecode-verifier = { git = "https://github.com/starcoinorg/move", rev = "a781b641dd345c3e8f3e83ed080597f6c23a157c" }
 starcoin-resource-viewer = { path = "../../vm/resource-viewer" }
 starcoin-state-tree = { path = "../../state/state-tree" }
 [target."cfg(target_os=\"linux\")".dependencies]

diff --git a/cmd/db-exporter/src/main.rs b/cmd/db-exporter/src/main.rs
@@ -672,6 +672,7 @@ pub fn apply_block(
     network: BuiltinNetworkID,
     verifier: Verifier,
 ) -> anyhow::Result<()> {
+    ::logger::init();
     let net = ChainNetwork::new_builtin(network);
     let db_storage = DBStorage::new(to_dir.join("starcoindb/db"), RocksdbConfig::default(), None)?;
     let storage = Arc::new(Storage::new(StorageInstance::new_cache_and_db_instance(
@@ -767,12 +768,6 @@ pub fn startup_info_back(
 
     let cur_num = chain.status().head().number();
     let back_size = back_size.unwrap_or(BACK_SIZE);
-    let back_size = if back_size < BACK_SIZE {
-        BACK_SIZE
-    } else {
-        back_size
-    };
-
     if cur_num <= back_size {
         println!(
             "startup_info block number {} <= back_size {}",
@@ -1838,12 +1833,13 @@ impl serde::Serialize for MoveValue {
             }
             AnnotatedMoveValue::Bytes(v) => hex::encode(v).serialize(serializer),
             AnnotatedMoveValue::Struct(v) => MoveStruct(v.clone()).serialize(serializer),
+            _ => todo!("XXX FXIME YSG"),
         }
     }
 }
 fn parse_struct_tag(input: &str) -> anyhow::Result<StructTag> {
     match parse_type_tag(input)? {
-        TypeTag::Struct(s) => Ok(s),
+        TypeTag::Struct(s) => Ok(*s),
         _ => {
             anyhow::bail!("invalid struct tag")
         }

diff --git a/cmd/resource-exporter/src/main.rs b/cmd/resource-exporter/src/main.rs
@@ -142,13 +142,14 @@ impl serde::Serialize for MoveValue {
             }
             AnnotatedMoveValue::Bytes(v) => hex::encode(v).serialize(serializer),
             AnnotatedMoveValue::Struct(v) => MoveStruct(v.clone()).serialize(serializer),
+            _ => todo!("XXX FIXME YSG"),
         }
     }
 }
 
 fn parse_struct_tag(input: &str) -> anyhow::Result<StructTag> {
     match parse_type_tag(input)? {
-        TypeTag::Struct(s) => Ok(s),
+        TypeTag::Struct(s) => Ok(*s),
         _ => {
             anyhow::bail!("invalid struct tag")
         }

diff --git a/cmd/starcoin/Cargo.toml b/cmd/starcoin/Cargo.toml
@@ -49,13 +49,13 @@ starcoin-resource-viewer = { path = "../../vm/resource-viewer" }
 starcoin-service-registry = { path = "../../commons/service-registry" }
 starcoin-move-explain = { path = "../../vm/move-explain" }
 vm-status-translator = { path = "../../vm/vm-status-translator" }
-move-errmapgen = { git = "https://github.com/starcoinorg/move", rev = "9c67dd9324b3b4b0ed6e8a916f68e6b5dd067243" }
+move-errmapgen = { git = "https://github.com/starcoinorg/move", rev = "a781b641dd345c3e8f3e83ed080597f6c23a157c" }
 network-api = { path = "../../network/api", package = "network-api" }
 starcoin-network-rpc-api = { path = "../../network-rpc/api" }
 starcoin-abi-decoder = { path = "../../abi/decoder" }
 starcoin-abi-resolver = { path = "../../abi/resolver" }
 starcoin-abi-types = { path = "../../abi/types" }
-move-command-line-common = { git = "https://github.com/starcoinorg/move", rev = "9c67dd9324b3b4b0ed6e8a916f68e6b5dd067243" }
+move-command-line-common = { git = "https://github.com/starcoinorg/move", rev = "a781b641dd345c3e8f3e83ed080597f6c23a157c" }
 
 [dev-dependencies]
 test-helper = { path = "../../test-helper" }

diff --git a/cmd/starcoin/src/account/accept_token_cmd.rs b/cmd/starcoin/src/account/accept_token_cmd.rs
@@ -46,7 +46,9 @@ impl CommandAction for AcceptTokenCommand {
             TransactionPayload::ScriptFunction(ScriptFunction::new(
                 ModuleId::new(core_code_address(), Identifier::new("Account").unwrap()),
                 Identifier::new("accept_token").unwrap(),
-                vec![TypeTag::Struct(opt.token_code.clone().try_into().unwrap())],
+                vec![TypeTag::Struct(Box::new(
+                    opt.token_code.clone().try_into().unwrap(),
+                ))],
                 vec![],
             )),
         )

diff --git a/cmd/starcoin/src/view.rs b/cmd/starcoin/src/view.rs
@@ -169,7 +169,7 @@ pub enum EventDataView {
 
 impl EventDataView {
     pub fn new(event_type_tag: &TypeTag, event_data: &[u8]) -> anyhow::Result<Self> {
-        if event_type_tag == &TypeTag::Struct(DepositEvent::struct_tag()) {
+        if event_type_tag == &TypeTag::Struct(Box::new(DepositEvent::struct_tag())) {
             if let Ok(received_event) = DepositEvent::try_from_bytes(event_data) {
                 Ok(EventDataView::ReceivedPayment {
                     amount: received_event.amount(),
@@ -179,7 +179,7 @@ impl EventDataView {
             } else {
                 Err(format_err!("Unable to parse ReceivedPaymentEvent"))
             }
-        } else if event_type_tag == &TypeTag::Struct(WithdrawEvent::struct_tag()) {
+        } else if event_type_tag == &TypeTag::Struct(Box::new(WithdrawEvent::struct_tag())) {
             if let Ok(sent_event) = WithdrawEvent::try_from_bytes(event_data) {
                 Ok(EventDataView::SentPayment {
                     amount: sent_event.amount(),
@@ -189,7 +189,7 @@ impl EventDataView {
             } else {
                 Err(format_err!("Unable to parse SentPaymentEvent"))
             }
-        } else if event_type_tag == &TypeTag::Struct(MintEvent::struct_tag()) {
+        } else if event_type_tag == &TypeTag::Struct(Box::new(MintEvent::struct_tag())) {
             if let Ok(mint_event) = MintEvent::try_from_bytes(event_data) {
                 Ok(EventDataView::Mint {
                     amount: mint_event.amount(),
@@ -198,7 +198,7 @@ impl EventDataView {
             } else {
                 Err(format_err!("Unable to parse MintEvent"))
             }
-        } else if event_type_tag == &TypeTag::Struct(ProposalCreatedEvent::struct_tag()) {
+        } else if event_type_tag == &TypeTag::Struct(Box::new(ProposalCreatedEvent::struct_tag())) {
             if let Ok(event) = ProposalCreatedEvent::try_from_bytes(event_data) {
                 Ok(EventDataView::ProposalCreated {
                     proposal_id: event.proposal_id,
@@ -207,7 +207,7 @@ impl EventDataView {
             } else {
                 Err(format_err!("Unable to parse ProposalCreatedEvent"))
             }
-        } else if event_type_tag == &TypeTag::Struct(VoteChangedEvent::struct_tag()) {
+        } else if event_type_tag == &TypeTag::Struct(Box::new(VoteChangedEvent::struct_tag())) {
             if let Ok(event) = VoteChangedEvent::try_from_bytes(event_data) {
                 Ok(EventDataView::VoteChanged {
                     proposal_id: event.proposal_id,
@@ -219,15 +219,15 @@ impl EventDataView {
             } else {
                 Err(format_err!("Unable to parse VoteChangedEvent"))
             }
-        } else if event_type_tag == &TypeTag::Struct(AcceptTokenEvent::struct_tag()) {
+        } else if event_type_tag == &TypeTag::Struct(Box::new(AcceptTokenEvent::struct_tag())) {
             if let Ok(event) = AcceptTokenEvent::try_from_bytes(event_data) {
                 Ok(EventDataView::AcceptToken {
                     token_code: event.token_code().to_string(),
                 })
             } else {
                 Err(format_err!("Unable to parse VoteChangedEvent"))
             }
-        } else if event_type_tag == &TypeTag::Struct(BlockRewardEvent::struct_tag()) {
+        } else if event_type_tag == &TypeTag::Struct(Box::new(BlockRewardEvent::struct_tag())) {
             Ok(BlockRewardEvent::try_from_bytes(event_data)
                 .map_err(|_| format_err!("Unable to parse {}", BlockRewardEvent::struct_tag()))?
                 .into())

diff --git a/commons/bcs_ext/Cargo.toml b/commons/bcs_ext/Cargo.toml
@@ -8,5 +8,5 @@ version = "1.12.5"
 
 [dependencies]
 anyhow = "1.0.41"
-bcs = "0.1.3"
+bcs = "0.1.4"
 serde = {version = "1.0.130"}
diff --git a/commons/proptest-helpers/Cargo.toml b/commons/proptest-helpers/Cargo.toml
@@ -8,6 +8,6 @@ version = "1.12.5"
 
 [dependencies]
 crossbeam = "0.7.3"
-diem-proptest-helpers = { package = "diem-proptest-helpers", git = "https://github.com/starcoinorg/move", rev = "9c67dd9324b3b4b0ed6e8a916f68e6b5dd067243" }
+diem-proptest-helpers = { package = "diem-proptest-helpers", git = "https://github.com/starcoinorg/move", rev = "a781b641dd345c3e8f3e83ed080597f6c23a157c" }
 proptest = "1.0.0"
 proptest-derive = "0.3.0"
diff --git a/config/Cargo.toml b/config/Cargo.toml
@@ -39,3 +39,5 @@ serde_json = { version = "1.0", features = ["arbitrary_precision"] }
 starcoin-time-service = { path = "../commons/time-service" }
 thiserror = "1.0"
 toml = { version = "0.5.9", default-features = false }
+gas-algebra-ext = { path = "../vm/gas-algebra-ext" }
+starcoin-gas = { path = "../vm/starcoin-gas" }
diff --git a/config/example/proxima/genesis_config.json b/config/example/proxima/genesis_config.json
@@ -443,27 +443,23 @@
           "memory_gas": 1
         },
         {
-          "instruction_gas": 4,
-          "memory_gas": 1
-        },
-        {
-          "instruction_gas": 4,
+          "instruction_gas": 10,
           "memory_gas": 1
         },
         {
-          "instruction_gas": 4,
+          "instruction_gas": 8,
           "memory_gas": 1
         },
         {
-          "instruction_gas": 4,
+          "instruction_gas": 40,
           "memory_gas": 1
         },
         {
-          "instruction_gas": 4,
+          "instruction_gas": 20,
           "memory_gas": 1
         },
         {
-          "instruction_gas": 4,
+          "instruction_gas": 73,
           "memory_gas": 1
         },
         {