envio 3.2.0 → 3.3.0-alpha.0

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (113) hide show
  1. package/package.json +6 -7
  2. package/src/Batch.res +12 -15
  3. package/src/Batch.res.mjs +4 -5
  4. package/src/BatchProcessing.res +199 -0
  5. package/src/BatchProcessing.res.mjs +125 -0
  6. package/src/ChainFetching.res +375 -0
  7. package/src/ChainFetching.res.mjs +206 -0
  8. package/src/ChainMetadata.res +27 -0
  9. package/src/ChainMetadata.res.mjs +27 -0
  10. package/src/ChainState.res +618 -0
  11. package/src/ChainState.res.mjs +461 -0
  12. package/src/ChainState.resi +85 -0
  13. package/src/Config.res +13 -4
  14. package/src/Config.res.mjs +8 -3
  15. package/src/ContractRegisterContext.res +106 -0
  16. package/src/ContractRegisterContext.res.mjs +76 -0
  17. package/src/Core.res +3 -0
  18. package/src/CrossChainState.res +269 -0
  19. package/src/CrossChainState.res.mjs +197 -0
  20. package/src/CrossChainState.resi +47 -0
  21. package/src/Ecosystem.res +58 -0
  22. package/src/Ecosystem.res.mjs +43 -1
  23. package/src/Env.res +7 -2
  24. package/src/Env.res.mjs +5 -2
  25. package/src/EventConfigBuilder.res +35 -0
  26. package/src/EventConfigBuilder.res.mjs +21 -0
  27. package/src/EventProcessing.res +60 -46
  28. package/src/EventProcessing.res.mjs +33 -32
  29. package/src/EventUtils.res +0 -4
  30. package/src/EventUtils.res.mjs +0 -4
  31. package/src/ExitOnCaughtUp.res +10 -0
  32. package/src/ExitOnCaughtUp.res.mjs +22 -0
  33. package/src/FetchState.res +162 -113
  34. package/src/FetchState.res.mjs +181 -119
  35. package/src/HandlerLoader.res +6 -1
  36. package/src/HandlerLoader.res.mjs +13 -36
  37. package/src/InMemoryStore.res +36 -451
  38. package/src/InMemoryStore.res.mjs +20 -369
  39. package/src/IndexerLoop.res +44 -0
  40. package/src/IndexerLoop.res.mjs +46 -0
  41. package/src/IndexerState.res +544 -0
  42. package/src/IndexerState.res.mjs +547 -0
  43. package/src/IndexerState.resi +132 -0
  44. package/src/Internal.res +44 -7
  45. package/src/LoadLayer.res +20 -18
  46. package/src/LoadLayer.res.mjs +14 -12
  47. package/src/LoadLayer.resi +6 -3
  48. package/src/LogSelection.res +86 -17
  49. package/src/LogSelection.res.mjs +67 -14
  50. package/src/Logging.res +11 -44
  51. package/src/Logging.res.mjs +10 -42
  52. package/src/Main.res +54 -79
  53. package/src/Main.res.mjs +44 -56
  54. package/src/PgStorage.res +8 -71
  55. package/src/PgStorage.res.mjs +3 -47
  56. package/src/Prometheus.res +7 -8
  57. package/src/Prometheus.res.mjs +7 -4
  58. package/src/PruneStaleHistory.res +45 -0
  59. package/src/PruneStaleHistory.res.mjs +46 -0
  60. package/src/RawEvent.res +73 -0
  61. package/src/RawEvent.res.mjs +51 -0
  62. package/src/Rollback.res +204 -0
  63. package/src/Rollback.res.mjs +118 -0
  64. package/src/SimulateItems.res +12 -10
  65. package/src/SimulateItems.res.mjs +1 -1
  66. package/src/TestIndexer.res +34 -27
  67. package/src/TestIndexer.res.mjs +4 -1
  68. package/src/UserContext.res +26 -114
  69. package/src/UserContext.res.mjs +15 -78
  70. package/src/Writing.res +242 -0
  71. package/src/Writing.res.mjs +215 -0
  72. package/src/db/InternalTable.res +14 -27
  73. package/src/sources/Evm.res +40 -1
  74. package/src/sources/Evm.res.mjs +94 -84
  75. package/src/sources/Fuel.res +40 -1
  76. package/src/sources/Fuel.res.mjs +36 -26
  77. package/src/sources/HyperFuel.res +41 -120
  78. package/src/sources/HyperFuel.res.mjs +42 -80
  79. package/src/sources/HyperFuel.resi +1 -24
  80. package/src/sources/HyperFuelClient.res +16 -297
  81. package/src/sources/HyperFuelClient.res.mjs +5 -4
  82. package/src/sources/HyperFuelSource.res +33 -8
  83. package/src/sources/HyperFuelSource.res.mjs +56 -10
  84. package/src/sources/HyperSyncSource.res +7 -5
  85. package/src/sources/HyperSyncSource.res.mjs +3 -3
  86. package/src/sources/RpcSource.res +2 -2
  87. package/src/sources/RpcSource.res.mjs +1 -1
  88. package/src/sources/SourceManager.res +8 -18
  89. package/src/sources/SourceManager.res.mjs +8 -5
  90. package/src/sources/SourceManager.resi +4 -1
  91. package/src/sources/Svm.res +18 -1
  92. package/src/sources/Svm.res.mjs +30 -22
  93. package/src/sources/SvmHyperSyncSource.res +1 -1
  94. package/src/sources/SvmHyperSyncSource.res.mjs +1 -1
  95. package/src/tui/Tui.res +38 -36
  96. package/src/tui/Tui.res.mjs +51 -51
  97. package/src/ChainFetcher.res +0 -519
  98. package/src/ChainFetcher.res.mjs +0 -314
  99. package/src/ChainManager.res +0 -358
  100. package/src/ChainManager.res.mjs +0 -291
  101. package/src/Ctx.res +0 -6
  102. package/src/Ctx.res.mjs +0 -2
  103. package/src/GlobalState.res +0 -1056
  104. package/src/GlobalState.res.mjs +0 -1086
  105. package/src/GlobalStateManager.res +0 -57
  106. package/src/GlobalStateManager.res.mjs +0 -68
  107. package/src/GlobalStateManager.resi +0 -7
  108. package/src/Ports.res +0 -5
  109. package/src/Ports.res.mjs +0 -9
  110. package/src/adapters/MarkBatchProcessedAdapter.res +0 -5
  111. package/src/adapters/MarkBatchProcessedAdapter.res.mjs +0 -14
  112. package/src/sources/EnvioApiClient.res +0 -15
  113. package/src/sources/EnvioApiClient.res.mjs +0 -24
@@ -13,10 +13,9 @@ import * as Schema from "./db/Schema.res.mjs";
13
13
  import * as Logging from "./Logging.res.mjs";
14
14
  import * as Internal from "./Internal.res.mjs";
15
15
  import Postgres from "postgres";
16
- import * as EventUtils from "./EventUtils.res.mjs";
16
+ import * as ChainState from "./ChainState.res.mjs";
17
17
  import * as Prometheus from "./Prometheus.res.mjs";
18
18
  import * as Persistence from "./Persistence.res.mjs";
19
- import * as ChainFetcher from "./ChainFetcher.res.mjs";
20
19
  import * as Stdlib_Array from "@rescript/runtime/lib/es6/Stdlib_Array.js";
21
20
  import * as EntityHistory from "./db/EntityHistory.res.mjs";
22
21
  import * as InternalTable from "./db/InternalTable.res.mjs";
@@ -608,47 +607,6 @@ function executeSet(sql, items, dbFunction) {
608
607
  }
609
608
  }
610
609
 
611
- function convertFieldsToJson(fields) {
612
- if (fields !== undefined) {
613
- return Utils.Dict.mapValues(fields, value => {
614
- if (typeof value === "bigint") {
615
- return value.toString();
616
- } else {
617
- return value;
618
- }
619
- });
620
- } else {
621
- return {};
622
- }
623
- }
624
-
625
- function makeRawEvent(eventItem, config) {
626
- let event = eventItem.event;
627
- let blockNumber = eventItem.blockNumber;
628
- let eventConfig = eventItem.eventConfig;
629
- let logIndex = event.logIndex;
630
- let eventId = EventUtils.packEventIndex(blockNumber, logIndex);
631
- let blockFields = convertFieldsToJson(event.block);
632
- let transactionFields = convertFieldsToJson(event.transaction);
633
- config.ecosystem.cleanUpRawEventFieldsInPlace(blockFields);
634
- let params = S$RescriptSchema.reverseConvertOrThrow(event.params, eventConfig.paramsRawEventSchema);
635
- let params$1 = params === null ? "null" : params;
636
- return {
637
- chain_id: eventItem.chain,
638
- event_id: eventId,
639
- event_name: eventConfig.name,
640
- contract_name: eventConfig.contractName,
641
- block_number: blockNumber,
642
- log_index: logIndex,
643
- src_address: event.srcAddress,
644
- block_hash: eventItem.blockHash,
645
- block_timestamp: eventItem.timestamp,
646
- block_fields: blockFields,
647
- transaction_fields: transactionFields,
648
- params: params$1
649
- };
650
- }
651
-
652
610
  async function writeBatch(sql, batch, pgSchema, rollback, isInReorgThreshold, config, allEntities, setEffectCacheOrThrow, updatedEffectsCache, updatedEntities, sinkPromise, chainMetaData, escapeTables) {
653
611
  try {
654
612
  let shouldSaveHistory = Config.shouldSaveHistory(config, isInReorgThreshold);
@@ -659,7 +617,7 @@ async function writeBatch(sql, batch, pgSchema, rollback, isInReorgThreshold, co
659
617
  if (config.enableRawEvents) {
660
618
  let rows = Stdlib_Array.filterMap(batch.items, item => {
661
619
  if (item.kind === 0) {
662
- return makeRawEvent(item, config);
620
+ return config.ecosystem.toRawEvent(item);
663
621
  }
664
622
  });
665
623
  if (escapeTables !== undefined && Primitive_option.valFromOption(escapeTables).has(InternalTable.RawEvents.table)) {
@@ -1004,7 +962,7 @@ SELECT id, chain_id, -1, -1, contract_name FROM unnest($1::text[],$2::int[],$3::
1004
962
  numEventsProcessed: 0,
1005
963
  firstEventBlockNumber: undefined,
1006
964
  timestampCaughtUpToHeadOrEndblock: undefined,
1007
- indexingAddresses: ChainFetcher.configAddresses(chainConfig),
965
+ indexingAddresses: ChainState.configAddresses(chainConfig),
1008
966
  sourceBlockNumber: 0
1009
967
  })),
1010
968
  checkpointId: InternalTable.Checkpoints.initialCheckpointId,
@@ -1275,8 +1233,6 @@ export {
1275
1233
  deleteByIdsOrThrow,
1276
1234
  makeInsertDeleteUpdatesQuery,
1277
1235
  executeSet,
1278
- convertFieldsToJson,
1279
- makeRawEvent,
1280
1236
  writeBatch,
1281
1237
  makeGetRollbackRestoredEntitiesQuery,
1282
1238
  makeGetRollbackRemovedIdsQuery,
@@ -352,14 +352,13 @@ module IndexingAddresses = {
352
352
  }
353
353
 
354
354
  module IndexingMaxConcurrency = {
355
- let gauge = SafeGauge.makeOrThrow(
356
- ~name="envio_indexing_max_concurrency",
357
- ~help="The maximum number of concurrent queries to the chain data-source.",
358
- ~labelSchema=chainIdLabelsSchema,
359
- )
355
+ let gauge = PromClient.Gauge.makeGauge({
356
+ "name": "envio_indexing_max_concurrency",
357
+ "help": "The maximum number of concurrent data-source queries across the whole indexer.",
358
+ })
360
359
 
361
- let set = (~maxConcurrency, ~chainId) => {
362
- gauge->SafeGauge.handleInt(~labels=chainId, ~value=maxConcurrency)
360
+ let set = (~maxConcurrency) => {
361
+ gauge->PromClient.Gauge.set(maxConcurrency)
363
362
  }
364
363
  }
365
364
 
@@ -426,7 +425,7 @@ module IndexingBufferSize = {
426
425
  module IndexingTargetBufferSize = {
427
426
  let gauge = PromClient.Gauge.makeGauge({
428
427
  "name": "envio_indexing_target_buffer_size",
429
- "help": "The target buffer size per chain for indexing. The actual number of items in the queue may exceed this value, but the indexer always tries to keep the buffer filled up to this target.",
428
+ "help": "The indexer-wide target buffer size shared across all chains. The actual number of items in the queue may exceed this value, but the indexer always tries to keep the buffer filled up to this target.",
430
429
  })
431
430
 
432
431
  let set = (~targetBufferSize) => {
@@ -400,10 +400,13 @@ let IndexingAddresses = {
400
400
  set: set$4
401
401
  };
402
402
 
403
- let gauge$5 = makeOrThrow$1("envio_indexing_max_concurrency", "The maximum number of concurrent queries to the chain data-source.", chainIdLabelsSchema);
403
+ let gauge$5 = PromClient.Gauge.makeGauge({
404
+ name: "envio_indexing_max_concurrency",
405
+ help: "The maximum number of concurrent data-source queries across the whole indexer."
406
+ });
404
407
 
405
- function set$5(maxConcurrency, chainId) {
406
- handleInt$1(gauge$5, chainId, maxConcurrency);
408
+ function set$5(maxConcurrency) {
409
+ gauge$5.set(maxConcurrency);
407
410
  }
408
411
 
409
412
  let IndexingMaxConcurrency = {
@@ -464,7 +467,7 @@ let IndexingBufferSize = {
464
467
 
465
468
  let gauge$9 = PromClient.Gauge.makeGauge({
466
469
  name: "envio_indexing_target_buffer_size",
467
- help: "The target buffer size per chain for indexing. The actual number of items in the queue may exceed this value, but the indexer always tries to keep the buffer filled up to this target."
470
+ help: "The indexer-wide target buffer size shared across all chains. The actual number of items in the queue may exceed this value, but the indexer always tries to keep the buffer filled up to this target."
468
471
  });
469
472
 
470
473
  function set$9(targetBufferSize) {
@@ -0,0 +1,45 @@
1
+ // Throttled prune of stale entity-history rows below the safe checkpoint.
2
+
3
+ let runPrune = async (state: IndexerState.t) => {
4
+ switch state->IndexerState.getSafeCheckpointId {
5
+ | None => ()
6
+ | Some(safeCheckpointId) =>
7
+ let persistence = state->IndexerState.persistence
8
+ await persistence.storage.pruneStaleCheckpoints(~safeCheckpointId)
9
+
10
+ for idx in 0 to persistence.allEntities->Array.length - 1 {
11
+ if idx !== 0 {
12
+ // Add some delay between entities
13
+ // To unblock the pg client if it's needed for something else
14
+ await Utils.delay(1000)
15
+ }
16
+ let entityConfig = persistence.allEntities->Array.getUnsafe(idx)
17
+ let timeRef = Hrtime.makeTimer()
18
+ try {
19
+ let () = await persistence.storage.pruneStaleEntityHistory(
20
+ ~entityName=entityConfig.name,
21
+ ~entityIndex=entityConfig.index,
22
+ ~safeCheckpointId,
23
+ )
24
+ } catch {
25
+ | exn =>
26
+ exn->ErrorHandling.mkLogAndRaise(
27
+ ~msg=`Failed to prune stale entity history`,
28
+ ~logger=Logging.createChild(
29
+ ~params={
30
+ "entityName": entityConfig.name,
31
+ "safeCheckpointId": safeCheckpointId,
32
+ },
33
+ ),
34
+ )
35
+ }
36
+ Prometheus.RollbackHistoryPrune.increment(
37
+ ~timeSeconds=Hrtime.timeSince(timeRef)->Hrtime.toSecondsFloat,
38
+ ~entityName=entityConfig.name,
39
+ )
40
+ }
41
+ }
42
+ }
43
+
44
+ let schedule = (state: IndexerState.t) =>
45
+ state->IndexerState.pruneStaleEntityHistoryThrottler->Throttler.schedule(() => runPrune(state))
@@ -0,0 +1,46 @@
1
+ // Generated by ReScript, PLEASE EDIT WITH CARE
2
+
3
+ import * as Utils from "./Utils.res.mjs";
4
+ import * as Hrtime from "./bindings/Hrtime.res.mjs";
5
+ import * as Logging from "./Logging.res.mjs";
6
+ import * as Throttler from "./Throttler.res.mjs";
7
+ import * as Prometheus from "./Prometheus.res.mjs";
8
+ import * as IndexerState from "./IndexerState.res.mjs";
9
+ import * as ErrorHandling from "./ErrorHandling.res.mjs";
10
+ import * as Primitive_exceptions from "@rescript/runtime/lib/es6/Primitive_exceptions.js";
11
+
12
+ async function runPrune(state) {
13
+ let safeCheckpointId = IndexerState.getSafeCheckpointId(state);
14
+ if (safeCheckpointId === undefined) {
15
+ return;
16
+ }
17
+ let persistence = IndexerState.persistence(state);
18
+ await persistence.storage.pruneStaleCheckpoints(safeCheckpointId);
19
+ for (let idx = 0, idx_finish = persistence.allEntities.length; idx < idx_finish; ++idx) {
20
+ if (idx !== 0) {
21
+ await Utils.delay(1000);
22
+ }
23
+ let entityConfig = persistence.allEntities[idx];
24
+ let timeRef = Hrtime.makeTimer();
25
+ try {
26
+ await persistence.storage.pruneStaleEntityHistory(entityConfig.name, entityConfig.index, safeCheckpointId);
27
+ } catch (raw_exn) {
28
+ let exn = Primitive_exceptions.internalToException(raw_exn);
29
+ ErrorHandling.mkLogAndRaise(Logging.createChild({
30
+ entityName: entityConfig.name,
31
+ safeCheckpointId: safeCheckpointId
32
+ }), `Failed to prune stale entity history`, exn);
33
+ }
34
+ Prometheus.RollbackHistoryPrune.increment(Hrtime.toSecondsFloat(Hrtime.timeSince(timeRef)), entityConfig.name);
35
+ }
36
+ }
37
+
38
+ function schedule(state) {
39
+ Throttler.schedule(IndexerState.pruneStaleEntityHistoryThrottler(state), () => runPrune(state));
40
+ }
41
+
42
+ export {
43
+ runPrune,
44
+ schedule,
45
+ }
46
+ /* Utils Not a pure module */
@@ -0,0 +1,73 @@
1
+ let convertFieldsToJson = (fields: option<dict<unknown>>) => {
2
+ switch fields {
3
+ | None => %raw(`{}`)
4
+ | Some(fields) =>
5
+ // Convert bigint fields to string. There are no fields with nested
6
+ // bigints, so iterating only the top level is safe.
7
+ fields
8
+ ->Utils.Dict.mapValues(value =>
9
+ typeof(value) === #bigint
10
+ ? value
11
+ ->(Utils.magic: unknown => bigint)
12
+ ->BigInt.toString
13
+ ->(Utils.magic: string => unknown)
14
+ : value
15
+ )
16
+ ->(Utils.magic: dict<unknown> => JSON.t)
17
+ }
18
+ }
19
+
20
+ // Block and transaction are passed already extracted from the ecosystem's
21
+ // concrete payload (EVM or Fuel) — `RawEvent` stays payload-shape-agnostic and
22
+ // only needs them as opaque field bags to serialise.
23
+ let make = (
24
+ eventItem: Internal.eventItem,
25
+ ~block,
26
+ ~transaction,
27
+ ~params: Internal.eventParams,
28
+ ~srcAddress: Address.t,
29
+ ~cleanUpRawEventFieldsInPlace: JSON.t => unit,
30
+ ): Internal.rawEvent => {
31
+ let {eventConfig, chain, blockNumber, blockHash, timestamp: blockTimestamp, logIndex} = eventItem
32
+ let chainId = chain->ChainMap.Chain.toChainId
33
+ let eventId = EventUtils.packEventIndex(~logIndex, ~blockNumber)
34
+ let blockFields =
35
+ block
36
+ ->(Utils.magic: 'block => option<dict<unknown>>)
37
+ ->convertFieldsToJson
38
+ let transactionFields =
39
+ transaction
40
+ ->(Utils.magic: 'transaction => option<dict<unknown>>)
41
+ ->convertFieldsToJson
42
+
43
+ blockFields->cleanUpRawEventFieldsInPlace
44
+
45
+ // Serialize to unknown, because serializing to Js.Json.t fails for Bytes Fuel type, since it has unknown schema
46
+ let params =
47
+ params
48
+ ->S.reverseConvertOrThrow(eventConfig.paramsRawEventSchema)
49
+ ->(Utils.magic: unknown => JSON.t)
50
+ let params = if params === %raw(`null`) {
51
+ // Should probably make the params field nullable
52
+ // But this is currently needed to make events
53
+ // with empty params work
54
+ %raw(`"null"`)
55
+ } else {
56
+ params
57
+ }
58
+
59
+ {
60
+ chain_id: chainId,
61
+ event_id: eventId,
62
+ event_name: eventConfig.name,
63
+ contract_name: eventConfig.contractName,
64
+ block_number: blockNumber,
65
+ log_index: logIndex,
66
+ src_address: srcAddress,
67
+ block_hash: blockHash,
68
+ block_timestamp: blockTimestamp,
69
+ block_fields: blockFields,
70
+ transaction_fields: transactionFields,
71
+ params,
72
+ }
73
+ }
@@ -0,0 +1,51 @@
1
+ // Generated by ReScript, PLEASE EDIT WITH CARE
2
+
3
+ import * as Utils from "./Utils.res.mjs";
4
+ import * as EventUtils from "./EventUtils.res.mjs";
5
+ import * as S$RescriptSchema from "rescript-schema/src/S.res.mjs";
6
+
7
+ function convertFieldsToJson(fields) {
8
+ if (fields !== undefined) {
9
+ return Utils.Dict.mapValues(fields, value => {
10
+ if (typeof value === "bigint") {
11
+ return value.toString();
12
+ } else {
13
+ return value;
14
+ }
15
+ });
16
+ } else {
17
+ return {};
18
+ }
19
+ }
20
+
21
+ function make(eventItem, block, transaction, params, srcAddress, cleanUpRawEventFieldsInPlace) {
22
+ let logIndex = eventItem.logIndex;
23
+ let blockNumber = eventItem.blockNumber;
24
+ let eventConfig = eventItem.eventConfig;
25
+ let eventId = EventUtils.packEventIndex(blockNumber, logIndex);
26
+ let blockFields = convertFieldsToJson(block);
27
+ let transactionFields = convertFieldsToJson(transaction);
28
+ cleanUpRawEventFieldsInPlace(blockFields);
29
+ let params$1 = S$RescriptSchema.reverseConvertOrThrow(params, eventConfig.paramsRawEventSchema);
30
+ let params$2 = params$1 === null ? "null" : params$1;
31
+ return {
32
+ chain_id: eventItem.chain,
33
+ event_id: eventId,
34
+ event_name: eventConfig.name,
35
+ contract_name: eventConfig.contractName,
36
+ block_number: blockNumber,
37
+ log_index: logIndex,
38
+ src_address: srcAddress,
39
+ block_hash: eventItem.blockHash,
40
+ block_timestamp: eventItem.timestamp,
41
+ block_fields: blockFields,
42
+ transaction_fields: transactionFields,
43
+ params: params$2
44
+ };
45
+ }
46
+
47
+ export {
48
+ convertFieldsToJson,
49
+ make,
50
+ }
51
+ /* Utils Not a pure module */
@@ -0,0 +1,204 @@
1
+ // The reorg rollback state machine. Re-enters fetch/process/rollback through
2
+ // the injected schedule* effects.
3
+
4
+ /**
5
+ Finds the last known valid block number below the reorg block
6
+ If not found, returns the highest block below threshold
7
+ */
8
+ let getLastKnownValidBlock = async (
9
+ chainState: ChainState.t,
10
+ ~reorgBlockNumber: int,
11
+ ~isRealtime: bool,
12
+ ) => {
13
+ // Don't include the reorg block itself — different source instances
14
+ // may have mismatching hashes at the head, so we always rollback
15
+ // the block where we detected the reorg.
16
+ let scannedBlockNumbers =
17
+ chainState
18
+ ->ChainState.reorgDetection
19
+ ->ReorgDetection.getThresholdBlockNumbersBelowBlock(
20
+ ~blockNumber=reorgBlockNumber,
21
+ ~knownHeight=(chainState->ChainState.fetchState).knownHeight,
22
+ )
23
+
24
+ switch scannedBlockNumbers {
25
+ | [] => chainState->ChainState.getHighestBlockBelowThreshold
26
+ | _ => {
27
+ let blockNumbersAndHashes = await chainState
28
+ ->ChainState.sourceManager
29
+ ->SourceManager.getBlockHashes(~blockNumbers=scannedBlockNumbers, ~isRealtime)
30
+
31
+ switch chainState
32
+ ->ChainState.reorgDetection
33
+ ->ReorgDetection.getLatestValidScannedBlock(~blockNumbersAndHashes) {
34
+ | Some(blockNumber) => blockNumber
35
+ | None => chainState->ChainState.getHighestBlockBelowThreshold
36
+ }
37
+ }
38
+ }
39
+ }
40
+
41
+ let rec rollback = async (
42
+ state: IndexerState.t,
43
+ ~scheduleFetch,
44
+ ~scheduleProcessing,
45
+ ~scheduleRollback,
46
+ ) =>
47
+ // Owns its error boundary: launch doesn't catch, so a failure mid-rollback
48
+ // must stop the indexer.
49
+ try {
50
+ switch state->IndexerState.rollbackState {
51
+ | NoRollback | RollbackReady(_) =>
52
+ JsError.throwWithMessage("Internal error: Rollback initiated with invalid state")
53
+ | ReorgDetected({chain, blockNumber: reorgBlockNumber}) =>
54
+ let chainState = state->IndexerState.getChainState(~chain)
55
+
56
+ state->IndexerState.enterFindingReorgDepth
57
+ let rollbackTargetBlockNumber = await chainState->getLastKnownValidBlock(
58
+ ~reorgBlockNumber,
59
+ ~isRealtime=state->IndexerState.isRealtime,
60
+ )
61
+
62
+ chainState
63
+ ->ChainState.sourceManager
64
+ ->SourceManager.onReorg(~rollbackTargetBlock=rollbackTargetBlockNumber)
65
+
66
+ state->IndexerState.foundReorgDepth(~chain, ~rollbackTargetBlockNumber)
67
+ // Rendezvous with the processing loop: whichever of {depth found, loop
68
+ // idle} happens last triggers the rollback; the earlier one finds the
69
+ // other condition unmet and bails here.
70
+ scheduleRollback()
71
+ // Reached when a batch finished (loop idle) while the reorg depth wasn't
72
+ // found yet. Wait for the ReorgDetected branch above to find it and re-kick.
73
+ | FindingReorgDepth => ()
74
+ | FoundReorgDepth(_) if state->IndexerState.isProcessing =>
75
+ Logging.info("Waiting for batch to finish processing before executing rollback")
76
+ | FoundReorgDepth({chain: reorgChain, rollbackTargetBlockNumber}) =>
77
+ await executeRollback(
78
+ state,
79
+ ~reorgChain,
80
+ ~rollbackTargetBlockNumber,
81
+ ~scheduleFetch,
82
+ ~scheduleProcessing,
83
+ )
84
+ }
85
+ } catch {
86
+ | exn =>
87
+ IndexerState.errorExit(state, exn->ErrorHandling.make(~msg=IndexerState.unexpectedErrorMsg))
88
+ }
89
+
90
+ and executeRollback = async (
91
+ state: IndexerState.t,
92
+ ~reorgChain,
93
+ ~rollbackTargetBlockNumber,
94
+ ~scheduleFetch,
95
+ ~scheduleProcessing,
96
+ ) => {
97
+ let startTime = Hrtime.makeTimer()
98
+
99
+ let chainState = state->IndexerState.getChainState(~chain=reorgChain)
100
+
101
+ let logger = Logging.createChildFrom(
102
+ ~logger=chainState->ChainState.logger,
103
+ ~params={
104
+ "action": "Rollback",
105
+ "reorgChain": reorgChain,
106
+ "targetBlockNumber": rollbackTargetBlockNumber,
107
+ },
108
+ )
109
+ logger->Logging.childInfo("Started rollback on reorg")
110
+ Prometheus.RollbackTargetBlockNumber.set(
111
+ ~blockNumber=rollbackTargetBlockNumber,
112
+ ~chain=reorgChain,
113
+ )
114
+
115
+ let reorgChainId = reorgChain->ChainMap.Chain.toChainId
116
+
117
+ // Finish pending batch writes first: the target checkpoint, the progress
118
+ // diff and the rollback diff below must all be computed from the same db
119
+ // state. Otherwise an in-flight batch lands after the progress reads and
120
+ // its entity changes get reverted without the chain progress being
121
+ // rolled back, so the events are never reprocessed.
122
+ await state->Writing.flush
123
+
124
+ let rollbackTargetCheckpointId = {
125
+ switch await (state->IndexerState.persistence).storage.getRollbackTargetCheckpoint(
126
+ ~reorgChainId,
127
+ ~lastKnownValidBlockNumber=rollbackTargetBlockNumber,
128
+ ) {
129
+ | Some(checkpointId) => checkpointId
130
+ | None => 0n
131
+ }
132
+ }
133
+
134
+ let eventsProcessedDiffByChain = Dict.make()
135
+ let newProgressBlockNumberPerChain = Dict.make()
136
+ let rollbackedProcessedEvents = ref(0.)
137
+
138
+ {
139
+ let rollbackProgressDiff = await (
140
+ state->IndexerState.persistence
141
+ ).storage.getRollbackProgressDiff(~rollbackTargetCheckpointId)
142
+ for idx in 0 to rollbackProgressDiff->Array.length - 1 {
143
+ let diff = rollbackProgressDiff->Array.getUnsafe(idx)
144
+ eventsProcessedDiffByChain->Utils.Dict.setByInt(
145
+ diff["chain_id"],
146
+ {
147
+ let eventsProcessedDiff =
148
+ Float.fromString(diff["events_processed_diff"])->Option.getOrThrow
149
+ rollbackedProcessedEvents := rollbackedProcessedEvents.contents +. eventsProcessedDiff
150
+ eventsProcessedDiff
151
+ },
152
+ )
153
+ newProgressBlockNumberPerChain->Utils.Dict.setByInt(
154
+ diff["chain_id"],
155
+ if rollbackTargetCheckpointId === 0n && diff["chain_id"] === reorgChainId {
156
+ Pervasives.min(diff["new_progress_block_number"], rollbackTargetBlockNumber)
157
+ } else {
158
+ diff["new_progress_block_number"]
159
+ },
160
+ )
161
+ }
162
+ }
163
+
164
+ state
165
+ ->IndexerState.chainStates
166
+ ->Utils.Dict.forEach(cs => {
167
+ let chainId = (cs->ChainState.chainConfig).id
168
+ cs->ChainState.rollback(
169
+ ~newProgressBlockNumber=newProgressBlockNumberPerChain->Utils.Dict.dangerouslyGetByIntNonOption(
170
+ chainId,
171
+ ),
172
+ ~eventsProcessedDiff=eventsProcessedDiffByChain->Utils.Dict.dangerouslyGetByIntNonOption(
173
+ chainId,
174
+ ),
175
+ ~rollbackTargetBlockNumber,
176
+ ~isReorgChain=chainId === reorgChainId,
177
+ )
178
+ })
179
+
180
+ let diff = await state->InMemoryStore.prepareRollbackDiff(
181
+ ~rollbackTargetCheckpointId,
182
+ ~rollbackDiffCheckpointId=state->IndexerState.committedCheckpointId->BigInt.add(1n),
183
+ ~progressBlockNumberByChainId=newProgressBlockNumberPerChain,
184
+ )
185
+
186
+ logger->Logging.childTrace({
187
+ "msg": "Finished rollback on reorg",
188
+ "entityChanges": {
189
+ "deleted": diff["deletedEntities"],
190
+ "upserted": diff["setEntities"],
191
+ },
192
+ "rollbackedEvents": rollbackedProcessedEvents.contents,
193
+ "beforeCheckpointId": state->IndexerState.committedCheckpointId,
194
+ "targetCheckpointId": rollbackTargetCheckpointId,
195
+ })
196
+ Prometheus.RollbackSuccess.increment(
197
+ ~timeSeconds=Hrtime.timeSince(startTime)->Hrtime.toSecondsFloat,
198
+ ~rollbackedProcessedEvents=rollbackedProcessedEvents.contents,
199
+ )
200
+
201
+ state->IndexerState.completeRollback(~eventsProcessedDiffByChain)
202
+ scheduleFetch()
203
+ scheduleProcessing()
204
+ }
@@ -0,0 +1,118 @@
1
+ // Generated by ReScript, PLEASE EDIT WITH CARE
2
+
3
+ import * as Utils from "./Utils.res.mjs";
4
+ import * as Hrtime from "./bindings/Hrtime.res.mjs";
5
+ import * as Logging from "./Logging.res.mjs";
6
+ import * as Writing from "./Writing.res.mjs";
7
+ import * as ChainState from "./ChainState.res.mjs";
8
+ import * as Prometheus from "./Prometheus.res.mjs";
9
+ import * as IndexerState from "./IndexerState.res.mjs";
10
+ import * as Stdlib_Float from "@rescript/runtime/lib/es6/Stdlib_Float.js";
11
+ import * as ErrorHandling from "./ErrorHandling.res.mjs";
12
+ import * as InMemoryStore from "./InMemoryStore.res.mjs";
13
+ import * as Primitive_int from "@rescript/runtime/lib/es6/Primitive_int.js";
14
+ import * as SourceManager from "./sources/SourceManager.res.mjs";
15
+ import * as Stdlib_Option from "@rescript/runtime/lib/es6/Stdlib_Option.js";
16
+ import * as ReorgDetection from "./ReorgDetection.res.mjs";
17
+ import * as Stdlib_JsError from "@rescript/runtime/lib/es6/Stdlib_JsError.js";
18
+ import * as Primitive_exceptions from "@rescript/runtime/lib/es6/Primitive_exceptions.js";
19
+
20
+ async function getLastKnownValidBlock(chainState, reorgBlockNumber, isRealtime) {
21
+ let scannedBlockNumbers = ReorgDetection.getThresholdBlockNumbersBelowBlock(ChainState.reorgDetection(chainState), reorgBlockNumber, ChainState.fetchState(chainState).knownHeight);
22
+ if (scannedBlockNumbers.length === 0) {
23
+ return ChainState.getHighestBlockBelowThreshold(chainState);
24
+ }
25
+ let blockNumbersAndHashes = await SourceManager.getBlockHashes(ChainState.sourceManager(chainState), scannedBlockNumbers, isRealtime);
26
+ let blockNumber = ReorgDetection.getLatestValidScannedBlock(ChainState.reorgDetection(chainState), blockNumbersAndHashes);
27
+ if (blockNumber !== undefined) {
28
+ return blockNumber;
29
+ } else {
30
+ return ChainState.getHighestBlockBelowThreshold(chainState);
31
+ }
32
+ }
33
+
34
+ async function executeRollback(state, reorgChain, rollbackTargetBlockNumber, scheduleFetch, scheduleProcessing) {
35
+ let startTime = Hrtime.makeTimer();
36
+ let chainState = IndexerState.getChainState(state, reorgChain);
37
+ let logger = Logging.createChildFrom(ChainState.logger(chainState), {
38
+ action: "Rollback",
39
+ reorgChain: reorgChain,
40
+ targetBlockNumber: rollbackTargetBlockNumber
41
+ });
42
+ Logging.childInfo(logger, "Started rollback on reorg");
43
+ Prometheus.RollbackTargetBlockNumber.set(rollbackTargetBlockNumber, reorgChain);
44
+ await Writing.flush(state);
45
+ let checkpointId = await IndexerState.persistence(state).storage.getRollbackTargetCheckpoint(reorgChain, rollbackTargetBlockNumber);
46
+ let rollbackTargetCheckpointId = checkpointId !== undefined ? checkpointId : 0n;
47
+ let eventsProcessedDiffByChain = {};
48
+ let newProgressBlockNumberPerChain = {};
49
+ let rollbackedProcessedEvents = 0;
50
+ let rollbackProgressDiff = await IndexerState.persistence(state).storage.getRollbackProgressDiff(rollbackTargetCheckpointId);
51
+ for (let idx = 0, idx_finish = rollbackProgressDiff.length; idx < idx_finish; ++idx) {
52
+ let diff = rollbackProgressDiff[idx];
53
+ let eventsProcessedDiff = Stdlib_Option.getOrThrow(Stdlib_Float.fromString(diff.events_processed_diff), undefined);
54
+ rollbackedProcessedEvents = rollbackedProcessedEvents + eventsProcessedDiff;
55
+ eventsProcessedDiffByChain[diff.chain_id] = eventsProcessedDiff;
56
+ newProgressBlockNumberPerChain[diff.chain_id] = rollbackTargetCheckpointId === 0n && diff.chain_id === reorgChain ? Primitive_int.min(diff.new_progress_block_number, rollbackTargetBlockNumber) : diff.new_progress_block_number;
57
+ }
58
+ Utils.Dict.forEach(IndexerState.chainStates(state), cs => {
59
+ let chainId = ChainState.chainConfig(cs).id;
60
+ ChainState.rollback(cs, newProgressBlockNumberPerChain[chainId], eventsProcessedDiffByChain[chainId], rollbackTargetBlockNumber, chainId === reorgChain);
61
+ });
62
+ let diff$1 = await InMemoryStore.prepareRollbackDiff(state, rollbackTargetCheckpointId, IndexerState.committedCheckpointId(state) + 1n, newProgressBlockNumberPerChain);
63
+ Logging.childTrace(logger, {
64
+ msg: "Finished rollback on reorg",
65
+ entityChanges: {
66
+ deleted: diff$1.deletedEntities,
67
+ upserted: diff$1.setEntities
68
+ },
69
+ rollbackedEvents: rollbackedProcessedEvents,
70
+ beforeCheckpointId: IndexerState.committedCheckpointId(state),
71
+ targetCheckpointId: rollbackTargetCheckpointId
72
+ });
73
+ Prometheus.RollbackSuccess.increment(Hrtime.toSecondsFloat(Hrtime.timeSince(startTime)), rollbackedProcessedEvents);
74
+ IndexerState.completeRollback(state, eventsProcessedDiffByChain);
75
+ scheduleFetch();
76
+ return scheduleProcessing();
77
+ }
78
+
79
+ async function rollback(state, scheduleFetch, scheduleProcessing, scheduleRollback) {
80
+ try {
81
+ let match = IndexerState.rollbackState(state);
82
+ if (typeof match !== "object") {
83
+ if (match === "NoRollback") {
84
+ return Stdlib_JsError.throwWithMessage("Internal error: Rollback initiated with invalid state");
85
+ } else {
86
+ return;
87
+ }
88
+ }
89
+ switch (match.TAG) {
90
+ case "ReorgDetected" :
91
+ let chain = match.chain;
92
+ let chainState = IndexerState.getChainState(state, chain);
93
+ IndexerState.enterFindingReorgDepth(state);
94
+ let rollbackTargetBlockNumber = await getLastKnownValidBlock(chainState, match.blockNumber, IndexerState.isRealtime(state));
95
+ SourceManager.onReorg(ChainState.sourceManager(chainState), rollbackTargetBlockNumber);
96
+ IndexerState.foundReorgDepth(state, chain, rollbackTargetBlockNumber);
97
+ return scheduleRollback();
98
+ case "FoundReorgDepth" :
99
+ if (IndexerState.isProcessing(state)) {
100
+ return Logging.info("Waiting for batch to finish processing before executing rollback");
101
+ } else {
102
+ return await executeRollback(state, match.chain, match.rollbackTargetBlockNumber, scheduleFetch, scheduleProcessing);
103
+ }
104
+ case "RollbackReady" :
105
+ return Stdlib_JsError.throwWithMessage("Internal error: Rollback initiated with invalid state");
106
+ }
107
+ } catch (raw_exn) {
108
+ let exn = Primitive_exceptions.internalToException(raw_exn);
109
+ return IndexerState.errorExit(state, ErrorHandling.make(exn, undefined, IndexerState.unexpectedErrorMsg));
110
+ }
111
+ }
112
+
113
+ export {
114
+ getLastKnownValidBlock,
115
+ rollback,
116
+ executeRollback,
117
+ }
118
+ /* Utils Not a pure module */