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.695-558.664=0.031
σ	0.000
min	558.695-558.664=0.031
max	558.695-558.664=0.031

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.881-54.881=-0.001
σ	0.360-0.361=-0.001
min	54.741-54.744=-0.003
max	55.904-55.907=-0.003

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

*mean*	0.140-0.139=0.001
σ	0.004-0.005=-0.001
min	0.137-0.132=0.005
max	0.150-0.149=0.001

cache=y

dps=1

iters=10

policies=100

*mean*	43.850-43.848=0.001
σ	0.006-0.006=-0.000
min	43.835-43.838=-0.003
max	43.855-43.857=-0.002

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

*mean*	0.124-0.126=-0.002
σ	0.004-0.005=-0.001
min	0.121-0.121=0.000
max	0.133-0.134=-0.001

CSV - indexed operations

Factor

allocated MiB

peak allocated MiB

time (ms)

op=column_set() on indexed

*mean*	36.618-36.618=-0.000
σ	0.002-0.002=0.000
min	36.616
max	36.620

*mean*	4042.000-4041.750=0.250
σ	2007.635-2008.713=-1.077
min	1219.000-1217.000=2.000
max	7146.000-7148.000=-2.000

*mean*	13.379-12.923=0.457
σ	1.677-0.372=1.306
min	12.176-12.390=-0.214
max	17.397-13.538=3.859

op=column_set() on indexed, repeat

*mean*	36.618-36.618=0.000
σ	0.002-0.002=0.000
min	36.616-36.616=-0.000
max	36.620-36.620=-0.000

*mean*	4042.000-4041.750=0.250
σ	2007.635-2008.713=-1.077
min	1219.000-1217.000=2.000
max	7146.000-7148.000=-2.000

*mean*	13.435-12.621=0.814
σ	1.829-0.787=1.043
min	11.855-11.563=0.292
max	17.677-13.883=3.794

op=table_records(), no indexes

*mean*	41.930-41.929=0.000
σ	0.002-0.002=0.000
min	41.928-41.928=0.000
max	41.933-41.932=0.001

*mean*	7146.000-7148.000=-2.000
σ	0.000
min	7146.000-7148.000=-2.000
max	7146.000-7148.000=-2.000

*mean*	15.304-14.964=0.340
σ	0.205-0.302=-0.097
min	15.001-14.619=0.383
max	15.624-15.548=0.076

op=table_records(), repeat

*mean*	41.929-41.929=0.000
σ	0.002-0.002=-0.000
min	41.927-41.927=0.000
max	41.932-41.932=-0.000

*mean*	4042.000-4041.750=0.250
σ	2007.635-2008.713=-1.077
min	1219.000-1217.000=2.000
max	7146.000-7148.000=-2.000

*mean*	14.213-14.967=-0.754
σ	1.727-1.888=-0.161
min	11.223-11.131=0.092
max	15.898-17.896=-1.997

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

*mean*	27.654-27.654=-0.000
σ	0.136-0.136=-0.000
min	27.604-27.604=0.000
max	27.991-27.991=-0.000

*mean*	4042.000-4041.750=0.250
σ	2007.635-2008.713=-1.077
min	1219.000-1217.000=2.000
max	7146.000-7148.000=-2.000

*mean*	9.512-9.939=-0.426
σ	1.299-1.686=-0.387
min	8.291-8.870=-0.578
max	12.593-12.745=-0.152

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

*mean*	26.401-26.401=0.000
σ	0.002-0.002=-0.000
min	26.400-26.400=0.000
max	26.404

*mean*	4042.000-4041.750=0.250
σ	2007.635-2008.713=-1.077
min	1219.000-1217.000=2.000
max	7146.000-7148.000=-2.000

*mean*	7.352-7.620=-0.268
σ	1.305-1.654=-0.349
min	6.057-6.436=-0.379
max	10.407-10.412=-0.005

op=vertical_lookup_row_list() on 2 indexed

*mean*	25.668-25.668=-0.000
σ	0.004-0.004=-0.000
min	25.665
max	25.678

*mean*	4042.000-4041.750=0.250
σ	2007.635-2008.713=-1.077
min	1219.000-1217.000=2.000
max	7146.000-7148.000=-2.000

*mean*	6.225-6.035=0.190
σ	0.612-0.125=0.486
min	5.849-5.812=0.037
max	7.720-6.249=1.470

op=vertical_lookup_row_list() on 3 (1 unindexed)

*mean*	25.970-25.970=0.000
σ	0.002-0.002=-0.000
min	25.968
max	25.972

*mean*	4042.000-4041.750=0.250
σ	2007.635-2008.713=-1.077
min	1219.000-1217.000=2.000
max	7146.000-7148.000=-2.000

*mean*	6.060-5.832=0.228
σ	0.579-0.096=0.483
min	5.682-5.682=-0.000
max	7.459-5.953=1.507

CSV - loading a lazy table

Factor

allocated MiB

peak allocated MiB

time (ms)

op=load_product(), no indexes

*mean*	1021.613-1021.613=-0.000
σ	0.002-0.002=-0.000
min	1021.612
max	1021.616-1021.616=-0.000

*mean*	7146.000-7148.000=-2.000
σ	0.000
min	7146.000-7148.000=-2.000
max	7146.000-7148.000=-2.000

*mean*	375.642-376.757=-1.115
σ	79.364-55.882=23.482
min	342.389-342.390=-0.001
max	571.948-468.116=103.832

op=load_product(), with indexes

*mean*	7917.793-7917.793=0.000
σ	0.469-0.469=-0.000
min	7917.625-7917.624=0.001
max	7918.953-7918.954=-0.000

*mean*	3273.250-3273.625=-0.375
σ	1823.726-1823.179=0.547
min	810.000-809.000=1.000
max	5621.000-5620.000=1.000

*mean*	3684.759-3608.604=76.155
σ	1068.425-1109.127=-40.702
min	3095.669-3051.392=44.277
max	6155.237-6150.966=4.271

CSV - unindexed operations

Factor

allocated MiB

peak allocated MiB

time (ms)

op=column_set() on unindexed, dense

*mean*	62.077-62.077=0.000
σ	0.002-0.002=-0.000
min	62.076-62.076=0.000
max	62.080

*mean*	4042.000-4041.750=0.250
σ	2007.635-2008.713=-1.077
min	1219.000-1217.000=2.000
max	7146.000-7148.000=-2.000

*mean*	83.509-92.894=-9.385
σ	16.403-24.912=-8.510
min	70.954-69.502=1.452
max	110.576-125.673=-15.096

op=vertical_lookup_list() on unindexed missing Int

*mean*	40.946
σ	0.002
min	40.945
max	40.950

*mean*	7146.000-7148.000=-2.000
σ	0.000
min	7146.000-7148.000=-2.000
max	7146.000-7148.000=-2.000

*mean*	61.413-61.424=-0.010
σ	0.259-1.192=-0.933
min	60.993-60.404=0.590
max	61.782-64.187=-2.405

op=vertical_lookup_row_list() on unindexed small unique Int

*mean*	66.688-66.688=-0.000
σ	0.002-0.002=-0.000
min	66.686-66.686=0.000
max	66.691

*mean*	7146.000-7148.000=-2.000
σ	0.000
min	7146.000-7148.000=-2.000
max	7146.000-7148.000=-2.000

*mean*	99.895-289.880=-189.985
σ	0.347-381.681=-381.334
min	99.180-97.801=1.379
max	100.395-1131.554=-1031.159

CSV - warmup

Factor

allocated MiB

peak allocated MiB

time (ms)

op=table_records()

*mean*	14217.171-14217.171=-0.000
σ	4.303-4.303=0.000
min	14215.575-14215.576=-0.001
max	14227.820

*mean*	4042.000-4041.750=0.250
σ	2007.635-2008.713=-1.077
min	1219.000-1217.000=2.000
max	7146.000-7148.000=-2.000

*mean*	7992.993-7921.736=71.257
σ	1665.219-1858.373=-193.154
min	6001.751-5989.153=12.597
max	10319.829-10580.574=-260.746

op=vertical_lookup_list() on indexed

*mean*	13159.109-13159.108=0.000
σ	0.002-0.002=0.000
min	13159.106-13159.105=0.001
max	13159.110

*mean*	7146.000-7148.000=-2.000
σ	0.000
min	7146.000-7148.000=-2.000
max	7146.000-7148.000=-2.000

*mean*	5120.916-5356.499=-235.583
σ	212.338-617.262=-404.923
min	4986.295-4998.673=-12.378
max	5491.934-6791.936=-1300.002

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*	476.000-478.000=-2.000
σ	0.000
min	476.000-478.000=-2.000
max	476.000-478.000=-2.000

*mean*	363.533-367.548=-4.015
σ	20.282-35.083=-14.801
min	345.615-294.049=51.566
max	390.793-391.406=-0.614

op=pointedIndexFromKvs

rows=400000

*mean*	357.322
σ	0.001
min	357.321
max	357.325

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

*mean*	782.676-739.748=42.928
σ	11.215-56.994=-45.779
min	766.875-631.386=135.488
max	798.307-788.007=10.301

Marine Hull: transactPolicy

Factor

allocated MiB

peak allocated MiB

time

datapoints=1

iterations=20

*mean*	1024.298-1024.299=-0.001
σ	0.759-0.759=0.000
min	1023.825-1023.826=-0.001
max	1027.437-1027.437=-0.001

*mean*	1044.550-1040.550=4.000
σ	305.066-300.677=4.389
min	570.000-552.000=18.000
max	1500.000-1462.000=38.000

*mean*	1.580-1.558=0.022
σ	0.139-0.073=0.066
min	1.380-1.455=-0.075
max	2.041-1.770=0.271

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.302-0.292=0.010
σ	0.292-0.292=0.000
min	0.142-0.134=0.008
max	0.819-0.809=0.010

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.475-0.480=-0.005
σ	0.322-0.315=0.007
min	0.316-0.330=-0.013
max	1.050-1.043=0.008

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.219-0.218=0.001
σ	0.020-0.022=-0.002
min	0.207-0.202=0.005
max	0.255-0.254=0.001

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.335-0.330=0.005
σ	0.013-0.018=-0.005
min	0.323-0.317=0.005
max	0.356-0.360=-0.004

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*	433.600-436.200=-2.600
σ	3.130-1.789=1.342
min	431.000-433.000=-2.000
max	437.000

*mean*	0.550-0.564=-0.013
σ	0.039-0.059=-0.021
min	0.499-0.473=0.025
max	0.604-0.610=-0.006

name=cdr_enhanced_4k_loc.art

*mean*	885.820
σ	0.002
min	885.819
max	885.823

*mean*	437.000-441.000=-4.000
σ	0.000
min	437.000-441.000=-4.000
max	437.000-441.000=-4.000

*mean*	0.486-0.447=0.039
σ	0.047-0.044=0.002
min	0.418-0.382=0.035
max	0.521-0.483=0.038

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-441.000=-4.000
σ	0.000
min	437.000-441.000=-4.000
max	437.000-441.000=-4.000

*mean*	2.596-1.956=0.640
σ	0.100-0.067=0.032
min	2.456-1.845=0.611
max	3.017-2.221=0.796

name=record_render_large_syntax_err.art

*mean*	7.657
σ	0.002
min	7.656
max	7.660

*mean*	437.000-441.000=-4.000
σ	0.000
min	437.000-441.000=-4.000
max	437.000-441.000=-4.000

*mean*	2.583-1.953=0.630
σ	0.072-0.091=-0.020
min	2.432-1.823=0.609
max	2.754-2.649=0.105

name=record_render_success.art

*mean*	2.289
σ	0.002
min	2.289
max	2.293

*mean*	437.000-441.000=-4.000
σ	0.000
min	437.000-441.000=-4.000
max	437.000-441.000=-4.000

*mean*	0.306-0.310=-0.005
σ	0.008-0.028=-0.020
min	0.290-0.289=0.001
max	0.353-0.582=-0.229

name=record_render_syntax_err.art

*mean*	2.165
σ	0.002
min	2.164
max	2.168

*mean*	437.000-441.000=-4.000
σ	0.000
min	437.000-441.000=-4.000
max	437.000-441.000=-4.000

*mean*	0.306-0.295=0.011
σ	0.076-0.008=0.068
min	0.275-0.282=-0.006
max	0.852-0.336=0.516

SoV import

Factor

allocated MiB

peak allocated MiB

time_s

iters=10

rows=1000

*mean*	298.678-298.633=0.045
σ	1.002-1.001=0.001
min	298.223-298.259=-0.036
max	301.524-301.480=0.044

*mean*	444.600-438.700=5.900
σ	18.951-12.356=6.595
min	418.000-416.000=2.000
max	471.000-458.000=13.000

*mean*	0.612-0.600=0.012
σ	0.014-0.029=-0.015
min	0.598-0.540=0.058
max	0.637-0.642=-0.005

Timed compile per phase

Factor

allocated MiB

peak allocated MiB

time (ms)

phase=buildDeclTree

*mean*	236.681-236.678=0.004
σ	0.000-0.000=-0.000
min	236.681-236.678=0.004
max	236.681-236.678=0.004

*mean*	822.000-1065.625=-243.625
σ	0.000-35.002=-35.002
min	822.000-979.000=-157.000
max	822.000-1078.000=-256.000

*mean*	210.562-217.048=-6.487
σ	3.803-8.623=-4.820
min	205.693-206.083=-0.390
max	216.780-234.947=-18.166

phase=macro expansion

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

*mean*	820.625-1065.625=-245.000
σ	3.889-35.002=-31.113
min	811.000-979.000=-168.000
max	822.000-1078.000=-256.000

*mean*	10.216-7.320=2.896
σ	2.448-1.328=1.120
min	6.642-6.233=0.409
max	14.020-9.390=4.630

phase=parser

*mean*	1042.362-1042.363=-0.001
σ	0.000-0.000=0.000
min	1042.361-1042.362=-0.001
max	1042.362-1042.363=-0.001

*mean*	820.250-1065.625=-245.375
σ	4.950-35.002=-30.052
min	808.000-979.000=-171.000
max	822.000-1078.000=-256.000

*mean*	540.439-531.701=8.738
σ	102.516-43.521=58.994
min	407.950-480.198=-72.248
max	729.861-602.418=127.444

phase=processProdDef

*mean*	4850.764-4850.764=-0.001
σ	0.000-0.000=-0.000
min	4850.764-4850.764=-0.000
max	4850.764-4850.765=-0.001

*mean*	822.000-1078.000=-256.000
σ	0.000
min	822.000-1078.000=-256.000
max	822.000-1078.000=-256.000

*mean*	4841.556-4805.660=35.896
σ	558.635-622.284=-63.649
min	4049.588-3698.760=350.828
max	5451.330-5581.946=-130.616

phase=renaming

*mean*	21.671
σ	0.000
min	21.671
max	21.671

*mean*	822.000-1065.625=-243.625
σ	0.000-35.002=-35.002
min	822.000-979.000=-157.000
max	822.000-1078.000=-256.000

*mean*	41.798-26.297=15.501
σ	18.486-8.400=10.086
min	20.695-20.665=0.030
max	82.156-39.795=42.361

phase=type checker

*mean*	990.450
σ	0.071
min	990.344
max	990.563

*mean*	822.000-1065.625=-243.625
σ	0.000-35.002=-35.002
min	822.000-979.000=-157.000
max	822.000-1078.000=-256.000

*mean*	770.925-700.134=70.791
σ	100.259-60.792=39.467
min	663.154-645.943=17.212
max	928.787-807.624=121.163

Workflow: transactPolicy

Factor

allocated MiB

peak allocated MiB

time

iters=5

new-facts=1

prior-facts=1

*mean*	293.821-293.819=0.002
σ	0.038-0.038=0.000
min	293.768-293.767=0.001
max	293.861-293.859=0.002

*mean*	443.400-444.400=-1.000
σ	0.548
min	443.000-444.000=-1.000
max	444.000-445.000=-1.000

*mean*	0.392-0.400=-0.009
σ	0.002-0.007=-0.006
min	0.389-0.394=-0.005
max	0.393-0.410=-0.016

iters=5

new-facts=1

prior-facts=6402

*mean*	1320.212-1320.201=0.011
σ	0.033-0.043=-0.010
min	1320.172-1320.143=0.029
max	1320.249-1320.240=0.010

*mean*	1098.000-1113.800=-15.800
σ	189.398-181.911=7.486
min	838.000-895.000=-57.000
max	1325.000-1358.000=-33.000

*mean*	2.281-2.250=0.030
σ	0.106-0.076=0.031
min	2.172-2.135=0.037
max	2.457-2.319=0.139

iters=5

new-facts=6402

prior-facts=1

*mean*	1560.612-1560.644=-0.032
σ	6.212-6.235=-0.023
min	1557.636-1557.708=-0.072
max	1571.720-1571.795=-0.076

*mean*	617.400-632.600=-15.200
σ	81.834-85.891=-4.057
min	493.000-502.000=-9.000
max	713.000-725.000=-12.000

*mean*	2.305-2.424=-0.119
σ	0.134-0.317=-0.184
min	2.188-2.180=0.008
max	2.528-2.816=-0.288

iters=5

new-facts=6402

prior-facts=6402

*mean*	1882.169-1882.174=-0.005
σ	0.065-0.061=0.004
min	1882.084-1882.093=-0.009
max	1882.252-1882.250=0.002

*mean*	1730.800-1745.400=-14.600
σ	174.113-219.882=-45.770
min	1472.000-1454.000=18.000
max	1880.000-1953.000=-73.000

*mean*	3.133-3.221=-0.088
σ	0.219-0.319=-0.101
min	2.938-2.909=0.029
max	3.496-3.713=-0.217

newProductH/cdr_auton/broker

Factor

time_s

iterations=5

*mean*	1.657-1.747=-0.090
σ	0.170-0.095=0.075
min	1.458-1.638=-0.180
max	1.861-1.858=0.003

policy addition benchmark

Factor

allocated MiB

db queries

peak allocated MiB

time

policies=2

*mean*	452.081-452.081=-0.000
σ	582.721-582.723=-0.002
min	160.719-160.716=0.004
max	1326.162-1326.166=-0.004

*mean*	102.250
σ	8.500
min	98.000
max	115.000

*mean*	440.000-442.000=-2.000
σ	0.000
min	440.000-442.000=-2.000
max	440.000-442.000=-2.000

*mean*	0.545-0.547=-0.003
σ	0.536-0.550=-0.014
min	0.269-0.266=0.004
max	1.349-1.372=-0.024

policies=20

*mean*	1607.528-1607.530=-0.003
σ	0.412-0.419=-0.007
min	1607.246-1607.249=-0.002
max	1608.137-1608.151=-0.014

*mean*	980.000
σ	0.000
min	980.000
max	980.000

*mean*	447.500-449.500=-2.000
σ	8.660
min	440.000-442.000=-2.000
max	455.000-457.000=-2.000

*mean*	2.686-2.693=-0.007
σ	0.009-0.017=-0.008
min	2.676-2.674=0.002
max	2.695-2.715=-0.021

policies=200

*mean*	16083.452-16083.392=0.060
σ	0.116-0.077=0.039
min	16083.368-16083.302=0.066
max	16083.618-16083.460=0.158

*mean*	9800.000
σ	0.000
min	9800.000
max	9800.000

*mean*	495.500-498.500=-3.000
σ	5.447-3.697=1.750
min	489.000-494.000=-5.000
max	502.000-503.000=-1.000

*mean*	27.282-27.229=0.053
σ	0.124-0.070=0.054
min	27.192-27.140=0.053
max	27.462-27.288=0.174