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.776-54.833=-0.057
σ	0.364-0.368=-0.005
min	54.632-54.696=-0.064
max	55.810-55.881=-0.071

*mean*	417.000-416.000=1.000
σ	0.000
min	417.000-416.000=1.000
max	417.000-416.000=1.000

*mean*	0.143-0.137=0.006
σ	0.008-0.006=0.002
min	0.138-0.131=0.007
max	0.163-0.147=0.016

cache=y

dps=1

iters=10

policies=100

*mean*	43.779-43.843=-0.064
σ	0.007-0.005=0.002
min	43.768-43.834=-0.067
max	43.791-43.850=-0.059

*mean*	417.000-416.000=1.000
σ	0.000
min	417.000-416.000=1.000
max	417.000-416.000=1.000

*mean*	0.139-0.120=0.019
σ	0.011-0.004=0.007
min	0.120-0.116=0.005
max	0.151-0.128=0.023

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*	4590.375-4586.375=4.000
σ	2249.453-2249.853=-0.400
min	1486.000-1487.000=-1.000
max	7385.000-7386.000=-1.000

*mean*	149.392-138.660=10.732
σ	385.929-356.988=28.941
min	11.912-11.464=0.448
max	1104.505-1022.145=82.360

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*	4590.375-4586.375=4.000
σ	2249.453-2249.853=-0.400
min	1486.000-1487.000=-1.000
max	7385.000-7386.000=-1.000

*mean*	14.601-14.496=0.106
σ	4.801-4.460=0.342
min	11.434-12.048=-0.614
max	25.272-24.386=0.885

op=table_records(), no indexes

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

*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.274-10.952=0.322
σ	1.134-1.784=-0.651
min	10.631-9.988=0.643
max	14.059-15.339=-1.280

op=table_records(), repeat

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

*mean*	4180.250-4174.625=5.625
σ	1945.738-1945.070=0.668
min	1486.000-1487.000=-1.000
max	7385.000-7386.000=-1.000

*mean*	11.825-11.294=0.531
σ	1.680-1.675=0.005
min	10.885-10.386=0.499
max	15.939-15.413=0.526

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

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

*mean*	4180.250-4174.625=5.625
σ	1945.738-1945.070=0.668
min	1486.000-1487.000=-1.000
max	7385.000-7386.000=-1.000

*mean*	8.953-8.356=0.597
σ	1.328-1.423=-0.095
min	7.670-7.595=0.074
max	12.104-11.844=0.260

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

*mean*	26.406
σ	0.000
min	26.406
max	26.406

*mean*	4180.250-4174.625=5.625
σ	1945.738-1945.070=0.668
min	1486.000-1487.000=-1.000
max	7385.000-7386.000=-1.000

*mean*	6.750-6.172=0.578
σ	1.081-1.138=-0.056
min	6.146-5.058=1.088
max	9.397-8.866=0.532

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*	4590.375-4586.375=4.000
σ	2249.453-2249.853=-0.400
min	1486.000-1487.000=-1.000
max	7385.000-7386.000=-1.000

*mean*	6.493-6.016=0.477
σ	1.028-1.043=-0.014
min	5.815-5.406=0.409
max	8.798-8.259=0.539

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*	4590.375-4586.375=4.000
σ	2249.453-2249.853=-0.400
min	1486.000-1487.000=-1.000
max	7385.000-7386.000=-1.000

*mean*	6.438-5.829=0.609
σ	1.023-1.026=-0.004
min	5.824-5.082=0.742
max	8.711-8.177=0.534

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*	363.568-344.838=18.730
σ	43.364-1.323=42.041
min	345.268-343.153=2.115
max	470.823-347.281=123.543

op=load_product(), with indexes

*mean*	3495.878
σ	0.469
min	3495.713
max	3497.038

*mean*	3757.250-3753.125=4.125
σ	2300.229-2298.738=1.490
min	720.000
max	7385.000-7386.000=-1.000

*mean*	1776.147-1795.836=-19.690
σ	614.401-679.329=-64.928
min	1406.013-1391.495=14.518
max	2806.898-2988.781=-181.883

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*	4409.125-4404.625=4.500
σ	2218.927-2219.786=-0.859
min	1486.000-1487.000=-1.000
max	7385.000-7386.000=-1.000

*mean*	263.354-253.952=9.402
σ	360.253-334.759=25.494
min	125.057-122.552=2.504
max	1153.737-1080.934=72.803

op=column_set() on unindexed, dense, repeat

*mean*	62.081
σ	0.000
min	62.081
max	62.082

*mean*	4409.125-4404.625=4.500
σ	2218.927-2219.786=-0.859
min	1486.000-1487.000=-1.000
max	7385.000-7386.000=-1.000

*mean*	46.930-43.901=3.029
σ	9.640-8.070=1.569
min	41.441-39.261=2.179
max	70.303-63.538=6.764

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*	23.551-182.369=-158.818
σ	3.120-452.467=-449.347
min	21.649-20.770=0.879
max	29.599-1302.156=-1272.557

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*	284.900-64.621=220.278
σ	642.015-23.925=618.089
min	54.903-54.915=-0.011
max	1873.776-123.530=1750.246

CSV - warmup

Factor

allocated MiB

peak allocated MiB

time (ms)

op=table_records()

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

*mean*	4180.250-4174.625=5.625
σ	1945.738-1945.070=0.668
min	1486.000-1487.000=-1.000
max	7385.000-7386.000=-1.000

*mean*	3243.843-3318.552=-74.709
σ	731.020-789.524=-58.505
min	2517.674-2517.911=-0.237
max	4455.597-4732.789=-277.192

op=vertical_lookup_list() on indexed

*mean*	1973.851
σ	0.002
min	1973.849
max	1973.854

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

*mean*	1057.977-1080.367=-22.391
σ	191.960-285.049=-93.089
min	928.569-932.421=-3.852
max	1390.260-1693.836=-303.576

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*	409.064-405.518=3.546
σ	38.539-35.574=2.965
min	391.771-387.617=4.155
max	503.659-492.294=11.365

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*	380.687-373.075=7.612
σ	34.091-28.821=5.270
min	316.909-304.591=12.318
max	438.815-393.545=45.269

op=pointedIndexFromKvs

rows=400000

*mean*	308.493
σ	0.001
min	308.493
max	308.497

*mean*	560.000-568.000=-8.000
σ	0.000
min	560.000-568.000=-8.000
max	560.000-568.000=-8.000

*mean*	792.372-737.458=54.914
σ	27.863-62.405=-34.542
min	752.692-654.793=97.899
max	823.885-831.232=-7.347

Marine Hull: transactPolicy

Factor

allocated MiB

peak allocated MiB

time

datapoints=1

iterations=20

*mean*	963.971-963.970=0.000
σ	1.820-1.821=-0.001
min	963.263-963.265=-0.002
max	971.666-971.671=-0.005

*mean*	1036.050-1043.950=-7.900
σ	304.714-306.317=-1.604
min	546.000-587.000=-41.000
max	1527.000-1493.000=34.000

*mean*	1.251-1.255=-0.003
σ	0.068-0.126=-0.057
min	1.179-1.172=0.007
max	1.423-1.759=-0.335

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.313=-0.014
σ	0.294-0.303=-0.009
min	0.137-0.151=-0.014
max	0.821-0.851=-0.031

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.484-0.496=-0.012
σ	0.325-0.312=0.013
min	0.321-0.334=-0.013
max	1.065-1.054=0.011

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.225-0.217=0.007
σ	0.023-0.022=0.001
min	0.206-0.201=0.005
max	0.264-0.255=0.009

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.354-0.336=0.018
σ	0.016-0.019=-0.003
min	0.342-0.320=0.023
max	0.372-0.368=0.004

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.600
σ	1.342
min	431.000
max	434.000

*mean*	0.547-0.575=-0.027
σ	0.052-0.029=0.023
min	0.479-0.524=-0.045
max	0.618-0.591=0.026

name=cdr_enhanced_4k_loc.art

*mean*	885.898
σ	0.002
min	885.897
max	885.901

*mean*	441.000
σ	0.000
min	441.000
max	441.000

*mean*	0.461-0.518=-0.058
σ	0.064-0.003=0.061
min	0.388-0.513=-0.125
max	0.529-0.522=0.006

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

*mean*	2.702-2.640=0.061
σ	0.100-0.120=-0.020
min	2.510-2.412=0.098
max	3.059-3.040=0.019

name=record_render_large_syntax_err.art

*mean*	7.658
σ	0.002
min	7.657
max	7.661

*mean*	441.000
σ	0.000
min	441.000
max	441.000

*mean*	2.677-2.629=0.048
σ	0.085-0.100=-0.015
min	2.477-2.458=0.019
max	2.945-2.962=-0.017

name=record_render_success.art

*mean*	2.290
σ	0.002
min	2.289
max	2.293

*mean*	441.000
σ	0.000
min	441.000
max	441.000

*mean*	0.316-0.303=0.013
σ	0.011-0.012=-0.001
min	0.303-0.288=0.015
max	0.407-0.375=0.031

name=record_render_syntax_err.art

*mean*	2.165
σ	0.002
min	2.164
max	2.168

*mean*	441.000
σ	0.000
min	441.000
max	441.000

*mean*	0.302-0.288=0.014
σ	0.008-0.007=0.001
min	0.288-0.274=0.014
max	0.341-0.323=0.018

Revision Creation

Factor

allocated MiB

peak allocated MiB

time_s

number of threads=8

revision count=1000

*mean*	11.642-11.331=0.311
σ	11.796-12.410=-0.614
min	0.574-0.574=-0.000
max	91.935-101.395=-9.461

*mean*	460.302-454.591=5.711
σ	19.766-18.515=1.251
min	407.000
max	476.000-472.000=4.000

*mean*	0.027-0.026=0.000
σ	0.029-0.030=-0.002
min	0.001-0.001=0.000
max	0.236-0.244=-0.008

SoV import

Factor

allocated MiB

peak allocated MiB

time_s

iters=10

rows=1000

*mean*	278.598-278.925=-0.328
σ	1.074-1.039=0.035
min	278.093-278.456=-0.363
max	281.644-281.877=-0.232

*mean*	447.800-446.600=1.200
σ	20.088-21.593=-1.506
min	417.000-415.000=2.000
max	471.000-476.000=-5.000

*mean*	0.588-0.590=-0.001
σ	0.012-0.011=0.002
min	0.576-0.577=-0.002
max	0.613-0.615=-0.003

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*	844.000-840.000=4.000
σ	0.000
min	844.000-840.000=4.000
max	844.000-840.000=4.000

*mean*	239.682-229.805=9.877
σ	19.235-26.041=-6.806
min	197.531-192.698=4.833
max	254.117-257.256=-3.139

phase=macro expansion

*mean*	6.130
σ	0.000
min	6.130
max	6.130

*mean*	843.375-840.000=3.375
σ	1.768-0.000=1.768
min	839.000-840.000=-1.000
max	844.000-840.000=4.000

*mean*	9.062-9.896=-0.834
σ	0.978-1.120=-0.143
min	7.335-9.402=-2.067
max	9.703-12.650=-2.947

phase=parser

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

*mean*	843.375-840.000=3.375
σ	1.768-0.000=1.768
min	839.000-840.000=-1.000
max	844.000-840.000=4.000

*mean*	565.747-608.038=-42.290
σ	75.086-45.582=29.503
min	417.869-585.421=-167.552
max	618.704-720.358=-101.654

phase=processProdDef

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

*mean*	844.000-840.000=4.000
σ	0.000
min	844.000-840.000=4.000
max	844.000-840.000=4.000

*mean*	2999.984-2227.161=772.824
σ	425.591-239.029=186.562
min	2421.614-2025.804=395.810
max	3421.270-2754.827=666.442

phase=renaming

*mean*	21.671
σ	0.000
min	21.671
max	21.671

*mean*	843.375-840.000=3.375
σ	1.768-0.000=1.768
min	839.000-840.000=-1.000
max	844.000-840.000=4.000

*mean*	36.775-40.982=-4.206
σ	6.460-2.801=3.659
min	26.254-39.201=-12.947
max	41.249-47.769=-6.520

phase=type checker

*mean*	989.755
σ	0.066
min	989.658
max	989.845

*mean*	843.375-840.000=3.375
σ	1.768-0.000=1.768
min	839.000-840.000=-1.000
max	844.000-840.000=4.000

*mean*	714.014-703.026=10.988
σ	41.405-73.535=-32.130
min	644.363-673.815=-29.452
max	787.700-884.969=-97.269

Workflow: transactPolicy

Factor

allocated MiB

peak allocated MiB

time

iters=5

new-facts=1

prior-facts=1

*mean*	282.394-282.394=-0.001
σ	0.024-0.025=-0.001
min	282.373-282.374=-0.001
max	282.425-282.427=-0.002

*mean*	444.400
σ	0.548
min	444.000
max	445.000

*mean*	0.381-0.381=0.000
σ	0.005-0.006=-0.001
min	0.376-0.377=-0.000
max	0.389-0.392=-0.003

iters=5

new-facts=1

prior-facts=6402

*mean*	1267.114-1267.081=0.033
σ	0.101-0.095=0.006
min	1266.993-1267.005=-0.012
max	1267.270-1267.242=0.029

*mean*	1113.200-1112.200=1.000
σ	169.525-170.029=-0.504
min	898.000-897.000=1.000
max	1328.000-1330.000=-2.000

*mean*	2.017-1.921=0.096
σ	0.110-0.094=0.016
min	1.872-1.833=0.038
max	2.137-2.076=0.061

iters=5

new-facts=6402

prior-facts=1

*mean*	1506.123-1506.135=-0.012
σ	2.939-2.902=0.037
min	1504.603-1504.638=-0.036
max	1511.369-1511.317=0.052

*mean*	629.000
σ	90.019-90.119=-0.100
min	505.000
max	728.000-729.000=-1.000

*mean*	2.338-2.335=0.003
σ	0.251-0.249=0.002
min	2.072-2.065=0.007
max	2.628-2.579=0.049

iters=5

new-facts=6402

prior-facts=6402

*mean*	1829.095-1829.117=-0.022
σ	0.055-0.093=-0.038
min	1829.015-1829.018=-0.003
max	1829.161-1829.261=-0.100

*mean*	1756.600-1767.600=-11.000
σ	211.213-211.820=-0.608
min	1473.000-1490.000=-17.000
max	1956.000-1969.000=-13.000

*mean*	3.119-3.163=-0.044
σ	0.255-0.331=-0.076
min	2.829-2.832=-0.003
max	3.491-3.638=-0.147

newProductH/cdr_auton/broker

Factor

time_s

iterations=5

*mean*	1.737-1.660=0.077
σ	0.126-0.063=0.063
min	1.542-1.591=-0.050
max	1.838-1.763=0.075

policy addition benchmark

Factor

allocated MiB

db queries

peak allocated MiB

time

policies=2

*mean*	397.699-397.698=0.001
σ	518.050-518.052=-0.002
min	138.672-138.670=0.002
max	1174.774-1174.776=-0.002

*mean*	97.750
σ	7.500
min	94.000
max	109.000

*mean*	448.000-444.000=4.000
σ	0.000
min	448.000-444.000=4.000
max	448.000-444.000=4.000

*mean*	0.503-0.505=-0.002
σ	0.524-0.536=-0.011
min	0.237-0.235=0.002
max	1.290-1.309=-0.019

policies=20

*mean*	1386.840-1386.847=-0.007
σ	0.168-0.178=-0.010
min	1386.725-1386.727=-0.002
max	1387.089-1387.112=-0.023

*mean*	940.000
σ	0.000
min	940.000
max	940.000

*mean*	449.000-445.500=3.500
σ	1.155-1.732=-0.577
min	448.000-444.000=4.000
max	450.000-447.000=3.000

*mean*	2.321-2.375=-0.055
σ	0.025-0.056=-0.032
min	2.286-2.318=-0.032
max	2.340-2.453=-0.113

policies=200

*mean*	13876.884-13876.817=0.066
σ	0.111-0.129=-0.018
min	13876.805-13876.707=0.098
max	13877.048-13876.994=0.054

*mean*	9400.000
σ	0.000
min	9400.000
max	9400.000

*mean*	495.250-494.500=0.750
σ	4.787-5.802=-1.015
min	491.000-488.000=3.000
max	502.000

*mean*	23.478-23.501=-0.023
σ	0.102-0.074=0.028
min	23.407-23.417=-0.009
max	23.627-23.597=0.031