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)

Factor

compact size MiB

phase=processProdDef

*mean*	558.633
σ	0.000
min	558.633
max	558.633

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.678-33.979=20.699
σ	0.358-0.050=0.307
min	54.544-33.947=20.598
max	55.695-34.119=21.576

*mean*	416.000
σ	0.000
min	416.000
max	416.000

*mean*	0.140-0.084=0.056
σ	0.006-0.003=0.003
min	0.132-0.082=0.051
max	0.149-0.091=0.058

cache=y

dps=1

iters=10

policies=100

*mean*	43.704-23.317=20.387
σ	0.007-0.003=0.004
min	43.694-23.314=20.380
max	43.715-23.324=20.391

*mean*	416.000
σ	0.000
min	416.000
max	416.000

*mean*	0.125-0.065=0.060
σ	0.004-0.003=0.001
min	0.121-0.063=0.057
max	0.130-0.072=0.058

CSV - indexed operations

Factor

allocated MiB

peak allocated MiB

time (ms)

op=column_set() on indexed

*mean*	36.618
σ	0.002
min	36.616
max	36.620

*mean*	3863.875
σ	1832.186
min	1280.000
max	6116.000

*mean*	12.472
σ	0.406
min	11.943
max	13.072

op=column_set() on indexed, repeat

*mean*	36.618
σ	0.002
min	36.616
max	36.620

*mean*	3863.875
σ	1832.186
min	1280.000
max	6116.000

*mean*	12.535
σ	0.449
min	11.647
max	13.168

op=table_records(), no indexes

*mean*	41.929
σ	0.002
min	41.928
max	41.933

*mean*	6116.000
σ	0.000
min	6116.000
max	6116.000

*mean*	14.473
σ	0.217
min	14.174
max	14.770

op=table_records(), repeat

*mean*	41.928
σ	0.000
min	41.928
max	41.929

*mean*	3863.875
σ	1832.186
min	1280.000
max	6116.000

*mean*	12.809
σ	1.739
min	10.483
max	15.652

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

*mean*	27.654
σ	0.136
min	27.604
max	27.991

*mean*	3863.875
σ	1832.186
min	1280.000
max	6116.000

*mean*	8.950
σ	1.421
min	7.953
max	12.401

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

*mean*	26.401
σ	0.002
min	26.400
max	26.404

*mean*	3863.875
σ	1832.186
min	1280.000
max	6116.000

*mean*	6.896
σ	1.282
min	5.961
max	10.012

op=vertical_lookup_row_list() on 2 indexed

*mean*	25.669
σ	0.003
min	25.666
max	25.674

*mean*	3863.875
σ	1832.186
min	1280.000
max	6116.000

*mean*	5.550
σ	0.170
min	5.243
max	5.681

op=vertical_lookup_row_list() on 3 (1 unindexed)

*mean*	25.970
σ	0.002
min	25.968
max	25.974

*mean*	3863.875
σ	1832.186
min	1280.000
max	6116.000

*mean*	5.318
σ	0.063
min	5.215
max	5.421

CSV - loading a lazy table

Factor

allocated MiB

peak allocated MiB

time (ms)

op=load_product(), no indexes

*mean*	2524.604
σ	0.002
min	2524.602
max	2524.607

*mean*	6116.000
σ	0.000
min	6116.000
max	6116.000

*mean*	1321.228
σ	505.160
min	1036.704
max	2140.729

op=load_product(), with indexes

*mean*	7878.102
σ	0.469
min	7877.935
max	7879.264

*mean*	3228.125
σ	1829.593
min	809.000
max	6116.000

*mean*	3801.047
σ	1282.787
min	3086.981
max	6210.446

CSV - unindexed operations

Factor

allocated MiB

peak allocated MiB

time (ms)

op=column_set() on unindexed, dense

*mean*	62.078
σ	0.002
min	62.076
max	62.081

*mean*	3863.875
σ	1832.186
min	1280.000
max	6116.000

*mean*	86.511
σ	16.663
min	70.387
max	116.743

op=vertical_lookup_list() on unindexed missing Int

*mean*	40.946
σ	0.002
min	40.945
max	40.949

*mean*	6116.000
σ	0.000
min	6116.000
max	6116.000

*mean*	62.569
σ	4.111
min	59.393
max	70.251

op=vertical_lookup_row_list() on unindexed small unique Int

*mean*	66.687
σ	0.002
min	66.686
max	66.690

*mean*	6116.000
σ	0.000
min	6116.000
max	6116.000

*mean*	99.094
σ	1.619
min	98.044
max	102.985

CSV - warmup

Factor

allocated MiB

peak allocated MiB

time (ms)

op=table_records()

*mean*	11849.156
σ	4.304
min	11847.561
max	11859.806

*mean*	3863.875
σ	1832.186
min	1280.000
max	6116.000

*mean*	6366.419
σ	1209.692
min	5018.743
max	8363.040

op=vertical_lookup_list() on indexed

*mean*	10791.094
σ	0.002
min	10791.092
max	10791.096

*mean*	6116.000
σ	0.000
min	6116.000
max	6116.000

*mean*	5079.843
σ	1525.072
min	4062.373
max	7485.630

CSV internal benchmark: pointedIndexFromKvs

Factor

allocated MiB

peak allocated MiB

time (ms)

op=pointedIndexFromKvs

rows=200000

*mean*	172.559
σ	0.001
min	172.558
max	172.562

*mean*	477.000
σ	0.000
min	477.000
max	477.000

*mean*	373.171
σ	17.737
min	349.100
max	390.600

op=pointedIndexFromKvs

rows=400000

*mean*	357.322
σ	0.001
min	357.321
max	357.325

*mean*	560.000
σ	0.000
min	560.000
max	560.000

*mean*	755.059
σ	48.990
min	637.397
max	792.079

Marine Hull: transactPolicy

Factor

allocated MiB

peak allocated MiB

time

datapoints=1

iterations=20

*mean*	1024.327-1757.494=-733.167
σ	0.759-0.365=0.394
min	1023.853-1756.921=-733.068
max	1027.464-1758.080=-730.616

*mean*	1051.400-1647.200=-595.800
σ	318.527-634.933=-316.405
min	545.000-654.000=-109.000
max	1563.000-2832.000=-1269.000

*mean*	1.564-2.377=-0.813
σ	0.073-0.110=-0.038
min	1.405-2.281=-0.876
max	1.724-2.671=-0.947

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.397
σ	0.508
min	0.145
max	1.304

name=error_case.art

*mean*	2.339
σ	0.012
min	2.333
max	2.361

*mean*	402.000
σ	0.000
min	402.000
max	402.000

*mean*	0.479
σ	0.324
min	0.324
max	1.058

name=heavy_item.art

*mean*	1.522
σ	0.002
min	1.521
max	1.525

*mean*	402.000
σ	0.000
min	402.000
max	402.000

*mean*	0.213
σ	0.020
min	0.193
max	0.245

name=nested_use.art

*mean*	2.357
σ	0.002
min	2.356
max	2.360

*mean*	402.000
σ	0.000
min	402.000
max	402.000

*mean*	0.337
σ	0.015
min	0.325
max	0.363

Parser: Real World

Factor

allocated MiB

peak allocated MiB

time (sec)

name=aon_gpf25_7k_loc.art

*mean*	964.840
σ	0.011
min	964.835
max	964.859

*mean*	436.200
σ	1.789
min	433.000
max	437.000

*mean*	0.549
σ	0.045
min	0.486
max	0.601

name=cdr_enhanced_4k_loc.art

*mean*	885.820
σ	0.002
min	885.819
max	885.823

*mean*	437.000
σ	0.000
min	437.000
max	437.000

*mean*	0.500
σ	0.029
min	0.469
max	0.533

Parser: Record Parsing

Factor

allocated MiB

peak allocated MiB

time (ms)

name=record_render_large_success.art

*mean*	7.709
σ	0.002
min	7.708
max	7.712

*mean*	437.000
σ	0.000
min	437.000
max	437.000

*mean*	1.871
σ	0.107
min	1.729
max	2.309

name=record_render_large_syntax_err.art

*mean*	7.657
σ	0.002
min	7.656
max	7.660

*mean*	437.000
σ	0.000
min	437.000
max	437.000

*mean*	1.870
σ	0.100
min	1.703
max	2.283

name=record_render_success.art

*mean*	2.289
σ	0.002
min	2.289
max	2.293

*mean*	437.000
σ	0.000
min	437.000
max	437.000

*mean*	0.307
σ	0.009
min	0.293
max	0.359

name=record_render_syntax_err.art

*mean*	2.165
σ	0.002
min	2.164
max	2.168

*mean*	437.000
σ	0.000
min	437.000
max	437.000

*mean*	0.293
σ	0.006
min	0.279
max	0.325

SoV import

Factor

allocated MiB

peak allocated MiB

time_s

iters=10

rows=1000

*mean*	298.743
σ	1.043
min	298.310
max	301.707

*mean*	443.600
σ	14.909
min	425.000
max	471.000

*mean*	0.597
σ	0.020
min	0.547
max	0.620

Timed compile per phase

Factor

allocated MiB

peak allocated MiB

time (ms)

phase=buildDeclTree

*mean*	236.678
σ	0.000
min	236.678
max	236.678

*mean*	1707.250
σ	2.121
min	1702.000
max	1708.000

*mean*	214.826
σ	4.552
min	209.663
max	224.854

phase=macro expansion

*mean*	6.130
σ	0.000
min	6.130
max	6.130

*mean*	1707.250
σ	2.121
min	1702.000
max	1708.000

*mean*	9.538
σ	0.924
min	7.451
max	10.358

phase=parser

*mean*	1042.367
σ	0.000
min	1042.367
max	1042.367

*mean*	1707.250
σ	2.121
min	1702.000
max	1708.000

*mean*	614.988
σ	121.468
min	422.386
max	830.084

phase=processProdDef

*mean*	4753.276
σ	0.000
min	4753.276
max	4753.276

*mean*	1708.000
σ	0.000
min	1708.000
max	1708.000

*mean*	4125.092
σ	774.278
min	3137.691
max	5363.823

phase=renaming

*mean*	21.671
σ	0.000
min	21.671
max	21.671

*mean*	1707.250
σ	2.121
min	1702.000
max	1708.000

*mean*	35.393
σ	5.547
min	26.222
max	40.886

phase=type checker

*mean*	990.454
σ	0.071
min	990.348
max	990.567

*mean*	1707.250
σ	2.121
min	1702.000
max	1708.000

*mean*	737.502
σ	82.920
min	650.917
max	864.030

Workflow: transactPolicy

Factor

allocated MiB

peak allocated MiB

time

iters=5

new-facts=1

prior-facts=1

*mean*	293.918-326.635=-32.717
σ	0.038-0.054=-0.016
min	293.864-326.539=-32.675
max	293.957-326.668=-32.711

*mean*	445.000-2832.000=-2387.000
σ	0.000
min	445.000-2832.000=-2387.000
max	445.000-2832.000=-2387.000

*mean*	0.399-0.423=-0.025
σ	0.006-0.001=0.006
min	0.393-0.422=-0.029
max	0.407-0.424=-0.017

iters=5

new-facts=1

prior-facts=6402

*mean*	1320.307-1988.804=-668.497
σ	0.037-0.008=0.028
min	1320.253-1988.792=-668.539
max	1320.342-1988.814=-668.472

*mean*	1088.200-2832.000=-1743.800
σ	168.353-0.000=168.353
min	889.000-2832.000=-1943.000
max	1320.000-2832.000=-1512.000

*mean*	2.287-2.703=-0.416
σ	0.239-0.105=0.133
min	2.113-2.578=-0.466
max	2.677-2.831=-0.154

iters=5

new-facts=6402

prior-facts=1

*mean*	1559.439-4813.663=-3254.223
σ	3.364-7.776=-4.411
min	1557.752-4810.133=-3252.382
max	1565.450-4827.572=-3262.123

*mean*	626.600-2832.000=-2205.400
σ	73.667-0.000=73.667
min	538.000-2832.000=-2294.000
max	724.000-2832.000=-2108.000

*mean*	2.281-8.991=-6.711
σ	0.107-0.405=-0.298
min	2.124-8.602=-6.478
max	2.398-9.591=-7.194

iters=5

new-facts=6402

prior-facts=6402

*mean*	1882.269-5001.211=-3118.943
σ	0.057-0.039=0.017
min	1882.202-5001.177=-3118.975
max	1882.353-5001.274=-3118.921

*mean*	1720.800-3054.000=-1333.200
σ	186.964-216.849=-29.885
min	1461.000-2832.000=-1371.000
max	1894.000-3328.000=-1434.000

*mean*	3.098-9.915=-6.817
σ	0.350-0.203=0.148
min	2.886-9.641=-6.755
max	3.716-10.195=-6.479

newProductH/cdr_auton/broker

Factor

time_s

iterations=5

*mean*	1.858-0.923=0.935
σ	0.042-0.008=0.035
min	1.814-0.915=0.899
max	1.929-0.935=0.993

policy addition benchmark

Factor

allocated MiB

db queries

peak allocated MiB

time

policies=2

*mean*	452.411-464.629=-12.218
σ	583.278-574.767=8.510
min	160.769-177.244=-16.474
max	1327.328-1326.780=0.547

*mean*	102.250-88.250=14.000
σ	8.500
min	98.000-84.000=14.000
max	115.000-101.000=14.000

*mean*	444.000-2832.000=-2388.000
σ	0.000
min	444.000-2832.000=-2388.000
max	444.000-2832.000=-2388.000

*mean*	0.553-0.437=0.116
σ	0.567-0.307=0.260
min	0.268-0.279=-0.011
max	1.404-0.897=0.507

policies=20

*mean*	1608.054-1772.723=-164.669
σ	0.438-0.360=0.078
min	1607.759-1772.496=-164.737
max	1608.704-1773.259=-164.555

*mean*	980.000-840.000=140.000
σ	0.000
min	980.000-840.000=140.000
max	980.000-840.000=140.000

*mean*	447.750-2832.000=-2384.250
σ	2.500-0.000=2.500
min	444.000-2832.000=-2388.000
max	449.000-2832.000=-2383.000

*mean*	2.738-2.794=-0.057
σ	0.041-0.008=0.032
min	2.710-2.788=-0.079
max	2.798-2.807=-0.008

policies=200

*mean*	16088.481-17734.030=-1645.549
σ	0.107-0.398=-0.292
min	16088.345-17733.667=-1645.322
max	16088.594-17734.598=-1646.004

*mean*	9800.000-8400.000=1400.000
σ	0.000
min	9800.000-8400.000=1400.000
max	9800.000-8400.000=1400.000

*mean*	499.750-2832.000=-2332.250
σ	6.238-0.000=6.238
min	493.000-2832.000=-2339.000
max	506.000-2832.000=-2326.000

*mean*	27.442-27.776=-0.334
σ	0.134-0.392=-0.257
min	27.313-27.387=-0.074
max	27.589-28.181=-0.593