tzf-rs 1.3.3

Fast convert longitude,latitude to timezone name.
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44

#!/usr/bin/env python3
import sys
from pathlib import Path

from bench_memory_parse import build_edge_rows, build_rows


def main() -> int:
    if len(sys.argv) != 2:
        print("usage: bench_memory_report.py <benchmark_result.txt>", file=sys.stderr)
        return 1

    bench_file = Path(sys.argv[1])
    if not bench_file.exists():
        print(f"benchmark file not found: {bench_file}", file=sys.stderr)
        return 1

    bench_text = bench_file.read_text()

    rows = build_rows(bench_text, runs=5)
    print("### Random Cities")
    print()
    print("| Target | Dataset | Scenario | Median estimate (µs) | Approx throughput (ops/s) | Avg peak RSS (MiB) |")
    print("| --- | --- | --- |---:|---:|---:|")
    for row in rows:
        # indices: 0=target 1=dataset 2=scenario 5=median 6=throughput 7=rss
        print(f"| {row[0]} | {row[1]} | {row[2]} | {row[5]} | {row[6]} | {row[7]} |")

    edge_rows = build_edge_rows(bench_text)
    if edge_rows:
        print()
        print("### Edge Cities (FuzzyFinder misses)")
        print()
        print("| Target | Dataset | Scenario | Median estimate (µs) | Approx throughput (ops/s) |")
        print("| --- | --- | --- |---:|---:|")
        for row in edge_rows:
            # indices: 0=target 1=dataset 2=scenario 4=median 5=throughput
            print(f"| {row[0]} | {row[1]} | {row[2]} | {row[4]} | {row[5]} |")

    return 0


if __name__ == "__main__":
    raise SystemExit(main())