2023-08-07 18:45:23 +01:00
|
|
|
# nimbus-eth1
|
Core db update storage root management for sub tries (#1964)
* Aristo: Re-phrase `LayerDelta` and `LayerFinal` as object references
why:
Avoids copying in some cases
* Fix copyright header
* Aristo: Verify `leafTie.root` function argument for `merge()` proc
why:
Zero root will lead to inconsistent DB entry
* Aristo: Update failure condition for hash labels compiler `hashify()`
why:
Node need not be rejected as long as links are on the schedule. In
that case, `redo[]` is to become `wff.base[]` at a later stage.
This amends an earlier fix, part of #1952 by also testing against
the target nodes of the `wff.base[]` sets.
* Aristo: Add storage root glue record to `hashify()` schedule
why:
An account leaf node might refer to a non-resolvable storage root ID.
Storage root node chains will end up at the storage root. So the link
`storage-root->account-leaf` needs an extra item in the schedule.
* Aristo: fix error code returned by `fetchPayload()`
details:
Final error code is implied by the error code form the `hikeUp()`
function.
* CoreDb: Discard `createOk` argument in API `getRoot()` function
why:
Not needed for the legacy DB. For the `Arsto` DB, a lazy approach is
implemented where a stprage root node is created on-the-fly.
* CoreDb: Prevent `$$` logging in some cases
why:
Logging the function `$$` is not useful when it is used for internal
use, i.e. retrieving an an error text for logging.
* CoreDb: Add `tryHashFn()` to API for pretty printing
why:
Pretty printing must not change the hashification status for the
`Aristo` DB. So there is an independent API wrapper for getting the
node hash which never updated the hashes.
* CoreDb: Discard `update` argument in API `hash()` function
why:
When calling the API function `hash()`, the latest state is always
wanted. For a version that uses the current state as-is without checking,
the function `tryHash()` was added to the backend.
* CoreDb: Update opaque vertex ID objects for the `Aristo` backend
why:
For `Aristo`, vID objects encapsulate a numeric `VertexID`
referencing a vertex (rather than a node hash as used on the
legacy backend.) For storage sub-tries, there might be no initial
vertex known when the descriptor is created. So opaque vertex ID
objects are supported without a valid `VertexID` which will be
initalised on-the-fly when the first item is merged.
* CoreDb: Add pretty printer for opaque vertex ID objects
* Cosmetics, printing profiling data
* CoreDb: Fix segfault in `Aristo` backend when creating MPT descriptor
why:
Missing initialisation error
* CoreDb: Allow MPT to inherit shared context on `Aristo` backend
why:
Creates descriptors with different storage roots for the same
shared `Aristo` DB descriptor.
* Cosmetics, update diagnostic message items for `Aristo` backend
* Fix Copyright year
2024-01-11 19:11:38 +00:00
|
|
|
# Copyright (c) 2023-2024 Status Research & Development GmbH
|
2023-08-07 18:45:23 +01:00
|
|
|
# Licensed under either of
|
|
|
|
# * Apache License, version 2.0, ([LICENSE-APACHE](LICENSE-APACHE) or
|
|
|
|
# http://www.apache.org/licenses/LICENSE-2.0)
|
|
|
|
# * MIT license ([LICENSE-MIT](LICENSE-MIT) or
|
|
|
|
# http://opensource.org/licenses/MIT)
|
|
|
|
# at your option. This file may not be copied, modified, or distributed
|
|
|
|
# except according to those terms.
|
|
|
|
|
|
|
|
## Aristo DB -- Transaction interface
|
|
|
|
## ==================================
|
|
|
|
##
|
|
|
|
{.push raises: [].}
|
|
|
|
|
|
|
|
import
|
|
|
|
results,
|
2024-12-18 11:56:46 +01:00
|
|
|
./aristo_tx/[tx_frame, tx_stow],
|
|
|
|
./aristo_desc
|
2024-04-29 20:17:17 +00:00
|
|
|
|
2024-12-18 17:03:51 +01:00
|
|
|
export tx_frame
|
2023-08-07 18:45:23 +01:00
|
|
|
|
|
|
|
# ------------------------------------------------------------------------------
|
|
|
|
# Public functions
|
|
|
|
# ------------------------------------------------------------------------------
|
|
|
|
|
2023-08-11 18:23:57 +01:00
|
|
|
func to*(tx: AristoTxRef; T: type[AristoDbRef]): T =
|
|
|
|
## Getter, retrieves the parent database descriptor from argument `tx`
|
2023-08-07 18:45:23 +01:00
|
|
|
tx.db
|
|
|
|
|
|
|
|
# ------------------------------------------------------------------------------
|
|
|
|
# Public functions: Transaction frame
|
|
|
|
# ------------------------------------------------------------------------------
|
|
|
|
|
|
|
|
# ------------------------------------------------------------------------------
|
2024-04-29 20:17:17 +00:00
|
|
|
# Public functions: save to database
|
2023-08-07 18:45:23 +01:00
|
|
|
# ------------------------------------------------------------------------------
|
|
|
|
|
2024-04-29 20:17:17 +00:00
|
|
|
proc persist*(
|
2023-08-11 18:23:57 +01:00
|
|
|
db: AristoDbRef; # Database
|
2024-06-03 20:10:35 +00:00
|
|
|
nxtSid = 0u64; # Next state ID (aka block number)
|
2023-09-15 16:23:53 +01:00
|
|
|
): Result[void,AristoError] =
|
2024-04-29 20:17:17 +00:00
|
|
|
## Persistently store data onto backend database. If the system is running
|
|
|
|
## without a database backend, the function returns immediately with an
|
|
|
|
## error. The same happens if there is a pending transaction.
|
2023-08-11 18:23:57 +01:00
|
|
|
##
|
2024-04-29 20:17:17 +00:00
|
|
|
## The function merges all staged data from the top layer cache onto the
|
2023-08-10 21:01:28 +01:00
|
|
|
## backend stage area. After that, the top layer cache is cleared.
|
|
|
|
##
|
2024-04-29 20:17:17 +00:00
|
|
|
## Finally, the staged data are merged into the physical backend database
|
|
|
|
## and the staged data area is cleared. Wile performing this last step,
|
|
|
|
## the recovery journal is updated (if available.)
|
|
|
|
##
|
2024-07-17 19:27:33 +00:00
|
|
|
## If the argument `nxtSid` is passed non-zero, it will be the ID for the
|
2024-04-29 20:17:17 +00:00
|
|
|
## next recovery journal record. If non-zero, this ID must be greater than
|
|
|
|
## all previous IDs (e.g. block number when stowing after block execution.)
|
|
|
|
##
|
2024-12-18 17:03:51 +01:00
|
|
|
db.txPersist(nxtSid)
|
2023-08-07 18:45:23 +01:00
|
|
|
|
|
|
|
# ------------------------------------------------------------------------------
|
|
|
|
# End
|
|
|
|
# ------------------------------------------------------------------------------
|