mirror of
https://github.com/pezkuwichain/revive-differential-tests.git
synced 2026-06-15 18:21:08 +00:00
Compare commits
2 Commits
| Author | SHA1 | Date | |
|---|---|---|---|
| 1e68d19d60 | |||
| fefea17c8e |
@@ -112,23 +112,12 @@ impl Watcher {
|
|||||||
let all_transactions_submitted = all_transactions_submitted.clone();
|
let all_transactions_submitted = all_transactions_submitted.clone();
|
||||||
let mut blocks_information_stream = self.blocks_stream;
|
let mut blocks_information_stream = self.blocks_stream;
|
||||||
async move {
|
async move {
|
||||||
while let Some(mut block) = blocks_information_stream.next().await {
|
while let Some(block) = blocks_information_stream.next().await {
|
||||||
// If the block number is equal to or less than the last block before the
|
// If the block number is equal to or less than the last block before the
|
||||||
// repetition then we ignore it and continue on to the next block.
|
// repetition then we ignore it and continue on to the next block.
|
||||||
if block.ethereum_block_information.block_number <= ignore_block_before {
|
if block.ethereum_block_information.block_number <= ignore_block_before {
|
||||||
continue;
|
continue;
|
||||||
}
|
}
|
||||||
{
|
|
||||||
let watch_for_transaction_hashes =
|
|
||||||
watch_for_transaction_hashes.read().await;
|
|
||||||
for tx_hash in block.ethereum_block_information.transaction_hashes.iter() {
|
|
||||||
let Some((step_path, _)) = watch_for_transaction_hashes.get(tx_hash)
|
|
||||||
else {
|
|
||||||
continue;
|
|
||||||
};
|
|
||||||
*block.tx_counts.entry(step_path.clone()).or_default() += 1
|
|
||||||
}
|
|
||||||
}
|
|
||||||
reporter
|
reporter
|
||||||
.report_block_mined_event(block.clone())
|
.report_block_mined_event(block.clone())
|
||||||
.expect("Can't fail");
|
.expect("Can't fail");
|
||||||
@@ -200,6 +189,7 @@ pub enum WatcherEvent {
|
|||||||
/// streaming the blocks.
|
/// streaming the blocks.
|
||||||
ignore_block_before: BlockNumber,
|
ignore_block_before: BlockNumber,
|
||||||
},
|
},
|
||||||
|
|
||||||
/// Informs the watcher that a transaction was submitted and that the watcher should watch for a
|
/// Informs the watcher that a transaction was submitted and that the watcher should watch for a
|
||||||
/// transaction with this hash in the blocks that it watches.
|
/// transaction with this hash in the blocks that it watches.
|
||||||
SubmittedTransaction {
|
SubmittedTransaction {
|
||||||
@@ -208,6 +198,7 @@ pub enum WatcherEvent {
|
|||||||
/// The step path of the step that the transaction belongs to.
|
/// The step path of the step that the transaction belongs to.
|
||||||
step_path: StepPath,
|
step_path: StepPath,
|
||||||
},
|
},
|
||||||
|
|
||||||
/// Informs the watcher that all of the transactions of this benchmark have been submitted and
|
/// Informs the watcher that all of the transactions of this benchmark have been submitted and
|
||||||
/// that it can expect to receive no further transaction hashes and not even watch the channel
|
/// that it can expect to receive no further transaction hashes and not even watch the channel
|
||||||
/// any longer.
|
/// any longer.
|
||||||
|
|||||||
@@ -597,15 +597,17 @@ where
|
|||||||
let expected = !assertion.exception;
|
let expected = !assertion.exception;
|
||||||
let actual = receipt.status();
|
let actual = receipt.status();
|
||||||
if actual != expected {
|
if actual != expected {
|
||||||
|
let revert_reason = tracing_result.revert_reason.as_ref();
|
||||||
tracing::error!(
|
tracing::error!(
|
||||||
expected,
|
expected,
|
||||||
actual,
|
actual,
|
||||||
?receipt,
|
?receipt,
|
||||||
?tracing_result,
|
?tracing_result,
|
||||||
|
?revert_reason,
|
||||||
"Transaction status assertion failed"
|
"Transaction status assertion failed"
|
||||||
);
|
);
|
||||||
anyhow::bail!(
|
anyhow::bail!(
|
||||||
"Transaction status assertion failed - Expected {expected} but got {actual}",
|
"Transaction status assertion failed - Expected {expected} but got {actual}. Revert reason: {revert_reason:?}",
|
||||||
);
|
);
|
||||||
}
|
}
|
||||||
|
|
||||||
|
|||||||
@@ -540,7 +540,6 @@ impl EthereumNode for GethNode {
|
|||||||
.to_vec(),
|
.to_vec(),
|
||||||
},
|
},
|
||||||
substrate_block_information: None,
|
substrate_block_information: None,
|
||||||
tx_counts: Default::default(),
|
|
||||||
})
|
})
|
||||||
});
|
});
|
||||||
|
|
||||||
|
|||||||
@@ -771,7 +771,6 @@ impl EthereumNode for LighthouseGethNode {
|
|||||||
.to_vec(),
|
.to_vec(),
|
||||||
},
|
},
|
||||||
substrate_block_information: None,
|
substrate_block_information: None,
|
||||||
tx_counts: Default::default(),
|
|
||||||
})
|
})
|
||||||
});
|
});
|
||||||
|
|
||||||
|
|||||||
@@ -578,7 +578,6 @@ impl EthereumNode for SubstrateNode {
|
|||||||
proof_size: block_proof_size,
|
proof_size: block_proof_size,
|
||||||
max_proof_size,
|
max_proof_size,
|
||||||
}),
|
}),
|
||||||
tx_counts: Default::default(),
|
|
||||||
})
|
})
|
||||||
}
|
}
|
||||||
});
|
});
|
||||||
|
|||||||
@@ -210,7 +210,6 @@ impl ZombienetNode {
|
|||||||
.with_args(vec![
|
.with_args(vec![
|
||||||
("--pool-limit", u32::MAX.to_string().as_str()).into(),
|
("--pool-limit", u32::MAX.to_string().as_str()).into(),
|
||||||
("--pool-kbytes", u32::MAX.to_string().as_str()).into(),
|
("--pool-kbytes", u32::MAX.to_string().as_str()).into(),
|
||||||
("--dev-block-time", 12000u16.to_string().as_str()).into(),
|
|
||||||
])
|
])
|
||||||
})
|
})
|
||||||
})
|
})
|
||||||
@@ -600,7 +599,6 @@ impl EthereumNode for ZombienetNode {
|
|||||||
proof_size: block_proof_size,
|
proof_size: block_proof_size,
|
||||||
max_proof_size,
|
max_proof_size,
|
||||||
}),
|
}),
|
||||||
tx_counts: Default::default(),
|
|
||||||
})
|
})
|
||||||
}
|
}
|
||||||
});
|
});
|
||||||
|
|||||||
@@ -412,8 +412,8 @@ impl ReportAggregator {
|
|||||||
{
|
{
|
||||||
block_information.sort_by(|a, b| {
|
block_information.sort_by(|a, b| {
|
||||||
a.ethereum_block_information
|
a.ethereum_block_information
|
||||||
.block_number
|
.block_timestamp
|
||||||
.cmp(&b.ethereum_block_information.block_number)
|
.cmp(&b.ethereum_block_information.block_timestamp)
|
||||||
});
|
});
|
||||||
|
|
||||||
// Computing the TPS.
|
// Computing the TPS.
|
||||||
@@ -466,6 +466,7 @@ impl ReportAggregator {
|
|||||||
.filter_map(|block| block.ref_time_block_fullness_percentage())
|
.filter_map(|block| block.ref_time_block_fullness_percentage())
|
||||||
.map(|v| v as u64)
|
.map(|v| v as u64)
|
||||||
.collect::<Vec<_>>();
|
.collect::<Vec<_>>();
|
||||||
|
dbg!(&reftime_block_fullness);
|
||||||
if !reftime_block_fullness.is_empty() {
|
if !reftime_block_fullness.is_empty() {
|
||||||
report
|
report
|
||||||
.metrics
|
.metrics
|
||||||
@@ -481,6 +482,7 @@ impl ReportAggregator {
|
|||||||
.filter_map(|block| block.proof_size_block_fullness_percentage())
|
.filter_map(|block| block.proof_size_block_fullness_percentage())
|
||||||
.map(|v| v as u64)
|
.map(|v| v as u64)
|
||||||
.collect::<Vec<_>>();
|
.collect::<Vec<_>>();
|
||||||
|
dbg!(&proof_size_block_fullness);
|
||||||
if !proof_size_block_fullness.is_empty() {
|
if !proof_size_block_fullness.is_empty() {
|
||||||
report
|
report
|
||||||
.metrics
|
.metrics
|
||||||
@@ -801,9 +803,8 @@ where
|
|||||||
pub fn with_list(
|
pub fn with_list(
|
||||||
&mut self,
|
&mut self,
|
||||||
platform_identifier: PlatformIdentifier,
|
platform_identifier: PlatformIdentifier,
|
||||||
original_list: Vec<T>,
|
mut list: Vec<T>,
|
||||||
) -> &mut Self {
|
) -> &mut Self {
|
||||||
let mut list = original_list.clone();
|
|
||||||
list.sort();
|
list.sort();
|
||||||
let Some(min) = list.first().copied() else {
|
let Some(min) = list.first().copied() else {
|
||||||
return self;
|
return self;
|
||||||
@@ -841,7 +842,7 @@ where
|
|||||||
.insert(platform_identifier, median);
|
.insert(platform_identifier, median);
|
||||||
self.raw
|
self.raw
|
||||||
.get_or_insert_default()
|
.get_or_insert_default()
|
||||||
.insert(platform_identifier, original_list);
|
.insert(platform_identifier, list);
|
||||||
|
|
||||||
self
|
self
|
||||||
}
|
}
|
||||||
@@ -882,7 +883,6 @@ pub struct ContractInformation {
|
|||||||
pub struct MinedBlockInformation {
|
pub struct MinedBlockInformation {
|
||||||
pub ethereum_block_information: EthereumMinedBlockInformation,
|
pub ethereum_block_information: EthereumMinedBlockInformation,
|
||||||
pub substrate_block_information: Option<SubstrateMinedBlockInformation>,
|
pub substrate_block_information: Option<SubstrateMinedBlockInformation>,
|
||||||
pub tx_counts: BTreeMap<StepPath, usize>,
|
|
||||||
}
|
}
|
||||||
|
|
||||||
impl MinedBlockInformation {
|
impl MinedBlockInformation {
|
||||||
|
|||||||
@@ -1,246 +0,0 @@
|
|||||||
"""
|
|
||||||
Utilities to print benchmark metrics from a report JSON into CSV.
|
|
||||||
|
|
||||||
Usage:
|
|
||||||
python scripts/print_benchmark_metrics_csv.py /absolute/path/to/report.json
|
|
||||||
|
|
||||||
The script prints, for each metadata path, case index, and mode combination,
|
|
||||||
CSV rows aligned to mined blocks with the following columns:
|
|
||||||
- block_number
|
|
||||||
- number_of_txs
|
|
||||||
- tps (transaction_per_second)
|
|
||||||
- gps (gas_per_second)
|
|
||||||
- gas_block_fullness
|
|
||||||
- ref_time (if available)
|
|
||||||
- max_ref_time (if available)
|
|
||||||
- proof_size (if available)
|
|
||||||
- max_proof_size (if available)
|
|
||||||
- ref_time_block_fullness (if available)
|
|
||||||
- proof_size_block_fullness (if available)
|
|
||||||
|
|
||||||
Important nuance: TPS and GPS arrays have (number_of_blocks - 1) items. The
|
|
||||||
first block row has no TPS/GPS; the CSV leaves those cells empty for the first
|
|
||||||
row and aligns subsequent values to their corresponding next block.
|
|
||||||
"""
|
|
||||||
|
|
||||||
from __future__ import annotations
|
|
||||||
|
|
||||||
import json
|
|
||||||
import sys
|
|
||||||
import csv
|
|
||||||
from typing import List, Mapping, TypedDict
|
|
||||||
|
|
||||||
|
|
||||||
class EthereumMinedBlockInformation(TypedDict):
|
|
||||||
"""EVM block information extracted from the report.
|
|
||||||
|
|
||||||
Attributes:
|
|
||||||
block_number: The block height.
|
|
||||||
block_timestamp: The UNIX timestamp of the block.
|
|
||||||
mined_gas: Total gas used (mined) in the block.
|
|
||||||
block_gas_limit: The gas limit of the block.
|
|
||||||
transaction_hashes: List of transaction hashes included in the block.
|
|
||||||
"""
|
|
||||||
|
|
||||||
block_number: int
|
|
||||||
block_timestamp: int
|
|
||||||
mined_gas: int
|
|
||||||
block_gas_limit: int
|
|
||||||
transaction_hashes: List[str]
|
|
||||||
|
|
||||||
|
|
||||||
class SubstrateMinedBlockInformation(TypedDict):
|
|
||||||
"""Substrate-specific block resource usage fields.
|
|
||||||
|
|
||||||
Attributes:
|
|
||||||
ref_time: The consumed ref time in the block.
|
|
||||||
max_ref_time: The maximum ref time allowed for the block.
|
|
||||||
proof_size: The consumed proof size in the block.
|
|
||||||
max_proof_size: The maximum proof size allowed for the block.
|
|
||||||
"""
|
|
||||||
|
|
||||||
ref_time: int
|
|
||||||
max_ref_time: int
|
|
||||||
proof_size: int
|
|
||||||
max_proof_size: int
|
|
||||||
|
|
||||||
|
|
||||||
class MinedBlockInformation(TypedDict):
|
|
||||||
"""Block-level information for a mined block with both EVM and optional Substrate fields."""
|
|
||||||
|
|
||||||
ethereum_block_information: EthereumMinedBlockInformation
|
|
||||||
substrate_block_information: SubstrateMinedBlockInformation
|
|
||||||
|
|
||||||
|
|
||||||
class Metric(TypedDict):
|
|
||||||
"""Metric data of integer values keyed by platform identifier.
|
|
||||||
|
|
||||||
Attributes:
|
|
||||||
minimum: Single scalar minimum per platform.
|
|
||||||
maximum: Single scalar maximum per platform.
|
|
||||||
mean: Single scalar mean per platform.
|
|
||||||
median: Single scalar median per platform.
|
|
||||||
raw: Time-series (or list) of values per platform.
|
|
||||||
"""
|
|
||||||
|
|
||||||
minimum: Mapping[str, int]
|
|
||||||
maximum: Mapping[str, int]
|
|
||||||
mean: Mapping[str, int]
|
|
||||||
median: Mapping[str, int]
|
|
||||||
raw: Mapping[str, List[int]]
|
|
||||||
|
|
||||||
|
|
||||||
class Metrics(TypedDict):
|
|
||||||
"""All metrics that may be present for a given execution report.
|
|
||||||
|
|
||||||
Note that some metrics are optional and present only for specific platforms
|
|
||||||
or execution modes.
|
|
||||||
"""
|
|
||||||
|
|
||||||
transaction_per_second: Metric
|
|
||||||
gas_per_second: Metric
|
|
||||||
gas_block_fullness: Metric
|
|
||||||
ref_time_block_fullness: Metric
|
|
||||||
proof_size_block_fullness: Metric
|
|
||||||
|
|
||||||
|
|
||||||
class ExecutionReport(TypedDict):
|
|
||||||
"""Execution report for a mode containing mined blocks and metrics.
|
|
||||||
|
|
||||||
Attributes:
|
|
||||||
mined_block_information: Mapping from platform identifier to the list of
|
|
||||||
mined blocks observed for that platform.
|
|
||||||
metrics: The computed metrics for the execution.
|
|
||||||
"""
|
|
||||||
|
|
||||||
mined_block_information: Mapping[str, List[MinedBlockInformation]]
|
|
||||||
metrics: Metrics
|
|
||||||
|
|
||||||
|
|
||||||
class CaseReport(TypedDict):
|
|
||||||
"""Report for a single case, keyed by mode string."""
|
|
||||||
|
|
||||||
mode_execution_reports: Mapping[str, ExecutionReport]
|
|
||||||
|
|
||||||
|
|
||||||
class MetadataFileReport(TypedDict):
|
|
||||||
"""Report subtree keyed by case indices for a metadata file path."""
|
|
||||||
|
|
||||||
case_reports: Mapping[str, CaseReport]
|
|
||||||
|
|
||||||
|
|
||||||
class ReportRoot(TypedDict):
|
|
||||||
"""Top-level report schema with execution information keyed by metadata path."""
|
|
||||||
|
|
||||||
execution_information: Mapping[str, MetadataFileReport]
|
|
||||||
|
|
||||||
|
|
||||||
BlockInformation = TypedDict(
|
|
||||||
"BlockInformation",
|
|
||||||
{
|
|
||||||
"Block Number": int,
|
|
||||||
"Timestamp": int,
|
|
||||||
"Datetime": None,
|
|
||||||
"Transaction Count": int,
|
|
||||||
"TPS": int | None,
|
|
||||||
"GPS": int | None,
|
|
||||||
"Ref Time": int,
|
|
||||||
"Max Ref Time": int,
|
|
||||||
"Block Fullness Ref Time": int,
|
|
||||||
"Proof Size": int,
|
|
||||||
"Max Proof Size": int,
|
|
||||||
"Block Fullness Proof Size": int,
|
|
||||||
},
|
|
||||||
)
|
|
||||||
"""A typed dictionary used to hold all of the block information"""
|
|
||||||
|
|
||||||
|
|
||||||
def load_report(path: str) -> ReportRoot:
|
|
||||||
"""Load the report JSON from disk.
|
|
||||||
|
|
||||||
Args:
|
|
||||||
path: Absolute or relative filesystem path to the JSON report file.
|
|
||||||
|
|
||||||
Returns:
|
|
||||||
The parsed report as a typed dictionary structure.
|
|
||||||
"""
|
|
||||||
|
|
||||||
with open(path, "r", encoding="utf-8") as f:
|
|
||||||
data: ReportRoot = json.load(f)
|
|
||||||
return data
|
|
||||||
|
|
||||||
|
|
||||||
def main() -> None:
|
|
||||||
report_path: str = sys.argv[1]
|
|
||||||
report: ReportRoot = load_report(report_path)
|
|
||||||
|
|
||||||
# TODO: Remove this in the future, but for now, the target is fixed.
|
|
||||||
target: str = "revive-dev-node-revm-solc"
|
|
||||||
|
|
||||||
csv_writer = csv.writer(sys.stdout)
|
|
||||||
|
|
||||||
for _, metadata_file_report in report["execution_information"].items():
|
|
||||||
for _, case_report in metadata_file_report["case_reports"].items():
|
|
||||||
for _, execution_report in case_report["mode_execution_reports"].items():
|
|
||||||
blocks_information: list[MinedBlockInformation] = execution_report[
|
|
||||||
"mined_block_information"
|
|
||||||
][target]
|
|
||||||
|
|
||||||
resolved_blocks: list[BlockInformation] = []
|
|
||||||
for i, block_information in enumerate(blocks_information):
|
|
||||||
resolved_blocks.append(
|
|
||||||
{
|
|
||||||
"Block Number": block_information[
|
|
||||||
"ethereum_block_information"
|
|
||||||
]["block_number"],
|
|
||||||
"Timestamp": block_information[
|
|
||||||
"ethereum_block_information"
|
|
||||||
]["block_timestamp"],
|
|
||||||
"Datetime": None,
|
|
||||||
"Transaction Count": len(
|
|
||||||
block_information["ethereum_block_information"][
|
|
||||||
"transaction_hashes"
|
|
||||||
]
|
|
||||||
),
|
|
||||||
"TPS": (
|
|
||||||
None
|
|
||||||
if i == 0
|
|
||||||
else execution_report["metrics"][
|
|
||||||
"transaction_per_second"
|
|
||||||
]["raw"][target][i - 1]
|
|
||||||
),
|
|
||||||
"GPS": (
|
|
||||||
None
|
|
||||||
if i == 0
|
|
||||||
else execution_report["metrics"]["gas_per_second"][
|
|
||||||
"raw"
|
|
||||||
][target][i - 1]
|
|
||||||
),
|
|
||||||
"Ref Time": block_information[
|
|
||||||
"substrate_block_information"
|
|
||||||
]["ref_time"],
|
|
||||||
"Max Ref Time": block_information[
|
|
||||||
"substrate_block_information"
|
|
||||||
]["max_ref_time"],
|
|
||||||
"Block Fullness Ref Time": execution_report["metrics"][
|
|
||||||
"ref_time_block_fullness"
|
|
||||||
]["raw"][target][i],
|
|
||||||
"Proof Size": block_information[
|
|
||||||
"substrate_block_information"
|
|
||||||
]["proof_size"],
|
|
||||||
"Max Proof Size": block_information[
|
|
||||||
"substrate_block_information"
|
|
||||||
]["max_proof_size"],
|
|
||||||
"Block Fullness Proof Size": execution_report["metrics"][
|
|
||||||
"proof_size_block_fullness"
|
|
||||||
]["raw"][target][i],
|
|
||||||
}
|
|
||||||
)
|
|
||||||
|
|
||||||
csv_writer = csv.DictWriter(sys.stdout, resolved_blocks[0].keys())
|
|
||||||
csv_writer.writeheader()
|
|
||||||
csv_writer.writerows(resolved_blocks)
|
|
||||||
|
|
||||||
|
|
||||||
if __name__ == "__main__":
|
|
||||||
main()
|
|
||||||
Reference in New Issue
Block a user