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.776-54.833=-0.056
σ	0.364-0.365=-0.002
min	54.632-54.699=-0.067
max	55.810-55.873=-0.063

*mean*	417.000-418.000=-1.000
σ	0.000
min	417.000-418.000=-1.000
max	417.000-418.000=-1.000

*mean*	0.143-0.137=0.006
σ	0.008-0.005=0.003
min	0.138-0.132=0.006
max	0.163-0.146=0.018

cache=y

dps=1

iters=10

policies=100

*mean*	43.779-43.842=-0.063
σ	0.007-0.004=0.003
min	43.768-43.838=-0.070
max	43.791-43.851=-0.060

*mean*	417.000-418.000=-1.000
σ	0.000
min	417.000-418.000=-1.000
max	417.000-418.000=-1.000

*mean*	0.139-0.121=0.018
σ	0.011-0.005=0.005
min	0.120-0.115=0.005
max	0.151-0.130=0.022

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
max	36.618-36.618=0.000

*mean*	4590.375-4429.250=161.125
σ	2249.453-2228.253=21.200
min	1486.000-1484.000=2.000
max	7385.000-7411.000=-26.000

*mean*	149.392-12.906=136.485
σ	385.929-2.054=383.875
min	11.912-11.907=0.006
max	1104.505-17.878=1086.626

op=column_set() on indexed, repeat

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

*mean*	4590.375-4609.250=-18.875
σ	2249.453-2259.401=-9.948
min	1486.000-1484.000=2.000
max	7385.000-7411.000=-26.000

*mean*	14.601-167.199=-152.598
σ	4.801-434.654=-429.853
min	11.434-12.540=-1.106
max	25.272-1242.902=-1217.630

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*	7385.000-7411.000=-26.000
σ	0.000
min	7385.000-7411.000=-26.000
max	7385.000-7411.000=-26.000

*mean*	11.274-11.077=0.197
σ	1.134-0.298=0.836
min	10.631-10.799=-0.168
max	14.059-11.668=2.391

op=table_records(), repeat

*mean*	41.933-41.934=-0.000
σ	0.000-0.002=-0.001
min	41.933
max	41.934-41.937=-0.004

*mean*	4180.250-4200.250=-20.000
σ	1945.738-1955.481=-9.742
min	1486.000-1484.000=2.000
max	7385.000-7411.000=-26.000

*mean*	11.825-11.283=0.542
σ	1.680-1.360=0.321
min	10.885-10.541=0.344
max	15.939-14.629=1.310

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

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

*mean*	4180.250-4200.250=-20.000
σ	1945.738-1955.481=-9.742
min	1486.000-1484.000=2.000
max	7385.000-7411.000=-26.000

*mean*	8.953-8.831=0.122
σ	1.328-0.624=0.703
min	7.670-8.002=-0.333
max	12.104-10.184=1.920

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

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

*mean*	4180.250-4200.250=-20.000
σ	1945.738-1955.481=-9.742
min	1486.000-1484.000=2.000
max	7385.000-7411.000=-26.000

*mean*	6.750-6.838=-0.088
σ	1.081-0.440=0.642
min	6.146-6.397=-0.252
max	9.397-7.860=1.537

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*	4590.375-4609.250=-18.875
σ	2249.453-2259.401=-9.948
min	1486.000-1484.000=2.000
max	7385.000-7411.000=-26.000

*mean*	6.493-6.574=-0.081
σ	1.028-1.167=-0.138
min	5.815-5.767=0.048
max	8.798-9.100=-0.301

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-25.984=-0.000
max	25.985

*mean*	4590.375-4609.250=-18.875
σ	2249.453-2259.401=-9.948
min	1486.000-1484.000=2.000
max	7385.000-7411.000=-26.000

*mean*	6.438-6.467=-0.029
σ	1.023-1.062=-0.040
min	5.824-5.780=0.044
max	8.711-8.824=-0.113

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.629-1021.630=-0.000

*mean*	7385.000-7411.000=-26.000
σ	0.000
min	7385.000-7411.000=-26.000
max	7385.000-7411.000=-26.000

*mean*	363.568-347.169=16.399
σ	43.364-2.660=40.704
min	345.268-342.340=2.927
max	470.823-349.557=121.267

op=load_product(), with indexes

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

*mean*	3757.250-3772.750=-15.500
σ	2300.229-2312.100=-11.871
min	720.000-719.000=1.000
max	7385.000-7411.000=-26.000

*mean*	1776.147-1794.932=-18.785
σ	614.401-679.507=-65.106
min	1406.013-1394.139=11.873
max	2806.898-2988.050=-181.152

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.855-107.854=0.000

*mean*	4409.125-4200.250=208.875
σ	2218.927-1955.481=263.446
min	1486.000-1484.000=2.000
max	7385.000-7411.000=-26.000

*mean*	263.354-134.431=128.923
σ	360.253-13.845=346.408
min	125.057-124.604=0.453
max	1153.737-165.895=987.842

op=column_set() on unindexed, dense, repeat

*mean*	62.081-62.082=-0.000
σ	0.000-0.000=-0.000
min	62.081
max	62.082-62.082=-0.001

*mean*	4409.125-4429.250=-20.125
σ	2218.927-2228.253=-9.326
min	1486.000-1484.000=2.000
max	7385.000-7411.000=-26.000

*mean*	46.930-168.182=-121.252
σ	9.640-358.006=-348.366
min	41.441-40.057=1.383
max	70.303-1054.196=-983.893

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.950-40.951=-0.001

*mean*	7385.000-7411.000=-26.000
σ	0.000
min	7385.000-7411.000=-26.000
max	7385.000-7411.000=-26.000

*mean*	23.551-103.123=-79.572
σ	3.120-228.740=-225.620
min	21.649-21.446=0.203
max	29.599-669.217=-639.618

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-71.307=0.000
max	71.311-71.311=-0.000

*mean*	7385.000-7411.000=-26.000
σ	0.000
min	7385.000-7411.000=-26.000
max	7385.000-7411.000=-26.000

*mean*	284.900-59.823=225.077
σ	642.015-8.851=633.164
min	54.903-56.227=-1.324
max	1873.776-81.701=1792.075

CSV - warmup

Factor

allocated MiB

peak allocated MiB

time (ms)

op=table_records()

*mean*	4646.850
σ	0.013
min	4646.845
max	4646.883

*mean*	4180.250-4200.250=-20.000
σ	1945.738-1955.481=-9.742
min	1486.000-1484.000=2.000
max	7385.000-7411.000=-26.000

*mean*	3243.843-3274.233=-30.391
σ	731.020-660.722=70.298
min	2517.674-2543.085=-25.412
max	4455.597-4299.279=156.318

op=vertical_lookup_list() on indexed

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

*mean*	7385.000-7411.000=-26.000
σ	0.000
min	7385.000-7411.000=-26.000
max	7385.000-7411.000=-26.000

*mean*	1057.977-1021.365=36.612
σ	191.960-202.207=-10.248
min	928.569-923.582=4.987
max	1390.260-1509.587=-119.327

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

*mean*	905.105
σ	0.002
min	905.102
max	905.108

*mean*	7385.000-7411.000=-26.000
σ	0.000
min	7385.000-7411.000=-26.000
max	7385.000-7411.000=-26.000

*mean*	409.064-405.864=3.200
σ	38.539-42.015=-3.476
min	391.771-380.073=11.698
max	503.659-509.151=-5.492

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*	476.000-476.750=-0.750
σ	0.000-1.035=-1.035
min	476.000
max	476.000-479.000=-3.000

*mean*	380.687-369.346=11.341
σ	34.091-35.423=-1.332
min	316.909-301.126=15.784
max	438.815-410.959=27.855

op=pointedIndexFromKvs

rows=400000

*mean*	308.493
σ	0.001
min	308.493
max	308.497

*mean*	560.000-564.000=-4.000
σ	0.000
min	560.000-564.000=-4.000
max	560.000-564.000=-4.000

*mean*	792.372-780.052=12.321
σ	27.863-33.529=-5.666
min	752.692-731.053=21.639
max	823.885-836.635=-12.750

Marine Hull: transactPolicy

Factor

allocated MiB

peak allocated MiB

time

datapoints=1

iterations=20

*mean*	963.971-963.971=-0.001
σ	1.820-1.820=-0.000
min	963.263-963.267=-0.004
max	971.666-971.667=-0.001

*mean*	1036.050-1050.750=-14.700
σ	304.714-315.750=-11.037
min	546.000-586.000=-40.000
max	1527.000-1518.000=9.000

*mean*	1.251-1.269=-0.018
σ	0.068-0.160=-0.092
min	1.179-1.176=0.003
max	1.423-1.739=-0.316

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
σ	0.000
min	402.000
max	402.000

*mean*	0.298-0.286=0.012
σ	0.294-0.291=0.004
min	0.137-0.127=0.010
max	0.821-0.801=0.019

name=error_case.art

*mean*	2.340
σ	0.012
min	2.334
max	2.362

*mean*	402.000
σ	0.000
min	402.000
max	402.000

*mean*	0.484-0.469=0.015
σ	0.325-0.323=0.002
min	0.321-0.309=0.012
max	1.065-1.046=0.019

name=heavy_item.art

*mean*	1.523
σ	0.002
min	1.521
max	1.525

*mean*	402.000
σ	0.000
min	402.000
max	402.000

*mean*	0.225-0.207=0.018
σ	0.023-0.020=0.003
min	0.206-0.195=0.011
max	0.264-0.243=0.021

name=nested_use.art

*mean*	2.358
σ	0.002
min	2.357
max	2.361

*mean*	402.000
σ	0.000
min	402.000
max	402.000

*mean*	0.354-0.326=0.028
σ	0.016-0.019=-0.003
min	0.342-0.308=0.034
max	0.372-0.356=0.016

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.600
σ	1.342
min	431.000
max	434.000

*mean*	0.547-0.552=-0.005
σ	0.052-0.032=0.020
min	0.479-0.532=-0.053
max	0.618-0.608=0.009

name=cdr_enhanced_4k_loc.art

*mean*	885.898
σ	0.002
min	885.897
max	885.901

*mean*	441.000-442.000=-1.000
σ	0.000
min	441.000-442.000=-1.000
max	441.000-442.000=-1.000

*mean*	0.461-0.471=-0.010
σ	0.064-0.026=0.038
min	0.388-0.434=-0.046
max	0.529-0.494=0.035

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*	441.000-442.000=-1.000
σ	0.000
min	441.000-442.000=-1.000
max	441.000-442.000=-1.000

*mean*	2.702-2.630=0.072
σ	0.100-0.115=-0.015
min	2.510-2.480=0.031
max	3.059-3.320=-0.261

name=record_render_large_syntax_err.art

*mean*	7.658
σ	0.002
min	7.657
max	7.661

*mean*	441.000-442.000=-1.000
σ	0.000
min	441.000-442.000=-1.000
max	441.000-442.000=-1.000

*mean*	2.677-2.613=0.064
σ	0.085-0.081=0.003
min	2.477-2.498=-0.021
max	2.945-2.902=0.043

name=record_render_success.art

*mean*	2.290
σ	0.002
min	2.289
max	2.293

*mean*	441.000-442.000=-1.000
σ	0.000
min	441.000-442.000=-1.000
max	441.000-442.000=-1.000

*mean*	0.316-0.306=0.010
σ	0.011-0.010=0.001
min	0.303-0.291=0.012
max	0.407-0.363=0.043

name=record_render_syntax_err.art

*mean*	2.165
σ	0.002
min	2.164
max	2.168

*mean*	441.000-442.000=-1.000
σ	0.000
min	441.000-442.000=-1.000
max	441.000-442.000=-1.000

*mean*	0.302-0.291=0.011
σ	0.008-0.020=-0.012
min	0.288-0.277=0.011
max	0.341-0.474=-0.132

Revision Creation

Factor

allocated MiB

peak allocated MiB

time_s

number of threads=8

revision count=1000

*mean*	11.642-11.412=0.231
σ	11.796-12.061=-0.265
min	0.574-0.577=-0.003
max	91.935-142.610=-50.675

*mean*	460.302-465.533=-5.231
σ	19.766-18.594=1.172
min	407.000
max	476.000-477.000=-1.000

*mean*	0.027-0.026=0.000
σ	0.029-0.029=-0.000
min	0.001-0.001=-0.000
max	0.236-0.335=-0.099

SoV import

Factor

allocated MiB

peak allocated MiB

time_s

iters=10

rows=1000

*mean*	278.598-278.741=-0.144
σ	1.074-1.070=0.004
min	278.093-278.324=-0.231
max	281.644-281.782=-0.137

*mean*	447.800-447.100=0.700
σ	20.088-20.409=-0.322
min	417.000-418.000=-1.000
max	471.000-475.000=-4.000

*mean*	0.588-0.575=0.014
σ	0.012-0.024=-0.011
min	0.576-0.534=0.042
max	0.613-0.605=0.007

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

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

*mean*	239.682-240.924=-1.243
σ	19.235-18.888=0.347
min	197.531-203.699=-6.168
max	254.117-255.818=-1.701

phase=macro expansion

*mean*	6.130
σ	0.000
min	6.130
max	6.130

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

*mean*	9.062-9.572=-0.510
σ	0.978-0.063=0.915
min	7.335-9.490=-2.155
max	9.703-9.703=-0.000

phase=parser

*mean*	1042.434-1042.434=-0.001
σ	0.000-0.000=-0.000
min	1042.433-1042.434=-0.001
max	1042.434-1042.435=-0.001

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

*mean*	565.747-594.570=-28.822
σ	75.086-4.341=70.745
min	417.869-587.688=-169.819
max	618.704-600.134=18.569

phase=processProdDef

*mean*	2243.975-2243.976=-0.001
σ	0.000-0.000=-0.000
min	2243.975-2243.976=-0.001
max	2243.975-2243.976=-0.001

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

*mean*	2999.984-2849.105=150.879
σ	425.591-409.056=16.535
min	2421.614-1845.333=576.281
max	3421.270-3072.610=348.660

phase=renaming

*mean*	21.671
σ	0.000
min	21.671
max	21.671

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

*mean*	36.775-40.468=-3.693
σ	6.460-0.447=6.013
min	26.254-39.809=-13.555
max	41.249-41.113=0.136

phase=type checker

*mean*	989.755-989.752=0.004
σ	0.066
min	989.658-989.654=0.004
max	989.845-989.841=0.004

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

*mean*	714.014-678.177=35.837
σ	41.405-11.362=30.043
min	644.363-664.715=-20.352
max	787.700-703.977=83.723

Workflow: transactPolicy

Factor

allocated MiB

peak allocated MiB

time

iters=5

new-facts=1

prior-facts=1

*mean*	282.394-282.388=0.006
σ	0.024-0.037=-0.013
min	282.373-282.339=0.033
max	282.425-282.430=-0.005

*mean*	444.400
σ	0.548
min	444.000
max	445.000

*mean*	0.381-0.376=0.006
σ	0.005-0.001=0.004
min	0.376-0.375=0.002
max	0.389-0.377=0.011

iters=5

new-facts=1

prior-facts=6402

*mean*	1267.114-1267.081=0.033
σ	0.101-0.091=0.010
min	1266.993-1267.000=-0.007
max	1267.270-1267.233=0.037

*mean*	1113.200-1091.400=21.800
σ	169.525-174.681=-5.156
min	898.000-852.000=46.000
max	1328.000-1298.000=30.000

*mean*	2.017-1.887=0.130
σ	0.110-0.088=0.022
min	1.872-1.803=0.068
max	2.137-2.021=0.115

iters=5

new-facts=6402

prior-facts=1

*mean*	1506.123-1506.082=0.041
σ	2.939-2.952=-0.013
min	1504.603-1504.549=0.054
max	1511.369-1511.350=0.019

*mean*	629.000-616.000=13.000
σ	90.019-77.878=12.141
min	505.000-496.000=9.000
max	728.000-703.000=25.000

*mean*	2.338-2.217=0.121
σ	0.251-0.201=0.049
min	2.072-2.069=0.003
max	2.628-2.571=0.057

iters=5

new-facts=6402

prior-facts=6402

*mean*	1829.095-1829.112=-0.017
σ	0.055-0.035=0.021
min	1829.015-1829.058=-0.043
max	1829.161-1829.153=0.008

*mean*	1756.600-1718.400=38.200
σ	211.213-206.488=4.725
min	1473.000-1431.000=42.000
max	1956.000-1910.000=46.000

*mean*	3.119-2.846=0.273
σ	0.255-0.034=0.221
min	2.829-2.816=0.014
max	3.491-2.896=0.595

newProductH/cdr_auton/broker

Factor

time_s

iterations=5

*mean*	1.737-1.731=0.006
σ	0.126-0.167=-0.041
min	1.542-1.442=0.100
max	1.838-1.851=-0.014

policy addition benchmark

Factor

allocated MiB

db queries

peak allocated MiB

time

policies=2

*mean*	397.699-397.697=0.002
σ	518.050-518.051=-0.001
min	138.672-138.669=0.004
max	1174.774-1174.774=-0.000

*mean*	97.750
σ	7.500
min	94.000
max	109.000

*mean*	448.000-446.000=2.000
σ	0.000
min	448.000-446.000=2.000
max	448.000-446.000=2.000

*mean*	0.503-0.499=0.005
σ	0.524-0.522=0.003
min	0.237-0.235=0.002
max	1.290-1.281=0.009

policies=20

*mean*	1386.840-1386.826=0.014
σ	0.168-0.160=0.007
min	1386.725-1386.715=0.010
max	1387.089-1387.064=0.025

*mean*	940.000
σ	0.000
min	940.000
max	940.000

*mean*	449.000-446.000=3.000
σ	1.155-0.000=1.155
min	448.000-446.000=2.000
max	450.000-446.000=4.000

*mean*	2.321-2.311=0.009
σ	0.025-0.003=0.022
min	2.286-2.308=-0.022
max	2.340-2.315=0.025

policies=200

*mean*	13876.884-13876.880=0.004
σ	0.111-0.048=0.063
min	13876.805-13876.827=-0.022
max	13877.048-13876.924=0.124

*mean*	9400.000
σ	0.000
min	9400.000
max	9400.000

*mean*	495.250-496.000=-0.750
σ	4.787-4.397=0.390
min	491.000
max	502.000-501.000=1.000

*mean*	23.478-23.528=-0.049
σ	0.102-0.149=-0.047
min	23.407-23.383=0.024
max	23.627-23.732=-0.105