| rskip | title | description | status | purpose | author | layer | complexity | created |
|---|---|---|---|---|---|---|---|---|
2 |
Dynamic Contract Dependency |
This RSKIP describes new opcodes to enable contracts to declare and enable dependencies with other contracts. |
Rejected |
Sca |
SDL (@sergiodemianlerner) |
Core |
2 |
2011-06-16 |
| RSKIP | 2 |
|---|---|
| Title | Dynamic Contract Dependency |
| Created | 11-JUN-16 |
| Author | SDL |
| Purpose | Sca |
| Layer | Core |
| Complexity | 2 |
| Status | Rejected |
This RSKIP describes new opcodes to enable contracts to declare and enable dependencies with other contracts. This will allow the partitioning of the transaction set into non-overlapping subsets to process them in parallel.
Rejected, in favour of RSKIP04 .
RSK processes transactions from blocks one by one, in the specified order. This is because the effect of two random transactions can differ if applied in different orders. However most transactions do not use the same accounts/contracts and therefore their execution could be parallelized without interference. There are several obstacles to parallelization. First, the dependencies are unknown until the transaction is actually executed. This implies that in case of an overlap in the set of modified accounts, transactions must be reverted and execution postponed. This optimistic execution can work on the average case, but can also be used as a vector to attack a node by DoS. The transaction partitioning could be made deterministic if contract relations were to be defined prior execution. Two new opcodes are proposed in order to define and undefine such relations. The effect of change in a relation only applies in the next block. Therefore contracts can still communicate with any other contract providing those contracts register callback addresses before the callback addresses are actually called.
Arguments: <address>
Cost: TBD
Add a new relation to this contract.
Arguments: <address>
Cost: TBD
Removes a relation from this contract.
Arguments: <address>
Cost: TBD
Returns True if there is a relation, or False otherwise.
Copyright and related rights waived via CC0.