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.775-54.774=0.001
σ	0.362-0.365=-0.003
min	54.630-54.633=-0.002
max	55.804-55.810=-0.007

*mean*	418.600-416.000=2.600
σ	0.843-0.000=0.843
min	417.000-416.000=1.000
max	419.000-416.000=3.000

*mean*	0.142-0.137=0.005
σ	0.010-0.005=0.006
min	0.133-0.131=0.002
max	0.167-0.145=0.023

cache=y

dps=1

iters=10

policies=100

*mean*	43.775-43.780=-0.006
σ	0.007-0.008=-0.001
min	43.762-43.769=-0.007
max	43.789-43.795=-0.006

*mean*	419.000-416.000=3.000
σ	0.000
min	419.000-416.000=3.000
max	419.000-416.000=3.000

*mean*	0.125-0.141=-0.017
σ	0.008-0.008=-0.000
min	0.119-0.121=-0.002
max	0.143-0.151=-0.008

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

*mean*	4590.375-4594.375=-4.000
σ	2248.812-2248.860=-0.048
min	1484.000
max	7383.000-7385.000=-2.000

*mean*	141.910-166.318=-24.409
σ	364.864-433.605=-68.741
min	11.921-11.949=-0.029
max	1044.890-1239.424=-194.535

op=column_set() on indexed, repeat

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

*mean*	4590.375-4594.375=-4.000
σ	2248.812-2248.860=-0.048
min	1484.000
max	7383.000-7385.000=-2.000

*mean*	14.790-14.775=0.015
σ	4.342-4.536=-0.194
min	12.427-11.412=1.016
max	24.972-24.753=0.219

op=table_records(), no indexes

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

*mean*	7383.000-7385.000=-2.000
σ	0.000
min	7383.000-7385.000=-2.000
max	7383.000-7385.000=-2.000

*mean*	10.924-11.111=-0.187
σ	0.194-0.189=0.005
min	10.657-10.883=-0.227
max	11.252-11.463=-0.210

op=table_records(), repeat

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

*mean*	4181.375-4186.625=-5.250
σ	1945.430-1945.915=-0.486
min	1484.000
max	7383.000-7385.000=-2.000

*mean*	11.532-11.604=-0.072
σ	1.751-1.460=0.292
min	10.784-10.813=-0.030
max	15.860-15.167=0.693

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-27.993=-0.000

*mean*	4181.375-4186.625=-5.250
σ	1945.430-1945.915=-0.486
min	1484.000
max	7383.000-7385.000=-2.000

*mean*	9.070-8.828=0.242
σ	1.185-0.548=0.637
min	7.925-7.968=-0.043
max	11.901-9.923=1.978

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*	4181.375-4186.625=-5.250
σ	1945.430-1945.915=-0.486
min	1484.000
max	7383.000-7385.000=-2.000

*mean*	7.222-6.743=0.480
σ	1.037-0.516=0.521
min	6.418-6.253=0.165
max	9.711-7.842=1.869

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-4594.375=-4.000
σ	2248.812-2248.860=-0.048
min	1484.000
max	7383.000-7385.000=-2.000

*mean*	6.560-6.642=-0.083
σ	1.109-1.157=-0.049
min	5.881-5.743=0.138
max	9.134-9.075=0.060

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

*mean*	4590.375-4594.375=-4.000
σ	2248.812-2248.860=-0.048
min	1484.000
max	7383.000-7385.000=-2.000

*mean*	6.445-6.466=-0.021
σ	1.087-1.034=0.053
min	5.713-5.834=-0.121
max	8.858-8.802=0.056

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

*mean*	7383.000-7385.000=-2.000
σ	0.000
min	7383.000-7385.000=-2.000
max	7383.000-7385.000=-2.000

*mean*	389.958-362.374=27.584
σ	119.958-43.053=76.905
min	341.344-339.483=1.861
max	686.558-468.566=217.992

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.037=0.001

*mean*	3757.500-3761.250=-3.750
σ	2300.052-2301.304=-1.252
min	720.000
max	7383.000-7385.000=-2.000

*mean*	1765.603-1774.723=-9.120
σ	635.123-671.620=-36.497
min	1384.683-1371.378=13.305
max	2804.748-2938.682=-133.934

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.853
max	107.855-107.854=0.000

*mean*	4410.125-4415.000=-4.875
σ	2218.214-2218.037=0.178
min	1484.000
max	7383.000-7385.000=-2.000

*mean*	239.198-262.215=-23.017
σ	283.770-358.564=-74.794
min	125.252-125.160=0.092
max	940.157-1149.042=-208.884

op=column_set() on unindexed, dense, repeat

*mean*	62.081
σ	0.000
min	62.081
max	62.082

*mean*	4410.125-4415.000=-4.875
σ	2218.214-2218.037=0.178
min	1484.000
max	7383.000-7385.000=-2.000

*mean*	46.311-45.922=0.390
σ	9.358-7.435=1.923
min	41.056-41.644=-0.588
max	69.257-64.055=5.202

op=vertical_lookup_list() repeated on unindexed missing Int

*mean*	40.948
σ	0.002
min	40.947
max	40.950

*mean*	7383.000-7385.000=-2.000
σ	0.000
min	7383.000-7385.000=-2.000
max	7383.000-7385.000=-2.000

*mean*	22.321-23.069=-0.747
σ	1.749-2.175=-0.426
min	21.563-21.608=-0.045
max	26.639-26.702=-0.063

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

*mean*	7383.000-7385.000=-2.000
σ	0.000
min	7383.000-7385.000=-2.000
max	7383.000-7385.000=-2.000

*mean*	57.102-300.907=-243.805
σ	2.632-689.201=-686.569
min	55.650-55.667=-0.017
max	63.520-2006.576=-1943.056

CSV - warmup

Factor

allocated MiB

peak allocated MiB

time (ms)

op=table_records()

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

*mean*	4181.375-4186.625=-5.250
σ	1945.430-1945.915=-0.486
min	1484.000
max	7383.000-7385.000=-2.000

*mean*	3341.341-3300.382=40.959
σ	833.738-834.351=-0.613
min	2495.059-2488.693=6.365
max	4858.300-4515.260=343.041

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*	7383.000-7385.000=-2.000
σ	0.000
min	7383.000-7385.000=-2.000
max	7383.000-7385.000=-2.000

*mean*	964.382-1104.137=-139.755
σ	85.461-344.583=-259.122
min	911.976-909.277=2.698
max	1146.447-1891.935=-745.488

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

*mean*	905.105-905.105=0.000
σ	0.002-0.002=-0.000
min	905.102
max	905.108

*mean*	7383.000-7385.000=-2.000
σ	0.000
min	7383.000-7385.000=-2.000
max	7383.000-7385.000=-2.000

*mean*	503.946-405.669=98.277
σ	303.624-39.064=264.559
min	385.461-385.958=-0.497
max	1255.266-501.190=754.076

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*	479.000-476.125=2.875
σ	2.777-0.354=2.424
min	475.000-476.000=-1.000
max	481.000-477.000=4.000

*mean*	383.493-381.000=2.493
σ	27.883-16.133=11.750
min	338.819-360.454=-21.635
max	431.650-401.541=30.109

op=pointedIndexFromKvs

rows=400000

*mean*	308.493
σ	0.001
min	308.493
max	308.497

*mean*	563.000-562.500=0.500
σ	0.000-1.414=-1.414
min	563.000-559.000=4.000
max	563.000

*mean*	756.842-759.316=-2.474
σ	70.823-50.458=20.365
min	628.708-660.985=-32.277
max	820.478-820.434=0.044

Marine Hull: transactPolicy

Factor

allocated MiB

peak allocated MiB

time

datapoints=1

iterations=20

*mean*	963.969-963.971=-0.002
σ	1.820-1.820=0.000
min	963.266-963.263=0.004
max	971.667-971.667=0.000

*mean*	1052.050-1049.950=2.100
σ	299.681-297.566=2.115
min	578.000-575.000=3.000
max	1462.000-1472.000=-10.000

*mean*	1.267-1.289=-0.022
σ	0.110-0.119=-0.009
min	1.063-1.181=-0.119
max	1.546-1.559=-0.013

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*	401.000-402.000=-1.000
σ	0.000
min	401.000-402.000=-1.000
max	401.000-402.000=-1.000

*mean*	0.307-0.503=-0.196
σ	0.335-0.464=-0.129
min	0.142-0.264=-0.122
max	0.906-1.329=-0.424

name=error_case.art

*mean*	2.340
σ	0.012
min	2.334
max	2.362

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

*mean*	0.423-0.826=-0.403
σ	0.186-0.527=-0.341
min	0.336-0.564=-0.229
max	0.756-1.768=-1.012

name=heavy_item.art

*mean*	1.523
σ	0.002
min	1.521
max	1.525

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

*mean*	0.219-0.384=-0.166
σ	0.022-0.037=-0.014
min	0.202-0.363=-0.161
max	0.256-0.449=-0.193

name=nested_use.art

*mean*	2.358
σ	0.002
min	2.357
max	2.361

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

*mean*	0.331-0.580=-0.250
σ	0.015-0.029=-0.014
min	0.318-0.556=-0.238
max	0.356-0.620=-0.264

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*	435.200-431.000=4.200
σ	5.541-0.000=5.541
min	430.000-431.000=-1.000
max	441.000-431.000=10.000

*mean*	0.565-0.587=-0.023
σ	0.053-0.102=-0.049
min	0.470-0.482=-0.011
max	0.597-0.746=-0.150

name=cdr_enhanced_4k_loc.art

*mean*	885.898
σ	0.002
min	885.897
max	885.901

*mean*	441.000-431.000=10.000
σ	0.000
min	441.000-431.000=10.000
max	441.000-431.000=10.000

*mean*	0.494-0.453=0.040
σ	0.032-0.029=0.002
min	0.459-0.418=0.040
max	0.527-0.489=0.039

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-431.000=10.000
σ	0.000
min	441.000-431.000=10.000
max	441.000-431.000=10.000

*mean*	2.627-2.627=0.000
σ	0.076-0.259=-0.183
min	2.484-1.969=0.515
max	2.847-3.117=-0.270

name=record_render_large_syntax_err.art

*mean*	7.658
σ	0.002
min	7.657
max	7.661

*mean*	441.000-431.000=10.000
σ	0.000
min	441.000-431.000=10.000
max	441.000-431.000=10.000

*mean*	2.616-2.520=0.096
σ	0.118-0.322=-0.204
min	2.465-1.860=0.605
max	3.262-3.086=0.175

name=record_render_success.art

*mean*	2.290
σ	0.002
min	2.289
max	2.293

*mean*	441.000-431.000=10.000
σ	0.000
min	441.000-431.000=10.000
max	441.000-431.000=10.000

*mean*	0.302-0.343=-0.041
σ	0.008-0.116=-0.107
min	0.290-0.300=-0.011
max	0.357-1.243=-0.886

name=record_render_syntax_err.art

*mean*	2.165
σ	0.002
min	2.164
max	2.168

*mean*	441.000-431.000=10.000
σ	0.000
min	441.000-431.000=10.000
max	441.000-431.000=10.000

*mean*	0.288-0.315=-0.028
σ	0.008-0.081=-0.073
min	0.275-0.279=-0.005
max	0.338-0.956=-0.618

Revision Creation

Factor

allocated MiB

peak allocated MiB

time_s

number of threads=8

revision count=1000

*mean*	11.740-11.576=0.164
σ	11.408-11.677=-0.270
min	0.574-0.868=-0.295
max	93.486-104.109=-10.623

*mean*	454.730-458.096=-3.366
σ	16.802-19.167=-2.364
min	407.000-408.000=-1.000
max	474.000-476.000=-2.000

*mean*	0.027-0.027=0.000
σ	0.028-0.029=-0.001
min	0.001-0.001=-0.000
max	0.252-0.250=0.002

SoV import

Factor

allocated MiB

peak allocated MiB

time_s

iters=10

rows=1000

*mean*	278.497-278.842=-0.345
σ	1.080-1.026=0.054
min	278.043-278.451=-0.408
max	281.564-281.759=-0.195

*mean*	441.000-444.600=-3.600
σ	18.031-20.576=-2.545
min	413.000-415.000=-2.000
max	467.000-470.000=-3.000

*mean*	0.569-0.575=-0.006
σ	0.031-0.032=-0.001
min	0.502-0.515=-0.013
max	0.613-0.624=-0.011

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

*mean*	233.821-227.070=6.750
σ	16.451-27.330=-10.879
min	197.290-188.784=8.506
max	253.736-252.303=1.434

phase=macro expansion

*mean*	6.130
σ	0.000
min	6.130
max	6.130

*mean*	839.000
σ	0.000
min	839.000
max	839.000

*mean*	9.008-9.197=-0.189
σ	0.913-0.782=0.131
min	7.504-7.272=0.232
max	9.636-9.580=0.056

phase=parser

*mean*	1042.435-1042.431=0.004
σ	0.000-0.000=-0.000
min	1042.434-1042.430=0.004
max	1042.435-1042.431=0.004

*mean*	839.000
σ	0.000
min	839.000
max	839.000

*mean*	566.196-570.739=-4.543
σ	57.957-60.610=-2.653
min	427.722-421.136=6.586
max	599.099-599.193=-0.094

phase=processProdDef

*mean*	2243.975-2243.978=-0.003
σ	0.000
min	2243.975-2243.978=-0.003
max	2243.976-2243.978=-0.003

*mean*	839.000
σ	0.000
min	839.000
max	839.000

*mean*	2782.104-2557.582=224.522
σ	364.165-485.470=-121.305
min	2301.567-2133.647=167.920
max	3353.968-3353.451=0.517

phase=renaming

*mean*	21.675-21.671=0.004
σ	0.000
min	21.675-21.671=0.004
max	21.675-21.671=0.004

*mean*	839.000
σ	0.000
min	839.000
max	839.000

*mean*	36.616-38.499=-1.883
σ	6.220-4.889=1.331
min	26.456-26.452=0.004
max	40.458-40.830=-0.372

phase=type checker

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

*mean*	839.000
σ	0.000
min	839.000
max	839.000

*mean*	669.771-673.030=-3.260
σ	20.346-21.815=-1.468
min	640.933-630.952=9.980
max	705.688-702.845=2.842

Workflow: transactPolicy

Factor

allocated MiB

peak allocated MiB

time

iters=5

new-facts=1

prior-facts=1

*mean*	282.387-282.393=-0.006
σ	0.034-0.024=0.009
min	282.341-282.372=-0.032
max	282.425-282.424=0.001

*mean*	444.400
σ	0.548
min	444.000
max	445.000

*mean*	0.392-0.382=0.010
σ	0.011-0.010=0.000
min	0.376-0.374=0.002
max	0.400-0.395=0.005

iters=5

new-facts=1

prior-facts=6402

*mean*	1267.104-1267.103=0.000
σ	0.086-0.076=0.010
min	1267.009-1267.010=-0.001
max	1267.217-1267.214=0.003

*mean*	1090.600-1112.800=-22.200
σ	173.241-169.845=3.396
min	853.000-897.000=-44.000
max	1296.000-1325.000=-29.000

*mean*	1.947-1.951=-0.005
σ	0.168-0.132=0.036
min	1.791-1.835=-0.045
max	2.141-2.096=0.045

iters=5

new-facts=6402

prior-facts=1

*mean*	1506.096-1506.155=-0.059
σ	2.988-2.949=0.039
min	1504.546-1504.664=-0.118
max	1511.429-1511.420=0.009

*mean*	616.400-629.200=-12.800
σ	78.296-89.676=-11.379
min	496.000-506.000=-10.000
max	704.000-728.000=-24.000

*mean*	2.219-2.446=-0.227
σ	0.223-0.364=-0.141
min	2.077-2.053=0.024
max	2.612-2.875=-0.263

iters=5

new-facts=6402

prior-facts=6402

*mean*	1829.103-1829.116=-0.013
σ	0.027-0.096=-0.069
min	1829.058-1829.010=0.048
max	1829.128-1829.263=-0.134

*mean*	1726.600-1752.000=-25.400
σ	213.038-211.510=1.528
min	1432.000-1469.000=-37.000
max	1925.000-1952.000=-27.000

*mean*	2.881-3.169=-0.288
σ	0.119-0.329=-0.210
min	2.797-2.777=0.020
max	3.064-3.636=-0.572

newProductH/cdr_auton/broker

Factor

time_s

iterations=5

*mean*	1.663-1.680=-0.017
σ	0.215-0.131=0.085
min	1.385-1.533=-0.148
max	1.861-1.851=0.010

policy addition benchmark

Factor

allocated MiB

db queries

peak allocated MiB

time

policies=2

*mean*	397.697-397.697=0.000
σ	518.051-518.051=0.000
min	138.670-138.669=0.001
max	1174.774-1174.773=0.001

*mean*	97.750
σ	7.500
min	94.000
max	109.000

*mean*	440.000-446.000=-6.000
σ	0.000
min	440.000-446.000=-6.000
max	440.000-446.000=-6.000

*mean*	0.474-0.493=-0.019
σ	0.474-0.508=-0.033
min	0.234-0.236=-0.002
max	1.185-1.255=-0.069

policies=20

*mean*	1386.833-1386.826=0.007
σ	0.170-0.164=0.006
min	1386.717-1386.713=0.004
max	1387.086-1387.070=0.016

*mean*	940.000
σ	0.000
min	940.000
max	940.000

*mean*	444.500-446.000=-1.500
σ	9.000-0.000=9.000
min	440.000-446.000=-6.000
max	458.000-446.000=12.000

*mean*	2.328-2.322=0.006
σ	0.017-0.009=0.008
min	2.309-2.310=-0.001
max	2.349-2.331=0.018

policies=200

*mean*	13876.908-13876.854=0.054
σ	0.115-0.151=-0.036
min	13876.848-13876.731=0.117
max	13877.080-13877.051=0.029

*mean*	9400.000
σ	0.000
min	9400.000
max	9400.000

*mean*	497.500-496.250=1.250
σ	4.435-5.909=-1.474
min	492.000-489.000=3.000
max	502.000

*mean*	23.492-23.535=-0.043
σ	0.105-0.160=-0.055
min	23.406-23.349=0.057
max	23.633-23.698=-0.066