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.834=-0.059
σ	0.367-0.365=0.002
min	54.633-54.703=-0.070
max	55.820-55.873=-0.053

*mean*	415.000-418.000=-3.000
σ	0.000
min	415.000-418.000=-3.000
max	415.000-418.000=-3.000

*mean*	0.141-0.137=0.003
σ	0.004-0.004=0.001
min	0.137-0.133=0.004
max	0.148-0.144=0.005

cache=y

dps=1

iters=10

policies=100

*mean*	43.774-43.843=-0.069
σ	0.007-0.005=0.002
min	43.761-43.834=-0.073
max	43.783-43.851=-0.069

*mean*	415.000-418.000=-3.000
σ	0.000
min	415.000-418.000=-3.000
max	415.000-418.000=-3.000

*mean*	0.124-0.121=0.003
σ	0.004-0.005=-0.001
min	0.120-0.116=0.004
max	0.131-0.130=0.002

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*	4587.625-4597.000=-9.375
σ	2250.027-2247.622=2.404
min	1487.000-1485.000=2.000
max	7385.000-7386.000=-1.000

*mean*	127.025-174.653=-47.628
σ	324.076-457.542=-133.465
min	12.108-12.024=0.084
max	929.073-1307.001=-377.928

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.000

*mean*	4587.625-4597.000=-9.375
σ	2250.027-2247.622=2.404
min	1487.000-1485.000=2.000
max	7385.000-7386.000=-1.000

*mean*	14.003-14.717=-0.713
σ	4.619-4.215=0.404
min	11.674-12.498=-0.824
max	25.306-24.597=0.710

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

*mean*	7385.000-7386.000=-1.000
σ	0.000
min	7385.000-7386.000=-1.000
max	7385.000-7386.000=-1.000

*mean*	11.340-11.490=-0.150
σ	1.012-1.905=-0.893
min	10.689-10.651=0.038
max	13.819-16.196=-2.377

op=table_records(), repeat

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

*mean*	4177.000-4190.375=-13.375
σ	1945.761-1944.835=0.927
min	1487.000-1485.000=2.000
max	7385.000-7386.000=-1.000

*mean*	11.725-11.680=0.045
σ	1.755-1.638=0.117
min	10.807-10.832=-0.025
max	16.047-15.706=0.341

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

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

*mean*	4177.000-4190.375=-13.375
σ	1945.761-1944.835=0.927
min	1487.000-1485.000=2.000
max	7385.000-7386.000=-1.000

*mean*	9.320-8.926=0.394
σ	1.332-1.327=0.004
min	8.196-8.168=0.028
max	12.539-12.187=0.353

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*	4177.000-4190.375=-13.375
σ	1945.761-1944.835=0.927
min	1487.000-1485.000=2.000
max	7385.000-7386.000=-1.000

*mean*	7.068-6.875=0.193
σ	0.913-1.044=-0.131
min	5.909-6.339=-0.430
max	9.124-9.433=-0.309

op=vertical_lookup_row_list() on 2 indexed

*mean*	25.681
σ	0.003
min	25.680
max	25.688

*mean*	4587.625-4597.000=-9.375
σ	2250.027-2247.622=2.404
min	1487.000-1485.000=2.000
max	7385.000-7386.000=-1.000

*mean*	6.384-6.562=-0.178
σ	1.051-1.161=-0.111
min	5.862-5.898=-0.036
max	8.963-9.284=-0.321

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*	4587.625-4597.000=-9.375
σ	2250.027-2247.622=2.404
min	1487.000-1485.000=2.000
max	7385.000-7386.000=-1.000

*mean*	6.360-6.453=-0.092
σ	1.131-1.155=-0.025
min	5.805-5.769=0.036
max	9.143-8.780=0.363

CSV - loading a lazy table

Factor

allocated MiB

peak allocated MiB

time (ms)

op=load_product(), no indexes

*mean*	1021.627
σ	0.002
min	1021.625
max	1021.629

*mean*	7385.000-7386.000=-1.000
σ	0.000
min	7385.000-7386.000=-1.000
max	7385.000-7386.000=-1.000

*mean*	361.817-345.412=16.405
σ	41.251-1.911=39.340
min	344.859-343.184=1.675
max	463.805-348.814=114.991

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*	3754.500-3763.750=-9.250
σ	2299.651-2300.957=-1.305
min	720.000
max	7385.000-7386.000=-1.000

*mean*	1778.468-1770.172=8.296
σ	683.330-658.406=24.924
min	1400.310-1380.696=19.613
max	2975.952-2879.771=96.181

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

*mean*	4406.500-4419.000=-12.500
σ	2219.698-2216.911=2.787
min	1487.000-1485.000=2.000
max	7385.000-7386.000=-1.000

*mean*	245.000-276.521=-31.521
σ	301.705-381.576=-79.872
min	126.083-131.357=-5.274
max	990.183-1220.188=-230.004

op=column_set() on unindexed, dense, repeat

*mean*	62.081
σ	0.000
min	62.081
max	62.082

*mean*	4406.500-4419.000=-12.500
σ	2219.698-2216.911=2.787
min	1487.000-1485.000=2.000
max	7385.000-7386.000=-1.000

*mean*	46.828-45.658=1.170
σ	7.839-9.854=-2.015
min	41.765-39.893=1.873
max	65.814-69.708=-3.894

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

*mean*	7385.000-7386.000=-1.000
σ	0.000
min	7385.000-7386.000=-1.000
max	7385.000-7386.000=-1.000

*mean*	22.275-213.620=-191.345
σ	0.769-539.983=-539.214
min	21.690-21.444=0.246
max	23.997-1549.994=-1525.997

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-7386.000=-1.000
σ	0.000
min	7385.000-7386.000=-1.000
max	7385.000-7386.000=-1.000

*mean*	264.482-64.387=200.095
σ	587.425-23.137=564.288
min	55.527-54.686=0.841
max	1718.283-121.260=1597.022

CSV - warmup

Factor

allocated MiB

peak allocated MiB

time (ms)

op=table_records()

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

*mean*	4177.000-4190.375=-13.375
σ	1945.761-1944.835=0.927
min	1487.000-1485.000=2.000
max	7385.000-7386.000=-1.000

*mean*	3302.309-3410.431=-108.123
σ	834.552-787.652=46.900
min	2530.682-2516.661=14.021
max	4864.734-4547.470=317.264

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*	7385.000-7386.000=-1.000
σ	0.000
min	7385.000-7386.000=-1.000
max	7385.000-7386.000=-1.000

*mean*	1016.897-1037.119=-20.221
σ	115.588-270.978=-155.390
min	935.812-905.244=30.568
max	1238.613-1689.507=-450.894

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

*mean*	905.105
σ	0.002
min	905.102
max	905.108

*mean*	7385.000-7386.000=-1.000
σ	0.000
min	7385.000-7386.000=-1.000
max	7385.000-7386.000=-1.000

*mean*	388.804-412.034=-23.231
σ	5.520-46.480=-40.960
min	376.823-378.989=-2.167
max	394.304-525.710=-131.406

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*	474.875-476.000=-1.125
σ	0.354-0.000=0.354
min	474.000-476.000=-2.000
max	475.000-476.000=-1.000

*mean*	379.983-377.554=2.429
σ	13.160-37.670=-24.511
min	364.021-319.864=44.157
max	398.308-437.974=-39.666

op=pointedIndexFromKvs

rows=400000

*mean*	308.493
σ	0.001
min	308.493
max	308.497

*mean*	559.000-557.625=1.375
σ	0.000-0.518=-0.518
min	559.000-557.000=2.000
max	559.000-558.000=1.000

*mean*	755.831-734.884=20.947
σ	71.581-61.013=10.568
min	607.525-599.762=7.762
max	817.871-798.977=18.894

Marine Hull: transactPolicy

Factor

allocated MiB

peak allocated MiB

time

datapoints=1

iterations=20

*mean*	963.973-963.972=0.001
σ	1.820-1.821=-0.002
min	963.264-963.265=-0.001
max	971.668-971.674=-0.007

*mean*	1048.600-1056.950=-8.350
σ	296.150-308.819=-12.668
min	575.000-551.000=24.000
max	1466.000-1510.000=-44.000

*mean*	1.266-1.274=-0.007
σ	0.111-0.121=-0.010
min	1.178-1.183=-0.005
max	1.563-1.570=-0.007

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.290=0.007
σ	0.291-0.272=0.019
min	0.144-0.143=0.001
max	0.813-0.771=0.042

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.472-0.472=0.000
σ	0.311-0.316=-0.005
min	0.320-0.319=0.000
max	1.027-1.037=-0.010

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.220-0.219=0.001
σ	0.024-0.017=0.007
min	0.204-0.208=-0.004
max	0.263-0.249=0.014

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.333-0.331=0.002
σ	0.014-0.021=-0.007
min	0.321-0.314=0.007
max	0.355-0.366=-0.011

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*	436.600-431.000=5.600
σ	6.066-0.000=6.066
min	431.000
max	443.000-431.000=12.000

*mean*	0.585-0.544=0.041
σ	0.041-0.038=0.003
min	0.534-0.496=0.038
max	0.619-0.592=0.027

name=cdr_enhanced_4k_loc.art

*mean*	885.898
σ	0.002
min	885.897
max	885.901

*mean*	443.000-431.000=12.000
σ	0.000
min	443.000-431.000=12.000
max	443.000-431.000=12.000

*mean*	0.490-0.473=0.018
σ	0.038-0.044=-0.006
min	0.439-0.412=0.027
max	0.532-0.520=0.012

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*	443.000-431.000=12.000
σ	0.000
min	443.000-431.000=12.000
max	443.000-431.000=12.000

*mean*	2.687-2.642=0.046
σ	0.101-0.096=0.005
min	2.460-2.479=-0.018
max	2.945-2.968=-0.024

name=record_render_large_syntax_err.art

*mean*	7.658
σ	0.002
min	7.657
max	7.661

*mean*	443.000-431.000=12.000
σ	0.000
min	443.000-431.000=12.000
max	443.000-431.000=12.000

*mean*	2.663-2.583=0.080
σ	0.112-0.075=0.037
min	2.466-2.454=0.011
max	3.159-2.835=0.324

name=record_render_success.art

*mean*	2.290
σ	0.002
min	2.289
max	2.293

*mean*	443.000-431.000=12.000
σ	0.000
min	443.000-431.000=12.000
max	443.000-431.000=12.000

*mean*	0.309-0.303=0.005
σ	0.012-0.012=-0.000
min	0.291-0.285=0.005
max	0.383-0.388=-0.005

name=record_render_syntax_err.art

*mean*	2.165
σ	0.002
min	2.164
max	2.168

*mean*	443.000-431.000=12.000
σ	0.000
min	443.000-431.000=12.000
max	443.000-431.000=12.000

*mean*	0.296-0.289=0.007
σ	0.009-0.007=0.002
min	0.280-0.277=0.002
max	0.330-0.325=0.005

Revision Creation

Factor

allocated MiB

peak allocated MiB

time_s

number of threads=8

revision count=1000

*mean*	11.535-11.470=0.065
σ	11.792-13.117=-1.325
min	0.574-0.573=0.001
max	79.204-139.450=-60.247

*mean*	463.100-461.103=1.997
σ	18.532-21.481=-2.949
min	407.000-411.000=-4.000
max	478.000-482.000=-4.000

*mean*	0.026-0.026=0.000
σ	0.029-0.032=-0.003
min	0.001-0.001=-0.000
max	0.191-0.347=-0.156

SoV import

Factor

allocated MiB

peak allocated MiB

time_s

iters=10

rows=1000

*mean*	278.795-278.696=0.098
σ	1.065-1.049=0.016
min	278.360-278.284=0.076
max	281.824-281.678=0.146

*mean*	444.500-443.200=1.300
σ	19.558-17.287=2.270
min	414.000-417.000=-3.000
max	468.000-474.000=-6.000

*mean*	0.578-0.578=0.000
σ	0.014-0.017=-0.003
min	0.556-0.538=0.019
max	0.601-0.605=-0.005

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*	843.000-845.000=-2.000
σ	0.000
min	843.000-845.000=-2.000
max	843.000-845.000=-2.000

*mean*	224.984-232.478=-7.494
σ	26.792-35.938=-9.146
min	187.304-152.229=35.074
max	254.403-255.572=-1.169

phase=macro expansion

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

*mean*	842.375-844.125=-1.750
σ	1.768-2.475=-0.707
min	838.000
max	843.000-845.000=-2.000

*mean*	9.114-9.078=0.036
σ	0.955-0.981=-0.026
min	7.568-7.474=0.095
max	9.853-9.890=-0.037

phase=parser

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

*mean*	842.375-844.125=-1.750
σ	1.768-2.475=-0.707
min	838.000
max	843.000-845.000=-2.000

*mean*	582.534-557.952=24.582
σ	35.302-67.786=-32.484
min	500.878-425.058=75.820
max	607.379-603.456=3.923

phase=processProdDef

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

*mean*	843.000-845.000=-2.000
σ	0.000
min	843.000-845.000=-2.000
max	843.000-845.000=-2.000

*mean*	2895.547-2898.509=-2.962
σ	430.716-419.995=10.722
min	2379.091-2251.183=127.909
max	3395.254-3415.222=-19.968

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*	842.375-844.125=-1.750
σ	1.768-2.475=-0.707
min	838.000
max	843.000-845.000=-2.000

*mean*	37.198-37.028=0.170
σ	6.422-6.451=-0.030
min	26.806-26.560=0.246
max	41.517-41.395=0.123

phase=type checker

*mean*	989.752
σ	0.066
min	989.654
max	989.841

*mean*	842.375-844.125=-1.750
σ	1.768-2.475=-0.707
min	838.000
max	843.000-845.000=-2.000

*mean*	707.003-719.636=-12.634
σ	61.287-78.365=-17.079
min	662.436-645.124=17.312
max	846.917-905.473=-58.557

Workflow: transactPolicy

Factor

allocated MiB

peak allocated MiB

time

iters=5

new-facts=1

prior-facts=1

*mean*	282.394-282.395=-0.001
σ	0.036-0.037=-0.001
min	282.339-282.338=0.000
max	282.425-282.429=-0.004

*mean*	440.000-445.000=-5.000
σ	2.739-0.000=2.739
min	438.000-445.000=-7.000
max	443.000-445.000=-2.000

*mean*	0.378-0.378=-0.000
σ	0.001-0.004=-0.003
min	0.377-0.373=0.004
max	0.380-0.382=-0.002

iters=5

new-facts=1

prior-facts=6402

*mean*	1267.139-1267.096=0.042
σ	0.119-0.119=-0.000
min	1266.979-1267.000=-0.021
max	1267.310-1267.301=0.010

*mean*	1092.400-1094.400=-2.000
σ	169.777-169.231=0.546
min	892.000-893.000=-1.000
max	1326.000-1324.000=2.000

*mean*	2.183-2.039=0.144
σ	0.204-0.093=0.110
min	2.006-1.877=0.129
max	2.535-2.104=0.431

iters=5

new-facts=6402

prior-facts=1

*mean*	1506.077-1506.064=0.013
σ	2.970-2.937=0.033
min	1504.526-1504.549=-0.023
max	1511.377-1511.308=0.069

*mean*	626.000-625.800=0.200
σ	86.943-87.168=-0.225
min	495.000-496.000=-1.000
max	726.000-728.000=-2.000

*mean*	2.204-2.128=0.076
σ	0.221-0.196=0.025
min	2.046-1.854=0.193
max	2.593-2.394=0.198

iters=5

new-facts=6402

prior-facts=6402

*mean*	1829.101-1829.098=0.003
σ	0.040-0.038=0.002
min	1829.046-1829.037=0.009
max	1829.148-1829.134=0.014

*mean*	1721.800-1724.600=-2.800
σ	175.857-186.756=-10.899
min	1472.000-1462.000=10.000
max	1885.000-1896.000=-11.000

*mean*	2.965-2.992=-0.027
σ	0.191-0.326=-0.135
min	2.839-2.803=0.036
max	3.302-3.573=-0.270

newProductH/cdr_auton/broker

Factor

time_s

iterations=5

*mean*	1.691-1.742=-0.050
σ	0.157-0.123=0.035
min	1.507-1.609=-0.102
max	1.817-1.881=-0.065

policy addition benchmark

Factor

allocated MiB

db queries

peak allocated MiB

time

policies=2

*mean*	397.697-397.699=-0.002
σ	518.051-518.051=-0.001
min	138.669-138.671=-0.002
max	1174.773-1174.776=-0.003

*mean*	97.750
σ	7.500
min	94.000
max	109.000

*mean*	433.000-447.000=-14.000
σ	0.000
min	433.000-447.000=-14.000
max	433.000-447.000=-14.000

*mean*	0.463-0.493=-0.029
σ	0.447-0.508=-0.060
min	0.238-0.235=0.003
max	1.134-1.254=-0.120

policies=20

*mean*	1386.813-1386.841=-0.028
σ	0.140-0.164=-0.024
min	1386.712-1386.729=-0.017
max	1387.020-1387.085=-0.065

*mean*	940.000
σ	0.000
min	940.000
max	940.000

*mean*	440.500-447.000=-6.500
σ	8.660-0.000=8.660
min	433.000-447.000=-14.000
max	448.000-447.000=1.000

*mean*	2.321-2.324=-0.003
σ	0.014-0.015=-0.001
min	2.303-2.311=-0.008
max	2.338-2.346=-0.008

policies=200

*mean*	13876.796-13876.876=-0.080
σ	0.203-0.039=0.165
min	13876.531-13876.841=-0.311
max	13877.015-13876.931=0.084

*mean*	9400.000
σ	0.000
min	9400.000
max	9400.000

*mean*	496.000-496.500=-0.500
σ	5.228-4.655=0.573
min	489.000-491.000=-2.000
max	500.000-502.000=-2.000

*mean*	23.532-23.399=0.132
σ	0.053-0.119=-0.066
min	23.480-23.249=0.231
max	23.584-23.526=0.058