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-6.676=-0.031
σ	0.000
min	6.645-6.676=-0.031
max	6.645-6.676=-0.031

Aggregation: measureAggregations

Factor

allocated MiB

peak allocated MiB

time_s

cache=n

dps=1

iters=10

policies=100

*mean*	54.775-54.775=-0.000
σ	0.366-0.366=0.000
min	54.632-54.633=-0.000
max	55.817-55.816=0.001

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

*mean*	0.140-0.141=-0.001
σ	0.004-0.004=0.000
min	0.136-0.138=-0.001
max	0.146-0.148=-0.002

cache=y

dps=1

iters=10

policies=100

*mean*	43.773-43.773=-0.000
σ	0.006-0.005=0.001
min	43.764-43.764=0.000
max	43.783-43.780=0.003

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

*mean*	0.122-0.124=-0.002
σ	0.003-0.004=-0.001
min	0.115-0.121=-0.006
max	0.128-0.130=-0.002

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*	4586.125-4592.750=-6.625
σ	2252.244-2248.965=3.279
min	1487.000-1486.000=1.000
max	7399.000-7382.000=17.000

*mean*	13.769-141.847=-128.078
σ	3.394-366.461=-363.066
min	11.684-11.858=-0.174
max	20.712-1048.791=-1028.078

op=column_set() on indexed, repeat

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

*mean*	4586.125-4592.750=-6.625
σ	2252.244-2248.965=3.279
min	1487.000-1486.000=1.000
max	7399.000-7382.000=17.000

*mean*	13.699-13.571=0.128
σ	3.444-4.714=-1.270
min	11.232-11.085=0.146
max	20.242-25.111=-4.869

op=table_records(), no indexes

*mean*	41.948-41.948=-0.000
σ	0.002-0.002=0.000
min	41.946
max	41.951-41.950=0.001

*mean*	7399.000-7382.000=17.000
σ	0.000
min	7399.000-7382.000=17.000
max	7399.000-7382.000=17.000

*mean*	11.160-11.170=-0.009
σ	0.275-0.243=0.032
min	10.856-10.851=0.005
max	11.720-11.575=0.145

op=table_records(), repeat

*mean*	41.933-41.933=-0.000
σ	0.000-0.000=-0.000
min	41.933
max	41.934-41.934=-0.000

*mean*	4173.500-4184.375=-10.875
σ	1944.668-1946.392=-1.723
min	1487.000-1486.000=1.000
max	7399.000-7382.000=17.000

*mean*	11.761-11.684=0.078
σ	1.654-1.678=-0.025
min	10.857-10.713=0.144
max	15.823-15.815=0.008

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

*mean*	27.655-27.655=0.000
σ	0.136-0.136=-0.000
min	27.606
max	27.993

*mean*	4173.500-4184.375=-10.875
σ	1944.668-1946.392=-1.723
min	1487.000-1486.000=1.000
max	7399.000-7382.000=17.000

*mean*	8.924-9.035=-0.111
σ	1.418-1.333=0.085
min	8.076-8.099=-0.022
max	12.400-12.251=0.149

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

*mean*	26.406-26.406=-0.000
σ	0.000-0.000=0.000
min	26.406
max	26.406

*mean*	4173.500-4184.375=-10.875
σ	1944.668-1946.392=-1.723
min	1487.000-1486.000=1.000
max	7399.000-7382.000=17.000

*mean*	6.714-6.671=0.042
σ	1.030-1.262=-0.232
min	6.008-5.777=0.231
max	9.200-9.621=-0.421

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*	4586.125-4592.750=-6.625
σ	2252.244-2248.965=3.279
min	1487.000-1486.000=1.000
max	7399.000-7382.000=17.000

*mean*	6.309-6.243=0.066
σ	0.615-0.996=-0.380
min	5.740-5.826=-0.086
max	7.377-8.699=-1.322

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-25.984=0.000
max	25.985-25.985=0.000

*mean*	4586.125-4592.750=-6.625
σ	2252.244-2248.965=3.279
min	1487.000-1486.000=1.000
max	7399.000-7382.000=17.000

*mean*	6.143-6.190=-0.047
σ	0.680-1.026=-0.345
min	5.658-5.594=0.065
max	7.297-8.704=-1.407

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

*mean*	7399.000-7382.000=17.000
σ	0.000
min	7399.000-7382.000=17.000
max	7399.000-7382.000=17.000

*mean*	361.235-362.486=-1.251
σ	43.550-41.765=1.785
min	343.067-344.999=-1.931
max	468.924-465.771=3.153

op=load_product(), with indexes

*mean*	3495.878-3495.878=-0.000
σ	0.468-0.469=-0.000
min	3495.713
max	3497.037-3497.038=-0.001

*mean*	3751.250-3760.000=-8.750
σ	2298.035-2301.410=-3.375
min	720.000
max	7399.000-7382.000=17.000

*mean*	1760.857-1776.557=-15.700
σ	624.504-695.379=-70.875
min	1386.182-1399.742=-13.560
max	2777.379-3000.132=-222.753

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

*mean*	4407.250-4412.000=-4.750
σ	2223.302-2217.923=5.379
min	1487.000-1486.000=1.000
max	7399.000-7382.000=17.000

*mean*	240.916-245.400=-4.484
σ	306.027-317.196=-11.169
min	123.785-124.008=-0.222
max	997.208-1029.346=-32.138

op=column_set() on unindexed, dense, repeat

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

*mean*	4586.125-4412.000=174.125
σ	2252.244-2217.923=34.321
min	1487.000-1486.000=1.000
max	7399.000-7382.000=17.000

*mean*	187.160-45.585=141.575
σ	399.686-6.381=393.305
min	40.355-41.117=-0.762
max	1176.141-60.866=1115.275

op=vertical_lookup_list() repeated on unindexed missing Int

*mean*	40.948-40.947=0.000
σ	0.002-0.001=0.000
min	40.947
max	40.950-40.950=0.000

*mean*	7399.000-7382.000=17.000
σ	0.000
min	7399.000-7382.000=17.000
max	7399.000-7382.000=17.000

*mean*	23.215-22.499=0.716
σ	1.906-1.150=0.756
min	21.734-21.704=0.030
max	27.115-25.130=1.986

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*	7399.000-7382.000=17.000
σ	0.000
min	7399.000-7382.000=17.000
max	7399.000-7382.000=17.000

*mean*	331.115-298.441=32.674
σ	776.264-684.341=91.923
min	54.617-55.493=-0.876
max	2252.258-1992.094=260.164

CSV - warmup

Factor

allocated MiB

peak allocated MiB

time (ms)

op=table_records()

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

*mean*	4173.500-4184.375=-10.875
σ	1944.668-1946.392=-1.723
min	1487.000-1486.000=1.000
max	7399.000-7382.000=17.000

*mean*	3238.568-3276.127=-37.559
σ	760.202-778.527=-18.325
min	2482.712-2511.570=-28.858
max	4335.158-4539.401=-204.243

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

*mean*	7399.000-7382.000=17.000
σ	0.000
min	7399.000-7382.000=17.000
max	7399.000-7382.000=17.000

*mean*	1050.026-1173.288=-123.262
σ	194.675-501.344=-306.669
min	916.955-938.623=-21.668
max	1397.744-2394.836=-997.092

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

*mean*	905.105-905.104=0.000
σ	0.002-0.002=0.000
min	905.102
max	905.108

*mean*	7399.000-7382.000=17.000
σ	0.000
min	7399.000-7382.000=17.000
max	7399.000-7382.000=17.000

*mean*	406.309-392.346=13.963
σ	37.227-3.365=33.862
min	390.388-386.920=3.469
max	498.257-396.768=101.489

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-476.875=-2.000
σ	1.246
min	474.000-475.000=-1.000
max	477.000-478.000=-1.000

*mean*	373.942-376.077=-2.135
σ	38.298-62.653=-24.354
min	315.399-296.742=18.656
max	427.554-446.077=-18.523

op=pointedIndexFromKvs

rows=400000

*mean*	308.493
σ	0.001
min	308.493
max	308.497

*mean*	559.000-564.000=-5.000
σ	0.000
min	559.000-564.000=-5.000
max	559.000-564.000=-5.000

*mean*	747.583-779.351=-31.768
σ	84.247-63.951=20.296
min	603.086-645.597=-42.511
max	829.151-842.352=-13.201

Marine Hull: transactPolicy

Factor

allocated MiB

peak allocated MiB

time

datapoints=1

iterations=20

*mean*	963.973-963.972=0.001
σ	1.821-1.821=-0.000
min	963.263-963.264=-0.000
max	971.675-971.675=0.000

*mean*	1041.850-1030.000=11.850
σ	305.491-301.069=4.422
min	568.000-550.000=18.000
max	1490.000-1457.000=33.000

*mean*	1.271-1.290=-0.019
σ	0.079-0.121=-0.041
min	1.185-1.192=-0.007
max	1.479-1.677=-0.198

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.292-0.300=-0.008
σ	0.267-0.305=-0.038
min	0.151-0.136=0.015
max	0.765-0.840=-0.074

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.479-0.475=0.003
σ	0.315-0.318=-0.004
min	0.326-0.320=0.006
max	1.042-1.045=-0.003

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.220-0.219=0.001
σ	0.026-0.024=0.002
min	0.194-0.201=-0.007
max	0.262-0.259=0.003

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.336-0.331=0.005
σ	0.029-0.012=0.016
min	0.313-0.323=-0.009
max	0.386-0.352=0.033

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*	442.200-431.000=11.200
σ	4.025-0.000=4.025
min	435.000-431.000=4.000
max	444.000-431.000=13.000

*mean*	0.541-0.561=-0.020
σ	0.068-0.051=0.017
min	0.439-0.483=-0.044
max	0.606-0.615=-0.009

name=cdr_enhanced_4k_loc.art

*mean*	885.898
σ	0.002
min	885.897
max	885.901

*mean*	444.000-431.000=13.000
σ	0.000
min	444.000-431.000=13.000
max	444.000-431.000=13.000

*mean*	0.444-0.470=-0.026
σ	0.038-0.051=-0.013
min	0.411-0.394=0.017
max	0.501-0.521=-0.020

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*	444.000-431.000=13.000
σ	0.000
min	444.000-431.000=13.000
max	444.000-431.000=13.000

*mean*	2.618-2.635=-0.017
σ	0.105-0.087=0.018
min	2.479-2.455=0.023
max	3.259-2.862=0.397

name=record_render_large_syntax_err.art

*mean*	7.658
σ	0.002
min	7.657
max	7.661

*mean*	444.000-431.000=13.000
σ	0.000
min	444.000-431.000=13.000
max	444.000-431.000=13.000

*mean*	2.588-2.603=-0.015
σ	0.126-0.090=0.036
min	2.438-2.429=0.008
max	3.377-2.911=0.465

name=record_render_success.art

*mean*	2.290
σ	0.002
min	2.289
max	2.293

*mean*	444.000-431.000=13.000
σ	0.000
min	444.000-431.000=13.000
max	444.000-431.000=13.000

*mean*	0.305-0.311=-0.007
σ	0.009-0.010=-0.001
min	0.284-0.294=-0.010
max	0.352-0.367=-0.015

name=record_render_syntax_err.art

*mean*	2.165
σ	0.002
min	2.164
max	2.168

*mean*	444.000-431.000=13.000
σ	0.000
min	444.000-431.000=13.000
max	444.000-431.000=13.000

*mean*	0.303-0.298=0.006
σ	0.092-0.010=0.082
min	0.272-0.280=-0.008
max	1.062-0.365=0.697

Revision Creation

Factor

allocated MiB

peak allocated MiB

time_s

number of threads=8

revision count=1000

*mean*	11.429-11.859=-0.430
σ	11.342-11.788=-0.447
min	0.574-0.718=-0.144
max	88.772-88.744=0.028

*mean*	461.933-465.442=-3.509
σ	17.528-18.870=-1.341
min	409.000-407.000=2.000
max	478.000-481.000=-3.000

*mean*	0.026-0.027=-0.001
σ	0.028-0.029=-0.001
min	0.001-0.001=0.000
max	0.213-0.203=0.011

SoV import

Factor

allocated MiB

peak allocated MiB

time_s

iters=10

rows=1000

*mean*	278.721-278.614=0.107
σ	1.031-1.051=-0.020
min	278.322-278.212=0.111
max	281.652-281.603=0.049

*mean*	444.800-445.500=-0.700
σ	17.769-21.230=-3.461
min	417.000-416.000=1.000
max	465.000-475.000=-10.000

*mean*	0.577-0.582=-0.004
σ	0.027-0.021=0.007
min	0.509-0.539=-0.030
max	0.609-0.612=-0.003

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

*mean*	860.000-864.000=-4.000
σ	0.000
min	860.000-864.000=-4.000
max	860.000-864.000=-4.000

*mean*	233.494-233.430=0.064
σ	25.297-26.918=-1.621
min	198.457-197.904=0.553
max	258.086-259.144=-1.058

phase=macro expansion

*mean*	6.130
σ	0.001
min	6.130
max	6.133

*mean*	860.000-864.000=-4.000
σ	0.000
min	860.000-864.000=-4.000
max	860.000-864.000=-4.000

*mean*	9.146-9.078=0.068
σ	0.906-1.165=-0.259
min	7.572-6.336=1.236
max	9.965-9.710=0.255

phase=parser

*mean*	1042.435-1042.435=0.000
σ	0.001-0.001=-0.000
min	1042.432
max	1042.436

*mean*	860.000-864.000=-4.000
σ	0.000
min	860.000-864.000=-4.000
max	860.000-864.000=-4.000

*mean*	587.552-551.548=36.004
σ	34.922-95.535=-60.613
min	504.536-377.900=126.636
max	616.954-614.147=2.807

phase=processProdDef

*mean*	2243.976
σ	0.001
min	2243.976
max	2243.979

*mean*	860.000-864.000=-4.000
σ	0.000
min	860.000-864.000=-4.000
max	860.000-864.000=-4.000

*mean*	2595.025-2595.686=-0.661
σ	503.165-521.480=-18.315
min	1909.723-1734.264=175.459
max	3153.286-3247.753=-94.467

phase=renaming

*mean*	21.671
σ	0.000
min	21.671
max	21.671

*mean*	860.000-864.000=-4.000
σ	0.000
min	860.000-864.000=-4.000
max	860.000-864.000=-4.000

*mean*	36.390-35.966=0.424
σ	6.184-7.817=-1.633
min	26.092-20.785=5.306
max	40.772-41.172=-0.400

phase=type checker

*mean*	989.755
σ	0.066
min	989.654
max	989.845

*mean*	860.000-864.000=-4.000
σ	0.000
min	860.000-864.000=-4.000
max	860.000-864.000=-4.000

*mean*	682.303-732.371=-50.068
σ	8.843-86.308=-77.465
min	665.167-670.303=-5.135
max	692.340-873.506=-181.166

Workflow: transactPolicy

Factor

allocated MiB

peak allocated MiB

time

iters=5

new-facts=1

prior-facts=1

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

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

*mean*	0.381-0.377=0.004
σ	0.007-0.002=0.004
min	0.376-0.375=0.001
max	0.390-0.380=0.010

iters=5

new-facts=1

prior-facts=6402

*mean*	1267.120-1267.112=0.008
σ	0.100-0.103=-0.003
min	1266.992-1267.001=-0.009
max	1267.269-1267.278=-0.009

*mean*	1112.400-1112.200=0.200
σ	170.154-170.973=-0.819
min	897.000-896.000=1.000
max	1329.000-1331.000=-2.000

*mean*	2.060-1.989=0.072
σ	0.125-0.121=0.005
min	1.897-1.822=0.075
max	2.223-2.106=0.117

iters=5

new-facts=6402

prior-facts=1

*mean*	1506.099-1506.111=-0.012
σ	2.924-2.956=-0.032
min	1504.608-1504.606=0.002
max	1511.319-1511.388=-0.069

*mean*	628.200
σ	90.062-90.489=-0.426
min	504.000
max	727.000-728.000=-1.000

*mean*	2.233-2.303=-0.071
σ	0.163-0.286=-0.124
min	2.067-2.072=-0.005
max	2.404-2.776=-0.372

iters=5

new-facts=6402

prior-facts=6402

*mean*	1829.113-1829.110=0.002
σ	0.059-0.070=-0.011
min	1829.043-1829.022=0.020
max	1829.188-1829.206=-0.017

*mean*	1762.600-1765.600=-3.000
σ	213.296-209.681=3.615
min	1490.000
max	1969.000-1965.000=4.000

*mean*	3.179-3.051=0.128
σ	0.366-0.180=0.186
min	2.856-2.829=0.028
max	3.750-3.290=0.461

newProductH/cdr_auton/broker

Factor

time_s

iterations=5

*mean*	1.730-1.790=-0.060
σ	0.130-0.118=0.012
min	1.598-1.581=0.018
max	1.877-1.855=0.022

policy addition benchmark

Factor

allocated MiB

db queries

peak allocated MiB

time

policies=2

*mean*	397.697-397.698=-0.001
σ	518.051-518.051=0.000
min	138.669-138.670=-0.001
max	1174.773-1174.774=-0.001

*mean*	97.750
σ	7.500
min	94.000
max	109.000

*mean*	444.000-439.000=5.000
σ	0.000
min	444.000-439.000=5.000
max	444.000-439.000=5.000

*mean*	0.500-0.495=0.006
σ	0.528-0.507=0.022
min	0.234-0.240=-0.006
max	1.293-1.255=0.038

policies=20

*mean*	1386.827-1386.836=-0.009
σ	0.165-0.159=0.006
min	1386.715-1386.727=-0.012
max	1387.071-1387.072=-0.000

*mean*	940.000
σ	0.000
min	940.000
max	940.000

*mean*	446.000-444.000=2.000
σ	2.309-5.774=-3.464
min	444.000-439.000=5.000
max	448.000-449.000=-1.000

*mean*	2.338-2.328=0.010
σ	0.020-0.015=0.004
min	2.316-2.309=0.007
max	2.359-2.345=0.013

policies=200

*mean*	13876.858-13876.909=-0.050
σ	0.176-0.101=0.074
min	13876.667-13876.828=-0.161
max	13877.072-13877.055=0.017

*mean*	9400.000
σ	0.000
min	9400.000
max	9400.000

*mean*	491.000-494.250=-3.250
σ	2.944-4.856=-1.912
min	488.000
max	495.000-499.000=-4.000

*mean*	23.625-23.625=0.000
σ	0.232-0.187=0.045
min	23.437-23.421=0.016
max	23.956-23.875=0.081