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.082
σ	0.000
min	5.082
max	5.082

AST compact size (parser)

Factor

compact size MiB

phase=parser

*mean*	4.988
σ	0.000
min	4.988
max	4.988

AST compact size (processProdDef Decls)

Factor

compact size MiB

phase=processProdDef Decls

*mean*	4.863
σ	0.000
min	4.863
max	4.863

AST compact size (processProdDef)

Factor

compact size MiB

phase=processProdDef

*mean*	446.102
σ	0.000
min	446.102
max	446.102

AST compact size (renaming)

Factor

compact size MiB

phase=renaming

*mean*	5.238
σ	0.000
min	5.238
max	5.238

AST compact size (type checker)

Factor

compact size MiB

phase=type checker

*mean*	6.395
σ	0.000
min	6.395
max	6.395

Aggregation: measureAggregations

Factor

allocated MiB

peak allocated MiB

time_s

cache=n

dps=1

iters=10

policies=100

*mean*	57.822-57.824=-0.002
σ	0.361-0.361=-0.000
min	57.678-57.684=-0.005
max	58.848-58.850=-0.003

*mean*	422.900-422.000=0.900
σ	0.316-0.000=0.316
min	422.000
max	423.000-422.000=1.000

*mean*	0.140-0.146=-0.007
σ	0.005-0.005=-0.001
min	0.136-0.138=-0.002
max	0.148-0.155=-0.007

cache=y

dps=1

iters=10

policies=100

*mean*	46.899-46.898=0.001
σ	0.005-0.006=-0.001
min	46.890-46.889=0.001
max	46.904-46.909=-0.005

*mean*	423.000-422.000=1.000
σ	0.000
min	423.000-422.000=1.000
max	423.000-422.000=1.000

*mean*	0.129-0.131=-0.001
σ	0.005-0.004=0.000
min	0.120-0.127=-0.007
max	0.137-0.138=-0.001

CSV - indexed operations

Factor

allocated MiB

peak allocated MiB

time (ms)

op=column_set() on indexed

*mean*	36.605-36.605=-0.000
σ	0.000-0.000=0.000
min	36.605
max	36.606-36.606=0.000

*mean*	4083.125-4194.500=-111.375
σ	2060.943-2079.963=-19.020
min	1337.000-1244.000=93.000
max	7619.000-7763.000=-144.000

*mean*	11.911-12.006=-0.095
σ	0.146-0.139=0.007
min	11.678-11.906=-0.228
max	12.119-12.294=-0.175

op=column_set() on indexed, repeat

*mean*	36.606-36.606=0.000
σ	0.000-0.000=0.000
min	36.605-36.606=-0.000
max	36.606

*mean*	4083.125-4194.500=-111.375
σ	2060.943-2079.963=-19.020
min	1337.000-1244.000=93.000
max	7619.000-7763.000=-144.000

*mean*	12.306-11.560=0.746
σ	0.449-0.408=0.041
min	11.310-11.307=0.004
max	12.706-12.554=0.152

op=table_records(), no indexes

*mean*	41.941-41.941=-0.000
σ	0.002-0.002=-0.000
min	41.939-41.939=0.000
max	41.943-41.944=-0.001

*mean*	7773.000-7966.625=-193.625
σ	164.633-281.029=-116.396
min	7619.000-7763.000=-144.000
max	7927.000-8306.000=-379.000

*mean*	11.113-11.149=-0.036
σ	0.214-0.200=0.014
min	10.796-10.963=-0.167
max	11.508-11.458=0.050

op=table_records(), repeat

*mean*	41.925-41.926=-0.000
σ	0.000-0.000=-0.000
min	41.925-41.925=-0.000
max	41.926-41.926=-0.000

*mean*	4083.125-4194.500=-111.375
σ	2060.943-2079.963=-19.020
min	1337.000-1244.000=93.000
max	7619.000-7763.000=-144.000

*mean*	11.022-11.060=-0.038
σ	0.262-0.135=0.127
min	10.716-10.888=-0.171
max	11.336-11.233=0.103

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

*mean*	27.635-27.635=0.000
σ	0.136-0.136=-0.000
min	27.586-27.586=0.000
max	27.973

*mean*	4083.125-4194.500=-111.375
σ	2060.943-2079.963=-19.020
min	1337.000-1244.000=93.000
max	7619.000-7763.000=-144.000

*mean*	8.571-8.443=0.128
σ	0.209-0.247=-0.039
min	8.331-8.036=0.295
max	8.823-8.777=0.046

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

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

*mean*	4083.125-4194.500=-111.375
σ	2060.943-2079.963=-19.020
min	1337.000-1244.000=93.000
max	7619.000-7763.000=-144.000

*mean*	6.631-6.669=-0.038
σ	0.244-0.352=-0.108
min	6.238-6.365=-0.127
max	6.989-7.443=-0.454

op=vertical_lookup_row_list() on 2 indexed

*mean*	25.664-25.664=-0.000
σ	0.004-0.004=-0.000
min	25.662
max	25.675-25.675=-0.000

*mean*	4083.125-4194.500=-111.375
σ	2060.943-2079.963=-19.020
min	1337.000-1244.000=93.000
max	7619.000-7763.000=-144.000

*mean*	5.842-5.724=0.118
σ	0.175-0.088=0.087
min	5.625-5.594=0.031
max	6.201-5.883=0.318

op=vertical_lookup_row_list() on 3 (1 unindexed)

*mean*	25.963-25.963=0.000
σ	0.001-0.001=0.000
min	25.963-25.963=0.000
max	25.964-25.964=0.000

*mean*	4083.125-4194.500=-111.375
σ	2060.943-2079.963=-19.020
min	1337.000-1244.000=93.000
max	7619.000-7763.000=-144.000

*mean*	5.711-5.697=0.014
σ	0.190-0.102=0.087
min	5.413-5.495=-0.081
max	5.999-5.812=0.187

CSV - loading a lazy table

Factor

allocated MiB

peak allocated MiB

time (ms)

op=load_product(), no indexes

*mean*	1021.600
σ	0.002
min	1021.598
max	1021.602

*mean*	7734.500-7898.750=-164.250
σ	159.405-251.360=-91.955
min	7619.000-7763.000=-144.000
max	7927.000-8306.000=-379.000

*mean*	347.715-347.328=0.387
σ	1.516-2.028=-0.512
min	344.651-344.356=0.296
max	349.749-350.087=-0.339

op=load_product(), with indexes

*mean*	3495.849-3495.848=0.000
σ	0.460-0.460=-0.000
min	3495.686
max	3496.988

*mean*	3408.375-3356.000=52.375
σ	1978.859-1784.000=194.860
min	638.000-642.000=-4.000
max	5492.000-5548.000=-56.000

*mean*	1770.682-1696.674=74.008
σ	716.489-580.713=135.776
min	1387.870-1386.446=1.424
max	3218.143-2899.333=318.810

CSV - unindexed operations

Factor

allocated MiB

peak allocated MiB

time (ms)

op=column_set() on unindexed, dense, minor warmup

*mean*	107.842-107.842=0.000
σ	0.000-0.000=-0.000
min	107.842-107.842=0.000
max	107.843-107.843=-0.000

*mean*	4083.125-4194.500=-111.375
σ	2060.943-2079.963=-19.020
min	1337.000-1244.000=93.000
max	7619.000-7763.000=-144.000

*mean*	131.280-140.537=-9.257
σ	7.035-10.098=-3.063
min	123.171-125.551=-2.381
max	146.408-157.624=-11.216

op=column_set() on unindexed, dense, repeat

*mean*	62.069
σ	0.001
min	62.066
max	62.070

*mean*	4083.125-4194.500=-111.375
σ	2060.943-2079.963=-19.020
min	1337.000-1244.000=93.000
max	7619.000-7763.000=-144.000

*mean*	41.726-42.950=-1.224
σ	1.131-1.814=-0.683
min	40.259-40.732=-0.473
max	43.993-45.289=-1.295

op=vertical_lookup_list() repeated on unindexed missing Int

*mean*	40.928
σ	0.002
min	40.926
max	40.930

*mean*	7773.000-7966.625=-193.625
σ	164.633-281.029=-116.396
min	7619.000-7763.000=-144.000
max	7927.000-8306.000=-379.000

*mean*	22.141-21.872=0.269
σ	1.137-0.180=0.956
min	21.483-21.644=-0.160
max	24.918-22.124=2.794

op=vertical_lookup_row_list() on unindexed small unique Int

*mean*	71.295-71.295=-0.000
σ	0.002-0.002=-0.000
min	71.294
max	71.298

*mean*	7773.000-7966.625=-193.625
σ	164.633-281.029=-116.396
min	7619.000-7763.000=-144.000
max	7927.000-8306.000=-379.000

*mean*	56.895-63.521=-6.626
σ	1.903-0.511=1.392
min	55.837-62.679=-6.842
max	61.517-64.349=-2.832

CSV - warmup

Factor

allocated MiB

peak allocated MiB

time (ms)

op=table_records()

*mean*	4646.843
σ	0.014-0.013=0.000
min	4646.838
max	4646.877-4646.876=0.001

*mean*	4083.125-4194.500=-111.375
σ	2060.943-2079.963=-19.020
min	1337.000-1244.000=93.000
max	7619.000-7763.000=-144.000

*mean*	3389.371-3537.842=-148.471
σ	845.188-753.424=91.764
min	2494.713-2495.516=-0.803
max	4676.758-4463.559=213.199

op=vertical_lookup_list() on indexed

*mean*	1973.831
σ	0.002-0.002=-0.000
min	1973.829
max	1973.833-1973.834=-0.001

*mean*	7773.000-7966.625=-193.625
σ	164.633-281.029=-116.396
min	7619.000-7763.000=-144.000
max	7927.000-8306.000=-379.000

*mean*	998.976-1065.153=-66.177
σ	182.800-401.083=-218.283
min	929.244-912.594=16.650
max	1451.303-2057.706=-606.403

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

*mean*	905.084
σ	0.002
min	905.082
max	905.088

*mean*	7773.000-7966.625=-193.625
σ	164.633-281.029=-116.396
min	7619.000-7763.000=-144.000
max	7927.000-8306.000=-379.000

*mean*	399.097-396.917=2.180
σ	2.241-2.461=-0.220
min	396.059-392.403=3.656
max	402.023-399.141=2.882

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*	475.375-475.750=-0.375
σ	0.518-0.463=0.055
min	475.000
max	476.000

*mean*	375.665-379.950=-4.285
σ	35.161-27.782=7.379
min	313.131-348.339=-35.208
max	431.307-434.668=-3.360

op=pointedIndexFromKvs

rows=400000

*mean*	308.493
σ	0.001
min	308.493
max	308.497

*mean*	562.000-563.000=-1.000
σ	0.000
min	562.000-563.000=-1.000
max	562.000-563.000=-1.000

*mean*	761.233-748.207=13.026
σ	33.597-53.752=-20.155
min	723.061-679.670=43.392
max	828.699-812.806=15.892

Marine Hull: transactPolicy

Factor

allocated MiB

peak allocated MiB

time

datapoints=1

iterations=20

*mean*	976.916-976.917=-0.001
σ	2.439-2.438=0.001
min	976.072-976.074=-0.002
max	987.253-987.250=0.003

*mean*	1048.150-1048.800=-0.650
σ	317.674-316.619=1.054
min	572.000-586.000=-14.000
max	1515.000-1516.000=-1.000

*mean*	1.292-1.324=-0.032
σ	0.093-0.172=-0.080
min	1.213-1.104=0.109
max	1.512-1.754=-0.242

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.388-0.319=0.069
σ	0.495-0.319=0.176
min	0.148-0.148=-0.000
max	1.274-0.887=0.387

name=error_case.art

*mean*	2.346
σ	0.012
min	2.340
max	2.368

*mean*	402.000
σ	0.000
min	402.000
max	402.000

*mean*	0.469-0.482=-0.013
σ	0.313-0.317=-0.004
min	0.319-0.321=-0.001
max	1.029-1.049=-0.020

name=heavy_item.art

*mean*	1.523
σ	0.002
min	1.522
max	1.526

*mean*	402.000
σ	0.000
min	402.000
max	402.000

*mean*	0.214-0.216=-0.001
σ	0.022-0.025=-0.002
min	0.197-0.199=-0.002
max	0.253-0.259=-0.006

name=nested_use.art

*mean*	2.364
σ	0.002
min	2.363
max	2.367

*mean*	402.000
σ	0.000
min	402.000
max	402.000

*mean*	0.331-0.340=-0.010
σ	0.018-0.018=0.000
min	0.314-0.322=-0.008
max	0.359-0.368=-0.009

Parser: Real World

Factor

allocated MiB

peak allocated MiB

time (sec)

name=aon_gpf25_7k_loc.art

*mean*	964.978
σ	0.009
min	964.973
max	964.995

*mean*	431.000
σ	0.000
min	431.000
max	431.000

*mean*	0.543-0.585=-0.043
σ	0.073-0.031=0.042
min	0.441-0.532=-0.091
max	0.613-0.609=0.004

name=cdr_enhanced_4k_loc.art

*mean*	886.000
σ	0.002
min	885.999
max	886.003

*mean*	431.000
σ	0.000
min	431.000
max	431.000

*mean*	0.480-0.474=0.006
σ	0.035-0.034=0.001
min	0.419-0.427=-0.008
max	0.511-0.522=-0.011

Parser: Record Parsing

Factor

allocated MiB

peak allocated MiB

time (ms)

name=record_render_large_success.art

*mean*	7.719
σ	0.002
min	7.718
max	7.722

*mean*	431.000
σ	0.000
min	431.000
max	431.000

*mean*	2.581-2.672=-0.091
σ	0.220-0.108=0.111
min	1.868-2.480=-0.612
max	2.843-2.940=-0.096

name=record_render_large_syntax_err.art

*mean*	7.667
σ	0.002
min	7.666
max	7.670

*mean*	431.000
σ	0.000
min	431.000
max	431.000

*mean*	2.631-2.611=0.020
σ	0.105-0.082=0.023
min	2.417-2.455=-0.038
max	2.946-2.868=0.077

name=record_render_success.art

*mean*	2.290
σ	0.002
min	2.290
max	2.294

*mean*	431.000
σ	0.000
min	431.000
max	431.000

*mean*	0.309-0.302=0.007
σ	0.074-0.009=0.065
min	0.288-0.284=0.005
max	1.030-0.351=0.679

name=record_render_syntax_err.art

*mean*	2.166
σ	0.002
min	2.165
max	2.169

*mean*	431.000
σ	0.000
min	431.000
max	431.000

*mean*	0.292-0.291=0.001
σ	0.025-0.020=0.005
min	0.274-0.274=0.000
max	0.517-0.451=0.066

Revision Creation

Factor

allocated MiB

peak allocated MiB

time_s

number of threads=8

revision count=1000

*mean*	11.586-11.893=-0.306
σ	11.477-12.088=-0.611
min	0.574-0.574=0.001
max	90.330-115.656=-25.326

*mean*	467.479-465.123=2.356
σ	22.066-18.485=3.581
min	406.000-407.000=-1.000
max	483.000-479.000=4.000

*mean*	0.027-0.027=-0.000
σ	0.029-0.030=-0.001
min	0.001-0.001=0.000
max	0.217-0.277=-0.060

SoV import

Factor

allocated MiB

peak allocated MiB

time_s

iters=10

rows=1000

*mean*	293.788-293.730=0.058
σ	1.054-1.062=-0.008
min	293.339-293.370=-0.031
max	296.782-296.751=0.031

*mean*	441.900-442.800=-0.900
σ	19.468-16.075=3.393
min	414.000-416.000=-2.000
max	469.000-463.000=6.000

*mean*	0.595-0.592=0.003
σ	0.016-0.023=-0.007
min	0.558-0.553=0.006
max	0.624-0.620=0.003

Timed compile per phase

Factor

allocated MiB

peak allocated MiB

time (ms)

phase=buildDeclTree

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

*mean*	873.000-848.000=25.000
σ	0.000
min	873.000-848.000=25.000
max	873.000-848.000=25.000

*mean*	145.274-148.700=-3.425
σ	10.558-12.368=-1.810
min	133.345-130.748=2.597
max	158.754-161.539=-2.785

phase=macro expansion

*mean*	5.897-5.894=0.004
σ	0.000
min	5.897-5.894=0.004
max	5.897-5.894=0.004

*mean*	873.000-848.000=25.000
σ	0.000
min	873.000-848.000=25.000
max	873.000-848.000=25.000

*mean*	8.515-6.318=2.197
σ	0.998-1.071=-0.073
min	6.892-5.861=1.032
max	9.201-8.965=0.236

phase=parser

*mean*	1042.131-1042.130=0.001
σ	0.000-0.000=-0.000
min	1042.130-1042.130=0.001
max	1042.131-1042.130=0.001

*mean*	873.000-848.000=25.000
σ	0.000
min	873.000-848.000=25.000
max	873.000-848.000=25.000

*mean*	569.784-407.277=162.507
σ	76.795-82.533=-5.738
min	443.167-375.082=68.085
max	616.691-611.491=5.200

phase=processProdDef

*mean*	2241.196-2241.195=0.001
σ	0.000
min	2241.196-2241.195=0.001
max	2241.196-2241.195=0.001

*mean*	873.000-848.000=25.000
σ	0.000
min	873.000-848.000=25.000
max	873.000-848.000=25.000

*mean*	2903.638-3007.984=-104.345
σ	201.339-360.844=-159.505
min	2596.015-2320.401=275.614
max	3193.782-3381.478=-187.697

phase=renaming

*mean*	21.430
σ	0.000
min	21.430
max	21.430

*mean*	873.000-848.000=25.000
σ	0.000
min	873.000-848.000=25.000
max	873.000-848.000=25.000

*mean*	44.817-36.277=8.540
σ	4.843-4.472=0.371
min	37.207-32.898=4.308
max	49.587-46.900=2.688

phase=type checker

*mean*	958.462
σ	0.047
min	958.439
max	958.564

*mean*	873.000-848.000=25.000
σ	0.000
min	873.000-848.000=25.000
max	873.000-848.000=25.000

*mean*	669.587-678.632=-9.044
σ	15.244-13.884=1.360
min	646.152-658.796=-12.643
max	688.363-695.739=-7.376

Workflow: transactPolicy

Factor

allocated MiB

peak allocated MiB

time

iters=5

new-facts=1

prior-facts=1

*mean*	327.855-327.854=0.001
σ	0.037-0.037=0.000
min	327.803-327.804=-0.000
max	327.892-327.892=-0.000

*mean*	441.400-440.600=0.800
σ	3.847-3.578=0.269
min	435.000-437.000=-2.000
max	445.000

*mean*	0.433-0.434=-0.001
σ	0.008-0.009=-0.001
min	0.424-0.424=0.000
max	0.444-0.448=-0.004

iters=5

new-facts=1

prior-facts=6402

*mean*	1313.076-1313.060=0.016
σ	0.138-0.138=-0.000
min	1312.961-1312.971=-0.009
max	1313.304-1313.303=0.001

*mean*	1077.800-1099.800=-22.000
σ	166.620-180.745=-14.125
min	877.000-890.000=-13.000
max	1288.000-1335.000=-47.000

*mean*	1.887-1.933=-0.046
σ	0.052-0.119=-0.067
min	1.832-1.753=0.079
max	1.951-2.087=-0.136

iters=5

new-facts=6402

prior-facts=1

*mean*	1552.093-1552.074=0.019
σ	3.025-3.077=-0.052
min	1550.560-1550.504=0.056
max	1557.497-1557.569=-0.072

*mean*	619.600-607.200=12.400
σ	84.533-72.241=12.292
min	521.000-506.000=15.000
max	733.000-685.000=48.000

*mean*	2.309-2.390=-0.081
σ	0.258-0.338=-0.080
min	1.959-2.080=-0.121
max	2.622-2.841=-0.219

iters=5

new-facts=6402

prior-facts=6402

*mean*	1875.062-1875.058=0.005
σ	0.055-0.045=0.009
min	1875.010-1875.003=0.007
max	1875.128-1875.113=0.016

*mean*	1707.400-1741.400=-34.000
σ	266.575-156.669=109.906
min	1391.000-1503.000=-112.000
max	2082.000-1934.000=148.000

*mean*	2.888-2.886=0.001
σ	0.217-0.058=0.159
min	2.560-2.802=-0.242
max	3.141-2.955=0.186

newProductH/cdr_auton/broker

Factor

time_s

iterations=5

*mean*	1.462-1.554=-0.092
σ	0.104-0.081=0.023
min	1.373-1.470=-0.097
max	1.582-1.649=-0.066

policy addition benchmark

Factor

allocated MiB

db queries

peak allocated MiB

time

policies=2

*mean*	419.411-419.410=0.001
σ	508.905-508.904=0.001
min	164.956-164.955=0.001
max	1182.769-1182.767=0.002

*mean*	101.250
σ	6.500
min	98.000
max	111.000

*mean*	430.000-432.000=-2.000
σ	0.000
min	430.000-432.000=-2.000
max	430.000-432.000=-2.000

*mean*	0.535-0.522=0.013
σ	0.528-0.499=0.029
min	0.265-0.267=-0.002
max	1.327-1.271=0.056

policies=20

*mean*	1649.834-1649.815=0.019
σ	0.376-0.390=-0.014
min	1649.603-1649.589=0.013
max	1650.394-1650.399=-0.005

*mean*	980.000
σ	0.000
min	980.000
max	980.000

*mean*	448.250-452.500=-4.250
σ	10.751-10.630=0.121
min	435.000-439.000=-4.000
max	457.000-461.000=-4.000

*mean*	2.656-2.673=-0.017
σ	0.009-0.022=-0.013
min	2.649-2.651=-0.002
max	2.668-2.703=-0.035

policies=200

*mean*	16506.131-16505.938=0.193
σ	0.037-0.149=-0.112
min	16506.095-16505.762=0.333
max	16506.182-16506.105=0.077

*mean*	9800.000
σ	0.000
min	9800.000
max	9800.000

*mean*	495.500-501.500=-6.000
σ	4.655-5.972=-1.317
min	490.000-495.000=-5.000
max	501.000-509.000=-8.000

*mean*	26.762-26.804=-0.042
σ	0.099-0.193=-0.094
min	26.660-26.587=0.073
max	26.872-27.025=-0.153