gaspersic/solana
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

cleanup (#419)

Browse Source
This commit is contained in:
anatoly yakovenko
2018-06-22 23:26:42 -07:00
committed by GitHub
parent 9c50302a39
commit 6cb8266c7b
1 changed files with 13 additions and 23 deletions
Download Patch File Download Diff File Expand all files Collapse all files

28
rfcs/rfc-001-smart-contracts-engine.md
View File

@ -138,31 +138,21 @@ void reduce_r(
### Execution ### Execution
Transactions are batched and processed in parallel at each stage. Transactions are batched and processed in parallel at each stage.
``` ```
+-----------+ +--------------+ +---------------+ +-----------+ +-----------+ +--------------+ +-----------+ +---------------+
| sigverify |--->| debit verify |--->| memory verify |--->| execution | | sigverify |-+->| debit verify |---+->| execution |-+->| memory commit |
+-----------+ +--------------+ +---------------+ +-----------+ +-----------+ | +--------------+ | +-----------+ | +---------------+
``` | | |
| +---------------+ | | +--------------+
Continued: |->| memory verify |->+ +->| debit commit |
+---------------+ | +--------------+
```
+-----------+ +---------------+
| execution |-+->| memory commit |
+-----------+ | +---------------+
|
| +--------------+
+->| debit commit |
| +--------------+
| |
| +----=----------+ | +----=----------+
+->| credit commit | +->| credit commit |
+---------------+ +---------------+
``` ```
The `debit verify` stage is very similar to `memory verify`. Proof of key ownership is used to check if the callers key has some state allocated with the contract, then the memory is loaded and executed. After execution stage, the dirty pages are written back by the contract. Because know all the memory accesses during execution, we can batch transactions that do not interfere with each other. We can also apply the debit and credit stages of the transaction.
The `debit verify` stage is very similar to `memory verify`. Proof of key ownership is used to check if the callers key has some state allocated with the contract, then the memory is loaded and executed. After execution stage, the dirty pages are written back by the contract. Because know all the memory accesses during execution, we can batch transactions that do not interfere with each other. We can also appy the debit and credit stages of the transaction.
### GPU execution ### GPU execution