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.722-54.039=0.682
σ	0.360-0.371=-0.010
min	54.576-53.896=0.681
max	55.746-55.093=0.652

*mean*	414.000-416.000=-2.000
σ	0.000
min	414.000-416.000=-2.000
max	414.000-416.000=-2.000

*mean*	0.141-0.141=0.000
σ	0.004-0.003=0.001
min	0.137-0.137=-0.000
max	0.147-0.147=0.000

cache=y

dps=1

iters=10

policies=100

*mean*	43.774-43.342=0.432
σ	0.006-0.007=-0.001
min	43.764-43.331=0.433
max	43.786-43.356=0.430

*mean*	414.000-416.000=-2.000
σ	0.000
min	414.000-416.000=-2.000
max	414.000-416.000=-2.000

*mean*	0.123-0.121=0.002
σ	0.004-0.005=-0.000
min	0.120-0.116=0.004
max	0.131-0.130=0.001

CSV - indexed operations

Factor

allocated MiB

peak allocated MiB

time (ms)

op=column_set() on indexed

*mean*	36.604
σ	0.000
min	36.604
max	36.605

*mean*	4591.500
σ	2247.479
min	1485.000
max	7384.000

*mean*	155.325
σ	402.421
min	11.827
max	1151.255

op=column_set() on indexed, repeat

*mean*	36.604
σ	0.000
min	36.604
max	36.605

*mean*	4591.500
σ	2247.479
min	1485.000
max	7384.000

*mean*	13.729
σ	3.935
min	11.507
max	22.129

op=table_records(), no indexes

*mean*	41.940
σ	0.002
min	41.938
max	41.942

*mean*	7384.000
σ	0.000
min	7384.000
max	7384.000

*mean*	11.934
σ	1.878
min	10.896
max	16.558

op=table_records(), repeat

*mean*	41.925
σ	0.000
min	41.924
max	41.925

*mean*	4183.250
σ	1943.889
min	1485.000
max	7384.000

*mean*	11.491
σ	0.998
min	10.773
max	13.930

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

*mean*	27.633
σ	0.137
min	27.584
max	27.971

*mean*	4183.250
σ	1943.889
min	1485.000
max	7384.000

*mean*	8.911
σ	0.677
min	7.931
max	10.279

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

*mean*	26.384
σ	0.000
min	26.384
max	26.384

*mean*	4183.250
σ	1943.889
min	1485.000
max	7384.000

*mean*	6.715
σ	0.616
min	6.135
max	8.021

op=vertical_lookup_row_list() on 2 indexed

*mean*	25.662
σ	0.004
min	25.661
max	25.673

*mean*	4591.500
σ	2247.479
min	1485.000
max	7384.000

*mean*	6.449
σ	1.051
min	5.760
max	8.675

op=vertical_lookup_row_list() on 3 (1 unindexed)

*mean*	25.961
σ	0.001
min	25.961
max	25.962

*mean*	4591.500
σ	2247.479
min	1485.000
max	7384.000

*mean*	6.433
σ	1.067
min	5.638
max	8.793

CSV - loading a lazy table

Factor

allocated MiB

peak allocated MiB

time (ms)

op=load_product(), no indexes

*mean*	1021.608
σ	0.002
min	1021.606
max	1021.611

*mean*	7384.000
σ	0.000
min	7384.000
max	7384.000

*mean*	349.142
σ	2.218
min	345.751
max	352.662

op=load_product(), with indexes

*mean*	3495.855
σ	0.454
min	3495.694
max	3496.978

*mean*	3758.500
σ	2298.990
min	720.000
max	7384.000

*mean*	1726.789
σ	542.435
min	1405.618
max	2765.276

CSV - unindexed operations

Factor

allocated MiB

peak allocated MiB

time (ms)

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

*mean*	107.841
σ	0.000
min	107.841
max	107.842

*mean*	4412.625
σ	2217.127
min	1485.000
max	7384.000

*mean*	254.419
σ	339.804
min	124.979
max	1094.993

op=column_set() on unindexed, dense, repeat

*mean*	62.068
σ	0.001
min	62.065
max	62.068

*mean*	4412.625
σ	2217.127
min	1485.000
max	7384.000

*mean*	45.709
σ	9.374
min	40.301
max	68.583

op=vertical_lookup_list() repeated on unindexed missing Int

*mean*	40.926
σ	0.002
min	40.925
max	40.928

*mean*	7384.000
σ	0.000
min	7384.000
max	7384.000

*mean*	207.959
σ	525.832
min	21.489
max	1509.326

op=vertical_lookup_row_list() on unindexed small unique Int

*mean*	71.293
σ	0.002
min	71.292
max	71.296

*mean*	7384.000
σ	0.000
min	7384.000
max	7384.000

*mean*	65.294
σ	24.656
min	55.645
max	126.276

CSV - warmup

Factor

allocated MiB

peak allocated MiB

time (ms)

op=table_records()

*mean*	4646.842
σ	0.014
min	4646.837
max	4646.876

*mean*	4183.250
σ	1943.889
min	1485.000
max	7384.000

*mean*	3284.692
σ	761.098
min	2527.274
max	4715.206

op=vertical_lookup_list() on indexed

*mean*	1973.829
σ	0.002
min	1973.827
max	1973.832

*mean*	7384.000
σ	0.000
min	7384.000
max	7384.000

*mean*	1077.752
σ	312.711
min	936.495
max	1838.600

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

*mean*	905.083
σ	0.002
min	905.080
max	905.086

*mean*	7384.000
σ	0.000
min	7384.000
max	7384.000

*mean*	394.764
σ	8.621
min	375.520
max	402.243

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.875
σ	0.354
min	474.000
max	475.000

*mean*	390.392
σ	20.724
min	367.783
max	435.778

op=pointedIndexFromKvs

rows=400000

*mean*	308.493
σ	0.001
min	308.493
max	308.497

*mean*	563.000
σ	0.000
min	563.000
max	563.000

*mean*	766.898
σ	45.025
min	713.764
max	840.031

Marine Hull: transactPolicy

Factor

allocated MiB

peak allocated MiB

time

datapoints=1

iterations=20

*mean*	964.531-1017.199=-52.668
σ	1.821-1.163=0.658
min	963.822-1016.625=-52.802
max	972.232-1022.067=-49.834

*mean*	1044.450-1054.850=-10.400
σ	303.455-310.357=-6.902
min	561.000-564.000=-3.000
max	1490.000-1512.000=-22.000

*mean*	1.314-1.522=-0.209
σ	0.160-0.046=0.114
min	1.192-1.450=-0.258
max	1.782-1.614=0.169

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

*mean*	0.336
σ	0.370
min	0.145
max	0.995

name=error_case.art

*mean*	2.346
σ	0.012
min	2.340
max	2.368

*mean*	401.000
σ	0.000
min	401.000
max	401.000

*mean*	0.429
σ	0.202
min	0.327
max	0.790

name=heavy_item.art

*mean*	1.523
σ	0.002
min	1.522
max	1.526

*mean*	401.000
σ	0.000
min	401.000
max	401.000

*mean*	0.218
σ	0.020
min	0.197
max	0.251

name=nested_use.art

*mean*	2.364
σ	0.002
min	2.363
max	2.367

*mean*	401.000
σ	0.000
min	401.000
max	401.000

*mean*	0.341
σ	0.017
min	0.327
max	0.371

Parser: Real World

Factor

allocated MiB

peak allocated MiB

time (sec)

name=aon_gpf25_7k_loc.art

*mean*	964.838
σ	0.009
min	964.833
max	964.855

*mean*	430.400
σ	0.894
min	430.000
max	432.000

*mean*	0.545
σ	0.044
min	0.472
max	0.586

name=cdr_enhanced_4k_loc.art

*mean*	885.913
σ	0.002
min	885.912
max	885.915

*mean*	438.000
σ	0.000
min	438.000
max	438.000

*mean*	0.488
σ	0.023
min	0.469
max	0.526

Parser: Record Parsing

Factor

allocated MiB

peak allocated MiB

time (ms)

name=record_render_large_success.art

*mean*	7.718
σ	0.002
min	7.717
max	7.721

*mean*	438.000
σ	0.000
min	438.000
max	438.000

*mean*	2.631
σ	0.111
min	2.482
max	3.327

name=record_render_large_syntax_err.art

*mean*	7.667
σ	0.002
min	7.666
max	7.670

*mean*	438.000
σ	0.000
min	438.000
max	438.000

*mean*	2.682
σ	0.106
min	2.494
max	3.080

name=record_render_success.art

*mean*	2.290
σ	0.002
min	2.289
max	2.293

*mean*	438.000
σ	0.000
min	438.000
max	438.000

*mean*	0.313
σ	0.050
min	0.291
max	0.798

name=record_render_syntax_err.art

*mean*	2.165
σ	0.002
min	2.164
max	2.168

*mean*	438.000
σ	0.000
min	438.000
max	438.000

*mean*	0.294
σ	0.012
min	0.281
max	0.371

Revision Creation

Factor

allocated MiB

peak allocated MiB

time_s

number of threads=8

revision count=1000

*mean*	11.897
σ	12.163
min	0.574
max	118.863

*mean*	464.587
σ	20.486
min	408.000
max	479.000

*mean*	0.027
σ	0.030
min	0.001
max	0.293

SoV import

Factor

allocated MiB

peak allocated MiB

time_s

iters=10

rows=1000

*mean*	278.819-301.941=-23.122
σ	1.064-0.187=0.877
min	278.383-301.795=-23.412
max	281.842-302.452=-20.610

*mean*	442.700-1967.000=-1524.300
σ	19.653-0.000=19.653
min	413.000-1967.000=-1554.000
max	474.000-1967.000=-1493.000

*mean*	0.571-0.609=-0.038
σ	0.029-0.044=-0.014
min	0.503-0.525=-0.023
max	0.608-0.699=-0.091

Timed compile per phase

Factor

allocated MiB

peak allocated MiB

time (ms)

phase=buildDeclTree

*mean*	169.257
σ	0.000
min	169.257
max	169.257

*mean*	693.000
σ	0.000
min	693.000
max	693.000

*mean*	223.604
σ	22.114
min	193.800
max	246.892

phase=macro expansion

*mean*	5.899
σ	0.000
min	5.899
max	5.899

*mean*	693.000
σ	0.000
min	693.000
max	693.000

*mean*	7.951
σ	1.456
min	5.886
max	9.072

phase=parser

*mean*	1041.958
σ	0.000
min	1041.958
max	1041.959

*mean*	693.000
σ	0.000
min	693.000
max	693.000

*mean*	552.475
σ	87.759
min	444.662
max	622.512

phase=processProdDef

*mean*	2243.721
σ	0.000
min	2243.721
max	2243.721

*mean*	693.000
σ	0.000
min	693.000
max	693.000

*mean*	3003.004
σ	435.569
min	2183.872
max	3350.670

phase=renaming

*mean*	21.436
σ	0.000
min	21.436
max	21.436

*mean*	693.000
σ	0.000
min	693.000
max	693.000

*mean*	43.151
σ	5.771
min	34.386
max	48.883

phase=type checker

*mean*	958.596
σ	0.047
min	958.573
max	958.698

*mean*	693.000
σ	0.000
min	693.000
max	693.000

*mean*	660.394
σ	18.801
min	628.744
max	681.980

Workflow: transactPolicy

Factor

allocated MiB

peak allocated MiB

time

iters=5

new-facts=1

prior-facts=1

*mean*	282.367-303.782=-21.415
σ	0.036-0.059=-0.023
min	282.311-303.687=-21.376
max	282.397-303.835=-21.437

*mean*	441.600-1512.000=-1070.400
σ	2.191-0.000=2.191
min	440.000-1512.000=-1072.000
max	444.000-1512.000=-1068.000

*mean*	0.378-0.392=-0.014
σ	0.009-0.001=0.008
min	0.372-0.391=-0.019
max	0.394-0.394=0.001

iters=5

new-facts=1

prior-facts=6402

*mean*	1267.622-1326.322=-58.700
σ	0.119-0.097=0.022
min	1267.445-1326.196=-58.751
max	1267.778-1326.449=-58.671

*mean*	1093.400-1512.000=-418.600
σ	169.231-0.000=169.231
min	892.000-1512.000=-620.000
max	1323.000-1512.000=-189.000

*mean*	2.146-1.936=0.210
σ	0.206-0.081=0.125
min	1.935-1.847=0.088
max	2.484-2.026=0.458

iters=5

new-facts=6402

prior-facts=1

*mean*	1506.506-1564.484=-57.978
σ	2.917-6.843=-3.926
min	1505.012-1561.271=-56.259
max	1511.713-1576.723=-65.009

*mean*	625.000-1512.000=-887.000
σ	87.164-0.000=87.164
min	495.000-1512.000=-1017.000
max	727.000-1512.000=-785.000

*mean*	2.145-2.497=-0.352
σ	0.104-0.277=-0.173
min	2.026-2.207=-0.181
max	2.306-2.876=-0.569

iters=5

new-facts=6402

prior-facts=6402

*mean*	1829.575-1894.285=-64.710
σ	0.041-0.070=-0.029
min	1829.512-1894.163=-64.652
max	1829.625-1894.336=-64.711

*mean*	1724.000-1765.800=-41.800
σ	188.564-204.286=-15.722
min	1460.000-1512.000=-52.000
max	1898.000-1967.000=-69.000

*mean*	2.986-3.072=-0.085
σ	0.267-0.142=0.125
min	2.800-2.884=-0.084
max	3.455-3.241=0.214

newProductH/cdr_auton/broker

Factor

time_s

iterations=5

*mean*	1.660-1.587=0.073
σ	0.158-0.262=-0.104
min	1.411-1.261=0.150
max	1.796-1.872=-0.076

policy addition benchmark

Factor

allocated MiB

db queries

peak allocated MiB

time

policies=2

*mean*	393.448-447.994=-54.547
σ	509.576-581.120=-71.544
min	138.658-157.430=-18.773
max	1157.812-1319.675=-161.863

*mean*	97.750-96.250=1.500
σ	7.500-8.500=-1.000
min	94.000-92.000=2.000
max	109.000

*mean*	440.000-1512.000=-1072.000
σ	0.000
min	440.000-1512.000=-1072.000
max	440.000-1512.000=-1072.000

*mean*	0.494-0.546=-0.052
σ	0.507-0.562=-0.055
min	0.235-0.263=-0.028
max	1.255-1.389=-0.135

policies=20

*mean*	1386.685-1574.585=-187.900
σ	0.149-0.355=-0.207
min	1386.594-1574.353=-187.759
max	1386.907-1575.114=-188.207

*mean*	940.000-920.000=20.000
σ	0.000
min	940.000-920.000=20.000
max	940.000-920.000=20.000

*mean*	444.750-1512.000=-1067.250
σ	9.500-0.000=9.500
min	440.000-1512.000=-1072.000
max	459.000-1512.000=-1053.000

*mean*	2.296-2.630=-0.334
σ	0.016-0.016=0.001
min	2.272-2.614=-0.342
max	2.308-2.651=-0.343

policies=200

*mean*	13875.632-15753.980=-1878.348
σ	0.101-0.062=0.039
min	13875.562-15753.901=-1878.339
max	13875.779-15754.041=-1878.262

*mean*	9400.000-9200.000=200.000
σ	0.000
min	9400.000-9200.000=200.000
max	9400.000-9200.000=200.000

*mean*	493.000-1512.000=-1019.000
σ	4.243-0.000=4.243
min	489.000-1512.000=-1023.000
max	498.000-1512.000=-1014.000

*mean*	23.244-26.675=-3.431
σ	0.109-0.166=-0.058
min	23.143-26.507=-3.364
max	23.359-26.838=-3.479