Compare commits

AST compact size (buildDeclTree)

Factor

compact size MiB

phase=buildDeclTree

*mean*	0.203
σ	0.000
min	0.203
max	0.203

AST compact size (macro expansion)

Factor

compact size MiB

phase=macro expansion

*mean*	5.301
σ	0.000
min	5.301
max	5.301

AST compact size (parser)

Factor

compact size MiB

phase=parser

*mean*	5.176
σ	0.000
min	5.176
max	5.176

AST compact size (processProdDef Decls)

Factor

compact size MiB

phase=processProdDef Decls

*mean*	5.676
σ	0.000
min	5.676
max	5.676

AST compact size (processProdDef)

Factor

compact size MiB

phase=processProdDef

*mean*	446.883
σ	0.000
min	446.883
max	446.883

AST compact size (renaming)

Factor

compact size MiB

phase=renaming

*mean*	5.488
σ	0.000
min	5.488
max	5.488

AST compact size (type checker)

Factor

compact size MiB

phase=type checker

*mean*	6.645
σ	0.000
min	6.645
max	6.645

Aggregation: measureAggregations

Factor

allocated MiB

peak allocated MiB

time_s

cache=n

dps=1

iters=10

policies=100

*mean*	54.861-54.861=-0.001
σ	0.360-0.360=0.000
min	54.721-54.725=-0.004
max	55.884-55.884=0.000

*mean*	417.000-415.000=2.000
σ	0.000
min	417.000-415.000=2.000
max	417.000-415.000=2.000

*mean*	0.139-0.142=-0.003
σ	0.005-0.004=0.001
min	0.134-0.138=-0.004
max	0.148-0.148=-0.001

cache=y

dps=1

iters=10

policies=100

*mean*	43.847-43.848=-0.001
σ	0.006-0.007=-0.001
min	43.836-43.837=-0.001
max	43.856-43.857=-0.001

*mean*	417.000-415.000=2.000
σ	0.000
min	417.000-415.000=2.000
max	417.000-415.000=2.000

*mean*	0.125-0.126=-0.001
σ	0.005-0.004=0.000
min	0.117-0.123=-0.006
max	0.133-0.133=-0.000

CSV - indexed operations

Factor

allocated MiB

peak allocated MiB

time (ms)

op=column_set() on indexed

*mean*	36.617-36.617=-0.000
σ	0.000-0.000=-0.000
min	36.617-36.617=-0.000
max	36.617-36.618=-0.000

*mean*	4423.875-4586.250=-162.375
σ	2228.881-2258.230=-29.348
min	1486.000-1485.000=1.000
max	7409.000

*mean*	12.899-13.445=-0.546
σ	3.530-3.642=-0.112
min	11.446-11.487=-0.040
max	21.629-20.998=0.632

op=column_set() on indexed, repeat

*mean*	36.617-36.617=0.000
σ	0.000-0.000=0.000
min	36.617-36.617=-0.000
max	36.618-36.618=0.001

*mean*	4606.125-4586.250=19.875
σ	2260.154-2258.230=1.925
min	1486.000-1485.000=1.000
max	7409.000

*mean*	146.293-13.653=132.640
σ	375.307-3.169=372.137
min	12.132-11.070=1.062
max	1075.093-20.414=1054.679

op=table_records(), no indexes

*mean*	41.948-41.948=-0.000
σ	0.002-0.002=-0.000
min	41.946-41.946=0.000
max	41.951-41.951=-0.000

*mean*	7409.000
σ	0.000
min	7409.000
max	7409.000

*mean*	10.540-10.416=0.124
σ	0.260-0.207=0.053
min	10.100-10.075=0.025
max	10.932-10.722=0.210

op=table_records(), repeat

*mean*	41.933-41.933=-0.000
σ	0.000-0.000=-0.000
min	41.933
max	41.933-41.934=-0.001

*mean*	4195.375-4170.875=24.500
σ	1956.150-1949.331=6.819
min	1486.000-1485.000=1.000
max	7409.000

*mean*	11.042-11.069=-0.026
σ	1.776-1.846=-0.071
min	10.287-10.180=0.107
max	15.427-15.600=-0.173

op=vertical_lookup_list() on indexed, after table_records()

*mean*	27.655-27.655=-0.000
σ	0.137-0.136=0.000
min	27.606
max	27.993-27.993=0.000

*mean*	4195.375-4170.875=24.500
σ	1956.150-1949.331=6.819
min	1486.000-1485.000=1.000
max	7409.000

*mean*	8.506-8.551=-0.045
σ	1.226-1.365=-0.138
min	7.408-7.402=0.006
max	11.447-11.849=-0.402

op=vertical_lookup_list() on indexed, after table_records(), repeat

*mean*	26.406-26.406=0.000
σ	0.001-0.000=0.001
min	26.406
max	26.410-26.406=0.004

*mean*	4195.375-4170.875=24.500
σ	1956.150-1949.331=6.819
min	1486.000-1485.000=1.000
max	7409.000

*mean*	6.489-6.623=-0.134
σ	0.759-0.976=-0.217
min	6.076-5.885=0.191
max	8.355-8.987=-0.631

op=vertical_lookup_row_list() on 2 indexed

*mean*	25.681-25.681=0.000
σ	0.003-0.003=0.000
min	25.680
max	25.688-25.688=0.000

*mean*	4606.125-4586.250=19.875
σ	2260.154-2258.230=1.925
min	1486.000-1485.000=1.000
max	7409.000

*mean*	6.297-6.080=0.217
σ	1.216-0.931=0.285
min	5.563-5.573=-0.010
max	8.645-8.212=0.433

op=vertical_lookup_row_list() on 3 (1 unindexed)

*mean*	25.984-25.984=0.000
σ	0.000-0.000=0.000
min	25.984
max	25.985

*mean*	4606.125-4586.250=19.875
σ	2260.154-2258.230=1.925
min	1486.000-1485.000=1.000
max	7409.000

*mean*	5.890-6.018=-0.127
σ	0.989-0.985=0.003
min	5.305-5.375=-0.070
max	8.099-8.191=-0.091

CSV - loading a lazy table

Factor

allocated MiB

peak allocated MiB

time (ms)

op=load_product(), no indexes

*mean*	1021.627-1021.627=0.000
σ	0.002-0.002=0.000
min	1021.625
max	1021.630-1021.629=0.000

*mean*	7409.000
σ	0.000
min	7409.000
max	7409.000

*mean*	345.070-361.776=-16.707
σ	2.460-41.474=-39.014
min	340.996-345.348=-4.352
max	348.434-464.394=-115.960

op=load_product(), with indexes

*mean*	3495.878-3495.878=-0.000
σ	0.469-0.469=0.000
min	3495.713
max	3497.038

*mean*	3770.000-3750.125=19.875
σ	2311.805-2301.687=10.118
min	720.000
max	7409.000

*mean*	1784.734-1615.948=168.785
σ	673.718-458.692=215.027
min	1381.033-1392.545=-11.513
max	2954.860-2734.288=220.572

CSV - unindexed operations

Factor

allocated MiB

peak allocated MiB

time (ms)

op=column_set() on unindexed, dense, minor warmup

*mean*	107.854-107.854=-0.000
σ	0.000-0.000=-0.000
min	107.854-107.854=0.000
max	107.854-107.855=-0.001

*mean*	4195.375-4405.500=-210.125
σ	1956.150-2229.402=-273.253
min	1486.000-1485.000=1.000
max	7409.000

*mean*	139.739-246.168=-106.429
σ	17.680-306.423=-288.743
min	128.768-121.288=7.479
max	182.500-1002.784=-820.285

op=column_set() on unindexed, dense, repeat

*mean*	62.082
σ	0.000
min	62.081
max	62.082

*mean*	4423.875-4586.250=-162.375
σ	2228.881-2258.230=-29.348
min	1486.000-1485.000=1.000
max	7409.000

*mean*	169.709-196.044=-26.334
σ	358.484-428.173=-69.689
min	41.617-40.577=1.041
max	1056.907-1255.569=-198.662

op=vertical_lookup_list() repeated on unindexed missing Int

*mean*	40.948-40.948=0.000
σ	0.002-0.002=0.000
min	40.947
max	40.951-40.950=0.001

*mean*	7409.000
σ	0.000
min	7409.000
max	7409.000

*mean*	91.299-21.549=69.750
σ	197.794-1.050=196.744
min	20.870-21.009=-0.139
max	580.814-24.124=556.690

op=vertical_lookup_row_list() on unindexed small unique Int

*mean*	71.308-71.308=-0.000
σ	0.002-0.002=-0.000
min	71.307
max	71.310-71.311=-0.000

*mean*	7409.000
σ	0.000
min	7409.000
max	7409.000

*mean*	58.382-279.001=-220.619
σ	7.666-630.496=-622.830
min	54.796-54.829=-0.033
max	77.323-1839.393=-1762.070

CSV - warmup

Factor

allocated MiB

peak allocated MiB

time (ms)

op=table_records()

*mean*	4646.850
σ	0.013-0.014=-0.000
min	4646.845
max	4646.883-4646.884=-0.001

*mean*	4195.375-4170.875=24.500
σ	1956.150-1949.331=6.819
min	1486.000-1485.000=1.000
max	7409.000

*mean*	3282.683-3169.247=113.436
σ	697.233-832.831=-135.598
min	2524.032-2499.113=24.920
max	4362.289-4735.141=-372.852

op=vertical_lookup_list() on indexed

*mean*	1973.851-1973.851=-0.000
σ	0.002-0.002=-0.000
min	1973.849
max	1973.853-1973.854=-0.000

*mean*	7409.000
σ	0.000
min	7409.000
max	7409.000

*mean*	971.729-1031.738=-60.009
σ	86.554-183.377=-96.823
min	918.157-905.508=12.649
max	1157.799-1385.316=-227.517

op=vertical_lookup_list() on unindexed missing Int, minor warmup

*mean*	905.105
σ	0.002
min	905.102
max	905.108

*mean*	7409.000
σ	0.000
min	7409.000
max	7409.000

*mean*	391.050-393.998=-2.948
σ	4.943-3.754=1.189
min	381.382-388.620=-7.238
max	397.904-400.019=-2.116

CSV internal benchmark: pointedIndexFromKvs

Factor

allocated MiB

peak allocated MiB

time (ms)

op=pointedIndexFromKvs

rows=200000

*mean*	148.144
σ	0.001
min	148.144
max	148.148

*mean*	477.000-479.000=-2.000
σ	0.000
min	477.000-479.000=-2.000
max	477.000-479.000=-2.000

*mean*	381.266-362.907=18.359
σ	15.782-50.068=-34.286
min	366.493-284.711=81.782
max	409.752-439.075=-29.323

op=pointedIndexFromKvs

rows=400000

*mean*	308.493
σ	0.001
min	308.493
max	308.497

*mean*	558.500-562.000=-3.500
σ	0.926-0.000=0.926
min	557.000-562.000=-5.000
max	559.000-562.000=-3.000

*mean*	789.447-764.104=25.343
σ	38.290-33.574=4.716
min	738.431-731.108=7.323
max	863.176-826.539=36.637

Marine Hull: transactPolicy

Factor

allocated MiB

peak allocated MiB

time

datapoints=1

iterations=20

*mean*	1024.566-1024.563=0.003
σ	0.759-0.760=-0.001
min	1024.094-1024.095=-0.001
max	1027.705-1027.704=0.001

*mean*	1048.400-1038.450=9.950
σ	311.899-307.782=4.116
min	592.000-543.000=49.000
max	1510.000-1524.000=-14.000

*mean*	1.395-1.389=0.006
σ	0.071-0.103=-0.032
min	1.326-1.274=0.053
max	1.589-1.661=-0.072

Parser: Comma Sep

Factor

allocated MiB

peak allocated MiB

time (ms)

name=ambiguous_item.art

*mean*	0.913
σ	0.020
min	0.903
max	0.949

*mean*	402.000-401.000=1.000
σ	0.000
min	402.000-401.000=1.000
max	402.000-401.000=1.000

*mean*	0.435-0.312=0.123
σ	0.449-0.313=0.135
min	0.150-0.141=0.010
max	1.216-0.868=0.348

name=error_case.art

*mean*	2.340
σ	0.012
min	2.334
max	2.362

*mean*	402.000-401.000=1.000
σ	0.000
min	402.000-401.000=1.000
max	402.000-401.000=1.000

*mean*	0.476-0.434=0.042
σ	0.329-0.195=0.133
min	0.322-0.332=-0.009
max	1.064-0.782=0.281

name=heavy_item.art

*mean*	1.523
σ	0.002
min	1.521
max	1.525

*mean*	402.000-401.000=1.000
σ	0.000
min	402.000-401.000=1.000
max	402.000-401.000=1.000

*mean*	0.216-0.225=-0.009
σ	0.033-0.022=0.011
min	0.197-0.210=-0.014
max	0.274-0.265=0.009

name=nested_use.art

*mean*	2.358
σ	0.002
min	2.357
max	2.361

*mean*	402.000-401.000=1.000
σ	0.000
min	402.000-401.000=1.000
max	402.000-401.000=1.000

*mean*	0.327-0.347=-0.020
σ	0.014-0.018=-0.004
min	0.316-0.330=-0.014
max	0.351-0.377=-0.026

Parser: Real World

Factor

allocated MiB

peak allocated MiB

time (sec)

name=aon_gpf25_7k_loc.art

*mean*	964.971
σ	0.011
min	964.965
max	964.989

*mean*	431.000-430.000=1.000
σ	0.000
min	431.000-430.000=1.000
max	431.000-430.000=1.000

*mean*	0.541-0.579=-0.038
σ	0.075-0.032=0.043
min	0.427-0.533=-0.106
max	0.612-0.604=0.007

name=cdr_enhanced_4k_loc.art

*mean*	885.898
σ	0.002
min	885.897
max	885.901

*mean*	431.000-430.000=1.000
σ	0.000
min	431.000-430.000=1.000
max	431.000-430.000=1.000

*mean*	0.398-0.463=-0.064
σ	0.038-0.051=-0.013
min	0.373-0.384=-0.011
max	0.466-0.516=-0.050

Parser: Record Parsing

Factor

allocated MiB

peak allocated MiB

time (ms)

name=record_render_large_success.art

*mean*	7.710
σ	0.002
min	7.709
max	7.713

*mean*	431.000-430.000=1.000
σ	0.000
min	431.000-430.000=1.000
max	431.000-430.000=1.000

*mean*	1.826-2.657=-0.830
σ	0.055-0.128=-0.073
min	1.738-2.468=-0.729
max	2.036-3.341=-1.306

name=record_render_large_syntax_err.art

*mean*	7.658
σ	0.002
min	7.657
max	7.661

*mean*	431.000-430.000=1.000
σ	0.000
min	431.000-430.000=1.000
max	431.000-430.000=1.000

*mean*	1.952-2.588=-0.635
σ	0.072-0.080=-0.008
min	1.747-2.451=-0.704
max	2.217-2.871=-0.653

name=record_render_success.art

*mean*	2.290
σ	0.002
min	2.289
max	2.293

*mean*	431.000-430.000=1.000
σ	0.000
min	431.000-430.000=1.000
max	431.000-430.000=1.000

*mean*	0.304-0.312=-0.008
σ	0.012-0.017=-0.005
min	0.289-0.298=-0.009
max	0.382-0.424=-0.042

name=record_render_syntax_err.art

*mean*	2.165
σ	0.002
min	2.164
max	2.168

*mean*	431.000-430.000=1.000
σ	0.000
min	431.000-430.000=1.000
max	431.000-430.000=1.000

*mean*	0.288-0.292=-0.005
σ	0.007-0.007=0.000
min	0.275-0.278=-0.002
max	0.325-0.335=-0.010

Revision Creation

Factor

allocated MiB

peak allocated MiB

time_s

number of threads=8

revision count=1000

*mean*	11.578-11.995=-0.416
σ	10.779-11.838=-1.059
min	0.574-0.573=0.000
max	82.399-83.974=-1.575

*mean*	461.039-461.592=-0.553
σ	18.632-16.664=1.968
min	408.000
max	478.000-474.000=4.000

*mean*	0.027-0.027=-0.001
σ	0.026-0.029=-0.003
min	0.001-0.001=-0.000
max	0.197-0.201=-0.004

SoV import

Factor

allocated MiB

peak allocated MiB

time_s

iters=10

rows=1000

*mean*	298.689-298.782=-0.093
σ	1.026-1.004=0.022
min	298.240-298.379=-0.138
max	301.604-301.631=-0.027

*mean*	440.700-437.100=3.600
σ	16.473-15.029=1.443
min	415.000-413.000=2.000
max	467.000-459.000=8.000

*mean*	0.593-0.580=0.013
σ	0.025-0.046=-0.021
min	0.553-0.502=0.051
max	0.637-0.638=-0.000

Timed compile per phase

Factor

allocated MiB

peak allocated MiB

time (ms)

phase=buildDeclTree

*mean*	173.738-173.738=-0.000
σ	0.000-0.000=0.000
min	173.738
max	173.738-173.738=0.000

*mean*	839.000-844.000=-5.000
σ	0.000
min	839.000-844.000=-5.000
max	839.000-844.000=-5.000

*mean*	243.223-223.925=19.297
σ	23.841-28.094=-4.253
min	198.464-196.888=1.577
max	264.459-256.881=7.578

phase=macro expansion

*mean*	6.133-6.133=-0.000
σ	0.000
min	6.133-6.133=-0.000
max	6.133-6.133=-0.000

*mean*	839.000-843.375=-4.375
σ	0.000-1.768=-1.768
min	839.000
max	839.000-844.000=-5.000

*mean*	7.161-9.282=-2.120
σ	2.240-0.782=1.458
min	6.276-7.381=-1.105
max	12.703-9.753=2.950

phase=parser

*mean*	1042.431-1042.434=-0.003
σ	0.000-0.000=0.000
min	1042.431-1042.433=-0.003
max	1042.431-1042.434=-0.003

*mean*	839.000-843.375=-4.375
σ	0.000-1.768=-1.768
min	839.000
max	839.000-844.000=-5.000

*mean*	570.223-585.840=-15.617
σ	98.997-45.406=53.590
min	424.099-475.246=-51.147
max	722.589-614.881=107.708

phase=processProdDef

*mean*	2243.980-2243.977=0.003
σ	0.000-0.000=0.000
min	2243.980-2243.977=0.003
max	2243.981-2243.977=0.004

*mean*	839.000-844.000=-5.000
σ	0.000
min	839.000-844.000=-5.000
max	839.000-844.000=-5.000

*mean*	2791.300-2634.258=157.042
σ	345.791-549.506=-203.716
min	2185.334-1735.854=449.480
max	3335.452-3204.292=131.160

phase=renaming

*mean*	21.671
σ	0.000
min	21.671
max	21.671

*mean*	839.000-843.375=-4.375
σ	0.000-1.768=-1.768
min	839.000
max	839.000-844.000=-5.000

*mean*	23.644-38.798=-15.155
σ	9.636-5.061=4.574
min	19.957-26.407=-6.450
max	47.483-41.767=5.716

phase=type checker

*mean*	989.752
σ	0.066
min	989.654
max	989.841

*mean*	839.000-843.375=-4.375
σ	0.000-1.768=-1.768
min	839.000
max	839.000-844.000=-5.000

*mean*	669.794-740.881=-71.087
σ	47.561-86.030=-38.470
min	645.134-675.296=-30.162
max	785.173-893.677=-108.504

Workflow: transactPolicy

Factor

allocated MiB

peak allocated MiB

time

iters=5

new-facts=1

prior-facts=1

*mean*	293.821-293.820=0.002
σ	0.038-0.038=0.000
min	293.768-293.767=0.000
max	293.859-293.857=0.002

*mean*	444.000-444.400=-0.400
σ	0.000-0.548=-0.548
min	444.000
max	444.000-445.000=-1.000

*mean*	0.401-0.396=0.005
σ	0.012-0.003=0.009
min	0.388-0.392=-0.004
max	0.413-0.402=0.011

iters=5

new-facts=1

prior-facts=6402

*mean*	1320.288-1320.291=-0.003
σ	0.130-0.142=-0.012
min	1320.167-1320.163=0.004
max	1320.504-1320.526=-0.023

*mean*	1089.000-1117.400=-28.400
σ	173.329-178.357=-5.028
min	881.000-899.000=-18.000
max	1320.000-1352.000=-32.000

*mean*	1.975-1.946=0.029
σ	0.165-0.052=0.113
min	1.829-1.885=-0.056
max	2.247-2.016=0.231

iters=5

new-facts=6402

prior-facts=1

*mean*	1559.296-1559.279=0.018
σ	2.977-2.999=-0.023
min	1557.721-1557.659=0.062
max	1564.609-1564.629=-0.020

*mean*	611.400-627.200=-15.800
σ	93.144-86.791=6.353
min	500.000-498.000=2.000
max	734.000-729.000=5.000

*mean*	2.185-2.244=-0.059
σ	0.111-0.216=-0.106
min	2.085-2.091=-0.005
max	2.357-2.620=-0.263

iters=5

new-facts=6402

prior-facts=6402

*mean*	1882.341-1882.371=-0.031
σ	0.059-0.077=-0.018
min	1882.274-1882.287=-0.014
max	1882.425-1882.470=-0.045

*mean*	1730.400-1759.400=-29.000
σ	176.589-211.015=-34.426
min	1473.000-1477.000=-4.000
max	1889.000-1959.000=-70.000

*mean*	3.080-3.256=-0.175
σ	0.266-0.410=-0.144
min	2.925-2.774=0.151
max	3.554-3.692=-0.139

newProductH/cdr_auton/broker

Factor

time_s

iterations=5

*mean*	1.648-1.669=-0.021
σ	0.256-0.133=0.123
min	1.264-1.554=-0.290
max	1.881-1.851=0.030

policy addition benchmark

Factor

allocated MiB

db queries

peak allocated MiB

time

policies=2

*mean*	419.943-419.769=0.174
σ	518.105-518.096=0.009
min	160.887-160.716=0.171
max	1197.101-1196.914=0.188

*mean*	101.750
σ	7.500
min	98.000
max	113.000

*mean*	444.000-447.000=-3.000
σ	0.000
min	444.000-447.000=-3.000
max	444.000-447.000=-3.000

*mean*	0.531-0.502=0.029
σ	0.526-0.481=0.046
min	0.265-0.256=0.009
max	1.321-1.223=0.098

policies=20

*mean*	1609.206-1607.500=1.706
σ	0.341-0.356=-0.015
min	1608.959-1607.248=1.711
max	1609.711-1608.026=1.686

*mean*	980.000
σ	0.000
min	980.000
max	980.000

*mean*	447.000-450.250=-3.250
σ	6.000-6.500=-0.500
min	444.000-447.000=-3.000
max	456.000-460.000=-4.000

*mean*	2.590-2.591=-0.000
σ	0.022-0.018=0.004
min	2.566-2.566=-0.000
max	2.612-2.607=0.005

policies=200

*mean*	16100.576-16083.518=17.058
σ	0.147-0.049=0.098
min	16100.442-16083.466=16.977
max	16100.751-16083.583=17.168

*mean*	9800.000
σ	0.000
min	9800.000
max	9800.000

*mean*	495.750-499.500=-3.750
σ	4.924-5.972=-1.048
min	490.000-493.000=-3.000
max	502.000-507.000=-5.000

*mean*	26.092-26.141=-0.049
σ	0.114-0.039=0.075
min	25.979-26.101=-0.122
max	26.248-26.189=0.059