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

AST compact size (processProdDef)

Factor

compact size MiB

phase=processProdDef

*mean*	446.633
σ	0.000
min	446.633
max	446.633

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*	54.717-54.717=0.000
σ	0.362-0.366=-0.004
min	54.583-54.567=0.017
max	55.747-55.758=-0.010

*mean*	418.000-415.000=3.000
σ	0.000
min	418.000-415.000=3.000
max	418.000-415.000=3.000

*mean*	0.139-0.138=0.001
σ	0.006-0.004=0.002
min	0.131-0.135=-0.004
max	0.148-0.148=0.000

cache=y

dps=1

iters=10

policies=100

*mean*	43.777-43.776=0.001
σ	0.009-0.009=-0.000
min	43.761-43.759=0.002
max	43.791-43.790=0.001

*mean*	418.000-415.000=3.000
σ	0.000
min	418.000-415.000=3.000
max	418.000-415.000=3.000

*mean*	0.123-0.124=-0.000
σ	0.004-0.004=-0.001
min	0.120-0.119=0.001
max	0.130-0.131=-0.001

CSV - indexed operations

Factor

allocated MiB

peak allocated MiB

time (ms)

op=column_set() on indexed

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

*mean*	4589.375-4430.000=159.375
σ	2249.818-2224.133=25.685
min	1483.000-1484.000=-1.000
max	7386.000-7403.000=-17.000

*mean*	173.442-12.895=160.547
σ	453.910-2.086=451.824
min	11.974-11.822=0.152
max	1296.803-17.928=1278.875

op=column_set() on indexed, repeat

*mean*	36.604-36.605=-0.000
σ	0.000-0.000=-0.000
min	36.604-36.604=0.000
max	36.605-36.605=-0.001

*mean*	4589.375-4608.750=-19.375
σ	2249.818-2255.474=-5.656
min	1483.000-1484.000=-1.000
max	7386.000-7403.000=-17.000

*mean*	14.961-55.879=-40.918
σ	4.197-122.634=-118.437
min	12.559-11.249=1.310
max	24.462-359.351=-334.888

op=table_records(), no indexes

*mean*	41.939-41.939=0.000
σ	0.002-0.002=-0.000
min	41.938
max	41.942-41.942=-0.000

*mean*	7386.000-7403.000=-17.000
σ	0.000
min	7386.000-7403.000=-17.000
max	7386.000-7403.000=-17.000

*mean*	11.822-10.881=0.941
σ	1.773-0.246=1.527
min	10.933-10.588=0.345
max	16.176-11.176=4.999

op=table_records(), repeat

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

*mean*	4179.625-4201.875=-22.250
σ	1945.662-1952.662=-7.000
min	1483.000-1484.000=-1.000
max	7386.000-7403.000=-17.000

*mean*	11.640-11.435=0.205
σ	1.694-1.345=0.349
min	10.835-10.816=0.019
max	15.819-14.753=1.066

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

*mean*	27.633-27.633=-0.000
σ	0.137-0.136=0.000
min	27.584-27.584=0.000
max	27.971-27.971=0.000

*mean*	4179.625-4201.875=-22.250
σ	1945.662-1952.662=-7.000
min	1483.000-1484.000=-1.000
max	7386.000-7403.000=-17.000

*mean*	9.109-8.871=0.239
σ	1.246-0.538=0.708
min	7.998-8.052=-0.054
max	12.106-10.002=2.104

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

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

*mean*	4179.625-4201.875=-22.250
σ	1945.662-1952.662=-7.000
min	1483.000-1484.000=-1.000
max	7386.000-7403.000=-17.000

*mean*	7.182-6.981=0.202
σ	0.750-0.426=0.324
min	6.665-6.578=0.087
max	9.019-7.973=1.046

op=vertical_lookup_row_list() on 2 indexed

*mean*	25.662-25.662=0.000
σ	0.004-0.004=-0.000
min	25.661
max	25.673-25.673=-0.000

*mean*	4589.375-4608.750=-19.375
σ	2249.818-2255.474=-5.656
min	1483.000-1484.000=-1.000
max	7386.000-7403.000=-17.000

*mean*	6.614-6.032=0.582
σ	1.008-0.487=0.521
min	5.844-5.713=0.131
max	8.863-7.174=1.689

op=vertical_lookup_row_list() on 3 (1 unindexed)

*mean*	25.961-25.961=0.000
σ	0.000-0.001=-0.000
min	25.961
max	25.962-25.962=-0.000

*mean*	4589.375-4608.750=-19.375
σ	2249.818-2255.474=-5.656
min	1483.000-1484.000=-1.000
max	7386.000-7403.000=-17.000

*mean*	6.479-6.048=0.431
σ	0.970-0.629=0.342
min	5.764-5.643=0.120
max	8.630-7.505=1.125

CSV - loading a lazy table

Factor

allocated MiB

peak allocated MiB

time (ms)

op=load_product(), no indexes

*mean*	1021.608-1021.608=-0.000
σ	0.002-0.002=-0.000
min	1021.606
max	1021.611-1021.611=-0.000

*mean*	7386.000-7403.000=-17.000
σ	0.000
min	7386.000-7403.000=-17.000
max	7386.000-7403.000=-17.000

*mean*	347.875-346.434=1.441
σ	2.307-2.142=0.165
min	345.088-343.605=1.483
max	351.942-350.068=1.874

op=load_product(), with indexes

*mean*	3495.854-3495.855=-0.000
σ	0.454-0.454=-0.000
min	3495.694
max	3496.977-3496.978=-0.001

*mean*	3756.125-3773.375=-17.250
σ	2299.946-2309.665=-9.719
min	720.000
max	7386.000-7403.000=-17.000

*mean*	1787.802-1770.833=16.969
σ	679.979-662.478=17.502
min	1388.961-1377.635=11.326
max	2978.636-2954.437=24.199

CSV - unindexed operations

Factor

allocated MiB

peak allocated MiB

time (ms)

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

*mean*	107.841-107.841=0.001
σ	0.002-0.000=0.002
min	107.841-107.840=0.000
max	107.846-107.841=0.004

*mean*	4409.250-4201.875=207.375
σ	2219.493-1952.662=266.831
min	1483.000-1484.000=-1.000
max	7386.000-7403.000=-17.000

*mean*	276.641-138.191=138.450
σ	394.410-13.091=381.319
min	127.282-127.463=-0.181
max	1252.054-165.842=1086.212

op=column_set() on unindexed, dense, repeat

*mean*	62.068-62.068=-0.000
σ	0.001-0.001=-0.000
min	62.065
max	62.068-62.069=-0.001

*mean*	4409.250-4430.000=-20.750
σ	2219.493-2224.133=-4.640
min	1483.000-1484.000=-1.000
max	7386.000-7403.000=-17.000

*mean*	45.528-123.158=-77.631
σ	8.177-229.064=-220.887
min	41.152-40.171=0.980
max	65.573-690.051=-624.479

op=vertical_lookup_list() repeated on unindexed missing Int

*mean*	40.926
σ	0.002-0.002=-0.000
min	40.925
max	40.928-40.929=-0.001

*mean*	7386.000-7403.000=-17.000
σ	0.000
min	7386.000-7403.000=-17.000
max	7386.000-7403.000=-17.000

*mean*	200.470-99.615=100.855
σ	501.903-220.420=281.484
min	21.760-21.408=0.352
max	1442.609-645.125=797.484

op=vertical_lookup_row_list() on unindexed small unique Int

*mean*	71.294
σ	0.002-0.002=-0.000
min	71.292-71.292=-0.000
max	71.296

*mean*	7386.000-7403.000=-17.000
σ	0.000
min	7386.000-7403.000=-17.000
max	7386.000-7403.000=-17.000

*mean*	65.278-59.386=5.892
σ	23.958-9.402=14.555
min	55.535-55.428=0.107
max	124.458-82.613=41.845

CSV - warmup

Factor

allocated MiB

peak allocated MiB

time (ms)

op=table_records()

*mean*	4646.841-4646.842=-0.000
σ	0.014-0.013=0.000
min	4646.837
max	4646.875

*mean*	4179.625-4201.875=-22.250
σ	1945.662-1952.662=-7.000
min	1483.000-1484.000=-1.000
max	7386.000-7403.000=-17.000

*mean*	3164.748-3238.544=-73.796
σ	775.540-700.829=74.711
min	2499.434-2505.836=-6.402
max	4468.412-4345.721=122.691

op=vertical_lookup_list() on indexed

*mean*	1973.829
σ	0.002
min	1973.827
max	1973.831

*mean*	7386.000-7403.000=-17.000
σ	0.000
min	7386.000-7403.000=-17.000
max	7386.000-7403.000=-17.000

*mean*	1007.107-1003.811=3.296
σ	163.487-200.140=-36.653
min	908.139-907.561=0.578
max	1309.447-1481.267=-171.820

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

*mean*	905.083
σ	0.002
min	905.080
max	905.086

*mean*	7386.000-7403.000=-17.000
σ	0.000
min	7386.000-7403.000=-17.000
max	7386.000-7403.000=-17.000

*mean*	405.746-394.379=11.367
σ	36.225-3.429=32.796
min	389.392-389.670=-0.277
max	494.852-399.817=95.034

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.000
σ	0.000
min	475.000
max	475.000

*mean*	393.247-373.240=20.007
σ	22.960-41.676=-18.716
min	367.168-308.567=58.601
max	429.780-437.348=-7.569

op=pointedIndexFromKvs

rows=400000

*mean*	308.493
σ	0.001
min	308.493
max	308.497

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

*mean*	755.721-745.665=10.056
σ	30.560-57.301=-26.741
min	703.896-639.983=63.913
max	794.626-823.231=-28.604

Marine Hull: transactPolicy

Factor

allocated MiB

peak allocated MiB

time

datapoints=1

iterations=20

*mean*	964.533-964.531=0.002
σ	1.821-1.821=-0.000
min	963.822-963.824=-0.001
max	972.231-972.231=-0.000

*mean*	1058.450-1040.200=18.250
σ	307.168-292.987=14.181
min	561.000-552.000=9.000
max	1472.000-1430.000=42.000

*mean*	1.268-1.290=-0.022
σ	0.102-0.129=-0.026
min	1.180-1.181=-0.001
max	1.537-1.625=-0.088

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.402-0.405=-0.003
σ	0.517-0.519=-0.001
min	0.139-0.143=-0.004
max	1.324-1.330=-0.007

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.494-0.482=0.012
σ	0.323-0.319=0.004
min	0.310-0.329=-0.019
max	1.062-1.052=0.010

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.213-0.221=-0.008
σ	0.025-0.020=0.005
min	0.197-0.206=-0.009
max	0.256-0.255=0.000

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.342=-0.012
σ	0.022-0.019=0.004
min	0.314-0.326=-0.012
max	0.367-0.373=-0.006

Parser: Real World

Factor

allocated MiB

peak allocated MiB

time (sec)

name=aon_gpf25_7k_loc.art

*mean*	964.979
σ	0.009
min	964.974
max	964.996

*mean*	431.000
σ	0.000
min	431.000
max	431.000

*mean*	0.579-0.559=0.020
σ	0.029-0.068=-0.039
min	0.539-0.441=0.098
max	0.610-0.602=0.009

name=cdr_enhanced_4k_loc.art

*mean*	886.001
σ	0.002
min	886.000
max	886.004

*mean*	431.000
σ	0.000
min	431.000
max	431.000

*mean*	0.481-0.484=-0.002
σ	0.046-0.021=0.025
min	0.417-0.461=-0.044
max	0.526-0.510=0.017

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.635-1.962=0.673
σ	0.096-0.066=0.030
min	2.487-1.789=0.698
max	3.094-2.212=0.882

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.617-1.951=0.666
σ	0.082-0.068=0.014
min	2.482-1.819=0.663
max	2.944-2.182=0.762

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.303-0.302=0.001
σ	0.008-0.008=0.001
min	0.286-0.291=-0.004
max	0.348-0.352=-0.004

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.291-0.295=-0.004
σ	0.028-0.044=-0.015
min	0.274-0.276=-0.002
max	0.554-0.718=-0.163

Revision Creation

Factor

allocated MiB

peak allocated MiB

time_s

number of threads=8

revision count=1000

*mean*	11.470-11.683=-0.213
σ	11.180-11.546=-0.366
min	0.573-0.574=-0.000
max	99.811-80.802=19.010

*mean*	462.730-457.634=5.096
σ	19.198-16.331=2.868
min	409.000-408.000=1.000
max	481.000-474.000=7.000

*mean*	0.026-0.027=-0.000
σ	0.027-0.028=-0.001
min	0.001-0.001=0.000
max	0.234-0.197=0.037

SoV import

Factor

allocated MiB

peak allocated MiB

time_s

iters=10

rows=1000

*mean*	278.560-279.017=-0.457
σ	1.060-1.040=0.020
min	278.081-278.606=-0.525
max	281.570-281.973=-0.404

*mean*	443.200-443.800=-0.600
σ	17.087-17.949=-0.863
min	417.000-416.000=1.000
max	475.000-469.000=6.000

*mean*	0.580-0.584=-0.003
σ	0.023-0.018=0.005
min	0.527-0.550=-0.023
max	0.618-0.615=0.003

Timed compile per phase

Factor

allocated MiB

peak allocated MiB

time (ms)

phase=buildDeclTree

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

*mean*	848.000-874.000=-26.000
σ	0.000
min	848.000-874.000=-26.000
max	848.000-874.000=-26.000

*mean*	214.942-213.902=1.041
σ	21.719-22.411=-0.692
min	191.481-186.523=4.958
max	242.828-240.806=2.022

phase=macro expansion

*mean*	5.896-5.900=-0.004
σ	0.000
min	5.896-5.900=-0.004
max	5.896-5.900=-0.004

*mean*	848.000-874.000=-26.000
σ	0.000
min	848.000-874.000=-26.000
max	848.000-874.000=-26.000

*mean*	6.214-8.508=-2.294
σ	1.086-1.072=0.014
min	5.746-5.872=-0.126
max	8.899-9.120=-0.221

phase=parser

*mean*	1042.134-1042.132=0.002
σ	0.000-0.000=0.000
min	1042.133-1042.131=0.002
max	1042.134-1042.132=0.002

*mean*	848.000-874.000=-26.000
σ	0.000
min	848.000-874.000=-26.000
max	848.000-874.000=-26.000

*mean*	401.281-580.277=-178.996
σ	76.970-65.461=11.509
min	371.793-418.855=-47.062
max	591.655-610.257=-18.602

phase=processProdDef

*mean*	2243.717-2243.719=-0.001
σ	0.000
min	2243.717-2243.719=-0.001
max	2243.717-2243.719=-0.001

*mean*	848.000-874.000=-26.000
σ	0.000
min	848.000-874.000=-26.000
max	848.000-874.000=-26.000

*mean*	3016.402-2789.508=226.894
σ	229.657-250.045=-20.388
min	2696.888-2361.435=335.453
max	3301.758-3219.181=82.576

phase=renaming

*mean*	21.436
σ	0.000
min	21.436
max	21.436

*mean*	848.000-874.000=-26.000
σ	0.000
min	848.000-874.000=-26.000
max	848.000-874.000=-26.000

*mean*	35.524-43.891=-8.367
σ	4.505-4.791=-0.286
min	32.934-33.305=-0.371
max	46.431-47.155=-0.724

phase=type checker

*mean*	958.600-958.596=0.004
σ	0.047
min	958.576-958.573=0.004
max	958.701-958.698=0.004

*mean*	848.000-874.000=-26.000
σ	0.000
min	848.000-874.000=-26.000
max	848.000-874.000=-26.000

*mean*	656.123-646.118=10.005
σ	13.946-7.465=6.481
min	639.142-630.330=8.811
max	677.792-657.088=20.704

Workflow: transactPolicy

Factor

allocated MiB

peak allocated MiB

time

iters=5

new-facts=1

prior-facts=1

*mean*	282.359-282.359=-0.000
σ	0.036-0.036=-0.000
min	282.309-282.309=0.001
max	282.396-282.396=-0.000

*mean*	441.000
σ	2.739
min	439.000
max	444.000

*mean*	0.380-0.380=-0.000
σ	0.007-0.008=-0.001
min	0.374-0.372=0.002
max	0.388-0.390=-0.002

iters=5

new-facts=1

prior-facts=6402

*mean*	1267.609-1267.615=-0.006
σ	0.105-0.098=0.006
min	1267.451-1267.484=-0.033
max	1267.744-1267.759=-0.014

*mean*	1090.600-1093.800=-3.200
σ	165.058-170.175=-5.117
min	893.000-892.000=1.000
max	1314.000-1327.000=-13.000

*mean*	2.190-2.127=0.064
σ	0.174-0.144=0.029
min	2.080-1.987=0.093
max	2.498-2.366=0.132

iters=5

new-facts=6402

prior-facts=1

*mean*	1506.536-1506.524=0.012
σ	2.970-2.967=0.003
min	1505.009-1504.979=0.030
max	1511.838-1511.819=0.019

*mean*	626.200-624.400=1.800
σ	87.311-87.603=-0.292
min	496.000-494.000=2.000
max	728.000-727.000=1.000

*mean*	2.241-2.195=0.046
σ	0.282-0.238=0.044
min	2.048-2.046=0.002
max	2.732-2.618=0.115

iters=5

new-facts=6402

prior-facts=6402

*mean*	1829.591-1829.565=0.026
σ	0.062-0.043=0.019
min	1829.512-1829.513=-0.001
max	1829.679-1829.615=0.063

*mean*	1732.400-1726.800=5.600
σ	177.616-184.273=-6.658
min	1479.000-1470.000=9.000
max	1896.000-1897.000=-1.000

*mean*	3.083-2.946=0.137
σ	0.381-0.318=0.062
min	2.790-2.683=0.107
max	3.726-3.496=0.230

newProductH/cdr_auton/broker

Factor

time_s

iterations=5

*mean*	1.716-1.728=-0.013
σ	0.152-0.097=0.055
min	1.486-1.616=-0.130
max	1.886-1.849=0.037

policy addition benchmark

Factor

allocated MiB

db queries

peak allocated MiB

time

policies=2

*mean*	393.868-393.868=0.000
σ	509.607-509.606=0.000
min	139.062-139.061=0.001
max	1158.278-1158.277=0.000

*mean*	99.750
σ	7.500
min	96.000
max	111.000

*mean*	440.000-441.000=-1.000
σ	0.000
min	440.000-441.000=-1.000
max	440.000-441.000=-1.000

*mean*	0.498-0.485=0.013
σ	0.512-0.482=0.030
min	0.231-0.237=-0.006
max	1.266-1.208=0.059

policies=20

*mean*	1390.731-1390.728=0.003
σ	0.171-0.166=0.005
min	1390.610-1390.610=-0.000
max	1390.984-1390.974=0.011

*mean*	960.000
σ	0.000
min	960.000
max	960.000

*mean*	445.250-446.750=-1.500
σ	10.500-10.178=0.322
min	440.000-441.000=-1.000
max	461.000-462.000=-1.000

*mean*	2.325-2.313=0.012
σ	0.011-0.015=-0.005
min	2.313-2.301=0.012
max	2.338-2.335=0.003

policies=200

*mean*	13915.908-13915.834=0.074
σ	0.152-0.146=0.006
min	13915.745-13915.653=0.092
max	13916.112-13915.964=0.148

*mean*	9600.000
σ	0.000
min	9600.000
max	9600.000

*mean*	493.000-498.000=-5.000
σ	5.354-4.830=0.524
min	488.000-491.000=-3.000
max	499.000-502.000=-3.000

*mean*	23.496-23.414=0.082
σ	0.247-0.129=0.118
min	23.252-23.303=-0.051
max	23.815-23.573=0.242