Core db and aristo updates for destructor and tx logic (#1894)
* Disable `TransactionID` related functions from `state_db.nim`
why:
Functions `getCommittedStorage()` and `updateOriginalRoot()` from
the `state_db` module are nowhere used. The emulation of a legacy
`TransactionID` type functionality is administratively expensive to
provide by `Aristo` (the legacy DB version is only partially
implemented, anyway).
As there is no other place where `TransactionID`s are used, they will
not be provided by the `Aristo` variant of the `CoreDb`. For the
legacy DB API, nothing will change.
* Fix copyright headers in source code
* Get rid of compiler warning
* Update Aristo code, remove unused `merge()` variant, export `hashify()`
why:
Adapt to upcoming `CoreDb` wrapper
* Remove synced tx feature from `Aristo`
why:
+ This feature allowed to synchronise transaction methods like begin,
commit, and rollback for a group of descriptors.
+ The feature is over engineered and not needed for `CoreDb`, neither
is it complete (some convergence features missing.)
* Add debugging helpers to `Kvt`
also:
Update database iterator, add count variable yield argument similar
to `Aristo`.
* Provide optional destructors for `CoreDb` API
why;
For the upcoming Aristo wrapper, this allows to control when certain
smart destruction and update can take place. The auto destructor works
fine in general when the storage/cache strategy is known and acceptable
when creating descriptors.
* Add update option for `CoreDb` API function `hash()`
why;
The hash function is typically used to get the state root of the MPT.
Due to lazy hashing, this might be not available on the `Aristo` DB.
So the `update` function asks for re-hashing the gurrent state changes
if needed.
* Update API tracking log mode: `info` => `debug
* Use shared `Kvt` descriptor in new Ledger API
why:
No need to create a new descriptor all the time
2023-11-16 19:35:03 +00:00
|
|
|
# Nimbus
|
2024-02-21 16:04:59 +00:00
|
|
|
# Copyright (c) 2022-2024 Status Research & Development GmbH
|
2023-01-23 16:09:12 +00: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.
|
|
|
|
|
|
|
|
import
|
|
|
|
std/times,
|
|
|
|
eth/common,
|
2023-01-30 17:50:58 +00:00
|
|
|
stew/[interval_set, results],
|
2023-01-23 16:09:12 +00:00
|
|
|
unittest2,
|
|
|
|
../../nimbus/sync/snap/range_desc,
|
|
|
|
../../nimbus/sync/snap/worker/db/hexary_error,
|
|
|
|
../../nimbus/sync/snap/worker/db/[hexary_desc, snapdb_accounts],
|
|
|
|
../replay/pp
|
|
|
|
|
2023-02-01 18:56:06 +00:00
|
|
|
type
|
|
|
|
KnownStorageFailure* = seq[(string,seq[(int,HexaryError)])]
|
|
|
|
## (<sample-name> & "#" <instance>, @[(<slot-id>, <error-symbol>)), ..])
|
|
|
|
|
2023-01-23 16:09:12 +00:00
|
|
|
# ------------------------------------------------------------------------------
|
|
|
|
# Public helpers
|
|
|
|
# ------------------------------------------------------------------------------
|
|
|
|
|
2023-02-01 18:56:06 +00:00
|
|
|
template isImportOk*(rc: Result[SnapAccountsGaps,HexaryError]): bool =
|
2023-01-23 16:09:12 +00:00
|
|
|
if rc.isErr:
|
|
|
|
check rc.error == NothingSerious # prints an error if different
|
2023-02-01 18:56:06 +00:00
|
|
|
false
|
2023-01-23 16:09:12 +00:00
|
|
|
elif 0 < rc.value.innerGaps.len:
|
|
|
|
check rc.value.innerGaps == seq[NodeSpecs].default
|
2023-02-01 18:56:06 +00:00
|
|
|
false
|
2023-01-23 16:09:12 +00:00
|
|
|
else:
|
2023-02-01 18:56:06 +00:00
|
|
|
true
|
2023-01-23 16:09:12 +00:00
|
|
|
|
2023-01-30 17:50:58 +00:00
|
|
|
proc lastTwo*(a: openArray[string]): seq[string] =
|
|
|
|
if 1 < a.len: @[a[^2],a[^1]] else: a.toSeq
|
|
|
|
|
2024-02-21 16:04:59 +00:00
|
|
|
proc isOk*(rc: ValidationResult): bool =
|
2023-04-21 21:11:04 +00:00
|
|
|
rc == ValidationResult.OK
|
|
|
|
|
2023-01-23 16:09:12 +00:00
|
|
|
# ------------------------------------------------------------------------------
|
|
|
|
# Public type conversions
|
|
|
|
# ------------------------------------------------------------------------------
|
|
|
|
|
|
|
|
proc to*(t: NodeTag; T: type Blob): T =
|
|
|
|
toSeq(t.UInt256.toBytesBE)
|
|
|
|
|
2023-01-30 17:50:58 +00:00
|
|
|
proc convertTo*(key: RepairKey; T: type NodeKey): T =
|
|
|
|
## Might be lossy, check before use (if at all, unless debugging)
|
|
|
|
(addr result.ByteArray32[0]).copyMem(unsafeAddr key.ByteArray33[1], 32)
|
|
|
|
|
2023-01-23 16:09:12 +00:00
|
|
|
# ------------------------------------------------------------------------------
|
|
|
|
# Public functions, pretty printing
|
|
|
|
# ------------------------------------------------------------------------------
|
|
|
|
|
|
|
|
proc pp*(rc: Result[Account,HexaryError]): string =
|
|
|
|
if rc.isErr: $rc.error else: rc.value.pp
|
|
|
|
|
|
|
|
proc pp*(a: NodeKey; collapse = true): string =
|
|
|
|
a.to(Hash256).pp(collapse)
|
|
|
|
|
|
|
|
proc say*(noisy = false; pfx = "***"; args: varargs[string, `$`]) =
|
|
|
|
if noisy:
|
|
|
|
if args.len == 0:
|
|
|
|
echo "*** ", pfx
|
|
|
|
elif 0 < pfx.len and pfx[^1] != ' ':
|
|
|
|
echo pfx, " ", args.toSeq.join
|
|
|
|
else:
|
|
|
|
echo pfx, args.toSeq.join
|
|
|
|
|
|
|
|
# ------------------------------------------------------------------------------
|
|
|
|
# End
|
|
|
|
# ------------------------------------------------------------------------------
|