mirror of
https://github.com/pezkuwichain/pezkuwi-subxt.git
synced 2026-06-11 23:31:07 +00:00
bb9746c798
* store contract keys with blake2_256 * bump version
230 lines
7.4 KiB
Rust
230 lines
7.4 KiB
Rust
// Copyright 2018-2019 Parity Technologies (UK) Ltd.
|
|
// This file is part of Substrate.
|
|
|
|
// Substrate is free software: you can redistribute it and/or modify
|
|
// it under the terms of the GNU General Public License as published by
|
|
// the Free Software Foundation, either version 3 of the License, or
|
|
// (at your option) any later version.
|
|
|
|
// Substrate is distributed in the hope that it will be useful,
|
|
// but WITHOUT ANY WARRANTY; without even the implied warranty of
|
|
// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
|
|
// GNU General Public License for more details.
|
|
|
|
// You should have received a copy of the GNU General Public License
|
|
// along with Substrate. If not, see <http://www.gnu.org/licenses/>.
|
|
|
|
//! Auxilliaries to help with managing partial changes to accounts state.
|
|
|
|
use super::{CodeHash, CodeHashOf, Trait, TrieId, AccountInfoOf, BalanceOf, AccountInfo, TrieIdGenerator};
|
|
use crate::exec::StorageKey;
|
|
use system;
|
|
use rstd::cell::RefCell;
|
|
use rstd::collections::btree_map::{BTreeMap, Entry};
|
|
use rstd::prelude::*;
|
|
use runtime_io::blake2_256;
|
|
use runtime_primitives::traits::Zero;
|
|
use srml_support::{StorageMap, traits::{UpdateBalanceOutcome,
|
|
SignedImbalance, Currency, Imbalance}, storage::child};
|
|
|
|
pub struct ChangeEntry<T: Trait> {
|
|
balance: Option<BalanceOf<T>>,
|
|
/// In the case the outer option is None, the code_hash remains untouched, while providing `Some(None)` signifies a removing of the code in question
|
|
code: Option<Option<CodeHash<T>>>,
|
|
storage: BTreeMap<StorageKey, Option<Vec<u8>>>,
|
|
}
|
|
|
|
// Cannot derive(Default) since it erroneously bounds T by Default.
|
|
impl<T: Trait> Default for ChangeEntry<T> {
|
|
fn default() -> Self {
|
|
ChangeEntry {
|
|
balance: Default::default(),
|
|
code: Default::default(),
|
|
storage: Default::default(),
|
|
}
|
|
}
|
|
}
|
|
|
|
pub type ChangeSet<T> = BTreeMap<<T as system::Trait>::AccountId, ChangeEntry<T>>;
|
|
|
|
pub trait AccountDb<T: Trait> {
|
|
/// Account is used when overlayed otherwise trie_id must be provided.
|
|
/// This is for performance reason.
|
|
///
|
|
/// Trie id can be None iff account doesn't have an associated trie id in <AccountInfoOf<T>>.
|
|
/// Because DirectAccountDb bypass the lookup for this association.
|
|
fn get_storage(&self, account: &T::AccountId, trie_id: Option<&TrieId>, location: &StorageKey) -> Option<Vec<u8>>;
|
|
fn get_code(&self, account: &T::AccountId) -> Option<CodeHash<T>>;
|
|
fn get_balance(&self, account: &T::AccountId) -> BalanceOf<T>;
|
|
|
|
fn commit(&mut self, change_set: ChangeSet<T>);
|
|
}
|
|
|
|
pub struct DirectAccountDb;
|
|
impl<T: Trait> AccountDb<T> for DirectAccountDb {
|
|
fn get_storage(&self, _account: &T::AccountId, trie_id: Option<&TrieId>, location: &StorageKey) -> Option<Vec<u8>> {
|
|
trie_id.and_then(|id| child::get_raw(id, &blake2_256(location)))
|
|
}
|
|
fn get_code(&self, account: &T::AccountId) -> Option<CodeHash<T>> {
|
|
<CodeHashOf<T>>::get(account)
|
|
}
|
|
fn get_balance(&self, account: &T::AccountId) -> BalanceOf<T> {
|
|
T::Currency::free_balance(account)
|
|
}
|
|
fn commit(&mut self, s: ChangeSet<T>) {
|
|
let mut total_imbalance = SignedImbalance::zero();
|
|
for (address, changed) in s.into_iter() {
|
|
if let Some(balance) = changed.balance {
|
|
let (imbalance, outcome) = T::Currency::make_free_balance_be(&address, balance);
|
|
total_imbalance = total_imbalance.merge(imbalance);
|
|
if let UpdateBalanceOutcome::AccountKilled = outcome {
|
|
// Account killed. This will ultimately lead to calling `OnFreeBalanceZero` callback
|
|
// which will make removal of CodeHashOf and AccountStorage for this account.
|
|
// In order to avoid writing over the deleted properties we `continue` here.
|
|
continue;
|
|
}
|
|
}
|
|
if changed.code.is_some() || !changed.storage.is_empty() {
|
|
let mut info = if !<AccountInfoOf<T>>::exists(&address) {
|
|
let info = AccountInfo {
|
|
trie_id: <T as Trait>::TrieIdGenerator::trie_id(&address),
|
|
storage_size: 0,
|
|
};
|
|
<AccountInfoOf<T>>::insert(&address, &info);
|
|
info
|
|
} else {
|
|
<AccountInfoOf<T>>::get(&address).unwrap()
|
|
};
|
|
|
|
if let Some(code) = changed.code {
|
|
if let Some(code) = code {
|
|
<CodeHashOf<T>>::insert(&address, code);
|
|
} else {
|
|
<CodeHashOf<T>>::remove(&address);
|
|
}
|
|
}
|
|
|
|
let mut new_storage_size = info.storage_size;
|
|
for (k, v) in changed.storage.into_iter() {
|
|
if let Some(value) = child::get_raw(&info.trie_id[..], &blake2_256(&k)) {
|
|
new_storage_size -= value.len() as u64;
|
|
}
|
|
if let Some(value) = v {
|
|
new_storage_size += value.len() as u64;
|
|
child::put_raw(&info.trie_id[..], &blake2_256(&k), &value[..]);
|
|
} else {
|
|
child::kill(&info.trie_id[..], &blake2_256(&k));
|
|
}
|
|
}
|
|
|
|
if new_storage_size != info.storage_size {
|
|
info.storage_size = new_storage_size;
|
|
<AccountInfoOf<T>>::insert(&address, info);
|
|
}
|
|
}
|
|
}
|
|
|
|
match total_imbalance {
|
|
// If we've detected a positive imbalance as a result of our contract-level machinations
|
|
// then it's indicative of a buggy contracts system.
|
|
// Panicking is far from ideal as it opens up a DoS attack on block validators, however
|
|
// it's a less bad option than allowing arbitrary value to be created.
|
|
SignedImbalance::Positive(ref p) if !p.peek().is_zero() =>
|
|
panic!("contract subsystem resulting in positive imbalance!"),
|
|
_ => {}
|
|
}
|
|
}
|
|
}
|
|
pub struct OverlayAccountDb<'a, T: Trait + 'a> {
|
|
local: RefCell<ChangeSet<T>>,
|
|
underlying: &'a AccountDb<T>,
|
|
}
|
|
impl<'a, T: Trait> OverlayAccountDb<'a, T> {
|
|
pub fn new(
|
|
underlying: &'a AccountDb<T>,
|
|
) -> OverlayAccountDb<'a, T> {
|
|
OverlayAccountDb {
|
|
local: RefCell::new(ChangeSet::new()),
|
|
underlying,
|
|
}
|
|
}
|
|
|
|
pub fn into_change_set(self) -> ChangeSet<T> {
|
|
self.local.into_inner()
|
|
}
|
|
|
|
pub fn set_storage(
|
|
&mut self,
|
|
account: &T::AccountId,
|
|
location: StorageKey,
|
|
value: Option<Vec<u8>>,
|
|
) {
|
|
self.local.borrow_mut()
|
|
.entry(account.clone())
|
|
.or_insert(Default::default())
|
|
.storage
|
|
.insert(location, value);
|
|
}
|
|
|
|
pub fn set_code(&mut self, account: &T::AccountId, code: Option<CodeHash<T>>) {
|
|
self.local
|
|
.borrow_mut()
|
|
.entry(account.clone())
|
|
.or_insert(Default::default())
|
|
.code = Some(code);
|
|
}
|
|
pub fn set_balance(&mut self, account: &T::AccountId, balance: BalanceOf<T>) {
|
|
self.local
|
|
.borrow_mut()
|
|
.entry(account.clone())
|
|
.or_insert(Default::default())
|
|
.balance = Some(balance);
|
|
}
|
|
}
|
|
|
|
impl<'a, T: Trait> AccountDb<T> for OverlayAccountDb<'a, T> {
|
|
fn get_storage(&self, account: &T::AccountId, trie_id: Option<&TrieId>, location: &StorageKey) -> Option<Vec<u8>> {
|
|
self.local
|
|
.borrow()
|
|
.get(account)
|
|
.and_then(|a| a.storage.get(location))
|
|
.cloned()
|
|
.unwrap_or_else(|| self.underlying.get_storage(account, trie_id, location))
|
|
}
|
|
fn get_code(&self, account: &T::AccountId) -> Option<CodeHash<T>> {
|
|
self.local
|
|
.borrow()
|
|
.get(account)
|
|
.and_then(|a| a.code.clone())
|
|
.unwrap_or_else(|| self.underlying.get_code(account))
|
|
}
|
|
fn get_balance(&self, account: &T::AccountId) -> BalanceOf<T> {
|
|
self.local
|
|
.borrow()
|
|
.get(account)
|
|
.and_then(|a| a.balance)
|
|
.unwrap_or_else(|| self.underlying.get_balance(account))
|
|
}
|
|
fn commit(&mut self, s: ChangeSet<T>) {
|
|
let mut local = self.local.borrow_mut();
|
|
|
|
for (address, changed) in s.into_iter() {
|
|
match local.entry(address) {
|
|
Entry::Occupied(e) => {
|
|
let mut value = e.into_mut();
|
|
if changed.balance.is_some() {
|
|
value.balance = changed.balance;
|
|
}
|
|
if changed.code.is_some() {
|
|
value.code = changed.code;
|
|
}
|
|
value.storage.extend(changed.storage.into_iter());
|
|
}
|
|
Entry::Vacant(e) => {
|
|
e.insert(changed);
|
|
}
|
|
}
|
|
}
|
|
}
|
|
}
|