diff --git a/src/account.rs b/src/account.rs
index 4641c5bf1..7b5bd1908 100644
--- a/src/account.rs
+++ b/src/account.rs
@@ -41,10 +41,10 @@ impl Account {
}
/// Create a new account with the given balance.
- pub fn new_basic(balance: U256) -> Account {
+ pub fn new_basic(balance: U256, nonce: U256) -> Account {
Account {
balance: balance,
- nonce: U256::from(0u8),
+ nonce: nonce,
storage_root: SHA3_NULL_RLP,
storage_overlay: RefCell::new(HashMap::new()),
code_hash: Some(SHA3_EMPTY),
diff --git a/src/lib.rs b/src/lib.rs
index d7f354423..776deb3dc 100644
--- a/src/lib.rs
+++ b/src/lib.rs
@@ -1,3 +1,5 @@
+#![feature(cell_extras)]
+
//! Ethcore's ethereum implementation
//!
//! ### Rust version
diff --git a/src/state.rs b/src/state.rs
index 936a41baf..d4bdf6485 100644
--- a/src/state.rs
+++ b/src/state.rs
@@ -1,13 +1,15 @@
+use std::cell::*;
+use std::ops::*;
use std::collections::HashMap;
use util::hash::*;
use util::hashdb::*;
use util::overlaydb::*;
use util::trie::*;
+use util::bytes::*;
use util::rlp::*;
use util::uint::*;
-//use std::cell::*;
-//use std::ops::*;
use account::Account;
+
/*
enum ValueOrRef<'self, 'db: 'self> {
Value(OverlayDB),
@@ -34,9 +36,9 @@ impl<'self, 'db> ValueOrRef<'self, 'db: 'self> {
pub struct State {
db: OverlayDB,
root: H256,
- cache: HashMap
>,
+ cache: RefCell>>,
- _account_start_nonce: U256,
+ account_start_nonce: U256,
}
impl State {
@@ -51,8 +53,8 @@ impl State {
State {
db: db,
root: root,
- cache: HashMap::new(),
- _account_start_nonce: account_start_nonce,
+ cache: RefCell::new(HashMap::new()),
+ account_start_nonce: account_start_nonce,
}
}
@@ -66,8 +68,8 @@ impl State {
State {
db: db,
root: root,
- cache: HashMap::new(),
- _account_start_nonce: account_start_nonce,
+ cache: RefCell::new(HashMap::new()),
+ account_start_nonce: account_start_nonce,
}
}
@@ -76,27 +78,41 @@ impl State {
Self::new(OverlayDB::new_temp(), U256::from(0u8))
}
- /// Return reference to root
- pub fn root(&self) -> &H256 {
- &self.root
- }
-
/// Destroy the current object and return root and database.
pub fn drop(self) -> (H256, OverlayDB) {
(self.root, self.db)
}
+ /// Return reference to root
+ pub fn root(&self) -> &H256 {
+ &self.root
+ }
+
/// Expose the underlying database; good to use for calling `state.db().commit()`.
pub fn db(&mut self) -> &mut OverlayDB {
&mut self.db
}
/// Get the balance of account `a`.
- // TODO: make immutable
- pub fn balance(&mut self, a: &Address) -> U256 {
+ pub fn balance(&self, a: &Address) -> U256 {
self.get(a, false).as_ref().map(|account| account.balance().clone()).unwrap_or(U256::from(0u8))
}
+ /// Get the nonce of account `a`.
+ pub fn nonce(&self, a: &Address) -> U256 {
+ self.get(a, false).as_ref().map(|account| account.nonce().clone()).unwrap_or(U256::from(0u8))
+ }
+
+ /// Mutate storage of account `a` so that it is `value` for `key`.
+ pub fn storage_at(&self, a: &Address, key: &H256) -> H256 {
+ self.get(a, false).as_ref().map(|a|a.storage_at(&self.db, key)).unwrap_or(H256::new())
+ }
+
+ /// Mutate storage of account `a` so that it is `value` for `key`.
+ pub fn code(&self, a: &Address) -> Option> {
+ self.get(a, true).as_ref().map(|a|a.code().map(|x|x.to_vec())).unwrap_or(None)
+ }
+
/// Add `incr` to the balance of account `a`.
pub fn add_balance(&mut self, a: &Address, incr: &U256) {
self.require(a, false).add_balance(incr)
@@ -107,34 +123,21 @@ impl State {
self.require(a, false).sub_balance(decr)
}
- /// Get the nonce of account `a`.
- // TODO: make immutable
- pub fn nonce(&mut self, a: &Address) -> U256 {
- self.get(a, false).as_ref().map(|account| account.nonce().clone()).unwrap_or(U256::from(0u8))
- }
-
/// Increment the nonce of account `a` by 1.
pub fn inc_nonce(&mut self, a: &Address) {
self.require(a, false).inc_nonce()
}
- /// Mutate storage of account `a` so that it is `value` for `key`.
- pub fn storage_at(&mut self, a: &Address, key: &H256) -> H256 {
- self.ensure_cached(a, false);
- self.try_get(a).map(|a|a.storage_at(&self.db, key)).unwrap_or(H256::new())
- }
-
- /// Mutate storage of account `a` so that it is `value` for `key`.
- pub fn code(&mut self, a: &Address) -> Option<&[u8]> {
- self.ensure_cached(a, true);
- self.try_get(a).map(|a|a.code()).unwrap_or(None)
- }
-
/// Mutate storage of account `a` so that it is `value` for `key`.
pub fn set_storage(&mut self, a: &Address, key: H256, value: H256) {
self.require(a, false).set_storage(key, value);
}
+ /// Mutate storage of account `a` so that it is `value` for `key`.
+ pub fn set_code(&mut self, a: &Address, code: Bytes) {
+ self.require_or_from(a, true, || Account::new_contract(U256::from(0u8))).set_code(code);
+ }
+
/// Commit accounts to TrieDBMut. This is similar to cpp-ethereum's dev::eth::commit.
/// `accounts` is mutable because we may need to commit the code or storage and record that.
pub fn commit_into(db: &mut HashDB, mut root: H256, accounts: &mut HashMap>) -> H256 {
@@ -165,69 +168,51 @@ impl State {
/// Commits our cached account changes into the trie.
pub fn commit(&mut self) {
let r = self.root.clone(); // would prefer not to do this, really.
- self.root = Self::commit_into(&mut self.db, r, &mut self.cache);
+ self.root = Self::commit_into(&mut self.db, r, self.cache.borrow_mut().deref_mut());
}
/// Pull account `a` in our cache from the trie DB and return it.
/// `require_code` requires that the code be cached, too.
// TODO: make immutable through returning an Option[>
- fn get(&mut self, a: &Address, require_code: bool) -> Option<&Account> {
- self.ensure_cached(a, require_code);
- self.try_get(a)
- }
-
- /// Return account `a` from our cache, or None if it doesn't exist in the cache or
- /// the account is empty.
- /// Call `ensure_cached` before if you want to avoid the "it doesn't exist in the cache"
- /// possibility.
- fn try_get(&self, a: &Address) -> Option<&Account> {
- self.cache.get(a).map(|x| x.as_ref()).unwrap_or(None)
- }
-
- /// Ensure account `a` exists in our cache.
- /// `require_code` requires that the code be cached, too.
- fn ensure_cached(&mut self, a: &Address, require_code: bool) {
- if self.cache.get(a).is_none() {
+ fn get(&self, a: &Address, require_code: bool) -> Ref]