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.633
σ	0.000
min	558.633
max	558.633

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.677-54.620=0.057
σ	0.357-0.350=0.007
min	54.541-54.486=0.055
max	55.693-55.616=0.076

*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.142-0.140=0.002
σ	0.006-0.006=0.000
min	0.137-0.132=0.005
max	0.154-0.149=0.006

cache=y

dps=1

iters=10

policies=100

*mean*	43.703-43.788=-0.085
σ	0.006-0.007=-0.001
min	43.696-43.776=-0.080
max	43.714-43.800=-0.086

*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.125-0.119=0.006
σ	0.004-0.005=-0.001
min	0.122-0.114=0.007
max	0.132-0.128=0.004

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-36.615=0.001
max	36.620-36.620=0.000

*mean*	3860.250-4146.875=-286.625
σ	1827.822-1889.336=-61.514
min	1279.000-1554.000=-275.000
max	6105.000-7267.000=-1162.000

*mean*	12.175-12.721=-0.546
σ	0.478-0.103=0.375
min	11.581-12.569=-0.987
max	12.901-12.906=-0.005

op=column_set() on indexed, repeat

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

*mean*	3860.250-4146.875=-286.625
σ	1827.822-1889.336=-61.514
min	1279.000-1554.000=-275.000
max	6105.000-7267.000=-1162.000

*mean*	12.314-13.173=-0.859
σ	0.780-0.222=0.557
min	10.767-12.734=-1.968
max	13.111-13.485=-0.374

op=table_records(), no indexes

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

*mean*	6105.000-7267.000=-1162.000
σ	0.000
min	6105.000-7267.000=-1162.000
max	6105.000-7267.000=-1162.000

*mean*	14.453-15.386=-0.933
σ	0.383-0.257=0.126
min	13.727-14.828=-1.100
max	15.111-15.669=-0.558

op=table_records(), repeat

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

*mean*	3860.250-4146.875=-286.625
σ	1827.822-1889.336=-61.514
min	1279.000-1554.000=-275.000
max	6105.000-7267.000=-1162.000

*mean*	12.535-13.173=-0.638
σ	1.909-1.858=0.051
min	10.200-11.172=-0.972
max	14.822-15.603=-0.781

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

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

*mean*	3860.250-4146.875=-286.625
σ	1827.822-1889.336=-61.514
min	1279.000-1554.000=-275.000
max	6105.000-7267.000=-1162.000

*mean*	8.485-9.083=-0.598
σ	0.354-0.354=0.000
min	8.061-8.581=-0.520
max	9.114-9.612=-0.499

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

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

*mean*	3860.250-4146.875=-286.625
σ	1827.822-1889.336=-61.514
min	1279.000-1554.000=-275.000
max	6105.000-7267.000=-1162.000

*mean*	6.207-6.587=-0.380
σ	0.490-0.285=0.205
min	5.418-6.230=-0.812
max	6.796-7.007=-0.211

op=vertical_lookup_row_list() on 2 indexed

*mean*	25.669-25.666=0.003
σ	0.003-0.002=0.001
min	25.666-25.665=0.001
max	25.674-25.668=0.005

*mean*	3860.250-4146.875=-286.625
σ	1827.822-1889.336=-61.514
min	1279.000-1554.000=-275.000
max	6105.000-7267.000=-1162.000

*mean*	5.563-6.061=-0.498
σ	0.064-0.112=-0.048
min	5.479-5.871=-0.392
max	5.654-6.225=-0.571

op=vertical_lookup_row_list() on 3 (1 unindexed)

*mean*	25.970-25.968=0.002
σ	0.002-0.002=0.000
min	25.968-25.967=0.001
max	25.974-25.972=0.001

*mean*	3860.250-4146.875=-286.625
σ	1827.822-1889.336=-61.514
min	1279.000-1554.000=-275.000
max	6105.000-7267.000=-1162.000

*mean*	5.391-5.740=-0.349
σ	0.109-0.184=-0.075
min	5.251-5.393=-0.142
max	5.565-5.966=-0.402

CSV - loading a lazy table

Factor

allocated MiB

peak allocated MiB

time (ms)

op=load_product(), no indexes

*mean*	2524.604-2524.606=-0.002
σ	0.002-0.000=0.002
min	2524.602-2524.606=-0.004
max	2524.606-2524.607=-0.001

*mean*	6105.000-7267.000=-1162.000
σ	0.000
min	6105.000-7267.000=-1162.000
max	6105.000-7267.000=-1162.000

*mean*	1356.651-1510.878=-154.227
σ	585.716-978.081=-392.365
min	1034.814-1040.175=-5.361
max	2385.836-3877.488=-1491.652

op=load_product(), with indexes

*mean*	7878.102-8744.721=-866.619
σ	0.469-0.469=0.000
min	7877.934-8744.553=-866.619
max	7879.264-8745.883=-866.619

*mean*	3226.500-3569.125=-342.625
σ	1825.518-1789.336=36.182
min	810.000-1045.000=-235.000
max	6105.000-5774.000=331.000

*mean*	3826.027-4862.688=-1036.661
σ	1310.348-1513.189=-202.841
min	3113.869-3534.707=-420.838
max	6230.432-7365.117=-1134.686

CSV - unindexed operations

Factor

allocated MiB

peak allocated MiB

time (ms)

op=column_set() on unindexed, dense

*mean*	62.078-62.078=0.000
σ	0.002-0.002=-0.000
min	62.076-62.076=0.001
max	62.081-62.081=0.000

*mean*	3860.250-4146.875=-286.625
σ	1827.822-1889.336=-61.514
min	1279.000-1554.000=-275.000
max	6105.000-7267.000=-1162.000

*mean*	82.403-81.905=0.498
σ	13.019-9.849=3.170
min	68.783-70.967=-2.184
max	101.003-93.451=7.552

op=vertical_lookup_list() on unindexed missing Int

*mean*	40.946-40.944=0.002
σ	0.002-0.001=0.001
min	40.945-40.944=0.001
max	40.949-40.945=0.003

*mean*	6105.000-7267.000=-1162.000
σ	0.000
min	6105.000-7267.000=-1162.000
max	6105.000-7267.000=-1162.000

*mean*	62.631-107.389=-44.758
σ	3.798-2.714=1.084
min	59.774-104.429=-44.655
max	69.830-112.296=-42.466

op=vertical_lookup_row_list() on unindexed small unique Int

*mean*	66.687-66.686=0.002
σ	0.002-0.000=0.001
min	66.686-66.685=0.001
max	66.690-66.686=0.003

*mean*	6105.000-7267.000=-1162.000
σ	0.000
min	6105.000-7267.000=-1162.000
max	6105.000-7267.000=-1162.000

*mean*	99.383-163.697=-64.314
σ	1.170-4.320=-3.149
min	97.982-154.455=-56.473
max	101.472-168.498=-67.027

CSV - warmup

Factor

allocated MiB

peak allocated MiB

time (ms)

op=table_records()

*mean*	11849.156-11656.836=192.320
σ	4.304-4.324=-0.021
min	11847.562-11655.305=192.257
max	11859.806-11667.538=192.268

*mean*	3860.250-4146.875=-286.625
σ	1827.822-1889.336=-61.514
min	1279.000-1554.000=-275.000
max	6105.000-7267.000=-1162.000

*mean*	6068.489-6505.404=-436.914
σ	1446.209-1166.397=279.812
min	5085.739-4868.763=216.976
max	8421.574-8022.689=398.885

op=vertical_lookup_list() on indexed

*mean*	10791.094-11560.065=-768.971
σ	0.002-0.001=0.001
min	10791.092-11560.064=-768.972
max	10791.096-11560.066=-768.970

*mean*	6105.000-7267.000=-1162.000
σ	0.000
min	6105.000-7267.000=-1162.000
max	6105.000-7267.000=-1162.000

*mean*	5175.612-5772.591=-596.979
σ	1511.764-1779.682=-267.918
min	4044.792-4378.136=-333.344
max	7570.210-8206.291=-636.081

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*	477.000-476.000=1.000
σ	0.000
min	477.000-476.000=1.000
max	477.000-476.000=1.000

*mean*	388.638-377.729=10.909
σ	15.586-21.487=-5.902
min	350.931-335.238=15.694
max	398.100-397.743=0.357

op=pointedIndexFromKvs

rows=400000

*mean*	357.322
σ	0.001
min	357.321
max	357.325

*mean*	561.000-560.000=1.000
σ	0.000
min	561.000-560.000=1.000
max	561.000-560.000=1.000

*mean*	792.342-765.700=26.642
σ	17.933-41.209=-23.276
min	773.510-668.702=104.808
max	826.725-793.685=33.040

Marine Hull: transactPolicy

Factor

allocated MiB

peak allocated MiB

time

datapoints=1

iterations=20

*mean*	1024.326-1008.375=15.951
σ	0.758-0.760=-0.002
min	1023.851-1007.900=15.951
max	1027.464-1011.518=15.946

*mean*	1056.400-1043.250=13.150
σ	318.477-299.142=19.334
min	593.000-560.000=33.000
max	1531.000-1444.000=87.000

*mean*	1.580-1.531=0.049
σ	0.083-0.070=0.014
min	1.450-1.459=-0.009
max	1.797-1.732=0.065

Parser: Comma Sep

Factor

allocated MiB

peak allocated MiB

time (ms)

name=ambiguous_item.art

*mean*	0.913-0.891=0.021
σ	0.020
min	0.903-0.881=0.021
max	0.949-0.928=0.021

*mean*	402.000
σ	0.000
min	402.000
max	402.000

*mean*	0.319-0.380=-0.061
σ	0.333-0.459=-0.126
min	0.144-0.149=-0.005
max	0.910-1.198=-0.288

name=error_case.art

*mean*	2.339-2.338=0.001
σ	0.012
min	2.333-2.332=0.001
max	2.361-2.359=0.001

*mean*	402.000
σ	0.000
min	402.000
max	402.000

*mean*	0.481-0.473=0.008
σ	0.325-0.323=0.003
min	0.323-0.321=0.002
max	1.063-1.050=0.013

name=heavy_item.art

*mean*	1.522-1.522=0.001
σ	0.002
min	1.521-1.520=0.001
max	1.525-1.524=0.001

*mean*	402.000
σ	0.000
min	402.000
max	402.000

*mean*	0.219-0.223=-0.003
σ	0.022-0.019=0.003
min	0.205-0.210=-0.005
max	0.259-0.256=0.003

name=nested_use.art

*mean*	2.357-2.355=0.001
σ	0.002
min	2.356-2.355=0.001
max	2.360-2.358=0.001

*mean*	402.000
σ	0.000
min	402.000
max	402.000

*mean*	0.337-0.340=-0.004
σ	0.014-0.021=-0.007
min	0.325-0.329=-0.004
max	0.361-0.378=-0.017

Parser: Real World

Factor

allocated MiB

peak allocated MiB

time (sec)

name=aon_gpf25_7k_loc.art

*mean*	964.840-963.908=0.933
σ	0.011
min	964.835-963.902=0.933
max	964.859-963.926=0.933

*mean*	431.600-434.800=-3.200
σ	1.342-1.643=-0.302
min	431.000-432.000=-1.000
max	434.000-436.000=-2.000

*mean*	0.513-0.551=-0.039
σ	0.039-0.053=-0.014
min	0.463-0.496=-0.033
max	0.562-0.614=-0.052

name=cdr_enhanced_4k_loc.art

*mean*	885.820-884.884=0.936
σ	0.002
min	885.819-884.883=0.936
max	885.823-884.886=0.936

*mean*	442.000-436.000=6.000
σ	0.000
min	442.000-436.000=6.000
max	442.000-436.000=6.000

*mean*	0.509-0.518=-0.009
σ	0.022-0.010=0.012
min	0.472-0.505=-0.033
max	0.528-0.529=-0.001

Parser: Record Parsing

Factor

allocated MiB

peak allocated MiB

time (ms)

name=record_render_large_success.art

*mean*	7.709-7.706=0.002
σ	0.002
min	7.708-7.705=0.002
max	7.712-7.709=0.002

*mean*	442.000-436.000=6.000
σ	0.000
min	442.000-436.000=6.000
max	442.000-436.000=6.000

*mean*	2.639-1.991=0.648
σ	0.100-0.087=0.013
min	2.480-1.854=0.626
max	2.966-2.441=0.525

name=record_render_large_syntax_err.art

*mean*	7.657-7.655=0.002
σ	0.002
min	7.656-7.654=0.002
max	7.660-7.658=0.002

*mean*	442.000-436.000=6.000
σ	0.000
min	442.000-436.000=6.000
max	442.000-436.000=6.000

*mean*	2.613-1.975=0.639
σ	0.099-0.090=0.009
min	2.441-1.874=0.567
max	2.957-2.641=0.316

name=record_render_success.art

*mean*	2.289-2.288=0.002
σ	0.002
min	2.289-2.287=0.002
max	2.293-2.291=0.002

*mean*	442.000-436.000=6.000
σ	0.000
min	442.000-436.000=6.000
max	442.000-436.000=6.000

*mean*	0.309-0.311=-0.002
σ	0.008-0.037=-0.030
min	0.297-0.294=0.003
max	0.360-0.671=-0.311

name=record_render_syntax_err.art

*mean*	2.165-2.163=0.002
σ	0.002
min	2.164-2.163=0.002
max	2.168-2.166=0.002

*mean*	442.000-436.000=6.000
σ	0.000
min	442.000-436.000=6.000
max	442.000-436.000=6.000

*mean*	0.298-0.291=0.007
σ	0.032-0.007=0.025
min	0.280-0.277=0.003
max	0.603-0.322=0.281

SoV import

Factor

allocated MiB

peak allocated MiB

time_s

iters=10

rows=1000

*mean*	298.844-297.871=0.973
σ	1.054-0.987=0.067
min	298.413-297.421=0.992
max	301.841-300.667=1.174

*mean*	443.600-444.100=-0.500
σ	17.796-14.798=2.998
min	420.000-426.000=-6.000
max	466.000-468.000=-2.000

*mean*	0.614-0.617=-0.002
σ	0.012-0.013=-0.001
min	0.602-0.588=0.014
max	0.645-0.631=0.014

Timed compile per phase

Factor

allocated MiB

peak allocated MiB

time (ms)

phase=buildDeclTree

*mean*	236.678-222.011=14.666
σ	0.000-0.000=0.000
min	236.678-222.011=14.666
max	236.678-222.011=14.666

*mean*	1730.375-1725.625=4.750
σ	7.425-63.286=-55.861
min	1712.000-1569.000=143.000
max	1733.000-1748.000=-15.000

*mean*	217.453-210.431=7.022
σ	1.949-2.475=-0.526
min	214.945-206.280=8.664
max	220.945-214.160=6.785

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*	1730.375-1725.625=4.750
σ	7.425-63.286=-55.861
min	1712.000-1569.000=143.000
max	1733.000-1748.000=-15.000

*mean*	11.740-10.791=0.949
σ	1.200-1.599=-0.398
min	9.524-9.330=0.194
max	12.878-12.882=-0.004

phase=parser

*mean*	1042.367-1041.158=1.209
σ	0.000-0.000=-0.000
min	1042.367-1041.158=1.209
max	1042.367-1041.159=1.208

*mean*	1730.375-1725.625=4.750
σ	7.425-63.286=-55.861
min	1712.000-1569.000=143.000
max	1733.000-1748.000=-15.000

*mean*	665.775-629.503=36.272
σ	140.781-127.426=13.355
min	382.155-414.501=-32.346
max	831.581-836.800=-5.219

phase=processProdDef

*mean*	4753.276-6169.660=-1416.384
σ	0.000-0.000=-0.000
min	4753.276-6169.659=-1416.384
max	4753.276-6169.661=-1416.385

*mean*	1733.000-1748.000=-15.000
σ	0.000
min	1733.000-1748.000=-15.000
max	1733.000-1748.000=-15.000

*mean*	4335.849-5353.407=-1017.558
σ	674.807-1242.961=-568.154
min	3311.869-3846.013=-534.144
max	5261.716-7556.787=-2295.071

phase=renaming

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

*mean*	1730.375-1725.625=4.750
σ	7.425-63.286=-55.861
min	1712.000-1569.000=143.000
max	1733.000-1748.000=-15.000

*mean*	42.338-41.049=1.289
σ	6.756-7.884=-1.128
min	31.693-26.829=4.864
max	48.317-51.670=-3.354

phase=type checker

*mean*	990.454-958.670=31.784
σ	0.071-0.066=0.005
min	990.348-958.573=31.776
max	990.567-958.760=31.807

*mean*	1730.375-1725.625=4.750
σ	7.425-63.286=-55.861
min	1712.000-1569.000=143.000
max	1733.000-1748.000=-15.000

*mean*	827.706-770.719=56.986
σ	73.254-91.741=-18.487
min	733.753-667.492=66.261
max	915.732-880.285=35.447

Workflow: transactPolicy

Factor

allocated MiB

peak allocated MiB

time

iters=5

new-facts=1

prior-facts=1

*mean*	293.918-292.775=1.143
σ	0.038-0.034=0.004
min	293.864-292.727=1.137
max	293.957-292.812=1.146

*mean*	446.000-443.000=3.000
σ	0.000
min	446.000-443.000=3.000
max	446.000-443.000=3.000

*mean*	0.398-0.397=0.001
σ	0.006-0.001=0.005
min	0.395-0.396=-0.001
max	0.409-0.398=0.011

iters=5

new-facts=1

prior-facts=6402

*mean*	1320.286-1302.881=17.405
σ	0.047-0.097=-0.050
min	1320.224-1302.709=17.515
max	1320.333-1302.937=17.396

*mean*	1106.200-1089.800=16.400
σ	171.049-181.386=-10.337
min	893.000-837.000=56.000
max	1330.000-1302.000=28.000

*mean*	2.238-2.131=0.107
σ	0.078-0.343=-0.265
min	2.158-1.758=0.400
max	2.337-2.606=-0.269

iters=5

new-facts=6402

prior-facts=1

*mean*	1559.470-1545.915=13.556
σ	3.325-4.021=-0.696
min	1557.857-1543.946=13.910
max	1565.413-1553.102=12.311

*mean*	634.200-616.200=18.000
σ	73.741-79.839=-6.098
min	537.000-496.000=41.000
max	724.000-710.000=14.000

*mean*	2.421-2.290=0.130
σ	0.269-0.175=0.093
min	2.153-2.158=-0.005
max	2.784-2.596=0.188

iters=5

new-facts=6402

prior-facts=6402

*mean*	1882.275-1864.840=17.435
σ	0.058-0.039=0.019
min	1882.205-1864.791=17.414
max	1882.345-1864.879=17.466

*mean*	1747.200-1717.400=29.800
σ	210.442-212.956=-2.514
min	1476.000-1427.000=49.000
max	1948.000-1916.000=32.000

*mean*	3.311-2.939=0.372
σ	0.408-0.099=0.308
min	2.921-2.866=0.055
max	3.803-3.106=0.697

newProductH/cdr_auton/broker

Factor

time_s

iterations=5

*mean*	1.713-1.685=0.027
σ	0.130-0.127=0.004
min	1.579-1.472=0.108
max	1.890-1.806=0.085

policy addition benchmark

Factor

allocated MiB

db queries

peak allocated MiB

time

policies=2

*mean*	452.410-447.755=4.656
σ	583.279-579.110=4.168
min	160.767-158.198=2.569
max	1327.328-1316.420=10.908

*mean*	102.250-96.250=6.000
σ	8.500
min	98.000-92.000=6.000
max	115.000-109.000=6.000

*mean*	444.000-443.000=1.000
σ	0.000
min	444.000-443.000=1.000
max	444.000-443.000=1.000

*mean*	0.549-0.542=0.007
σ	0.564-0.562=0.003
min	0.264-0.260=0.004
max	1.396-1.385=0.011

policies=20

*mean*	1608.041-1582.285=25.755
σ	0.414-0.349=0.064
min	1607.756-1582.040=25.715
max	1608.652-1582.802=25.851

*mean*	980.000-920.000=60.000
σ	0.000
min	980.000-920.000=60.000
max	980.000-920.000=60.000

*mean*	452.000-447.500=4.500
σ	10.832-5.196=5.636
min	444.000-443.000=1.000
max	468.000-452.000=16.000

*mean*	2.697-2.631=0.066
σ	0.034-0.008=0.026
min	2.658-2.625=0.033
max	2.731-2.640=0.090

policies=200

*mean*	16088.589-15830.797=257.792
σ	0.109-0.203=-0.094
min	16088.485-15830.609=257.876
max	16088.741-15831.086=257.655

*mean*	9800.000-9200.000=600.000
σ	0.000
min	9800.000-9200.000=600.000
max	9800.000-9200.000=600.000

*mean*	496.000-497.250=-1.250
σ	4.243-3.686=0.557
min	492.000-493.000=-1.000
max	501.000-502.000=-1.000

*mean*	27.265-26.517=0.748
σ	0.110-0.160=-0.049
min	27.129-26.331=0.799
max	27.385-26.706=0.679