TxDAG based Parallel Transaction Execution implementation. #139
Conversation
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Prepare for v0.5.0 release
sunny2022da
force-pushed
the
feature/TxDAG-PEVM
branch
from
d3ccc6f
to
f8f5dc4
Compare
prepare for v0.5.1 release
This PR implement the Parallel EVM engine Co-authored-by: setunapo Co-authored-by: sunny2022da Co-authored-by: galaio Co-authored-by: andyzhang2023
Fix an issue of incorrectly set the origin storage at parallel stateDB's GetState(). Remove this code because it is already solved by lightCopy PR: #2
rwset: support collect rwset from statedb; mvstates: support export DAG; dag: support travel all execution paths; dag: refactor versioned TxDAG; dag: support profile parallel execution path; protocol: support to transfer TxDAG in NewBLock msg; PR: #4
* fix several UT with racing issues
* fix incorrect nonce balance codehash issue
case: TestEIP1559 / TestDeleteThenCreate
* Fix ExecutionSpec tests
mainly root caused by balance not updated to dirty correctly.
also fix similar issue with nonce and codehash.
* fix TestBlockChain testcase issue
TestBlockchain/ValidBlocks/bcStateTests/refundReset.json
Co-authored-by: Sunny <[email protected]>
* dag: add merge execute path method; pevm: support dispatch with TxDAG; * dag: add merge execute path method; pevm: support dispatch with TxDAG; * dag: clean code; * statedb: fix some broken uts; * pevm: support disable slot steal; --------- Co-authored-by: galaio <[email protected]>
* fix several UT with racing issues
* fix incorrect nonce balance codehash issue
case: TestEIP1559 / TestDeleteThenCreate
* Fix ExecutionSpec tests
mainly root caused by balance not updated to dirty correctly.
also fix similar issue with nonce and codehash.
* fix TestBlockChain testcase issue
TestBlockchain/ValidBlocks/bcStateTests/refundReset.json
* fix concurrent racing issue of state.accounts.
fix incorrect use of s.accountStorageParallelLock, it is designed
to be used for dirty/pending/original storages, not the accounts and
storages.
Use statedb.AccountMux and statedb.StorageMux for accounts/storages
lock.
* fix issue of DAOTransactions
handle the issue of updateObject of mainDB object touched by DAO transaction.
---------
Co-authored-by: Sunny <[email protected]>
There can be a issue that the object updated by mainDB.GetNonce etc is obseleted. The fix use statedb.getStateObjectNoUpdate to avoid touching the stateObjects of mainDB. Case: TestBlockchain/ValidBlocks/bcEIP1559/intrinsic.json
…ng; (#10) * txdag: support txdag transfer in extra; * txdag: support txdag transfer in extra; --------- Co-authored-by: galaio <[email protected]>
txdag: record txdag metrics; txdag: opt txdag flag name; Co-authored-by: galaio <[email protected]>
Fix 3 issues:
- re-execution happens only to new version of baseDB to remove
redundancy execution. And remove the retry with same baseIndex
that is conflicted.
- incorrect merge dirty objects in addrStateChangeInSlot, which
cause incorrect data.root copied with obseleted stateDB, this
fix handle the created, stateChanged and deleted object separately.
- stateObject.GetCommitedState check mainDB of the object delete.
Co-authored-by: Sunny <[email protected]>
* pevm: support delay gas fee calculation; txdag: check gas fee receiver; tests: support PEVM+TxDAG UTs; * txdag: skip some cost time operation; tests: fix some broken UTs; --------- Co-authored-by: galaio <[email protected]>
The originStorage will miss some loading in txn execution,do merge rather than simple copy This fix also use stateObject specific lock for storage update, rather than the one in stateDB. Co-authored-by: Sunny <[email protected]>
Co-authored-by: galaio <[email protected]>
txdag: opt rw record flag; txdag: opt some logic; Co-authored-by: galaio <[email protected]>
Co-authored-by: Sunny <[email protected]>
* txdag: opt some logic; txdag: opt rw set collect logic; * pevm: opt logs; * txdag: opt txdag encoding, reduce rlp size; --------- Co-authored-by: galaio <[email protected]>
* remove finalise * fix: update maindb txIndex after merge slotDB otherwise there can be issue that txIndex is load before the change in mergeSlotDB. * Fix: avoid update mainDB nonce in executeInSlot It should use slotDB, otherwise it cause the stateObjects change in mainDB, which cause racing issue. * Fix: remove stateDB update during conflict check stateDB.getState() will update the stateDB's stateObjects, which should not be updated for the purpose of state read for conflict check. --------- Co-authored-by: Sunny <[email protected]>
* txdag: add excluded flag; mvstates: generate txdag with excluded flag; * pevm: support txdag with excluded tx; * blockchain: opt txdag file mode; * pevm: fix dispatch bugs; * pevm: opt txdag dispatch; --------- Co-authored-by: galaio <[email protected]>
* pevm: opt slot trigger mechanism; * txdag: opt execute stat; * pevm: opt slot trigger mechanism; * txdag: add txdag more validation logic; --------- Co-authored-by: galaio <[email protected]>
Co-authored-by: andyzhang2023 <[email protected]>
Co-authored-by: andyzhang2023 <[email protected]>
Co-authored-by: andyzhang2023 <[email protected]>
welkin22
force-pushed
the
feature/TxDAG-PEVM
branch
from
d1aa6d7
to
743ca54
Compare
pevm: If TxDAG is nil, then use the serial processor to handle it.
…had been destructed
…n selfdestruct6780
…t like the StateDB do)
…created by NewBlockChain()
…erwise it will stuck forever because of a nil runner
…) when running conflict check cases
…ct6780-revert bugfix: tstorage revert and selfdestruct6780 revert
#207) Co-authored-by: andyzhang2023 <[email protected]>
Co-authored-by: andyzhang2023 <[email protected]>
Co-authored-by: andyzhang2023 <[email protected]>
pevm: fix the blockNumber used by txDAGReader during initialization
pevm: try to fix UT
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
Description
This is the experimental implementation of Parallel transaction execution with TxDAG mechanism to reduce and eliminate the re-run caused by Tx dependencies.
Rationale
It is expected to improve the block execution performance in the scenario where huge number of txs are included in the block.
The preliminary goal for this solution is to speed up the block syncing scenario with TxDAG data.