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.671-54.677=-0.007
σ	0.358-0.360=-0.002
min	54.539-54.540=-0.001
max	55.688-55.700=-0.012

*mean*	419.000-417.000=2.000
σ	0.000
min	419.000-417.000=2.000
max	419.000-417.000=2.000

*mean*	0.141-0.142=-0.001
σ	0.005-0.005=-0.001
min	0.137-0.138=-0.000
max	0.149-0.151=-0.002

cache=y

dps=1

iters=10

policies=100

*mean*	43.700-43.706=-0.006
σ	0.006-0.006=-0.000
min	43.692-43.697=-0.004
max	43.707-43.713=-0.006

*mean*	419.000-417.000=2.000
σ	0.000
min	419.000-417.000=2.000
max	419.000-417.000=2.000

*mean*	0.122-0.124=-0.001
σ	0.005-0.005=0.000
min	0.117-0.118=-0.001
max	0.132-0.130=0.002

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-36.616=0.000
max	36.620-36.620=-0.000

*mean*	3863.875-4148.125=-284.250
σ	1831.582-1890.283=-58.701
min	1280.000-1558.000=-278.000
max	6113.000-7272.000=-1159.000

*mean*	12.758-13.071=-0.313
σ	0.288-0.225=0.063
min	12.431-12.768=-0.337
max	13.199-13.413=-0.214

op=column_set() on indexed, repeat

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

*mean*	3863.875-4148.125=-284.250
σ	1831.582-1890.283=-58.701
min	1280.000-1558.000=-278.000
max	6113.000-7272.000=-1159.000

*mean*	12.687-12.643=0.044
σ	0.780-0.494=0.286
min	11.421-12.086=-0.665
max	13.856-13.308=0.548

op=table_records(), no indexes

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

*mean*	6113.000-7272.000=-1159.000
σ	0.000
min	6113.000-7272.000=-1159.000
max	6113.000-7272.000=-1159.000

*mean*	15.115-15.253=-0.138
σ	0.384-0.199=0.186
min	14.482-14.800=-0.317
max	15.680-15.429=0.251

op=table_records(), repeat

*mean*	41.928-41.929=-0.001
σ	0.000-0.001=-0.001
min	41.928-41.928=-0.000
max	41.929-41.931=-0.003

*mean*	3863.875-4148.125=-284.250
σ	1831.582-1890.283=-58.701
min	1280.000-1558.000=-278.000
max	6113.000-7272.000=-1159.000

*mean*	14.065-13.343=0.723
σ	1.829-1.729=0.100
min	11.067-11.205=-0.138
max	16.448-15.169=1.279

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*	3863.875-4148.125=-284.250
σ	1831.582-1890.283=-58.701
min	1280.000-1558.000=-278.000
max	6113.000-7272.000=-1159.000

*mean*	9.350-9.002=0.348
σ	1.547-0.558=0.990
min	8.288-8.565=-0.276
max	13.125-10.149=2.976

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

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

*mean*	3863.875-4148.125=-284.250
σ	1831.582-1890.283=-58.701
min	1280.000-1558.000=-278.000
max	6113.000-7272.000=-1159.000

*mean*	7.119-6.805=0.313
σ	0.995-0.228=0.767
min	6.219-6.388=-0.169
max	9.499-7.070=2.429

op=vertical_lookup_row_list() on 2 indexed

*mean*	25.669-25.668=0.001
σ	0.003-0.003=-0.000
min	25.666-25.666=0.000
max	25.674-25.674=-0.000

*mean*	3863.875-4148.125=-284.250
σ	1831.582-1890.283=-58.701
min	1280.000-1558.000=-278.000
max	6113.000-7272.000=-1159.000

*mean*	6.029-6.033=-0.004
σ	0.107-0.130=-0.024
min	5.825-5.819=0.005
max	6.116-6.184=-0.068

op=vertical_lookup_row_list() on 3 (1 unindexed)

*mean*	25.970-25.970=0.001
σ	0.002-0.002=0.000
min	25.968-25.968=0.000
max	25.974

*mean*	3863.875-4148.125=-284.250
σ	1831.582-1890.283=-58.701
min	1280.000-1558.000=-278.000
max	6113.000-7272.000=-1159.000

*mean*	5.756-5.815=-0.058
σ	0.271-0.230=0.041
min	5.154-5.523=-0.369
max	6.004-6.224=-0.221

CSV - loading a lazy table

Factor

allocated MiB

peak allocated MiB

time (ms)

op=load_product(), no indexes

*mean*	2524.604-2524.606=-0.002
σ	0.002-0.000=0.002
min	2524.602-2524.606=-0.003
max	2524.606-2524.606=-0.000

*mean*	6113.000-7272.000=-1159.000
σ	0.000
min	6113.000-7272.000=-1159.000
max	6113.000-7272.000=-1159.000

*mean*	1380.461-1588.843=-208.382
σ	607.770-1035.886=-428.116
min	1046.711-1031.833=14.878
max	2418.772-4024.177=-1605.405

op=load_product(), with indexes

*mean*	7878.102-8744.722=-866.620
σ	0.470-0.469=0.000
min	7877.935-8744.553=-866.618
max	7879.264-8745.883=-866.619

*mean*	3228.500-3569.625=-341.125
σ	1829.611-1791.035=38.576
min	810.000-1045.000=-235.000
max	6113.000-5778.000=335.000

*mean*	3577.527-4777.631=-1200.105
σ	934.951-1628.412=-693.461
min	3101.024-3534.954=-433.930
max	5651.964-7544.617=-1892.653

CSV - unindexed operations

Factor

allocated MiB

peak allocated MiB

time (ms)

op=column_set() on unindexed, dense

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

*mean*	3863.875-4148.125=-284.250
σ	1831.582-1890.283=-58.701
min	1280.000-1558.000=-278.000
max	6113.000-7272.000=-1159.000

*mean*	90.972-81.561=9.411
σ	20.255-10.732=9.523
min	70.771-72.032=-1.261
max	126.118-99.102=27.016

op=vertical_lookup_list() on unindexed missing Int

*mean*	40.946-40.945=0.001
σ	0.002-0.001=0.001
min	40.945-40.944=0.000
max	40.949-40.946=0.002

*mean*	6113.000-7272.000=-1159.000
σ	0.000
min	6113.000-7272.000=-1159.000
max	6113.000-7272.000=-1159.000

*mean*	63.801-107.524=-43.723
σ	3.788-3.177=0.611
min	60.802-103.985=-43.183
max	69.242-113.011=-43.769

op=vertical_lookup_row_list() on unindexed small unique Int

*mean*	66.687-66.686=0.001
σ	0.002-0.000=0.001
min	66.686-66.686=0.000
max	66.690-66.687=0.002

*mean*	6113.000-7272.000=-1159.000
σ	0.000
min	6113.000-7272.000=-1159.000
max	6113.000-7272.000=-1159.000

*mean*	100.018-164.407=-64.389
σ	1.033-4.220=-3.187
min	98.933-154.786=-55.853
max	102.181-167.791=-65.611

CSV - warmup

Factor

allocated MiB

peak allocated MiB

time (ms)

op=table_records()

*mean*	11849.156-11656.900=192.256
σ	4.304-4.304=-0.000
min	11847.562-11655.306=192.255
max	11859.806-11667.552=192.254

*mean*	3863.875-4148.125=-284.250
σ	1831.582-1890.283=-58.701
min	1280.000-1558.000=-278.000
max	6113.000-7272.000=-1159.000

*mean*	6094.897-6495.070=-400.173
σ	993.723-1314.019=-320.297
min	4991.868-4969.571=22.298
max	7419.991-8327.168=-907.177

op=vertical_lookup_list() on indexed

*mean*	10791.094-11560.066=-768.972
σ	0.002-0.001=0.002
min	10791.091-11560.066=-768.974
max	10791.096-11560.067=-768.971

*mean*	6113.000-7272.000=-1159.000
σ	0.000
min	6113.000-7272.000=-1159.000
max	6113.000-7272.000=-1159.000

*mean*	5216.997-5841.919=-624.921
σ	1632.981-1583.818=49.163
min	4039.635-4391.716=-352.081
max	7571.910-8361.234=-789.324

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*	389.153-356.243=32.910
σ	15.996-42.357=-26.360
min	350.459-295.364=55.095
max	402.099-394.642=7.457

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*	760.217-718.150=42.067
σ	32.726-72.298=-39.572
min	685.782-608.306=77.476
max	795.566-772.223=23.343

Marine Hull: transactPolicy

Factor

allocated MiB

peak allocated MiB

time

datapoints=1

iterations=20

*mean*	1024.329-1024.327=0.001
σ	0.759-0.759=-0.000
min	1023.855-1023.854=0.001
max	1027.465-1027.465=0.001

*mean*	1050.850-1040.600=10.250
σ	320.186-293.162=27.024
min	544.000-545.000=-1.000
max	1567.000-1436.000=131.000

*mean*	1.550-1.562=-0.012
σ	0.092-0.072=0.020
min	1.360-1.501=-0.141
max	1.813-1.790=0.023

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.447-0.499=-0.052
σ	0.617-0.481=0.137
min	0.142-0.249=-0.107
max	1.549-1.354=0.196

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.831=-0.352
σ	0.322-0.513=-0.190
min	0.322-0.575=-0.253
max	1.055-1.747=-0.692

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.382=-0.163
σ	0.022-0.036=-0.014
min	0.202-0.357=-0.155
max	0.257-0.445=-0.188

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.338-0.589=-0.251
σ	0.013-0.023=-0.010
min	0.327-0.567=-0.240
max	0.361-0.623=-0.262

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.000-433.600=2.400
σ	5.612-3.130=2.482
min	431.000
max	442.000-437.000=5.000

*mean*	0.537-0.602=-0.065
σ	0.036-0.089=-0.053
min	0.478-0.508=-0.030
max	0.571-0.751=-0.180

name=cdr_enhanced_4k_loc.art

*mean*	885.820
σ	0.002
min	885.819
max	885.823

*mean*	442.000-437.000=5.000
σ	0.000
min	442.000-437.000=5.000
max	442.000-437.000=5.000

*mean*	0.461-0.481=-0.020
σ	0.045-0.025=0.020
min	0.410-0.449=-0.039
max	0.521-0.518=0.002

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*	442.000-437.000=5.000
σ	0.000
min	442.000-437.000=5.000
max	442.000-437.000=5.000

*mean*	2.682-1.987=0.695
σ	0.126-0.091=0.036
min	2.513-1.854=0.659
max	3.395-2.412=0.983

name=record_render_large_syntax_err.art

*mean*	7.657
σ	0.002
min	7.656
max	7.660

*mean*	442.000-437.000=5.000
σ	0.000
min	442.000-437.000=5.000
max	442.000-437.000=5.000

*mean*	2.214-2.535=-0.321
σ	0.325-0.148=0.177
min	1.828-1.862=-0.034
max	2.839-2.869=-0.030

name=record_render_success.art

*mean*	2.289
σ	0.002
min	2.289
max	2.293

*mean*	442.000-437.000=5.000
σ	0.000
min	442.000-437.000=5.000
max	442.000-437.000=5.000

*mean*	0.310-0.306=0.003
σ	0.009-0.012=-0.004
min	0.295-0.291=0.004
max	0.354-0.379=-0.025

name=record_render_syntax_err.art

*mean*	2.165
σ	0.002
min	2.164
max	2.168

*mean*	442.000-437.000=5.000
σ	0.000
min	442.000-437.000=5.000
max	442.000-437.000=5.000

*mean*	0.296-0.289=0.007
σ	0.008-0.009=-0.002
min	0.283-0.267=0.016
max	0.326-0.336=-0.010

SoV import

Factor

allocated MiB

peak allocated MiB

time_s

iters=10

rows=1000

*mean*	298.756-298.838=-0.082
σ	1.065-1.047=0.018
min	298.345-298.448=-0.103
max	301.782-301.815=-0.033

*mean*	444.100
σ	16.052-20.717=-4.666
min	421.000-416.000=5.000
max	471.000-474.000=-3.000

*mean*	0.597-0.609=-0.012
σ	0.029-0.019=0.010
min	0.528-0.564=-0.036
max	0.640-0.644=-0.003

Timed compile per phase

Factor

allocated MiB

peak allocated MiB

time (ms)

phase=buildDeclTree

*mean*	236.678-239.536=-2.858
σ	0.000-0.000=-0.000
min	236.678-239.536=-2.858
max	236.678-239.536=-2.858

*mean*	1679.625-1765.000=-85.375
σ	1.061-53.698=-52.637
min	1677.000-1678.000=-1.000
max	1680.000-1794.000=-114.000

*mean*	215.553-221.624=-6.071
σ	3.274-2.414=0.859
min	210.432-216.634=-6.202
max	219.813-224.542=-4.729

phase=macro expansion

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

*mean*	1679.625-1765.000=-85.375
σ	1.061-53.698=-52.637
min	1677.000-1678.000=-1.000
max	1680.000-1794.000=-114.000

*mean*	10.986-10.912=0.074
σ	2.288-2.183=0.105
min	6.409-7.523=-1.114
max	12.848-13.361=-0.513

phase=parser

*mean*	1042.367-1042.363=0.004
σ	0.000-0.000=0.000
min	1042.367-1042.363=0.004
max	1042.367-1042.363=0.004

*mean*	1679.625-1765.000=-85.375
σ	1.061-53.698=-52.637
min	1677.000-1678.000=-1.000
max	1680.000-1794.000=-114.000

*mean*	633.099-651.945=-18.846
σ	109.751-128.454=-18.703
min	423.437-425.220=-1.783
max	726.469-847.332=-120.863

phase=processProdDef

*mean*	4753.276-6169.657=-1416.382
σ	0.000-0.001=-0.000
min	4753.276-6169.657=-1416.381
max	4753.276-6169.658=-1416.382

*mean*	1680.000-1779.500=-99.500
σ	0.000-41.012=-41.012
min	1680.000-1678.000=2.000
max	1680.000-1794.000=-114.000

*mean*	4228.956-5325.571=-1096.615
σ	803.486-1340.673=-537.187
min	3223.526-3223.337=0.189
max	5295.235-7102.287=-1807.052

phase=renaming

*mean*	21.671
σ	0.000
min	21.671
max	21.671

*mean*	1679.625-1765.000=-85.375
σ	1.061-53.698=-52.637
min	1677.000-1678.000=-1.000
max	1680.000-1794.000=-114.000

*mean*	39.814-42.707=-2.893
σ	10.261-8.282=1.979
min	20.412-26.415=-6.003
max	48.482-53.324=-4.841

phase=type checker

*mean*	990.454-990.442=0.012
σ	0.071-0.066=0.005
min	990.348-990.344=0.004
max	990.567-990.532=0.035

*mean*	1679.625-1765.000=-85.375
σ	1.061-53.698=-52.637
min	1677.000-1678.000=-1.000
max	1680.000-1794.000=-114.000

*mean*	791.307-809.472=-18.165
σ	95.678-111.945=-16.267
min	661.460-653.310=8.149
max	893.037-909.035=-15.998

Workflow: transactPolicy

Factor

allocated MiB

peak allocated MiB

time

iters=5

new-facts=1

prior-facts=1

*mean*	293.916-293.915=0.001
σ	0.039-0.040=-0.001
min	293.864-293.861=0.004
max	293.957-293.957=0.000

*mean*	442.200-445.000=-2.800
σ	1.643-0.000=1.643
min	441.000-445.000=-4.000
max	444.000-445.000=-1.000

*mean*	0.393-0.397=-0.004
σ	0.003-0.006=-0.004
min	0.391-0.393=-0.002
max	0.396-0.409=-0.012

iters=5

new-facts=1

prior-facts=6402

*mean*	1320.304-1320.240=0.063
σ	0.034-0.074=-0.040
min	1320.261-1320.147=0.115
max	1320.342-1320.344=-0.003

*mean*	1108.800-1085.800=23.000
σ	167.944-167.600=0.344
min	895.000-888.000=7.000
max	1319.000-1317.000=2.000

*mean*	2.238-2.116=0.122
σ	0.091-0.231=-0.140
min	2.112-1.834=0.278
max	2.329-2.452=-0.123

iters=5

new-facts=6402

prior-facts=1

*mean*	1559.450-1559.727=-0.277
σ	3.394-4.042=-0.649
min	1557.749-1557.726=0.023
max	1565.514-1566.950=-1.436

*mean*	622.200-631.800=-9.600
σ	89.595-69.776=19.819
min	508.000-537.000=-29.000
max	725.000-723.000=2.000

*mean*	2.379-2.255=0.124
σ	0.289-0.178=0.111
min	2.148-2.092=0.055
max	2.857-2.542=0.315

iters=5

new-facts=6402

prior-facts=6402

*mean*	1882.265-1882.271=-0.006
σ	0.074-0.060=0.014
min	1882.182-1882.191=-0.009
max	1882.350-1882.356=-0.006

*mean*	1750.200-1716.400=33.800
σ	211.176-177.095=34.080
min	1468.000-1466.000=2.000
max	1950.000-1880.000=70.000

*mean*	3.237-3.127=0.110
σ	0.399-0.283=0.116
min	2.920-2.945=-0.025
max	3.909-3.628=0.281

newProductH/cdr_auton/broker

Factor

time_s

iterations=5

*mean*	1.662-1.686=-0.024
σ	0.128-0.215=-0.087
min	1.525-1.428=0.097
max	1.830-1.930=-0.100

policy addition benchmark

Factor

allocated MiB

db queries

peak allocated MiB

time

policies=2

*mean*	452.411-453.536=-1.125
σ	583.278-585.529=-2.251
min	160.767-160.767=-0.000
max	1327.328-1331.830=-4.501

*mean*	102.250
σ	8.500
min	98.000
max	115.000

*mean*	444.000-443.000=1.000
σ	0.000
min	444.000-443.000=1.000
max	444.000-443.000=1.000

*mean*	0.510-0.532=-0.022
σ	0.482-0.518=-0.036
min	0.269-0.272=-0.003
max	1.233-1.309=-0.075

policies=20

*mean*	1608.048-1608.043=0.005
σ	0.423-0.419=0.004
min	1607.762-1607.760=0.001
max	1608.677-1608.663=0.014

*mean*	980.000
σ	0.000
min	980.000
max	980.000

*mean*	451.500-449.750=1.750
σ	11.091-10.874=0.216
min	444.000-443.000=1.000
max	468.000-466.000=2.000

*mean*	2.716-2.703=0.013
σ	0.013-0.011=0.002
min	2.697-2.688=0.009
max	2.726-2.714=0.012

policies=200

*mean*	16088.581-16088.590=-0.009
σ	0.139-0.045=0.094
min	16088.451-16088.543=-0.092
max	16088.766-16088.645=0.121

*mean*	9800.000
σ	0.000
min	9800.000
max	9800.000

*mean*	497.500-496.750=0.750
σ	3.317-2.630=0.687
min	495.000-494.000=1.000
max	502.000-499.000=3.000

*mean*	27.204-27.495=-0.290
σ	0.043-0.159=-0.116
min	27.164-27.316=-0.151
max	27.262-27.655=-0.393