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

Aggregation: measureAggregations

Factor

allocated MiB

peak allocated MiB

time_s

cache=n

dps=1

iters=10

policies=100

*mean*	54.775-54.776=-0.001
σ	0.366-0.364=0.002
min	54.633-54.632=0.001
max	55.816-55.810=0.006

*mean*	416.000-417.000=-1.000
σ	0.000
min	416.000-417.000=-1.000
max	416.000-417.000=-1.000

*mean*	0.141-0.143=-0.002
σ	0.004-0.008=-0.004
min	0.138-0.138=-0.000
max	0.148-0.163=-0.015

cache=y

dps=1

iters=10

policies=100

*mean*	43.773-43.779=-0.006
σ	0.005-0.007=-0.002
min	43.764-43.768=-0.003
max	43.780-43.791=-0.011

*mean*	416.000-417.000=-1.000
σ	0.000
min	416.000-417.000=-1.000
max	416.000-417.000=-1.000

*mean*	0.124-0.139=-0.015
σ	0.004-0.011=-0.007
min	0.121-0.120=0.000
max	0.130-0.151=-0.022

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

*mean*	4592.750-4590.375=2.375
σ	2248.965-2249.453=-0.488
min	1486.000
max	7382.000-7385.000=-3.000

*mean*	141.847-149.392=-7.544
σ	366.461-385.929=-19.468
min	11.858-11.912=-0.054
max	1048.791-1104.505=-55.714

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*	4592.750-4590.375=2.375
σ	2248.965-2249.453=-0.488
min	1486.000
max	7382.000-7385.000=-3.000

*mean*	13.571-14.601=-1.030
σ	4.714-4.801=-0.087
min	11.085-11.434=-0.348
max	25.111-25.272=-0.160

op=table_records(), no indexes

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

*mean*	7382.000-7385.000=-3.000
σ	0.000
min	7382.000-7385.000=-3.000
max	7382.000-7385.000=-3.000

*mean*	11.170-11.274=-0.104
σ	0.243-1.134=-0.890
min	10.851-10.631=0.220
max	11.575-14.059=-2.484

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*	4184.375-4180.250=4.125
σ	1946.392-1945.738=0.653
min	1486.000
max	7382.000-7385.000=-3.000

*mean*	11.684-11.825=-0.142
σ	1.678-1.680=-0.002
min	10.713-10.885=-0.172
max	15.815-15.939=-0.123

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-27.993=-0.000

*mean*	4184.375-4180.250=4.125
σ	1946.392-1945.738=0.653
min	1486.000
max	7382.000-7385.000=-3.000

*mean*	9.035-8.953=0.082
σ	1.333-1.328=0.006
min	8.099-7.670=0.429
max	12.251-12.104=0.147

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-26.406=-0.000
max	26.406

*mean*	4184.375-4180.250=4.125
σ	1946.392-1945.738=0.653
min	1486.000
max	7382.000-7385.000=-3.000

*mean*	6.671-6.750=-0.079
σ	1.262-1.081=0.181
min	5.777-6.146=-0.369
max	9.621-9.397=0.224

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-25.688=0.000

*mean*	4592.750-4590.375=2.375
σ	2248.965-2249.453=-0.488
min	1486.000
max	7382.000-7385.000=-3.000

*mean*	6.243-6.493=-0.251
σ	0.996-1.028=-0.033
min	5.826-5.815=0.011
max	8.699-8.798=-0.099

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

*mean*	4592.750-4590.375=2.375
σ	2248.965-2249.453=-0.488
min	1486.000
max	7382.000-7385.000=-3.000

*mean*	6.190-6.438=-0.248
σ	1.026-1.023=0.003
min	5.594-5.824=-0.230
max	8.704-8.711=-0.007

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*	7382.000-7385.000=-3.000
σ	0.000
min	7382.000-7385.000=-3.000
max	7382.000-7385.000=-3.000

*mean*	362.486-363.568=-1.082
σ	41.765-43.364=-1.599
min	344.999-345.268=-0.269
max	465.771-470.823=-5.053

op=load_product(), with indexes

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

*mean*	3760.000-3757.250=2.750
σ	2301.410-2300.229=1.181
min	720.000
max	7382.000-7385.000=-3.000

*mean*	1776.557-1776.147=0.410
σ	695.379-614.401=80.978
min	1399.742-1406.013=-6.271
max	3000.132-2806.898=193.234

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

*mean*	4412.000-4409.125=2.875
σ	2217.923-2218.927=-1.003
min	1486.000
max	7382.000-7385.000=-3.000

*mean*	245.400-263.354=-17.954
σ	317.196-360.253=-43.057
min	124.008-125.057=-1.049
max	1029.346-1153.737=-124.391

op=column_set() on unindexed, dense, repeat

*mean*	62.081
σ	0.000
min	62.081
max	62.082

*mean*	4412.000-4409.125=2.875
σ	2217.923-2218.927=-1.003
min	1486.000
max	7382.000-7385.000=-3.000

*mean*	45.585-46.930=-1.345
σ	6.381-9.640=-3.259
min	41.117-41.441=-0.323
max	60.866-70.303=-9.437

op=vertical_lookup_list() repeated on unindexed missing Int

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

*mean*	7382.000-7385.000=-3.000
σ	0.000
min	7382.000-7385.000=-3.000
max	7382.000-7385.000=-3.000

*mean*	22.499-23.551=-1.052
σ	1.150-3.120=-1.970
min	21.704-21.649=0.056
max	25.130-29.599=-4.469

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*	7382.000-7385.000=-3.000
σ	0.000
min	7382.000-7385.000=-3.000
max	7382.000-7385.000=-3.000

*mean*	298.441-284.900=13.541
σ	684.341-642.015=42.326
min	55.493-54.903=0.590
max	1992.094-1873.776=118.318

CSV - warmup

Factor

allocated MiB

peak allocated MiB

time (ms)

op=table_records()

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

*mean*	4184.375-4180.250=4.125
σ	1946.392-1945.738=0.653
min	1486.000
max	7382.000-7385.000=-3.000

*mean*	3276.127-3243.843=32.284
σ	778.527-731.020=47.507
min	2511.570-2517.674=-6.104
max	4539.401-4455.597=83.804

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*	7382.000-7385.000=-3.000
σ	0.000
min	7382.000-7385.000=-3.000
max	7382.000-7385.000=-3.000

*mean*	1173.288-1057.977=115.311
σ	501.344-191.960=309.384
min	938.623-928.569=10.054
max	2394.836-1390.260=1004.576

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

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

*mean*	7382.000-7385.000=-3.000
σ	0.000
min	7382.000-7385.000=-3.000
max	7382.000-7385.000=-3.000

*mean*	392.346-409.064=-16.718
σ	3.365-38.539=-35.174
min	386.920-391.771=-4.852
max	396.768-503.659=-106.891

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*	476.875-476.000=0.875
σ	1.246-0.000=1.246
min	475.000-476.000=-1.000
max	478.000-476.000=2.000

*mean*	376.077-380.687=-4.610
σ	62.653-34.091=28.562
min	296.742-316.909=-20.167
max	446.077-438.815=7.262

op=pointedIndexFromKvs

rows=400000

*mean*	308.493
σ	0.001
min	308.493
max	308.497

*mean*	564.000-560.000=4.000
σ	0.000
min	564.000-560.000=4.000
max	564.000-560.000=4.000

*mean*	779.351-792.372=-13.021
σ	63.951-27.863=36.088
min	645.597-752.692=-107.095
max	842.352-823.885=18.468

Marine Hull: transactPolicy

Factor

allocated MiB

peak allocated MiB

time

datapoints=1

iterations=20

*mean*	963.972-963.971=0.001
σ	1.821-1.820=0.002
min	963.264-963.263=0.001
max	971.675-971.666=0.008

*mean*	1030.000-1036.050=-6.050
σ	301.069-304.714=-3.645
min	550.000-546.000=4.000
max	1457.000-1527.000=-70.000

*mean*	1.290-1.251=0.038
σ	0.121-0.068=0.052
min	1.192-1.179=0.013
max	1.677-1.423=0.254

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.300-0.298=0.002
σ	0.305-0.294=0.010
min	0.136-0.137=-0.001
max	0.840-0.821=0.019

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.475-0.484=-0.009
σ	0.318-0.325=-0.007
min	0.320-0.321=-0.000
max	1.045-1.065=-0.021

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.219-0.225=-0.006
σ	0.024-0.023=0.001
min	0.201-0.206=-0.005
max	0.259-0.264=-0.005

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.331-0.354=-0.023
σ	0.012-0.016=-0.004
min	0.323-0.342=-0.020
max	0.352-0.372=-0.020

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*	431.000-431.600=-0.600
σ	0.000-1.342=-1.342
min	431.000
max	431.000-434.000=-3.000

*mean*	0.561-0.547=0.013
σ	0.051-0.052=-0.001
min	0.483-0.479=0.004
max	0.615-0.618=-0.003

name=cdr_enhanced_4k_loc.art

*mean*	885.898
σ	0.002
min	885.897
max	885.901

*mean*	431.000-441.000=-10.000
σ	0.000
min	431.000-441.000=-10.000
max	431.000-441.000=-10.000

*mean*	0.470-0.461=0.009
σ	0.051-0.064=-0.013
min	0.394-0.388=0.006
max	0.521-0.529=-0.007

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*	431.000-441.000=-10.000
σ	0.000
min	431.000-441.000=-10.000
max	431.000-441.000=-10.000

*mean*	2.635-2.702=-0.066
σ	0.087-0.100=-0.013
min	2.455-2.510=-0.055
max	2.862-3.059=-0.197

name=record_render_large_syntax_err.art

*mean*	7.658
σ	0.002
min	7.657
max	7.661

*mean*	431.000-441.000=-10.000
σ	0.000
min	431.000-441.000=-10.000
max	431.000-441.000=-10.000

*mean*	2.603-2.677=-0.074
σ	0.090-0.085=0.005
min	2.429-2.477=-0.047
max	2.911-2.945=-0.033

name=record_render_success.art

*mean*	2.290
σ	0.002
min	2.289
max	2.293

*mean*	431.000-441.000=-10.000
σ	0.000
min	431.000-441.000=-10.000
max	431.000-441.000=-10.000

*mean*	0.311-0.316=-0.005
σ	0.010-0.011=-0.001
min	0.294-0.303=-0.009
max	0.367-0.407=-0.040

name=record_render_syntax_err.art

*mean*	2.165
σ	0.002
min	2.164
max	2.168

*mean*	431.000-441.000=-10.000
σ	0.000
min	431.000-441.000=-10.000
max	431.000-441.000=-10.000

*mean*	0.298-0.302=-0.005
σ	0.010-0.008=0.003
min	0.280-0.288=-0.008
max	0.365-0.341=0.023

Revision Creation

Factor

allocated MiB

peak allocated MiB

time_s

number of threads=8

revision count=1000

*mean*	11.859-11.642=0.216
σ	11.788-11.796=-0.008
min	0.718-0.574=0.145
max	88.744-91.935=-3.191

*mean*	465.442-460.302=5.140
σ	18.870-19.766=-0.896
min	407.000
max	481.000-476.000=5.000

*mean*	0.027-0.027=0.000
σ	0.029-0.029=-0.000
min	0.001-0.001=-0.000
max	0.203-0.236=-0.033

SoV import

Factor

allocated MiB

peak allocated MiB

time_s

iters=10

rows=1000

*mean*	278.614-278.598=0.016
σ	1.051-1.074=-0.023
min	278.212-278.093=0.118
max	281.603-281.644=-0.042

*mean*	445.500-447.800=-2.300
σ	21.230-20.088=1.143
min	416.000-417.000=-1.000
max	475.000-471.000=4.000

*mean*	0.582-0.588=-0.007
σ	0.021-0.012=0.008
min	0.539-0.576=-0.037
max	0.612-0.613=-0.001

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-173.738=-0.000

*mean*	864.000-844.000=20.000
σ	0.000
min	864.000-844.000=20.000
max	864.000-844.000=20.000

*mean*	233.430-239.682=-6.251
σ	26.918-19.235=7.682
min	197.904-197.531=0.373
max	259.144-254.117=5.026

phase=macro expansion

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

*mean*	864.000-843.375=20.625
σ	0.000-1.768=-1.768
min	864.000-839.000=25.000
max	864.000-844.000=20.000

*mean*	9.078-9.062=0.015
σ	1.165-0.978=0.188
min	6.336-7.335=-0.999
max	9.710-9.703=0.007

phase=parser

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

*mean*	864.000-843.375=20.625
σ	0.000-1.768=-1.768
min	864.000-839.000=25.000
max	864.000-844.000=20.000

*mean*	551.548-565.747=-14.200
σ	95.535-75.086=20.449
min	377.900-417.869=-39.969
max	614.147-618.704=-4.557

phase=processProdDef

*mean*	2243.976-2243.975=0.001
σ	0.001-0.000=0.001
min	2243.976-2243.975=0.001
max	2243.979-2243.975=0.004

*mean*	864.000-844.000=20.000
σ	0.000
min	864.000-844.000=20.000
max	864.000-844.000=20.000

*mean*	2595.686-2999.984=-404.298
σ	521.480-425.591=95.888
min	1734.264-2421.614=-687.350
max	3247.753-3421.270=-173.516

phase=renaming

*mean*	21.671
σ	0.000
min	21.671
max	21.671

*mean*	864.000-843.375=20.625
σ	0.000-1.768=-1.768
min	864.000-839.000=25.000
max	864.000-844.000=20.000

*mean*	35.966-36.775=-0.810
σ	7.817-6.460=1.357
min	20.785-26.254=-5.469
max	41.172-41.249=-0.076

phase=type checker

*mean*	989.755-989.755=-0.001
σ	0.066-0.066=0.001
min	989.654-989.658=-0.004
max	989.845-989.845=-0.000

*mean*	864.000-843.375=20.625
σ	0.000-1.768=-1.768
min	864.000-839.000=25.000
max	864.000-844.000=20.000

*mean*	732.371-714.014=18.357
σ	86.308-41.405=44.903
min	670.303-644.363=25.939
max	873.506-787.700=85.806

Workflow: transactPolicy

Factor

allocated MiB

peak allocated MiB

time

iters=5

new-facts=1

prior-facts=1

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

*mean*	442.000-444.400=-2.400
σ	0.000-0.548=-0.548
min	442.000-444.000=-2.000
max	442.000-445.000=-3.000

*mean*	0.377-0.381=-0.004
σ	0.002-0.005=-0.002
min	0.375-0.376=-0.001
max	0.380-0.389=-0.009

iters=5

new-facts=1

prior-facts=6402

*mean*	1267.112-1267.114=-0.002
σ	0.103-0.101=0.001
min	1267.001-1266.993=0.008
max	1267.278-1267.270=0.007

*mean*	1112.200-1113.200=-1.000
σ	170.973-169.525=1.448
min	896.000-898.000=-2.000
max	1331.000-1328.000=3.000

*mean*	1.989-2.017=-0.028
σ	0.121-0.110=0.011
min	1.822-1.872=-0.050
max	2.106-2.137=-0.031

iters=5

new-facts=6402

prior-facts=1

*mean*	1506.111-1506.123=-0.012
σ	2.956-2.939=0.017
min	1504.606-1504.603=0.003
max	1511.388-1511.369=0.019

*mean*	628.200-629.000=-0.800
σ	90.489-90.019=0.469
min	504.000-505.000=-1.000
max	728.000

*mean*	2.303-2.338=-0.035
σ	0.286-0.251=0.036
min	2.072-2.072=0.000
max	2.776-2.628=0.148

iters=5

new-facts=6402

prior-facts=6402

*mean*	1829.110-1829.095=0.015
σ	0.070-0.055=0.014
min	1829.022-1829.015=0.007
max	1829.206-1829.161=0.045

*mean*	1765.600-1756.600=9.000
σ	209.681-211.213=-1.531
min	1490.000-1473.000=17.000
max	1965.000-1956.000=9.000

*mean*	3.051-3.119=-0.068
σ	0.180-0.255=-0.075
min	2.829-2.829=-0.001
max	3.290-3.491=-0.201

newProductH/cdr_auton/broker

Factor

time_s

iterations=5

*mean*	1.790-1.737=0.053
σ	0.118-0.126=-0.008
min	1.581-1.542=0.039
max	1.855-1.838=0.017

policy addition benchmark

Factor

allocated MiB

db queries

peak allocated MiB

time

policies=2

*mean*	397.698-397.699=-0.001
σ	518.051-518.050=0.001
min	138.670-138.672=-0.002
max	1174.774-1174.774=0.000

*mean*	97.750
σ	7.500
min	94.000
max	109.000

*mean*	439.000-448.000=-9.000
σ	0.000
min	439.000-448.000=-9.000
max	439.000-448.000=-9.000

*mean*	0.495-0.503=-0.009
σ	0.507-0.524=-0.018
min	0.240-0.237=0.002
max	1.255-1.290=-0.035

policies=20

*mean*	1386.836-1386.840=-0.004
σ	0.159-0.168=-0.009
min	1386.727-1386.725=0.002
max	1387.072-1387.089=-0.018

*mean*	940.000
σ	0.000
min	940.000
max	940.000

*mean*	444.000-449.000=-5.000
σ	5.774-1.155=4.619
min	439.000-448.000=-9.000
max	449.000-450.000=-1.000

*mean*	2.328-2.321=0.007
σ	0.015-0.025=-0.009
min	2.309-2.286=0.023
max	2.345-2.340=0.005

policies=200

*mean*	13876.909-13876.884=0.025
σ	0.101-0.111=-0.010
min	13876.828-13876.805=0.023
max	13877.055-13877.048=0.008

*mean*	9400.000
σ	0.000
min	9400.000
max	9400.000

*mean*	494.250-495.250=-1.000
σ	4.856-4.787=0.069
min	488.000-491.000=-3.000
max	499.000-502.000=-3.000

*mean*	23.625-23.478=0.146
σ	0.187-0.102=0.085
min	23.421-23.407=0.014
max	23.875-23.627=0.247