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.773-54.776=-0.003
σ	0.363-0.366=-0.003
min	54.630-54.630=0.000
max	55.805-55.819=-0.013

*mean*	415.700-416.000=-0.300
σ	0.483-0.000=0.483
min	415.000-416.000=-1.000
max	416.000

*mean*	0.138-0.142=-0.005
σ	0.005-0.004=0.001
min	0.132-0.139=-0.007
max	0.145-0.149=-0.003

cache=y

dps=1

iters=10

policies=100

*mean*	43.774-43.776=-0.002
σ	0.006-0.008=-0.002
min	43.765-43.766=-0.001
max	43.783-43.789=-0.006

*mean*	416.000
σ	0.000
min	416.000
max	416.000

*mean*	0.120-0.122=-0.002
σ	0.005-0.004=0.001
min	0.115-0.117=-0.003
max	0.130-0.129=0.001

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*	4488.375-4218.375=270.000
σ	2215.404-1970.004=245.400
min	1471.000-1482.000=-11.000
max	7299.000-7435.000=-136.000

*mean*	12.366-12.291=0.075
σ	0.376-0.331=0.045
min	11.899-11.933=-0.033
max	13.162-13.069=0.093

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

*mean*	4488.375-4444.750=43.625
σ	2215.404-2240.132=-24.728
min	1471.000-1482.000=-11.000
max	7299.000-7435.000=-136.000

*mean*	12.390-93.403=-81.013
σ	0.482-229.290=-228.808
min	11.729-11.616=0.113
max	12.957-660.865=-647.908

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*	7299.000-7435.000=-136.000
σ	0.000
min	7299.000-7435.000=-136.000
max	7299.000-7435.000=-136.000

*mean*	11.076-11.372=-0.296
σ	0.218-1.124=-0.906
min	10.755-10.775=-0.020
max	11.473-14.141=-2.667

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*	4488.375-4218.375=270.000
σ	2215.404-1970.004=245.400
min	1471.000-1482.000=-11.000
max	7299.000-7435.000=-136.000

*mean*	11.289-11.484=-0.195
σ	0.314-1.412=-1.098
min	10.828-10.779=0.049
max	11.738-14.966=-3.228

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

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

*mean*	4488.375-4218.375=270.000
σ	2215.404-1970.004=245.400
min	1471.000-1482.000=-11.000
max	7299.000-7435.000=-136.000

*mean*	8.193-8.853=-0.660
σ	0.440-0.628=-0.188
min	7.717-7.936=-0.219
max	8.763-10.193=-1.430

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*	4488.375-4218.375=270.000
σ	2215.404-1970.004=245.400
min	1471.000-1482.000=-11.000
max	7299.000-7435.000=-136.000

*mean*	6.508-6.978=-0.470
σ	0.286-0.474=-0.188
min	6.205-6.412=-0.207
max	6.932-8.060=-1.128

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*	4488.375-4444.750=43.625
σ	2215.404-2240.132=-24.728
min	1471.000-1482.000=-11.000
max	7299.000-7435.000=-136.000

*mean*	6.037-6.311=-0.274
σ	0.128-0.504=-0.376
min	5.768-5.993=-0.225
max	6.189-7.514=-1.325

op=vertical_lookup_row_list() on 3 (1 unindexed)

*mean*	25.984
σ	0.000
min	25.984
max	25.985

*mean*	4488.375-4444.750=43.625
σ	2215.404-2240.132=-24.728
min	1471.000-1482.000=-11.000
max	7299.000-7435.000=-136.000

*mean*	5.854-6.290=-0.436
σ	0.078-1.003=-0.925
min	5.718-5.706=0.012
max	5.955-8.754=-2.799

CSV - loading a lazy table

Factor

allocated MiB

peak allocated MiB

time (ms)

op=load_product(), no indexes

*mean*	1021.627-1021.627=0.000
σ	0.002-0.002=-0.000
min	1021.625-1021.625=0.000
max	1021.629

*mean*	7299.000-7435.000=-136.000
σ	0.000
min	7299.000-7435.000=-136.000
max	7299.000-7435.000=-136.000

*mean*	356.969-345.204=11.765
σ	1.584-1.615=-0.031
min	354.934-342.448=12.486
max	358.917-347.714=11.203

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*	3666.500-3789.250=-122.750
σ	2243.186-2327.708=-84.523
min	724.000-720.000=4.000
max	7299.000-7435.000=-136.000

*mean*	1489.798-2021.233=-531.435
σ	265.010-881.639=-616.629
min	1390.263-1388.525=1.738
max	2145.571-3471.841=-1326.269

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.854-107.854=0.000

*mean*	4488.375-4218.375=270.000
σ	2215.404-1970.004=245.400
min	1471.000-1482.000=-11.000
max	7299.000-7435.000=-136.000

*mean*	131.125-131.691=-0.566
σ	4.020-10.617=-6.597
min	125.837-124.834=1.003
max	139.440-157.203=-17.763

op=column_set() on unindexed, dense, repeat

*mean*	62.081
σ	0.000
min	62.081
max	62.082

*mean*	4488.375-4218.375=270.000
σ	2215.404-1970.004=245.400
min	1471.000-1482.000=-11.000
max	7299.000-7435.000=-136.000

*mean*	43.689-43.644=0.045
σ	0.562-1.091=-0.529
min	43.040-41.527=1.513
max	44.306-45.077=-0.771

op=vertical_lookup_list() repeated on unindexed missing Int

*mean*	40.948
σ	0.002
min	40.947
max	40.950

*mean*	7299.000-7435.000=-136.000
σ	0.000
min	7299.000-7435.000=-136.000
max	7299.000-7435.000=-136.000

*mean*	35.675-22.826=12.850
σ	39.720-2.951=36.769
min	21.543-21.421=0.122
max	133.977-30.047=103.930

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
max	71.311

*mean*	7299.000-7435.000=-136.000
σ	0.000
min	7299.000-7435.000=-136.000
max	7299.000-7435.000=-136.000

*mean*	57.771-121.800=-64.028
σ	5.696-182.910=-177.214
min	55.129-54.994=0.135
max	71.841-574.394=-502.553

CSV - warmup

Factor

allocated MiB

peak allocated MiB

time (ms)

op=table_records()

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

*mean*	4488.375-4218.375=270.000
σ	2215.404-1970.004=245.400
min	1471.000-1482.000=-11.000
max	7299.000-7435.000=-136.000

*mean*	3368.354-3307.919=60.435
σ	747.638-632.437=115.201
min	2521.507-2505.747=15.761
max	4312.557-4308.739=3.817

op=vertical_lookup_list() on indexed

*mean*	1973.851
σ	0.002-0.002=0.000
min	1973.849
max	1973.854-1973.853=0.000

*mean*	7299.000-7435.000=-136.000
σ	0.000
min	7299.000-7435.000=-136.000
max	7299.000-7435.000=-136.000

*mean*	1081.103-1246.660=-165.557
σ	289.993-868.526=-578.533
min	919.705-912.170=7.534
max	1601.104-3392.763=-1791.658

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

*mean*	905.105
σ	0.002
min	905.102
max	905.108

*mean*	7299.000-7435.000=-136.000
σ	0.000
min	7299.000-7435.000=-136.000
max	7299.000-7435.000=-136.000

*mean*	391.526-404.858=-13.332
σ	2.930-43.298=-40.368
min	385.796-381.430=4.366
max	394.416-511.660=-117.244

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-475.500=-0.500
σ	0.000-0.756=-0.756
min	475.000-474.000=1.000
max	475.000-476.000=-1.000

*mean*	388.409-399.363=-10.953
σ	21.720-28.280=-6.559
min	367.642-375.802=-8.160
max	436.064-435.137=0.927

op=pointedIndexFromKvs

rows=400000

*mean*	308.493
σ	0.001
min	308.493
max	308.497

*mean*	561.750-560.625=1.125
σ	2.315-2.560=-0.245
min	558.000-556.000=2.000
max	563.000-562.000=1.000

*mean*	769.901-723.848=46.053
σ	62.180-76.551=-14.371
min	635.809-603.942=31.867
max	847.168-834.949=12.219

Marine Hull: transactPolicy

Factor

allocated MiB

peak allocated MiB

time

datapoints=1

iterations=20

*mean*	963.972-963.973=-0.002
σ	1.820-1.820=0.000
min	963.263-963.264=-0.001
max	971.667-971.667=-0.001

*mean*	1043.850-1057.500=-13.650
σ	306.272-305.394=0.878
min	586.000-576.000=10.000
max	1493.000-1466.000=27.000

*mean*	1.263-1.293=-0.031
σ	0.081-0.117=-0.036
min	1.180-1.186=-0.006
max	1.490-1.557=-0.066

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.321-0.498=-0.177
σ	0.336-0.540=-0.203
min	0.143-0.233=-0.089
max	0.919-1.462=-0.543

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.480-0.825=-0.345
σ	0.324-0.520=-0.197
min	0.322-0.574=-0.252
max	1.058-1.754=-0.696

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.258-0.389=-0.131
σ	0.079-0.034=0.045
min	0.208-0.361=-0.154
max	0.393-0.448=-0.056

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.334-0.590=-0.256
σ	0.025-0.029=-0.004
min	0.315-0.561=-0.246
max	0.376-0.633=-0.257

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*	436.200-437.200=-1.000
σ	1.789-6.535=-4.746
min	433.000-431.000=2.000
max	437.000-444.000=-7.000

*mean*	0.565-0.561=0.004
σ	0.066-0.110=-0.044
min	0.450-0.448=0.002
max	0.608-0.746=-0.138

name=cdr_enhanced_4k_loc.art

*mean*	885.898
σ	0.002
min	885.897
max	885.901

*mean*	437.000-444.000=-7.000
σ	0.000
min	437.000-444.000=-7.000
max	437.000-444.000=-7.000

*mean*	0.486-0.471=0.016
σ	0.024-0.037=-0.013
min	0.452-0.435=0.017
max	0.512-0.526=-0.014

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*	437.000-444.000=-7.000
σ	0.000
min	437.000-444.000=-7.000
max	437.000-444.000=-7.000

*mean*	2.653-2.589=0.064
σ	0.106-0.096=0.010
min	2.473-2.442=0.031
max	3.074-2.914=0.160

name=record_render_large_syntax_err.art

*mean*	7.658
σ	0.002
min	7.657
max	7.661

*mean*	437.000-444.000=-7.000
σ	0.000
min	437.000-444.000=-7.000
max	437.000-444.000=-7.000

*mean*	2.594-2.554=0.040
σ	0.081-0.095=-0.014
min	2.451-2.389=0.062
max	2.838-2.864=-0.027

name=record_render_success.art

*mean*	2.290
σ	0.002
min	2.289
max	2.293

*mean*	437.000-444.000=-7.000
σ	0.000
min	437.000-444.000=-7.000
max	437.000-444.000=-7.000

*mean*	0.307-0.305=0.002
σ	0.009-0.009=-0.000
min	0.293-0.289=0.005
max	0.356-0.362=-0.005

name=record_render_syntax_err.art

*mean*	2.165
σ	0.002
min	2.164
max	2.168

*mean*	437.000-444.000=-7.000
σ	0.000
min	437.000-444.000=-7.000
max	437.000-444.000=-7.000

*mean*	0.295-0.299=-0.004
σ	0.010-0.036=-0.026
min	0.277-0.281=-0.004
max	0.362-0.642=-0.281

Revision Creation

Factor

allocated MiB

peak allocated MiB

time_s

number of threads=8

revision count=1000

*mean*	11.613-11.829=-0.216
σ	11.699-13.417=-1.718
min	0.574-0.573=0.000
max	82.384-128.354=-45.970

*mean*	461.795-460.485=1.310
σ	22.094-19.208=2.886
min	406.000
max	480.000-476.000=4.000

*mean*	0.027-0.027=-0.000
σ	0.029-0.033=-0.004
min	0.001-0.001=0.000
max	0.196-0.308=-0.112

SoV import

Factor

allocated MiB

peak allocated MiB

time_s

iters=10

rows=1000

*mean*	278.744-278.616=0.128
σ	1.062-1.040=0.022
min	278.368-278.213=0.155
max	281.765-281.573=0.192

*mean*	444.700-446.800=-2.100
σ	15.085-18.949=-3.864
min	414.000-418.000=-4.000
max	466.000-471.000=-5.000

*mean*	0.572-0.575=-0.003
σ	0.028-0.027=0.001
min	0.531-0.509=0.023
max	0.611-0.609=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*	859.000-843.000=16.000
σ	0.000
min	859.000-843.000=16.000
max	859.000-843.000=16.000

*mean*	220.951-209.297=11.654
σ	23.782-33.791=-10.009
min	189.727-151.291=38.436
max	249.712-245.121=4.591

phase=macro expansion

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

*mean*	859.000-842.375=16.625
σ	0.000-1.768=-1.768
min	859.000-838.000=21.000
max	859.000-843.000=16.000

*mean*	9.956-9.170=0.786
σ	1.980-1.029=0.952
min	6.390-7.522=-1.132
max	12.617-10.327=2.290

phase=parser

*mean*	1042.434-1042.434=0.000
σ	0.000-0.000=-0.000
min	1042.434-1042.434=0.000
max	1042.435-1042.434=0.000

*mean*	859.000-842.375=16.625
σ	0.000-1.768=-1.768
min	859.000-838.000=21.000
max	859.000-843.000=16.000

*mean*	600.429-566.042=34.387
σ	86.369-63.780=22.589
min	440.285-430.422=9.862
max	730.297-612.081=118.215

phase=processProdDef

*mean*	2243.977-2243.976=0.000
σ	0.000
min	2243.977-2243.976=0.000
max	2243.977-2243.976=0.000

*mean*	859.000-843.000=16.000
σ	0.000
min	859.000-843.000=16.000
max	859.000-843.000=16.000

*mean*	2885.868-2524.513=361.355
σ	587.147-448.545=138.602
min	1885.599-2010.439=-124.840
max	3524.966-3310.723=214.243

phase=renaming

*mean*	21.671
σ	0.000
min	21.671
max	21.671

*mean*	859.000-842.375=16.625
σ	0.000-1.768=-1.768
min	859.000-838.000=21.000
max	859.000-843.000=16.000

*mean*	39.769-36.465=3.304
σ	8.532-5.975=2.557
min	20.419-26.737=-6.318
max	47.975-41.115=6.860

phase=type checker

*mean*	989.752
σ	0.066
min	989.654
max	989.841

*mean*	859.000-842.375=16.625
σ	0.000-1.768=-1.768
min	859.000-838.000=21.000
max	859.000-843.000=16.000

*mean*	735.405-699.070=36.335
σ	75.751-39.222=36.529
min	666.615-666.024=0.591
max	878.873-778.695=100.178

Workflow: transactPolicy

Factor

allocated MiB

peak allocated MiB

time

iters=5

new-facts=1

prior-facts=1

*mean*	282.394-282.394=-0.000
σ	0.036-0.036=-0.000
min	282.338-282.338=0.000
max	282.426-282.425=0.000

*mean*	442.800-445.000=-2.200
σ	1.095-0.000=1.095
min	442.000-445.000=-3.000
max	444.000-445.000=-1.000

*mean*	0.376-0.380=-0.004
σ	0.003-0.007=-0.005
min	0.374-0.373=0.001
max	0.380-0.388=-0.008

iters=5

new-facts=1

prior-facts=6402

*mean*	1267.122-1267.109=0.013
σ	0.102-0.097=0.005
min	1266.994-1266.995=-0.001
max	1267.277-1267.258=0.019

*mean*	1102.600-1113.600=-11.000
σ	190.299-170.472=19.827
min	842.000-898.000=-56.000
max	1332.000-1331.000=1.000

*mean*	1.991-2.014=-0.023
σ	0.183-0.122=0.061
min	1.777-1.874=-0.097
max	2.186-2.110=0.076

iters=5

new-facts=6402

prior-facts=1

*mean*	1506.081-1506.130=-0.049
σ	2.947-2.953=-0.007
min	1504.541-1504.628=-0.087
max	1511.340-1511.403=-0.062

*mean*	620.400-629.000=-8.600
σ	81.122-90.446=-9.324
min	495.000-505.000=-10.000
max	711.000-729.000=-18.000

*mean*	2.203-2.357=-0.154
σ	0.186-0.320=-0.134
min	2.077-2.023=0.055
max	2.523-2.810=-0.287

iters=5

new-facts=6402

prior-facts=6402

*mean*	1829.094-1829.112=-0.018
σ	0.034-0.073=-0.039
min	1829.048-1829.023=0.025
max	1829.123-1829.216=-0.094

*mean*	1731.000-1764.000=-33.000
σ	172.994-213.133=-40.138
min	1483.000-1491.000=-8.000
max	1888.000-1970.000=-82.000

*mean*	2.932-3.135=-0.203
σ	0.218-0.326=-0.108
min	2.761-2.814=-0.053
max	3.309-3.497=-0.188

newProductH/cdr_auton/broker

Factor

time_s

iterations=5

*mean*	1.748-1.683=0.065
σ	0.138-0.157=-0.020
min	1.524-1.549=-0.025
max	1.875-1.856=0.019

policy addition benchmark

Factor

allocated MiB

db queries

peak allocated MiB

time

policies=2

*mean*	397.698-397.699=-0.001
σ	518.051-518.050=0.001
min	138.670-138.670=-0.001
max	1174.775-1174.774=0.001

*mean*	97.750
σ	7.500
min	94.000
max	109.000

*mean*	446.000-444.000=2.000
σ	0.000
min	446.000-444.000=2.000
max	446.000-444.000=2.000

*mean*	0.469-0.498=-0.029
σ	0.470-0.518=-0.048
min	0.232-0.235=-0.002
max	1.174-1.274=-0.101

policies=20

*mean*	1386.829-1386.836=-0.007
σ	0.144-0.163=-0.019
min	1386.726-1386.722=0.004
max	1387.043-1387.078=-0.035

*mean*	940.000
σ	0.000
min	940.000
max	940.000

*mean*	448.500-444.000=4.500
σ	2.887-0.000=2.887
min	446.000-444.000=2.000
max	451.000-444.000=7.000

*mean*	2.308-2.316=-0.008
σ	0.019-0.006=0.013
min	2.284-2.309=-0.025
max	2.329-2.323=0.006

policies=200

*mean*	13876.874-13876.812=0.061
σ	0.066-0.117=-0.050
min	13876.816-13876.704=0.113
max	13876.969-13876.933=0.036

*mean*	9400.000
σ	0.000
min	9400.000
max	9400.000

*mean*	496.250-494.250=2.000
σ	5.123-3.862=1.261
min	491.000-490.000=1.000
max	503.000-498.000=5.000

*mean*	23.411-23.407=0.004
σ	0.087-0.138=-0.052
min	23.296-23.275=0.020
max	23.505-23.574=-0.069