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.834-54.833=0.001
σ	0.365-0.368=-0.003
min	54.703-54.696=0.007
max	55.873-55.881=-0.008

*mean*	418.000-416.000=2.000
σ	0.000
min	418.000-416.000=2.000
max	418.000-416.000=2.000

*mean*	0.137-0.137=0.000
σ	0.004-0.006=-0.003
min	0.133-0.131=0.002
max	0.144-0.147=-0.003

cache=y

dps=1

iters=10

policies=100

*mean*	43.843-43.843=-0.000
σ	0.005-0.005=0.000
min	43.834-43.834=0.000
max	43.851-43.850=0.001

*mean*	418.000-416.000=2.000
σ	0.000
min	418.000-416.000=2.000
max	418.000-416.000=2.000

*mean*	0.121-0.120=0.001
σ	0.005-0.004=0.001
min	0.116-0.116=0.001
max	0.130-0.128=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*	4597.000-4586.375=10.625
σ	2247.622-2249.853=-2.231
min	1485.000-1487.000=-2.000
max	7386.000

*mean*	174.653-138.660=35.993
σ	457.542-356.988=100.554
min	12.024-11.464=0.560
max	1307.001-1022.145=284.856

op=column_set() on indexed, repeat

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

*mean*	4597.000-4586.375=10.625
σ	2247.622-2249.853=-2.231
min	1485.000-1487.000=-2.000
max	7386.000

*mean*	14.717-14.496=0.221
σ	4.215-4.460=-0.244
min	12.498-12.048=0.450
max	24.597-24.386=0.211

op=table_records(), no indexes

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

*mean*	7386.000
σ	0.000
min	7386.000
max	7386.000

*mean*	11.490-10.952=0.538
σ	1.905-1.784=0.120
min	10.651-9.988=0.664
max	16.196-15.339=0.857

op=table_records(), repeat

*mean*	41.933-41.933=0.000
σ	0.000-0.000=-0.000
min	41.933
max	41.934

*mean*	4190.375-4174.625=15.750
σ	1944.835-1945.070=-0.235
min	1485.000-1487.000=-2.000
max	7386.000

*mean*	11.680-11.294=0.386
σ	1.638-1.675=-0.038
min	10.832-10.386=0.446
max	15.706-15.413=0.293

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

*mean*	4190.375-4174.625=15.750
σ	1944.835-1945.070=-0.235
min	1485.000-1487.000=-2.000
max	7386.000

*mean*	8.926-8.356=0.570
σ	1.327-1.423=-0.095
min	8.168-7.595=0.573
max	12.187-11.844=0.343

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

*mean*	26.406
σ	0.000
min	26.406
max	26.406

*mean*	4190.375-4174.625=15.750
σ	1944.835-1945.070=-0.235
min	1485.000-1487.000=-2.000
max	7386.000

*mean*	6.875-6.172=0.702
σ	1.044-1.138=-0.094
min	6.339-5.058=1.281
max	9.433-8.866=0.568

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*	4597.000-4586.375=10.625
σ	2247.622-2249.853=-2.231
min	1485.000-1487.000=-2.000
max	7386.000

*mean*	6.562-6.016=0.545
σ	1.161-1.043=0.119
min	5.898-5.406=0.492
max	9.284-8.259=1.025

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*	4597.000-4586.375=10.625
σ	2247.622-2249.853=-2.231
min	1485.000-1487.000=-2.000
max	7386.000

*mean*	6.453-5.829=0.623
σ	1.155-1.026=0.129
min	5.769-5.082=0.687
max	8.780-8.177=0.603

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

*mean*	345.412-344.838=0.573
σ	1.911-1.323=0.588
min	343.184-343.153=0.032
max	348.814-347.281=1.534

op=load_product(), with indexes

*mean*	3495.878-3495.878=-0.000
σ	0.468-0.469=-0.000
min	3495.713
max	3497.037-3497.038=-0.001

*mean*	3763.750-3753.125=10.625
σ	2300.957-2298.738=2.218
min	720.000
max	7386.000

*mean*	1770.172-1795.836=-25.664
σ	658.406-679.329=-20.923
min	1380.696-1391.495=-10.799
max	2879.771-2988.781=-109.010

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*	4419.000-4404.625=14.375
σ	2216.911-2219.786=-2.874
min	1485.000-1487.000=-2.000
max	7386.000

*mean*	276.521-253.952=22.569
σ	381.576-334.759=46.817
min	131.357-122.552=8.805
max	1220.188-1080.934=139.254

op=column_set() on unindexed, dense, repeat

*mean*	62.081
σ	0.000
min	62.081
max	62.082

*mean*	4419.000-4404.625=14.375
σ	2216.911-2219.786=-2.874
min	1485.000-1487.000=-2.000
max	7386.000

*mean*	45.658-43.901=1.756
σ	9.854-8.070=1.784
min	39.893-39.261=0.631
max	69.708-63.538=6.169

op=vertical_lookup_list() repeated on unindexed missing Int

*mean*	40.948
σ	0.002
min	40.947
max	40.950

*mean*	7386.000
σ	0.000
min	7386.000
max	7386.000

*mean*	213.620-182.369=31.251
σ	539.983-452.467=87.516
min	21.444-20.770=0.675
max	1549.994-1302.156=247.838

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

*mean*	64.387-64.621=-0.234
σ	23.137-23.925=-0.788
min	54.686-54.915=-0.229
max	121.260-123.530=-2.270

CSV - warmup

Factor

allocated MiB

peak allocated MiB

time (ms)

op=table_records()

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

*mean*	4190.375-4174.625=15.750
σ	1944.835-1945.070=-0.235
min	1485.000-1487.000=-2.000
max	7386.000

*mean*	3410.431-3318.552=91.879
σ	787.652-789.524=-1.873
min	2516.661-2517.911=-1.250
max	4547.470-4732.789=-185.319

op=vertical_lookup_list() on indexed

*mean*	1973.851
σ	0.002
min	1973.849
max	1973.854

*mean*	7386.000
σ	0.000
min	7386.000
max	7386.000

*mean*	1037.119-1080.367=-43.249
σ	270.978-285.049=-14.071
min	905.244-932.421=-27.176
max	1689.507-1693.836=-4.329

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

*mean*	905.105
σ	0.002
min	905.102
max	905.108

*mean*	7386.000
σ	0.000
min	7386.000
max	7386.000

*mean*	412.034-405.518=6.516
σ	46.480-35.574=10.906
min	378.989-387.617=-8.628
max	525.710-492.294=33.416

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*	476.000-477.125=-1.125
σ	0.000-1.246=-1.246
min	476.000-475.000=1.000
max	476.000-478.000=-2.000

*mean*	377.554-373.075=4.479
σ	37.670-28.821=8.849
min	319.864-304.591=15.273
max	437.974-393.545=44.429

op=pointedIndexFromKvs

rows=400000

*mean*	308.493
σ	0.001
min	308.493
max	308.497

*mean*	557.625-568.000=-10.375
σ	0.518-0.000=0.518
min	557.000-568.000=-11.000
max	558.000-568.000=-10.000

*mean*	734.884-737.458=-2.575
σ	61.013-62.405=-1.392
min	599.762-654.793=-55.031
max	798.977-831.232=-32.255

Marine Hull: transactPolicy

Factor

allocated MiB

peak allocated MiB

time

datapoints=1

iterations=20

*mean*	963.972-963.970=0.002
σ	1.821-1.821=0.000
min	963.265-963.265=0.000
max	971.674-971.671=0.003

*mean*	1056.950-1043.950=13.000
σ	308.819-306.317=2.501
min	551.000-587.000=-36.000
max	1510.000-1493.000=17.000

*mean*	1.274-1.255=0.019
σ	0.121-0.126=-0.005
min	1.183-1.172=0.011
max	1.570-1.759=-0.189

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.290-0.313=-0.022
σ	0.272-0.303=-0.031
min	0.143-0.151=-0.008
max	0.771-0.851=-0.080

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.496=-0.024
σ	0.316-0.312=0.004
min	0.319-0.334=-0.014
max	1.037-1.054=-0.017

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.219-0.217=0.002
σ	0.017-0.022=-0.005
min	0.208-0.201=0.007
max	0.249-0.255=-0.006

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.331-0.336=-0.005
σ	0.021-0.019=0.002
min	0.314-0.320=-0.006
max	0.366-0.368=-0.002

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*	431.000-431.600=-0.600
σ	0.000-1.342=-1.342
min	431.000
max	431.000-434.000=-3.000

*mean*	0.544-0.575=-0.031
σ	0.038-0.029=0.009
min	0.496-0.524=-0.028
max	0.592-0.591=0.000

name=cdr_enhanced_4k_loc.art

*mean*	885.898
σ	0.002
min	885.897
max	885.901

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

*mean*	0.473-0.518=-0.046
σ	0.044-0.003=0.041
min	0.412-0.513=-0.101
max	0.520-0.522=-0.002

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

*mean*	2.642-2.640=0.001
σ	0.096-0.120=-0.024
min	2.479-2.412=0.066
max	2.968-3.040=-0.071

name=record_render_large_syntax_err.art

*mean*	7.658
σ	0.002
min	7.657
max	7.661

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

*mean*	2.583-2.629=-0.046
σ	0.075-0.100=-0.025
min	2.454-2.458=-0.003
max	2.835-2.962=-0.127

name=record_render_success.art

*mean*	2.290
σ	0.002
min	2.289
max	2.293

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

*mean*	0.303-0.303=0.000
σ	0.012-0.012=0.001
min	0.285-0.288=-0.003
max	0.388-0.375=0.012

name=record_render_syntax_err.art

*mean*	2.165
σ	0.002
min	2.164
max	2.168

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

*mean*	0.289-0.288=0.001
σ	0.007-0.007=0.000
min	0.277-0.274=0.003
max	0.325-0.323=0.002

Revision Creation

Factor

allocated MiB

peak allocated MiB

time_s

number of threads=8

revision count=1000

*mean*	11.470-11.331=0.139
σ	13.117-12.410=0.707
min	0.573-0.574=-0.000
max	139.450-101.395=38.055

*mean*	461.103-454.591=6.512
σ	21.481-18.515=2.966
min	411.000-407.000=4.000
max	482.000-472.000=10.000

*mean*	0.026-0.026=0.000
σ	0.032-0.030=0.002
min	0.001-0.001=0.000
max	0.347-0.244=0.103

SoV import

Factor

allocated MiB

peak allocated MiB

time_s

iters=10

rows=1000

*mean*	278.696-278.925=-0.229
σ	1.049-1.039=0.009
min	278.284-278.456=-0.172
max	281.678-281.877=-0.199

*mean*	443.200-446.600=-3.400
σ	17.287-21.593=-4.306
min	417.000-415.000=2.000
max	474.000-476.000=-2.000

*mean*	0.578-0.590=-0.012
σ	0.017-0.011=0.007
min	0.538-0.577=-0.040
max	0.605-0.615=-0.010

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*	845.000-840.000=5.000
σ	0.000
min	845.000-840.000=5.000
max	845.000-840.000=5.000

*mean*	232.478-229.805=2.673
σ	35.938-26.041=9.897
min	152.229-192.698=-40.469
max	255.572-257.256=-1.684

phase=macro expansion

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

*mean*	844.125-840.000=4.125
σ	2.475-0.000=2.475
min	838.000-840.000=-2.000
max	845.000-840.000=5.000

*mean*	9.078-9.896=-0.818
σ	0.981-1.120=-0.139
min	7.474-9.402=-1.928
max	9.890-12.650=-2.760

phase=parser

*mean*	1042.434-1042.431=0.003
σ	0.000-0.000=-0.000
min	1042.434-1042.431=0.003
max	1042.434-1042.431=0.003

*mean*	844.125-840.000=4.125
σ	2.475-0.000=2.475
min	838.000-840.000=-2.000
max	845.000-840.000=5.000

*mean*	557.952-608.038=-50.086
σ	67.786-45.582=22.203
min	425.058-585.421=-160.363
max	603.456-720.358=-116.902

phase=processProdDef

*mean*	2243.976-2243.978=-0.001
σ	0.000
min	2243.976-2243.978=-0.001
max	2243.976-2243.978=-0.001

*mean*	845.000-840.000=5.000
σ	0.000
min	845.000-840.000=5.000
max	845.000-840.000=5.000

*mean*	2898.509-2227.161=671.348
σ	419.995-239.029=180.966
min	2251.183-2025.804=225.379
max	3415.222-2754.827=660.395

phase=renaming

*mean*	21.671
σ	0.000
min	21.671
max	21.671

*mean*	844.125-840.000=4.125
σ	2.475-0.000=2.475
min	838.000-840.000=-2.000
max	845.000-840.000=5.000

*mean*	37.028-40.982=-3.954
σ	6.451-2.801=3.650
min	26.560-39.201=-12.641
max	41.395-47.769=-6.374

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*	844.125-840.000=4.125
σ	2.475-0.000=2.475
min	838.000-840.000=-2.000
max	845.000-840.000=5.000

*mean*	719.636-703.026=16.610
σ	78.365-73.535=4.831
min	645.124-673.815=-28.691
max	905.473-884.969=20.504

Workflow: transactPolicy

Factor

allocated MiB

peak allocated MiB

time

iters=5

new-facts=1

prior-facts=1

*mean*	282.395-282.394=0.001
σ	0.037-0.025=0.012
min	282.338-282.374=-0.035
max	282.429-282.427=0.002

*mean*	445.000-444.400=0.600
σ	0.000-0.548=-0.548
min	445.000-444.000=1.000
max	445.000

*mean*	0.378-0.381=-0.003
σ	0.004-0.006=-0.002
min	0.373-0.377=-0.004
max	0.382-0.392=-0.010

iters=5

new-facts=1

prior-facts=6402

*mean*	1267.096-1267.081=0.015
σ	0.119-0.095=0.024
min	1267.000-1267.005=-0.005
max	1267.301-1267.242=0.059

*mean*	1094.400-1112.200=-17.800
σ	169.231-170.029=-0.797
min	893.000-897.000=-4.000
max	1324.000-1330.000=-6.000

*mean*	2.039-1.921=0.118
σ	0.093-0.094=-0.000
min	1.877-1.833=0.043
max	2.104-2.076=0.028

iters=5

new-facts=6402

prior-facts=1

*mean*	1506.064-1506.135=-0.072
σ	2.937-2.902=0.034
min	1504.549-1504.638=-0.089
max	1511.308-1511.317=-0.009

*mean*	625.800-629.000=-3.200
σ	87.168-90.119=-2.952
min	496.000-505.000=-9.000
max	728.000-729.000=-1.000

*mean*	2.128-2.335=-0.207
σ	0.196-0.249=-0.053
min	1.854-2.065=-0.211
max	2.394-2.579=-0.185

iters=5

new-facts=6402

prior-facts=6402

*mean*	1829.098-1829.117=-0.019
σ	0.038-0.093=-0.055
min	1829.037-1829.018=0.019
max	1829.134-1829.261=-0.127

*mean*	1724.600-1767.600=-43.000
σ	186.756-211.820=-25.064
min	1462.000-1490.000=-28.000
max	1896.000-1969.000=-73.000

*mean*	2.992-3.163=-0.171
σ	0.326-0.331=-0.005
min	2.803-2.832=-0.029
max	3.573-3.638=-0.065

newProductH/cdr_auton/broker

Factor

time_s

iterations=5

*mean*	1.742-1.660=0.081
σ	0.123-0.063=0.060
min	1.609-1.591=0.018
max	1.881-1.763=0.119

policy addition benchmark

Factor

allocated MiB

db queries

peak allocated MiB

time

policies=2

*mean*	397.699-397.698=0.001
σ	518.051-518.052=-0.001
min	138.671-138.670=0.001
max	1174.776-1174.776=-0.000

*mean*	97.750
σ	7.500
min	94.000
max	109.000

*mean*	447.000-444.000=3.000
σ	0.000
min	447.000-444.000=3.000
max	447.000-444.000=3.000

*mean*	0.493-0.505=-0.013
σ	0.508-0.536=-0.028
min	0.235-0.235=-0.000
max	1.254-1.309=-0.055

policies=20

*mean*	1386.841-1386.847=-0.006
σ	0.164-0.178=-0.014
min	1386.729-1386.727=0.002
max	1387.085-1387.112=-0.027

*mean*	940.000
σ	0.000
min	940.000
max	940.000

*mean*	447.000-445.500=1.500
σ	0.000-1.732=-1.732
min	447.000-444.000=3.000
max	447.000

*mean*	2.324-2.375=-0.051
σ	0.015-0.056=-0.041
min	2.311-2.318=-0.007
max	2.346-2.453=-0.107

policies=200

*mean*	13876.876-13876.817=0.059
σ	0.039-0.129=-0.090
min	13876.841-13876.707=0.134
max	13876.931-13876.994=-0.063

*mean*	9400.000
σ	0.000
min	9400.000
max	9400.000

*mean*	496.500-494.500=2.000
σ	4.655-5.802=-1.148
min	491.000-488.000=3.000
max	502.000

*mean*	23.399-23.501=-0.102
σ	0.119-0.074=0.045
min	23.249-23.417=-0.168
max	23.526-23.597=-0.071