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-09-26 10:21:13 +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.
|
|
|
|
|
|
|
|
|
|
{.push raises: [].}
|
|
|
|
|
|
|
|
|
|
import
|
2024-07-03 15:50:27 +00:00
|
|
|
../../aristo,
|
2023-09-26 10:21:13 +01:00
|
|
|
./base_desc
|
|
|
|
|
|
|
|
|
|
type
|
2024-07-03 15:50:27 +00:00
|
|
|
ValidateSubDesc* = CoreDbCtxRef | CoreDbTxRef # | CoreDbCaptRef
|
2023-10-11 20:09:11 +01:00
|
|
|
|
2023-09-26 10:21:13 +01:00
|
|
|
# ------------------------------------------------------------------------------
|
|
|
|
|
# Private helpers
|
|
|
|
|
# ------------------------------------------------------------------------------
|
|
|
|
|
|
2024-07-03 15:50:27 +00:00
|
|
|
proc validateSubDescRef(ctx: CoreDbCtxRef) =
|
2024-03-18 19:40:23 +00:00
|
|
|
doAssert not ctx.isNil
|
|
|
|
|
doAssert not ctx.parent.isNil
|
2024-07-03 15:50:27 +00:00
|
|
|
doAssert not ctx.mpt.isNil
|
|
|
|
|
doAssert not ctx.kvt.isNil
|
2023-09-26 10:21:13 +01:00
|
|
|
|
2024-07-03 15:50:27 +00:00
|
|
|
proc validateSubDescRef(tx: CoreDbTxRef) =
|
|
|
|
|
doAssert not tx.isNil
|
|
|
|
|
doAssert not tx.ctx.isNil
|
|
|
|
|
doAssert not tx.aTx.isNil
|
|
|
|
|
doAssert not tx.kTx.isNil
|
2023-10-11 20:09:11 +01:00
|
|
|
|
2024-06-18 11:14:02 +00:00
|
|
|
when false: # currently disabled
|
2024-07-03 15:50:27 +00:00
|
|
|
proc validateSubDescRef(cpt: CoreDbCaptRef) =
|
2024-06-18 11:14:02 +00:00
|
|
|
doAssert not cpt.isNil
|
|
|
|
|
doAssert not cpt.parent.isNil
|
|
|
|
|
doAssert not cpt.methods.recorderFn.isNil
|
|
|
|
|
doAssert not cpt.methods.getFlagsFn.isNil
|
|
|
|
|
doAssert not cpt.methods.forgetFn.isNil
|
2023-09-26 10:21:13 +01:00
|
|
|
|
|
|
|
|
# ------------------------------------------------------------------------------
|
|
|
|
|
# Public debugging helpers
|
|
|
|
|
# ------------------------------------------------------------------------------
|
|
|
|
|
|
2024-07-03 15:50:27 +00:00
|
|
|
proc validate*(dsc: ValidateSubDesc) =
|
|
|
|
|
dsc.validateSubDescRef
|
2023-09-26 10:21:13 +01:00
|
|
|
|
|
|
|
|
proc validate*(db: CoreDbRef) =
|
2024-07-03 15:50:27 +00:00
|
|
|
doAssert not db.isNil
|
|
|
|
|
doAssert db.dbType != CoreDbType(0)
|
|
|
|
|
db.defCtx.validate
|
2023-09-26 10:21:13 +01:00
|
|
|
|
|
|
|
|
# ------------------------------------------------------------------------------
|
|
|
|
|
# End
|
|
|
|
|
# ------------------------------------------------------------------------------
|