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.775=0.001
σ	0.364-0.364=-0.000
min	54.632-54.634=-0.002
max	55.810-55.810=0.000

*mean*	417.000-417.700=-0.700
σ	0.000-0.483=-0.483
min	417.000
max	417.000-418.000=-1.000

*mean*	0.143-0.139=0.003
σ	0.008-0.004=0.005
min	0.138-0.136=0.002
max	0.163-0.147=0.017

cache=y

dps=1

iters=10

policies=100

*mean*	43.779-43.773=0.007
σ	0.007-0.005=0.002
min	43.768-43.763=0.005
max	43.791-43.783=0.008

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

*mean*	0.139-0.123=0.016
σ	0.011-0.004=0.007
min	0.120-0.119=0.002
max	0.151-0.130=0.021

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*	4590.375-4427.750=162.625
σ	2249.453-2228.626=20.827
min	1486.000-1483.000=3.000
max	7385.000-7411.000=-26.000

*mean*	149.392-12.993=136.399
σ	385.929-3.599=382.330
min	11.912-11.393=0.519
max	1104.505-21.859=1082.646

op=column_set() on indexed, repeat

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

*mean*	4590.375-4608.750=-18.375
σ	2249.453-2259.849=-10.397
min	1486.000-1483.000=3.000
max	7385.000-7411.000=-26.000

*mean*	14.601-155.853=-141.251
σ	4.801-403.230=-398.429
min	11.434-10.946=0.487
max	25.272-1153.769=-1128.498

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-7411.000=-26.000
σ	0.000
min	7385.000-7411.000=-26.000
max	7385.000-7411.000=-26.000

*mean*	11.274-10.430=0.843
σ	1.134-0.152=0.981
min	10.631-10.222=0.409
max	14.059-10.700=3.360

op=table_records(), repeat

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

*mean*	4180.250-4199.000=-18.750
σ	1945.738-1955.907=-10.169
min	1486.000-1483.000=3.000
max	7385.000-7411.000=-26.000

*mean*	11.825-10.978=0.848
σ	1.680-1.783=-0.103
min	10.885-10.154=0.731
max	15.939-15.362=0.577

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-4199.000=-18.750
σ	1945.738-1955.907=-10.169
min	1486.000-1483.000=3.000
max	7385.000-7411.000=-26.000

*mean*	8.953-8.456=0.497
σ	1.328-1.295=0.033
min	7.670-7.479=0.190
max	12.104-11.605=0.499

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

*mean*	26.406
σ	0.000
min	26.406
max	26.406

*mean*	4180.250-4199.000=-18.750
σ	1945.738-1955.907=-10.169
min	1486.000-1483.000=3.000
max	7385.000-7411.000=-26.000

*mean*	6.750-6.467=0.283
σ	1.081-1.028=0.053
min	6.146-5.699=0.447
max	9.397-8.911=0.486

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*	4590.375-4608.750=-18.375
σ	2249.453-2259.849=-10.397
min	1486.000-1483.000=3.000
max	7385.000-7411.000=-26.000

*mean*	6.493-6.229=0.264
σ	1.028-1.228=-0.200
min	5.815-5.510=0.305
max	8.798-8.543=0.255

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-4608.750=-18.375
σ	2249.453-2259.849=-10.397
min	1486.000-1483.000=3.000
max	7385.000-7411.000=-26.000

*mean*	6.438-5.939=0.499
σ	1.023-1.010=0.013
min	5.824-5.341=0.483
max	8.711-8.191=0.521

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
max	1021.629-1021.630=-0.000

*mean*	7385.000-7411.000=-26.000
σ	0.000
min	7385.000-7411.000=-26.000
max	7385.000-7411.000=-26.000

*mean*	363.568-346.170=17.398
σ	43.364-2.263=41.101
min	345.268-342.843=2.425
max	470.823-349.571=121.253

op=load_product(), with indexes

*mean*	3495.878
σ	0.469
min	3495.713
max	3497.038

*mean*	3757.250-3772.375=-15.125
σ	2300.229-2312.143=-11.914
min	720.000
max	7385.000-7411.000=-26.000

*mean*	1776.147-1772.865=3.282
σ	614.401-640.512=-26.111
min	1406.013-1388.090=17.923
max	2806.898-2825.989=-19.091

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

*mean*	4409.125-4199.000=210.125
σ	2218.927-1955.907=263.019
min	1486.000-1483.000=3.000
max	7385.000-7411.000=-26.000

*mean*	263.354-133.962=129.392
σ	360.253-13.328=346.925
min	125.057-125.713=-0.656
max	1153.737-166.277=987.460

op=column_set() on unindexed, dense, repeat

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

*mean*	4409.125-4427.750=-18.625
σ	2218.927-2228.626=-9.699
min	1486.000-1483.000=3.000
max	7385.000-7411.000=-26.000

*mean*	46.930-123.211=-76.281
σ	9.640-228.142=-218.502
min	41.441-40.862=0.578
max	70.303-687.824=-617.521

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

*mean*	7385.000-7411.000=-26.000
σ	0.000
min	7385.000-7411.000=-26.000
max	7385.000-7411.000=-26.000

*mean*	23.551-92.014=-68.463
σ	3.120-198.420=-195.300
min	21.649-21.009=0.639
max	29.599-583.066=-553.467

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-7411.000=-26.000
σ	0.000
min	7385.000-7411.000=-26.000
max	7385.000-7411.000=-26.000

*mean*	284.900-58.751=226.149
σ	642.015-8.876=633.139
min	54.903-54.077=0.827
max	1873.776-80.592=1793.183

CSV - warmup

Factor

allocated MiB

peak allocated MiB

time (ms)

op=table_records()

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

*mean*	4180.250-4199.000=-18.750
σ	1945.738-1955.907=-10.169
min	1486.000-1483.000=3.000
max	7385.000-7411.000=-26.000

*mean*	3243.843-3274.374=-30.532
σ	731.020-728.289=2.731
min	2517.674-2515.867=1.806
max	4455.597-4381.406=74.191

op=vertical_lookup_list() on indexed

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

*mean*	7385.000-7411.000=-26.000
σ	0.000
min	7385.000-7411.000=-26.000
max	7385.000-7411.000=-26.000

*mean*	1057.977-1029.230=28.747
σ	191.960-213.677=-21.717
min	928.569-927.478=1.091
max	1390.260-1538.372=-148.112

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

*mean*	905.105
σ	0.002
min	905.102
max	905.108

*mean*	7385.000-7411.000=-26.000
σ	0.000
min	7385.000-7411.000=-26.000
max	7385.000-7411.000=-26.000

*mean*	409.064-402.463=6.601
σ	38.539-43.560=-5.021
min	391.771-380.415=11.357
max	503.659-510.021=-6.362

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

*mean*	380.687-399.755=-19.068
σ	34.091-21.259=12.831
min	316.909-371.136=-54.227
max	438.815-425.834=12.980

op=pointedIndexFromKvs

rows=400000

*mean*	308.493
σ	0.001
min	308.493
max	308.497

*mean*	560.000-562.000=-2.000
σ	0.000
min	560.000-562.000=-2.000
max	560.000-562.000=-2.000

*mean*	792.372-731.527=60.845
σ	27.863-81.501=-53.638
min	752.692-611.090=141.602
max	823.885-832.276=-8.391

Marine Hull: transactPolicy

Factor

allocated MiB

peak allocated MiB

time

datapoints=1

iterations=20

*mean*	963.971-963.972=-0.001
σ	1.820-1.820=-0.000
min	963.263-963.263=-0.001
max	971.666-971.667=-0.001

*mean*	1036.050-1049.300=-13.250
σ	304.714-296.214=8.499
min	546.000-576.000=-30.000
max	1527.000-1467.000=60.000

*mean*	1.251-1.298=-0.047
σ	0.068-0.119=-0.051
min	1.179-1.196=-0.016
max	1.423-1.566=-0.142

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.391=-0.093
σ	0.294-0.502=-0.207
min	0.137-0.136=0.001
max	0.821-1.286=-0.466

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.476=0.009
σ	0.325-0.326=-0.001
min	0.321-0.323=-0.002
max	1.065-1.058=0.007

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.223=0.001
σ	0.023-0.021=0.002
min	0.206-0.206=-0.000
max	0.264-0.260=0.004

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.332=0.023
σ	0.016-0.022=-0.007
min	0.342-0.313=0.030
max	0.372-0.362=0.010

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-436.000=-4.400
σ	1.342-2.236=-0.894
min	431.000-432.000=-1.000
max	434.000-437.000=-3.000

*mean*	0.547-0.581=-0.034
σ	0.052-0.028=0.024
min	0.479-0.534=-0.055
max	0.618-0.606=0.012

name=cdr_enhanced_4k_loc.art

*mean*	885.898
σ	0.002
min	885.897
max	885.901

*mean*	441.000-443.000=-2.000
σ	0.000
min	441.000-443.000=-2.000
max	441.000-443.000=-2.000

*mean*	0.461-0.494=-0.033
σ	0.064-0.030=0.035
min	0.388-0.465=-0.077
max	0.529-0.530=-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*	441.000-443.000=-2.000
σ	0.000
min	441.000-443.000=-2.000
max	441.000-443.000=-2.000

*mean*	2.702-2.523=0.178
σ	0.100-0.217=-0.117
min	2.510-1.842=0.668
max	3.059-2.887=0.172

name=record_render_large_syntax_err.art

*mean*	7.658
σ	0.002
min	7.657
max	7.661

*mean*	441.000-443.000=-2.000
σ	0.000
min	441.000-443.000=-2.000
max	441.000-443.000=-2.000

*mean*	2.677-2.582=0.095
σ	0.085-0.079=0.006
min	2.477-2.458=0.019
max	2.945-2.904=0.041

name=record_render_success.art

*mean*	2.290
σ	0.002
min	2.289
max	2.293

*mean*	441.000-443.000=-2.000
σ	0.000
min	441.000-443.000=-2.000
max	441.000-443.000=-2.000

*mean*	0.316-0.315=0.002
σ	0.011-0.015=-0.004
min	0.303-0.295=0.008
max	0.407-0.399=0.008

name=record_render_syntax_err.art

*mean*	2.165
σ	0.002
min	2.164
max	2.168

*mean*	441.000-443.000=-2.000
σ	0.000
min	441.000-443.000=-2.000
max	441.000-443.000=-2.000

*mean*	0.302-0.296=0.006
σ	0.008-0.006=0.001
min	0.288-0.281=0.007
max	0.341-0.326=0.016

Revision Creation

Factor

allocated MiB

peak allocated MiB

time_s

number of threads=8

revision count=1000

*mean*	11.642-11.590=0.052
σ	11.796-11.908=-0.112
min	0.574-0.574=0.000
max	91.935-85.110=6.825

*mean*	460.302-466.995=-6.693
σ	19.766-20.157=-0.391
min	407.000-408.000=-1.000
max	476.000-482.000=-6.000

*mean*	0.027-0.027=0.000
σ	0.029-0.029=-0.000
min	0.001-0.001=-0.000
max	0.236-0.195=0.041

SoV import

Factor

allocated MiB

peak allocated MiB

time_s

iters=10

rows=1000

*mean*	278.598-278.650=-0.052
σ	1.074-1.055=0.019
min	278.093-278.277=-0.184
max	281.644-281.650=-0.005

*mean*	447.800-443.600=4.200
σ	20.088-17.709=2.379
min	417.000
max	471.000-470.000=1.000

*mean*	0.588-0.584=0.004
σ	0.012-0.029=-0.017
min	0.576-0.527=0.048
max	0.613-0.644=-0.032

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-843.000=1.000
σ	0.000
min	844.000-843.000=1.000
max	844.000-843.000=1.000

*mean*	239.682-219.029=20.653
σ	19.235-28.318=-9.082
min	197.531-189.235=8.296
max	254.117-252.638=1.479

phase=macro expansion

*mean*	6.130
σ	0.000
min	6.130
max	6.130

*mean*	843.375-842.375=1.000
σ	1.768
min	839.000-838.000=1.000
max	844.000-843.000=1.000

*mean*	9.062-9.513=-0.450
σ	0.978-0.130=0.847
min	7.335-9.272=-1.937
max	9.703-9.685=0.019

phase=parser

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

*mean*	843.375-842.375=1.000
σ	1.768
min	839.000-838.000=1.000
max	844.000-843.000=1.000

*mean*	565.747-601.466=-35.718
σ	75.086-4.875=70.211
min	417.869-594.661=-176.792
max	618.704-607.223=11.481

phase=processProdDef

*mean*	2243.975
σ	0.000
min	2243.975
max	2243.975

*mean*	844.000-843.000=1.000
σ	0.000
min	844.000-843.000=1.000
max	844.000-843.000=1.000

*mean*	2999.984-2616.447=383.537
σ	425.591-419.285=6.306
min	2421.614-1898.950=522.664
max	3421.270-3209.709=211.561

phase=renaming

*mean*	21.671
σ	0.000
min	21.671
max	21.671

*mean*	843.375-842.375=1.000
σ	1.768
min	839.000-838.000=1.000
max	844.000-843.000=1.000

*mean*	36.775-40.263=-3.487
σ	6.460-0.300=6.159
min	26.254-39.713=-13.459
max	41.249-40.593=0.656

phase=type checker

*mean*	989.755
σ	0.066
min	989.658
max	989.845

*mean*	843.375-842.375=1.000
σ	1.768
min	839.000-838.000=1.000
max	844.000-843.000=1.000

*mean*	714.014-688.265=25.749
σ	41.405-15.794=25.611
min	644.363-670.414=-26.051
max	787.700-720.712=66.988

Workflow: transactPolicy

Factor

allocated MiB

peak allocated MiB

time

iters=5

new-facts=1

prior-facts=1

*mean*	282.394-282.393=0.001
σ	0.024-0.025=-0.001
min	282.373-282.372=0.000
max	282.425-282.426=-0.000

*mean*	444.400-442.400=2.000
σ	0.548
min	444.000-442.000=2.000
max	445.000-443.000=2.000

*mean*	0.381-0.384=-0.002
σ	0.005-0.010=-0.005
min	0.376-0.374=0.002
max	0.389-0.398=-0.009

iters=5

new-facts=1

prior-facts=6402

*mean*	1267.114-1267.098=0.016
σ	0.101-0.085=0.016
min	1266.993-1267.002=-0.009
max	1267.270-1267.232=0.038

*mean*	1113.200-1110.800=2.400
σ	169.525-171.491=-1.966
min	898.000-896.000=2.000
max	1328.000-1334.000=-6.000

*mean*	2.017-1.965=0.052
σ	0.110-0.123=-0.013
min	1.872-1.859=0.012
max	2.137-2.100=0.037

iters=5

new-facts=6402

prior-facts=1

*mean*	1506.123-1506.144=-0.021
σ	2.939-2.956=-0.017
min	1504.603-1504.638=-0.035
max	1511.369-1511.422=-0.053

*mean*	629.000-628.000=1.000
σ	90.019-89.499=0.521
min	505.000
max	728.000-727.000=1.000

*mean*	2.338-2.407=-0.069
σ	0.251-0.379=-0.128
min	2.072-1.959=0.113
max	2.628-2.810=-0.182

iters=5

new-facts=6402

prior-facts=6402

*mean*	1829.095-1829.117=-0.022
σ	0.055-0.075=-0.019
min	1829.015-1829.032=-0.017
max	1829.161-1829.229=-0.068

*mean*	1756.600-1756.000=0.600
σ	211.213-210.912=0.300
min	1473.000-1486.000=-13.000
max	1956.000-1958.000=-2.000

*mean*	3.119-3.216=-0.097
σ	0.255-0.323=-0.068
min	2.829-2.836=-0.007
max	3.491-3.577=-0.086

newProductH/cdr_auton/broker

Factor

time_s

iterations=5

*mean*	1.737-1.651=0.086
σ	0.126-0.175=-0.049
min	1.542-1.489=0.053
max	1.838-1.855=-0.017

policy addition benchmark

Factor

allocated MiB

db queries

peak allocated MiB

time

policies=2

*mean*	397.699-397.698=0.001
σ	518.050-518.051=-0.001
min	138.672-138.670=0.003
max	1174.774-1174.774=0.000

*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.468=0.035
σ	0.524-0.459=0.065
min	0.237-0.236=0.001
max	1.290-1.157=0.133

policies=20

*mean*	1386.840-1386.834=0.006
σ	0.168-0.158=0.010
min	1386.725-1386.727=-0.002
max	1387.089-1387.070=0.020

*mean*	940.000
σ	0.000
min	940.000
max	940.000

*mean*	449.000-444.000=5.000
σ	1.155-0.000=1.155
min	448.000-444.000=4.000
max	450.000-444.000=6.000

*mean*	2.321-2.326=-0.006
σ	0.025-0.006=0.019
min	2.286-2.319=-0.033
max	2.340-2.333=0.007

policies=200

*mean*	13876.884-13876.899=-0.015
σ	0.111-0.116=-0.005
min	13876.805-13876.790=0.015
max	13877.048-13877.063=-0.015

*mean*	9400.000
σ	0.000
min	9400.000
max	9400.000

*mean*	495.250-493.500=1.750
σ	4.787-5.000=-0.213
min	491.000-488.000=3.000
max	502.000-500.000=2.000

*mean*	23.478-23.522=-0.044
σ	0.102-0.140=-0.038
min	23.407-23.397=0.011
max	23.627-23.645=-0.018