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-6.676=-0.031
σ	0.000
min	6.645-6.676=-0.031
max	6.645-6.676=-0.031

Aggregation: measureAggregations

Factor

allocated MiB

peak allocated MiB

time_s

cache=n

dps=1

iters=10

policies=100

*mean*	54.775-54.775=-0.000
σ	0.364-0.364=-0.000
min	54.629-54.625=0.004
max	55.809-55.809=-0.000

*mean*	413.000-418.000=-5.000
σ	0.000
min	413.000-418.000=-5.000
max	413.000-418.000=-5.000

*mean*	0.140-0.142=-0.002
σ	0.005-0.004=0.000
min	0.132-0.138=-0.006
max	0.147-0.148=-0.002

cache=y

dps=1

iters=10

policies=100

*mean*	43.775-43.774=0.001
σ	0.005-0.005=-0.000
min	43.767-43.764=0.003
max	43.784-43.781=0.004

*mean*	413.000-418.000=-5.000
σ	0.000
min	413.000-418.000=-5.000
max	413.000-418.000=-5.000

*mean*	0.122-0.123=-0.001
σ	0.004-0.004=0.000
min	0.117-0.117=0.000
max	0.130-0.130=-0.000

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

*mean*	4581.125-4590.875=-9.750
σ	2253.635-2249.506=4.130
min	1484.000-1487.000=-3.000
max	7399.000-7387.000=12.000

*mean*	13.441-123.865=-110.424
σ	3.435-314.051=-310.616
min	11.963-11.917=0.046
max	21.923-901.089=-879.166

op=column_set() on indexed, repeat

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

*mean*	4581.125-4590.875=-9.750
σ	2253.635-2249.506=4.130
min	1484.000-1487.000=-3.000
max	7399.000-7387.000=12.000

*mean*	13.399-13.921=-0.522
σ	3.231-3.211=0.020
min	11.655-11.453=0.202
max	21.222-20.769=0.452

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.950-41.950=-0.000

*mean*	7399.000-7387.000=12.000
σ	0.000
min	7399.000-7387.000=12.000
max	7399.000-7387.000=12.000

*mean*	11.160-11.560=-0.401
σ	0.550-1.018=-0.468
min	10.841-10.847=-0.006
max	12.504-14.039=-1.535

op=table_records(), repeat

*mean*	41.934-41.933=0.000
σ	0.002-0.000=0.001
min	41.933
max	41.937-41.934=0.004

*mean*	4166.750-4181.625=-14.875
σ	1945.147-1945.401=-0.254
min	1484.000-1487.000=-3.000
max	7399.000-7387.000=12.000

*mean*	11.497-11.865=-0.368
σ	1.691-1.854=-0.163
min	10.766-10.910=-0.143
max	15.677-16.419=-0.743

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

*mean*	27.655
σ	0.137
min	27.606
max	27.993

*mean*	4166.750-4181.625=-14.875
σ	1945.147-1945.401=-0.254
min	1484.000-1487.000=-3.000
max	7399.000-7387.000=12.000

*mean*	9.156-9.201=-0.046
σ	1.363-1.631=-0.268
min	7.899-7.732=0.167
max	12.411-12.530=-0.119

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

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

*mean*	4166.750-4181.625=-14.875
σ	1945.147-1945.401=-0.254
min	1484.000-1487.000=-3.000
max	7399.000-7387.000=12.000

*mean*	7.051-6.692=0.359
σ	1.038-0.929=0.108
min	6.258-6.079=0.179
max	9.550-8.925=0.625

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

*mean*	4581.125-4590.875=-9.750
σ	2253.635-2249.506=4.130
min	1484.000-1487.000=-3.000
max	7399.000-7387.000=12.000

*mean*	6.395-6.370=0.024
σ	0.973-0.679=0.294
min	5.954-5.848=0.106
max	8.787-7.822=0.965

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*	4581.125-4590.875=-9.750
σ	2253.635-2249.506=4.130
min	1484.000-1487.000=-3.000
max	7399.000-7387.000=12.000

*mean*	6.162-6.191=-0.028
σ	0.906-0.599=0.307
min	5.734-5.531=0.203
max	8.387-7.263=1.124

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*	7399.000-7387.000=12.000
σ	0.000
min	7399.000-7387.000=12.000
max	7399.000-7387.000=12.000

*mean*	361.460-346.951=14.509
σ	41.923-2.663=39.260
min	340.258-343.069=-2.811
max	464.933-350.624=114.308

op=load_product(), with indexes

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

*mean*	3746.125-3757.500=-11.375
σ	2297.511-2300.036=-2.526
min	719.000-720.000=-1.000
max	7399.000-7387.000=12.000

*mean*	1604.291-1768.081=-163.790
σ	543.196-645.957=-102.761
min	1382.456-1383.707=-1.251
max	2939.862-2848.612=91.250

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.853-107.854=-0.000
max	107.855-107.854=0.000

*mean*	4401.375-4411.250=-9.875
σ	2225.036-2219.146=5.891
min	1484.000-1487.000=-3.000
max	7399.000-7387.000=12.000

*mean*	197.981-267.837=-69.855
σ	177.843-372.314=-194.470
min	125.329-125.953=-0.625
max	636.107-1188.351=-552.244

op=column_set() on unindexed, dense, repeat

*mean*	62.082-62.081=0.000
σ	0.000-0.000=0.000
min	62.081
max	62.082-62.082=0.001

*mean*	4581.125-4411.250=169.875
σ	2253.635-2219.146=34.490
min	1484.000-1487.000=-3.000
max	7399.000-7387.000=12.000

*mean*	195.532-46.691=148.841
σ	428.869-8.640=420.229
min	41.839-42.215=-0.375
max	1256.923-67.805=1189.118

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*	7399.000-7387.000=12.000
σ	0.000
min	7399.000-7387.000=12.000
max	7399.000-7387.000=12.000

*mean*	22.983-176.154=-153.172
σ	2.723-431.429=-428.706
min	21.498-22.474=-0.976
max	29.306-1243.877=-1214.571

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*	7399.000-7387.000=12.000
σ	0.000
min	7399.000-7387.000=12.000
max	7399.000-7387.000=12.000

*mean*	226.063-62.567=163.496
σ	481.318-18.655=462.663
min	55.102-55.272=-0.170
max	1417.260-108.706=1308.554

CSV - warmup

Factor

allocated MiB

peak allocated MiB

time (ms)

op=table_records()

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

*mean*	4166.750-4181.625=-14.875
σ	1945.147-1945.401=-0.254
min	1484.000-1487.000=-3.000
max	7399.000-7387.000=12.000

*mean*	3082.313-3280.910=-198.597
σ	856.899-782.838=74.061
min	2470.544-2513.262=-42.718
max	4914.393-4645.241=269.152

op=vertical_lookup_list() on indexed

*mean*	1973.851
σ	0.002
min	1973.849
max	1973.854

*mean*	7399.000-7387.000=12.000
σ	0.000
min	7399.000-7387.000=12.000
max	7399.000-7387.000=12.000

*mean*	1050.742-1076.672=-25.930
σ	203.928-333.489=-129.561
min	914.509-914.368=0.141
max	1438.562-1843.359=-404.797

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

*mean*	905.105-905.105=-0.000
σ	0.002-0.002=-0.000
min	905.102
max	905.108

*mean*	7399.000-7387.000=12.000
σ	0.000
min	7399.000-7387.000=12.000
max	7399.000-7387.000=12.000

*mean*	398.469-416.216=-17.747
σ	38.004-46.837=-8.833
min	382.453-389.116=-6.663
max	492.338-495.786=-3.448

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*	474.750-476.625=-1.875
σ	2.435-0.518=1.917
min	471.000-476.000=-5.000
max	478.000-477.000=1.000

*mean*	395.916-362.591=33.325
σ	15.907-28.361=-12.454
min	372.242-313.584=58.658
max	419.846-392.394=27.452

op=pointedIndexFromKvs

rows=400000

*mean*	308.493
σ	0.001
min	308.493
max	308.497

*mean*	557.000-562.000=-5.000
σ	0.000
min	557.000-562.000=-5.000
max	557.000-562.000=-5.000

*mean*	774.128-789.600=-15.472
σ	37.531-38.691=-1.161
min	715.588-737.153=-21.565
max	820.234-858.196=-37.963

Marine Hull: transactPolicy

Factor

allocated MiB

peak allocated MiB

time

datapoints=1

iterations=20

*mean*	963.972-963.970=0.002
σ	1.820-1.821=-0.002
min	963.263-963.264=-0.001
max	971.667-971.672=-0.005

*mean*	1042.950-1040.850=2.100
σ	306.405-292.457=13.948
min	586.000-560.000=26.000
max	1492.000-1431.000=61.000

*mean*	1.257-1.256=0.001
σ	0.089-0.137=-0.049
min	1.175-1.178=-0.003
max	1.487-1.748=-0.260

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.305-0.403=-0.098
σ	0.297-0.524=-0.226
min	0.148-0.142=0.005
max	0.832-1.338=-0.506

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.489-0.476=0.013
σ	0.322-0.309=0.013
min	0.337-0.328=0.009
max	1.065-1.029=0.036

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.219=0.006
σ	0.032-0.021=0.011
min	0.200-0.200=-0.000
max	0.280-0.254=0.026

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.367-0.332=0.035
σ	0.069-0.016=0.053
min	0.325-0.315=0.010
max	0.488-0.358=0.130

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-433.800=-2.800
σ	0.000-3.033=-3.033
min	431.000
max	431.000-437.000=-6.000

*mean*	0.571-0.543=0.028
σ	0.052-0.027=0.025
min	0.482-0.514=-0.033
max	0.615-0.580=0.035

name=cdr_enhanced_4k_loc.art

*mean*	885.898
σ	0.002
min	885.897
max	885.901

*mean*	431.000-437.000=-6.000
σ	0.000
min	431.000-437.000=-6.000
max	431.000-437.000=-6.000

*mean*	0.467-0.436=0.032
σ	0.032-0.049=-0.017
min	0.432-0.391=0.040
max	0.517-0.510=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*	431.000-437.000=-6.000
σ	0.000
min	431.000-437.000=-6.000
max	431.000-437.000=-6.000

*mean*	1.964-2.769=-0.805
σ	0.070-0.143=-0.074
min	1.819-2.610=-0.791
max	2.260-3.822=-1.562

name=record_render_large_syntax_err.art

*mean*	7.658
σ	0.002
min	7.657
max	7.661

*mean*	431.000-437.000=-6.000
σ	0.000
min	431.000-437.000=-6.000
max	431.000-437.000=-6.000

*mean*	1.952-2.738=-0.785
σ	0.066-0.120=-0.054
min	1.837-2.032=-0.195
max	2.228-3.152=-0.923

name=record_render_success.art

*mean*	2.290
σ	0.002
min	2.289
max	2.293

*mean*	431.000-437.000=-6.000
σ	0.000
min	431.000-437.000=-6.000
max	431.000-437.000=-6.000

*mean*	0.315-0.326=-0.011
σ	0.029-0.041=-0.012
min	0.295-0.301=-0.005
max	0.565-0.655=-0.090

name=record_render_syntax_err.art

*mean*	2.165
σ	0.002
min	2.164
max	2.168

*mean*	431.000-437.000=-6.000
σ	0.000
min	431.000-437.000=-6.000
max	431.000-437.000=-6.000

*mean*	0.296-0.322=-0.027
σ	0.009-0.064=-0.055
min	0.280-0.284=-0.004
max	0.342-0.653=-0.311

Revision Creation

Factor

allocated MiB

peak allocated MiB

time_s

number of threads=8

revision count=1000

*mean*	11.910-11.709=0.201
σ	11.057-11.586=-0.530
min	0.574-0.574=-0.000
max	76.058-106.168=-30.110

*mean*	466.376-465.653=0.723
σ	18.935-18.770=0.165
min	407.000-406.000=1.000
max	479.000-477.000=2.000

*mean*	0.027-0.027=0.000
σ	0.027-0.028=-0.001
min	0.001-0.001=0.000
max	0.180-0.251=-0.070

SoV import

Factor

allocated MiB

peak allocated MiB

time_s

iters=10

rows=1000

*mean*	278.773-278.662=0.112
σ	1.024-1.019=0.004
min	278.247-278.286=-0.040
max	281.669-281.560=0.109

*mean*	444.800-446.300=-1.500
σ	16.877-18.667=-1.790
min	418.000-414.000=4.000
max	477.000-470.000=7.000

*mean*	0.587-0.575=0.012
σ	0.012-0.021=-0.009
min	0.573-0.531=0.041
max	0.615-0.605=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*	839.000
σ	0.000
min	839.000
max	839.000

*mean*	234.865-231.028=3.837
σ	17.518-37.968=-20.450
min	200.395-154.054=46.341
max	250.943-265.660=-14.717

phase=macro expansion

*mean*	6.130
σ	0.000
min	6.130
max	6.130

*mean*	839.000
σ	0.000
min	839.000
max	839.000

*mean*	8.811-9.913=-1.103
σ	1.226-1.155=0.071
min	6.268-9.367=-3.098
max	9.581-12.759=-3.178

phase=parser

*mean*	1042.433-1042.435=-0.001
σ	0.000-0.000=0.000
min	1042.433-1042.434=-0.002
max	1042.434-1042.435=-0.001

*mean*	839.000
σ	0.000
min	839.000
max	839.000

*mean*	551.819-613.513=-61.694
σ	78.279-49.453=28.827
min	421.924-581.982=-160.057
max	600.439-734.513=-134.074

phase=processProdDef

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

*mean*	839.000
σ	0.000
min	839.000
max	839.000

*mean*	2586.386-2656.494=-70.107
σ	362.985-382.563=-19.578
min	2135.875-1943.986=191.889
max	2993.865-2989.735=4.130

phase=renaming

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

*mean*	839.000
σ	0.000
min	839.000
max	839.000

*mean*	35.903-41.132=-5.229
σ	7.806-2.901=4.904
min	20.526-39.225=-18.700
max	40.452-48.228=-7.776

phase=type checker

*mean*	989.752
σ	0.066
min	989.654
max	989.841

*mean*	839.000
σ	0.000
min	839.000
max	839.000

*mean*	665.148-694.388=-29.240
σ	16.547-36.538=-19.991
min	639.201-672.095=-32.894
max	681.744-778.647=-96.903

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.025-0.036=-0.011
min	282.372-282.338=0.034
max	282.426-282.425=0.000

*mean*	442.800-442.000=0.800
σ	1.095-0.000=1.095
min	442.000
max	444.000-442.000=2.000

*mean*	0.380-0.377=0.003
σ	0.006-0.001=0.005
min	0.376-0.375=0.001
max	0.391-0.379=0.012

iters=5

new-facts=1

prior-facts=6402

*mean*	1267.108-1267.125=-0.017
σ	0.089-0.117=-0.027
min	1267.003-1266.986=0.017
max	1267.234-1267.310=-0.076

*mean*	1088.800-1102.800=-14.000
σ	173.699-191.105=-17.407
min	851.000-841.000=10.000
max	1295.000-1332.000=-37.000

*mean*	1.966-1.985=-0.019
σ	0.182-0.195=-0.013
min	1.732-1.780=-0.048
max	2.120-2.200=-0.080

iters=5

new-facts=6402

prior-facts=1

*mean*	1506.120-1506.058=0.062
σ	2.932-2.922=0.011
min	1504.578-1504.560=0.018
max	1511.351-1511.273=0.078

*mean*	615.200-616.600=-1.400
σ	78.158-81.482=-3.324
min	495.000-493.000=2.000
max	703.000-710.000=-7.000

*mean*	2.329-2.138=0.191
σ	0.291-0.109=0.182
min	2.071-2.052=0.019
max	2.715-2.310=0.404

iters=5

new-facts=6402

prior-facts=6402

*mean*	1829.107-1829.098=0.009
σ	0.036-0.052=-0.016
min	1829.057-1829.041=0.016
max	1829.138-1829.152=-0.014

*mean*	1743.800-1740.000=3.800
σ	248.461-175.593=72.867
min	1427.000-1480.000=-53.000
max	2060.000-1891.000=169.000

*mean*	2.889-2.865=0.024
σ	0.104-0.116=-0.012
min	2.778-2.734=0.044
max	3.034-3.036=-0.002

newProductH/cdr_auton/broker

Factor

time_s

iterations=5

*mean*	1.612-1.784=-0.173
σ	0.202-0.120=0.082
min	1.345-1.570=-0.225
max	1.893-1.842=0.051

policy addition benchmark

Factor

allocated MiB

db queries

peak allocated MiB

time

policies=2

*mean*	397.698-397.696=0.002
σ	518.051-518.052=-0.001
min	138.670-138.669=0.001
max	1174.774-1174.774=0.000

*mean*	97.750
σ	7.500
min	94.000
max	109.000

*mean*	446.000-445.000=1.000
σ	0.000
min	446.000-445.000=1.000
max	446.000-445.000=1.000

*mean*	0.493-0.500=-0.007
σ	0.500-0.520=-0.020
min	0.239-0.238=0.000
max	1.243-1.281=-0.038

policies=20

*mean*	1386.838-1386.826=0.012
σ	0.166-0.159=0.007
min	1386.726-1386.711=0.015
max	1387.084-1387.061=0.023

*mean*	940.000
σ	0.000
min	940.000
max	940.000

*mean*	446.000-445.000=1.000
σ	0.000
min	446.000-445.000=1.000
max	446.000-445.000=1.000

*mean*	2.315-2.309=0.006
σ	0.013-0.006=0.007
min	2.304-2.299=0.005
max	2.334-2.314=0.020

policies=200

*mean*	13876.902-13876.892=0.010
σ	0.119-0.114=0.005
min	13876.822-13876.783=0.039
max	13877.078-13877.050=0.028

*mean*	9400.000
σ	0.000
min	9400.000
max	9400.000

*mean*	499.250-495.000=4.250
σ	7.365-4.967=2.399
min	492.000-490.000=2.000
max	507.000-501.000=6.000

*mean*	23.464-23.456=0.008
σ	0.109-0.129=-0.020
min	23.365-23.321=0.044
max	23.583-23.630=-0.047