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)

Factor

compact size MiB

phase=processProdDef

*mean*	558.664
σ	0.000
min	558.664
max	558.664

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.880-54.881=-0.000
σ	0.361-0.358=0.003
min	54.743
max	55.906-55.899=0.008

*mean*	420.000-416.700=3.300
σ	0.000-0.483=-0.483
min	420.000-416.000=4.000
max	420.000-417.000=3.000

*mean*	0.141-0.139=0.001
σ	0.006-0.004=0.002
min	0.134-0.135=-0.001
max	0.153-0.146=0.007

cache=y

dps=1

iters=10

policies=100

*mean*	43.849-43.849=-0.000
σ	0.005-0.005=-0.000
min	43.842-43.841=0.000
max	43.858-43.858=-0.000

*mean*	420.000-417.000=3.000
σ	0.000
min	420.000-417.000=3.000
max	420.000-417.000=3.000

*mean*	0.122-0.123=-0.001
σ	0.005-0.004=0.001
min	0.115-0.118=-0.002
max	0.132-0.132=-0.000

CSV - indexed operations

Factor

allocated MiB

peak allocated MiB

time (ms)

op=column_set() on indexed

*mean*	36.618-36.618=-0.000
σ	0.002-0.002=-0.000
min	36.616
max	36.620-36.620=0.000

*mean*	4028.375-4042.000=-13.625
σ	2000.321-2008.521=-8.200
min	1217.000-1215.000=2.000
max	7129.000-7146.000=-17.000

*mean*	12.875-12.902=-0.027
σ	0.479-0.275=0.204
min	12.322-12.540=-0.218
max	13.581-13.319=0.262

op=column_set() on indexed, repeat

*mean*	36.618-36.618=0.000
σ	0.002-0.002=-0.000
min	36.616-36.616=0.000
max	36.620-36.620=-0.000

*mean*	4028.375-4042.000=-13.625
σ	2000.321-2008.521=-8.200
min	1217.000-1215.000=2.000
max	7129.000-7146.000=-17.000

*mean*	12.586-12.820=-0.234
σ	0.563-0.805=-0.241
min	11.899-11.760=0.138
max	13.341-13.678=-0.337

op=table_records(), no indexes

*mean*	41.930-41.930=0.000
σ	0.002-0.002=0.000
min	41.928-41.928=0.000
max	41.933-41.932=0.001

*mean*	7129.000-7146.000=-17.000
σ	0.000
min	7129.000-7146.000=-17.000
max	7129.000-7146.000=-17.000

*mean*	14.734-14.931=-0.197
σ	1.304-0.080=1.224
min	11.845-14.807=-2.962
max	15.639-15.036=0.602

op=table_records(), repeat

*mean*	41.929-41.930=-0.001
σ	0.002-0.002=-0.000
min	41.927
max	41.931-41.932=-0.001

*mean*	4028.375-4042.000=-13.625
σ	2000.321-2008.521=-8.200
min	1217.000-1215.000=2.000
max	7129.000-7146.000=-17.000

*mean*	13.601-13.604=-0.003
σ	1.947-2.071=-0.124
min	11.115-11.208=-0.093
max	15.664-16.369=-0.705

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

*mean*	27.654-27.653=0.001
σ	0.136-0.136=-0.000
min	27.604-27.604=0.000
max	27.991-27.991=0.000

*mean*	4028.375-4042.000=-13.625
σ	2000.321-2008.521=-8.200
min	1217.000-1215.000=2.000
max	7129.000-7146.000=-17.000

*mean*	9.005-9.294=-0.289
σ	0.273-1.402=-1.129
min	8.473-8.283=0.190
max	9.388-12.698=-3.309

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

*mean*	26.401-26.401=-0.000
σ	0.002-0.002=0.000
min	26.400-26.400=-0.000
max	26.404

*mean*	4028.375-4042.000=-13.625
σ	2000.321-2008.521=-8.200
min	1217.000-1215.000=2.000
max	7129.000-7146.000=-17.000

*mean*	6.880-7.398=-0.518
σ	0.200-1.210=-1.010
min	6.522-6.656=-0.134
max	7.115-10.331=-3.216

op=vertical_lookup_row_list() on 2 indexed

*mean*	25.668-25.668=-0.000
σ	0.004-0.004=0.000
min	25.665
max	25.678-25.677=0.000

*mean*	4028.375-4042.000=-13.625
σ	2000.321-2008.521=-8.200
min	1217.000-1215.000=2.000
max	7129.000-7146.000=-17.000

*mean*	5.815-5.998=-0.183
σ	0.147-0.135=0.012
min	5.655-5.807=-0.152
max	6.069-6.205=-0.136

op=vertical_lookup_row_list() on 3 (1 unindexed)

*mean*	25.970-25.970=-0.000
σ	0.002-0.002=0.000
min	25.969-25.969=-0.000
max	25.972

*mean*	4028.375-4042.000=-13.625
σ	2000.321-2008.521=-8.200
min	1217.000-1215.000=2.000
max	7129.000-7146.000=-17.000

*mean*	5.709-5.805=-0.096
σ	0.140-0.059=0.081
min	5.558-5.705=-0.147
max	5.973-5.893=0.081

CSV - loading a lazy table

Factor

allocated MiB

peak allocated MiB

time (ms)

op=load_product(), no indexes

*mean*	1021.613
σ	0.002
min	1021.612
max	1021.616

*mean*	7129.000-7146.000=-17.000
σ	0.000
min	7129.000-7146.000=-17.000
max	7129.000-7146.000=-17.000

*mean*	346.449-372.984=-26.535
σ	2.796-80.763=-77.968
min	341.809-341.902=-0.093
max	349.152-572.797=-223.646

op=load_product(), with indexes

*mean*	7917.793-7917.793=-0.000
σ	0.469-0.469=0.000
min	7917.625-7917.625=0.000
max	7918.954

*mean*	3262.625-3273.625=-11.000
σ	1813.210-1824.250=-11.039
min	810.000-809.000=1.000
max	5596.000-5620.000=-24.000

*mean*	3599.841-3597.095=2.746
σ	1071.242-1097.146=-25.904
min	3061.564-3061.048=0.516
max	6062.403-6145.956=-83.553

CSV - unindexed operations

Factor

allocated MiB

peak allocated MiB

time (ms)

op=column_set() on unindexed, dense

*mean*	62.077-62.077=-0.000
σ	0.002-0.002=-0.000
min	62.076-62.076=-0.000
max	62.080-62.080=-0.000

*mean*	4028.375-4042.000=-13.625
σ	2000.321-2008.521=-8.200
min	1217.000-1215.000=2.000
max	7129.000-7146.000=-17.000

*mean*	83.571-83.317=0.254
σ	14.691-18.464=-3.774
min	70.426-70.584=-0.158
max	108.082-125.572=-17.490

op=vertical_lookup_list() on unindexed missing Int

*mean*	40.946-40.946=0.000
σ	0.002-0.002=0.000
min	40.945
max	40.950-40.950=0.000

*mean*	7129.000-7146.000=-17.000
σ	0.000
min	7129.000-7146.000=-17.000
max	7129.000-7146.000=-17.000

*mean*	174.027-60.719=113.308
σ	316.765-0.545=316.221
min	61.022-60.110=0.912
max	957.976-61.354=896.621

op=vertical_lookup_row_list() on unindexed small unique Int

*mean*	66.688
σ	0.002-0.002=-0.000
min	66.686
max	66.691-66.691=-0.000

*mean*	7129.000-7146.000=-17.000
σ	0.000
min	7129.000-7146.000=-17.000
max	7129.000-7146.000=-17.000

*mean*	103.335-100.354=2.982
σ	8.777-0.661=8.116
min	98.909-99.818=-0.909
max	124.408-101.760=22.648

CSV - warmup

Factor

allocated MiB

peak allocated MiB

time (ms)

op=table_records()

*mean*	14217.171-14217.171=-0.000
σ	4.304-4.303=0.000
min	14215.576
max	14227.820

*mean*	4028.375-4042.000=-13.625
σ	2000.321-2008.521=-8.200
min	1217.000-1215.000=2.000
max	7129.000-7146.000=-17.000

*mean*	8049.131-7684.631=364.500
σ	1918.237-1843.392=74.845
min	5939.215-5969.847=-30.632
max	10687.230-10241.372=445.858

op=vertical_lookup_list() on indexed

*mean*	13159.109
σ	0.002
min	13159.106
max	13159.110

*mean*	7129.000-7146.000=-17.000
σ	0.000
min	7129.000-7146.000=-17.000
max	7129.000-7146.000=-17.000

*mean*	5234.096-5097.107=136.989
σ	639.869-201.810=438.058
min	4963.511-4968.422=-4.911
max	6812.923-5494.609=1318.314

CSV internal benchmark: pointedIndexFromKvs

Factor

allocated MiB

peak allocated MiB

time (ms)

op=pointedIndexFromKvs

rows=200000

*mean*	172.559
σ	0.001
min	172.558
max	172.562

*mean*	478.000-477.000=1.000
σ	0.000
min	478.000-477.000=1.000
max	478.000-477.000=1.000

*mean*	385.635-383.818=1.817
σ	17.467-16.624=0.842
min	342.550-343.087=-0.537
max	392.832-392.526=0.306

op=pointedIndexFromKvs

rows=400000

*mean*	357.322
σ	0.001
min	357.321
max	357.325

*mean*	560.000
σ	0.000
min	560.000
max	560.000

*mean*	737.608-777.606=-39.998
σ	79.977-25.413=54.565
min	580.030-732.247=-152.217
max	793.321-815.585=-22.263

Marine Hull: transactPolicy

Factor

allocated MiB

peak allocated MiB

time

datapoints=1

iterations=20

*mean*	1024.300-1024.297=0.003
σ	0.759-0.758=0.000
min	1023.826-1023.825=0.001
max	1027.437-1027.434=0.003

*mean*	1062.300-1036.450=25.850
σ	316.279-302.970=13.310
min	597.000-552.000=45.000
max	1567.000-1459.000=108.000

*mean*	1.596-1.571=0.025
σ	0.127-0.080=0.047
min	1.516-1.501=0.015
max	2.084-1.799=0.285

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.319-0.405=-0.087
σ	0.335-0.511=-0.176
min	0.149-0.144=0.005
max	0.915-1.316=-0.401

name=error_case.art

*mean*	2.339
σ	0.012
min	2.333
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.422-0.470=-0.048
σ	0.199-0.313=-0.114
min	0.319-0.315=0.004
max	0.778-1.030=-0.253

name=heavy_item.art

*mean*	1.522
σ	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.277-0.217=0.059
σ	0.133-0.020=0.113
min	0.206-0.196=0.010
max	0.514-0.251=0.263

name=nested_use.art

*mean*	2.357
σ	0.002
min	2.356
max	2.360

*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.346-0.328=0.018
σ	0.019-0.018=0.002
min	0.328-0.307=0.021
max	0.375-0.356=0.019

Parser: Real World

Factor

allocated MiB

peak allocated MiB

time (sec)

name=aon_gpf25_7k_loc.art

*mean*	964.840
σ	0.011
min	964.835
max	964.859

*mean*	430.800-435.600=-4.800
σ	1.789-5.079=-3.291
min	430.000-431.000=-1.000
max	434.000-441.000=-7.000

*mean*	0.538-0.571=-0.033
σ	0.058-0.027=0.032
min	0.484-0.541=-0.057
max	0.606-0.609=-0.003

name=cdr_enhanced_4k_loc.art

*mean*	885.820
σ	0.002
min	885.819
max	885.823

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

*mean*	0.490-0.459=0.031
σ	0.048-0.029=0.019
min	0.409-0.428=-0.019
max	0.523-0.506=0.017

Parser: Record Parsing

Factor

allocated MiB

peak allocated MiB

time (ms)

name=record_render_large_success.art

*mean*	7.709
σ	0.002
min	7.708
max	7.712

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

*mean*	2.637-2.588=0.049
σ	0.102-0.076=0.026
min	2.439-2.439=0.000
max	2.991-2.884=0.106

name=record_render_large_syntax_err.art

*mean*	7.657
σ	0.002
min	7.656
max	7.660

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

*mean*	2.582-2.557=0.025
σ	0.068-0.078=-0.010
min	2.471-2.435=0.036
max	2.800-2.889=-0.089

name=record_render_success.art

*mean*	2.289
σ	0.002
min	2.289
max	2.293

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

*mean*	0.313-0.315=-0.002
σ	0.047-0.041=0.005
min	0.293-0.296=-0.003
max	0.762-0.704=0.058

name=record_render_syntax_err.art

*mean*	2.165
σ	0.002
min	2.164
max	2.168

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

*mean*	0.296-0.297=-0.001
σ	0.011-0.009=0.002
min	0.284-0.286=-0.002
max	0.372-0.334=0.038

SoV import

Factor

allocated MiB

peak allocated MiB

time_s

iters=10

rows=1000

*mean*	298.672-298.603=0.068
σ	0.996-1.058=-0.062
min	298.277-298.205=0.072
max	301.501-301.609=-0.108

*mean*	445.100-440.600=4.500
σ	18.021-13.745=4.276
min	418.000-417.000=1.000
max	469.000-461.000=8.000

*mean*	0.606-0.593=0.013
σ	0.014-0.028=-0.014
min	0.576-0.545=0.031
max	0.632-0.631=0.001

Timed compile per phase

Factor

allocated MiB

peak allocated MiB

time (ms)

phase=buildDeclTree

*mean*	236.678-236.681=-0.004
σ	0.000-0.000=0.000
min	236.678-236.681=-0.004
max	236.678-236.682=-0.004

*mean*	956.875-1068.625=-111.750
σ	20.153-26.517=-6.364
min	907.000-1003.000=-96.000
max	964.000-1078.000=-114.000

*mean*	211.762-212.635=-0.873
σ	3.722-3.797=-0.075
min	208.305-206.381=1.923
max	219.749-218.333=1.416

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*	956.875-1068.625=-111.750
σ	20.153-26.517=-6.364
min	907.000-1003.000=-96.000
max	964.000-1078.000=-114.000

*mean*	8.882-10.138=-1.256
σ	1.995-2.157=-0.162
min	6.468-6.234=0.234
max	12.698-13.068=-0.370

phase=parser

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

*mean*	956.875-1068.625=-111.750
σ	20.153-26.517=-6.364
min	907.000-1003.000=-96.000
max	964.000-1078.000=-114.000

*mean*	523.047-560.029=-36.982
σ	114.885-143.070=-28.185
min	409.792-381.204=28.588
max	730.417-830.891=-100.474

phase=processProdDef

*mean*	4850.768-4850.763=0.004
σ	0.000
min	4850.768-4850.763=0.004
max	4850.768-4850.763=0.004

*mean*	964.000-1078.000=-114.000
σ	0.000
min	964.000-1078.000=-114.000
max	964.000-1078.000=-114.000

*mean*	4910.370-4681.947=228.422
σ	502.277-757.144=-254.867
min	4235.382-3461.985=773.397
max	5483.510-5508.687=-25.177

phase=renaming

*mean*	21.671
σ	0.000
min	21.671
max	21.671

*mean*	956.875-1068.625=-111.750
σ	20.153-26.517=-6.364
min	907.000-1003.000=-96.000
max	964.000-1078.000=-114.000

*mean*	33.459-39.729=-6.270
σ	9.904-9.763=0.141
min	19.989-20.524=-0.535
max	47.264-52.331=-5.067

phase=type checker

*mean*	990.454-990.450=0.004
σ	0.071
min	990.348-990.344=0.004
max	990.567-990.563=0.004

*mean*	956.875-1068.625=-111.750
σ	20.153-26.517=-6.364
min	907.000-1003.000=-96.000
max	964.000-1078.000=-114.000

*mean*	773.084-782.893=-9.809
σ	127.390-165.434=-38.045
min	649.600-649.837=-0.237
max	1011.851-1127.066=-115.215

Workflow: transactPolicy

Factor

allocated MiB

peak allocated MiB

time

iters=5

new-facts=1

prior-facts=1

*mean*	293.817-293.821=-0.004
σ	0.038-0.038=0.000
min	293.767-293.768=-0.001
max	293.857-293.860=-0.003

*mean*	439.800-443.400=-3.600
σ	1.095-0.548=0.548
min	439.000-443.000=-4.000
max	441.000-444.000=-3.000

*mean*	0.394-0.395=-0.001
σ	0.003-0.010=-0.006
min	0.391-0.388=0.003
max	0.399-0.412=-0.013

iters=5

new-facts=1

prior-facts=6402

*mean*	1320.171-1320.218=-0.048
σ	0.089-0.043=0.045
min	1320.091-1320.147=-0.056
max	1320.313-1320.251=0.062

*mean*	1084.600-1067.200=17.400
σ	198.827-166.588=32.239
min	837.000-843.000=-6.000
max	1335.000-1272.000=63.000

*mean*	2.090-2.299=-0.209
σ	0.035-0.188=-0.153
min	2.034-2.159=-0.124
max	2.126-2.628=-0.501

iters=5

new-facts=6402

prior-facts=1

*mean*	1560.623-1560.606=0.018
σ	6.173-6.231=-0.057
min	1557.660-1557.585=0.075
max	1571.662-1571.746=-0.084

*mean*	623.800-619.000=4.800
σ	87.391-82.741=4.651
min	518.000-494.000=24.000
max	736.000-716.000=20.000

*mean*	2.302-2.296=0.006
σ	0.213-0.213=-0.001
min	2.143-2.158=-0.015
max	2.658-2.668=-0.010

iters=5

new-facts=6402

prior-facts=6402

*mean*	1882.180-1882.174=0.006
σ	0.068-0.058=0.010
min	1882.095-1882.111=-0.016
max	1882.261-1882.251=0.011

*mean*	1731.000-1701.400=29.600
σ	174.395-255.696=-81.301
min	1487.000-1402.000=85.000
max	1894.000-2055.000=-161.000

*mean*	3.158-2.954=0.205
σ	0.277-0.129=0.148
min	2.944-2.760=0.184
max	3.615-3.106=0.509

newProductH/cdr_auton/broker

Factor

time_s

iterations=5

*mean*	1.680-1.738=-0.058
σ	0.232-0.261=-0.029
min	1.339-1.356=-0.018
max	1.847-1.961=-0.115

policy addition benchmark

Factor

allocated MiB

db queries

peak allocated MiB

time

policies=2

*mean*	452.083-452.080=0.003
σ	582.725-582.722=0.003
min	160.716-160.718=-0.002
max	1326.171-1326.163=0.008

*mean*	102.250
σ	8.500
min	98.000
max	115.000

*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.537-0.532=0.005
σ	0.520-0.531=-0.011
min	0.269-0.265=0.004
max	1.316-1.328=-0.012

policies=20

*mean*	1607.483-1607.508=-0.025
σ	0.405-0.410=-0.005
min	1607.220-1607.230=-0.009
max	1608.086-1608.115=-0.029

*mean*	980.000
σ	0.000
min	980.000
max	980.000

*mean*	444.500-449.000=-4.500
σ	7.000-8.083=-1.083
min	441.000-442.000=-1.000
max	455.000-456.000=-1.000

*mean*	2.678-2.693=-0.015
σ	0.022-0.015=0.007
min	2.658-2.672=-0.014
max	2.710-2.705=0.005

policies=200

*mean*	16083.277-16083.330=-0.053
σ	0.107-0.180=-0.073
min	16083.183-16083.213=-0.030
max	16083.430-16083.599=-0.168

*mean*	9800.000
σ	0.000
min	9800.000
max	9800.000

*mean*	495.500-498.250=-2.750
σ	4.123-5.058=-0.935
min	490.000-492.000=-2.000
max	500.000-504.000=-4.000

*mean*	26.987-27.048=-0.061
σ	0.044-0.058=-0.014
min	26.940-26.969=-0.029
max	27.045-27.096=-0.051