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
σ	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.861-54.861=0.000
σ	0.360-0.361=-0.001
min	54.721-54.721=0.000
max	55.884-55.886=-0.003

*mean*	419.000-415.700=3.300
σ	0.000-0.483=-0.483
min	419.000-415.000=4.000
max	419.000-416.000=3.000

*mean*	0.142-0.141=0.001
σ	0.005-0.004=0.001
min	0.137-0.138=-0.000
max	0.150-0.149=0.000

cache=y

dps=1

iters=10

policies=100

*mean*	43.846-43.847=-0.001
σ	0.005-0.007=-0.001
min	43.838-43.836=0.002
max	43.855-43.853=0.002

*mean*	419.000-416.000=3.000
σ	0.000
min	419.000-416.000=3.000
max	419.000-416.000=3.000

*mean*	0.124-0.124=-0.001
σ	0.005-0.005=0.000
min	0.118-0.119=-0.001
max	0.131-0.133=-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

*mean*	4427.125-4588.500=-161.375
σ	2226.935-2253.245=-26.310
min	1483.000-1486.000=-3.000
max	7407.000-7403.000=4.000

*mean*	13.627-13.221=0.406
σ	3.463-3.032=0.431
min	12.103-11.882=0.221
max	22.154-20.685=1.469

op=column_set() on indexed, repeat

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

*mean*	4606.875-4588.500=18.375
σ	2258.081-2253.245=4.836
min	1483.000-1486.000=-3.000
max	7407.000-7403.000=4.000

*mean*	166.716-13.766=152.950
σ	433.158-2.893=430.265
min	11.564-11.794=-0.230
max	1238.692-20.851=1217.841

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.950=0.000

*mean*	7407.000-7403.000=4.000
σ	0.000
min	7407.000-7403.000=4.000
max	7407.000-7403.000=4.000

*mean*	11.056-10.978=0.078
σ	0.274-0.245=0.029
min	10.799-10.567=0.233
max	11.486-11.336=0.150

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*	4198.250-4175.625=22.625
σ	1954.331-1945.445=8.886
min	1483.000-1486.000=-3.000
max	7407.000-7403.000=4.000

*mean*	11.622-11.690=-0.068
σ	1.259-1.755=-0.496
min	10.529-10.833=-0.304
max	14.569-15.984=-1.414

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

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

*mean*	4198.250-4175.625=22.625
σ	1954.331-1945.445=8.886
min	1483.000-1486.000=-3.000
max	7407.000-7403.000=4.000

*mean*	8.697-9.140=-0.443
σ	0.704-1.311=-0.607
min	7.585-8.250=-0.665
max	10.110-12.328=-2.218

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

*mean*	4198.250-4175.625=22.625
σ	1954.331-1945.445=8.886
min	1483.000-1486.000=-3.000
max	7407.000-7403.000=4.000

*mean*	6.685-7.020=-0.336
σ	0.632-0.946=-0.314
min	5.968-6.025=-0.057
max	7.888-9.133=-1.245

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*	4606.875-4588.500=18.375
σ	2258.081-2253.245=4.836
min	1483.000-1486.000=-3.000
max	7407.000-7403.000=4.000

*mean*	6.711-6.233=0.478
σ	1.292-0.479=0.813
min	5.854-5.953=-0.099
max	8.972-7.400=1.571

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

*mean*	4606.875-4588.500=18.375
σ	2258.081-2253.245=4.836
min	1483.000-1486.000=-3.000
max	7407.000-7403.000=4.000

*mean*	6.622-6.048=0.574
σ	1.387-0.411=0.975
min	5.620-5.711=-0.090
max	9.135-7.040=2.095

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.630-1021.629=0.000

*mean*	7407.000-7403.000=4.000
σ	0.000
min	7407.000-7403.000=4.000
max	7407.000-7403.000=4.000

*mean*	350.442-365.718=-15.276
σ	2.472-44.299=-41.827
min	346.148-347.732=-1.584
max	353.813-475.286=-121.472

op=load_product(), with indexes

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

*mean*	3771.000-3753.000=18.000
σ	2310.539-2299.283=11.255
min	720.000-719.000=1.000
max	7407.000-7403.000=4.000

*mean*	1777.446-1687.214=90.232
σ	664.645-561.905=102.740
min	1384.397-1382.582=1.814
max	2918.569-2750.518=168.051

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

*mean*	4198.250-4409.625=-211.375
σ	1954.331-2224.350=-270.019
min	1483.000-1486.000=-3.000
max	7407.000-7403.000=4.000

*mean*	131.690-268.532=-136.842
σ	10.036-377.457=-367.421
min	125.732-126.579=-0.846
max	155.987-1201.670=-1045.682

op=column_set() on unindexed, dense, repeat

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

*mean*	4427.125-4588.500=-161.375
σ	2226.935-2253.245=-26.310
min	1483.000-1486.000=-3.000
max	7407.000-7403.000=4.000

*mean*	184.519-184.576=-0.057
σ	399.233-397.134=2.100
min	42.286-42.312=-0.026
max	1172.569-1167.426=5.144

op=vertical_lookup_list() repeated on unindexed missing Int

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

*mean*	7407.000-7403.000=4.000
σ	0.000
min	7407.000-7403.000=4.000
max	7407.000-7403.000=4.000

*mean*	92.959-22.200=70.759
σ	200.928-0.708=200.220
min	21.815-21.616=0.199
max	590.230-23.891=566.340

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
max	71.311

*mean*	7407.000-7403.000=4.000
σ	0.000
min	7407.000-7403.000=4.000
max	7407.000-7403.000=4.000

*mean*	58.689-260.998=-202.309
σ	7.109-579.194=-572.085
min	55.541-55.458=0.083
max	76.257-1694.428=-1618.170

CSV - warmup

Factor

allocated MiB

peak allocated MiB

time (ms)

op=table_records()

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

*mean*	4198.250-4175.625=22.625
σ	1954.331-1945.445=8.886
min	1483.000-1486.000=-3.000
max	7407.000-7403.000=4.000

*mean*	3224.214-3371.091=-146.877
σ	710.098-877.426=-167.328
min	2526.984-2501.732=25.253
max	4296.409-4799.271=-502.862

op=vertical_lookup_list() on indexed

*mean*	1973.851-1973.851=-0.000
σ	0.002-0.002=-0.000
min	1973.849
max	1973.853-1973.854=-0.000

*mean*	7407.000-7403.000=4.000
σ	0.000
min	7407.000-7403.000=4.000
max	7407.000-7403.000=4.000

*mean*	1013.540-1038.079=-24.540
σ	168.170-182.900=-14.730
min	933.870-910.719=23.151
max	1412.278-1353.851=58.427

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

*mean*	905.105
σ	0.002
min	905.102
max	905.108

*mean*	7407.000-7403.000=4.000
σ	0.000
min	7407.000-7403.000=4.000
max	7407.000-7403.000=4.000

*mean*	391.131-390.358=0.774
σ	3.468-2.585=0.883
min	383.575-386.672=-3.097
max	395.021-395.317=-0.296

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*	475.375-475.000=0.375
σ	0.518-0.000=0.518
min	475.000
max	476.000-475.000=1.000

*mean*	387.311-382.285=5.026
σ	34.585-35.050=-0.465
min	311.815-315.298=-3.483
max	428.228-419.637=8.591

op=pointedIndexFromKvs

rows=400000

*mean*	308.493
σ	0.001
min	308.493
max	308.497

*mean*	557.375-562.000=-4.625
σ	1.061-0.000=1.061
min	557.000-562.000=-5.000
max	560.000-562.000=-2.000

*mean*	729.508-735.374=-5.866
σ	62.514-56.378=6.136
min	604.893-628.551=-23.658
max	799.747-813.306=-13.559

Marine Hull: transactPolicy

Factor

allocated MiB

peak allocated MiB

time

datapoints=1

iterations=20

*mean*	1024.565-1024.564=0.001
σ	0.759-0.760=-0.000
min	1024.093-1024.095=-0.001
max	1027.704-1027.705=-0.001

*mean*	1044.000-1046.550=-2.550
σ	308.997-313.000=-4.003
min	590.000-553.000=37.000
max	1500.000-1655.000=-155.000

*mean*	1.413-1.388=0.025
σ	0.124-0.082=0.042
min	1.321-1.302=0.018
max	1.828-1.601=0.227

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.299-0.315=-0.015
σ	0.292-0.334=-0.041
min	0.150-0.141=0.008
max	0.820-0.909=-0.089

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.482-0.480=0.001
σ	0.318-0.321=-0.003
min	0.327-0.326=0.001
max	1.050-1.055=-0.005

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.217-0.218=-0.001
σ	0.023-0.024=-0.001
min	0.201-0.203=-0.002
max	0.256-0.258=-0.002

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.362-0.329=0.032
σ	0.038-0.014=0.023
min	0.320-0.314=0.006
max	0.419-0.351=0.067

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*	430.600-436.200=-5.600
σ	0.548-5.541=-4.993
min	430.000-431.000=-1.000
max	431.000-442.000=-11.000

*mean*	0.555-0.632=-0.077
σ	0.043-0.067=-0.024
min	0.487-0.580=-0.093
max	0.591-0.743=-0.151

name=cdr_enhanced_4k_loc.art

*mean*	885.898
σ	0.002
min	885.897
max	885.901

*mean*	431.000-442.000=-11.000
σ	0.000
min	431.000-442.000=-11.000
max	431.000-442.000=-11.000

*mean*	0.500-0.615=-0.116
σ	0.031-0.038=-0.007
min	0.455-0.550=-0.095
max	0.524-0.641=-0.117

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-442.000=-11.000
σ	0.000
min	431.000-442.000=-11.000
max	431.000-442.000=-11.000

*mean*	2.717-3.471=-0.754
σ	0.100-0.098=0.002
min	2.515-3.346=-0.830
max	3.130-3.936=-0.806

name=record_render_large_syntax_err.art

*mean*	7.658
σ	0.002
min	7.657
max	7.661

*mean*	431.000-442.000=-11.000
σ	0.000
min	431.000-442.000=-11.000
max	431.000-442.000=-11.000

*mean*	2.630-3.432=-0.802
σ	0.097-0.076=0.022
min	2.464-3.285=-0.820
max	2.949-3.785=-0.836

name=record_render_success.art

*mean*	2.290
σ	0.002
min	2.289
max	2.293

*mean*	431.000-442.000=-11.000
σ	0.000
min	431.000-442.000=-11.000
max	431.000-442.000=-11.000

*mean*	0.311-0.543=-0.231
σ	0.014-0.035=-0.021
min	0.295-0.338=-0.043
max	0.386-0.658=-0.271

name=record_render_syntax_err.art

*mean*	2.165
σ	0.002
min	2.164
max	2.168

*mean*	431.000-442.000=-11.000
σ	0.000
min	431.000-442.000=-11.000
max	431.000-442.000=-11.000

*mean*	0.294-0.523=-0.229
σ	0.008-0.016=-0.008
min	0.279-0.500=-0.221
max	0.325-0.617=-0.292

Revision Creation

Factor

allocated MiB

peak allocated MiB

time_s

number of threads=8

revision count=1000

*mean*	11.618-11.552=0.065
σ	11.818-12.915=-1.097
min	0.574-0.573=0.001
max	95.073-145.744=-50.671

*mean*	459.979-461.283=-1.304
σ	19.530-19.574=-0.045
min	408.000-407.000=1.000
max	480.000-479.000=1.000

*mean*	0.027-0.026=0.000
σ	0.029-0.031=-0.003
min	0.001-0.001=-0.000
max	0.231-0.351=-0.120

SoV import

Factor

allocated MiB

peak allocated MiB

time_s

iters=10

rows=1000

*mean*	298.882-298.708=0.174
σ	1.014-1.071=-0.057
min	298.495-298.281=0.213
max	301.765-301.750=0.015

*mean*	438.900-439.500=-0.600
σ	15.624-15.974=-0.350
min	414.000-416.000=-2.000
max	461.000-466.000=-5.000

*mean*	0.580-0.591=-0.011
σ	0.041-0.024=0.017
min	0.516-0.545=-0.029
max	0.639-0.633=0.006

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*	842.750-845.000=-2.250
σ	1.035-0.000=1.035
min	842.000-845.000=-3.000
max	844.000-845.000=-1.000

*mean*	232.433-216.750=15.683
σ	22.806-24.677=-1.871
min	198.378-192.459=5.919
max	256.333-254.308=2.025

phase=macro expansion

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

*mean*	842.500-844.250=-1.750
σ	0.926-2.121=-1.196
min	842.000-839.000=3.000
max	844.000-845.000=-1.000

*mean*	9.636-9.216=0.419
σ	0.137-0.710=-0.573
min	9.427-7.462=1.965
max	9.818-9.514=0.304

phase=parser

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

*mean*	842.500-844.250=-1.750
σ	0.926-2.121=-1.196
min	842.000-839.000=3.000
max	844.000-845.000=-1.000

*mean*	603.002-581.777=21.225
σ	8.405-59.270=-50.864
min	592.309-438.234=154.075
max	616.009-614.450=1.559

phase=processProdDef

*mean*	2243.976-2243.977=-0.000
σ	0.000
min	2243.976-2243.977=-0.000
max	2243.976-2243.977=-0.000

*mean*	842.750-845.000=-2.250
σ	1.035-0.000=1.035
min	842.000-845.000=-3.000
max	844.000-845.000=-1.000

*mean*	2946.403-3076.575=-130.173
σ	462.254-485.416=-23.162
min	2031.853-1999.268=32.586
max	3410.861-3449.961=-39.101

phase=renaming

*mean*	21.671
σ	0.000
min	21.671
max	21.671

*mean*	842.500-844.250=-1.750
σ	0.926-2.121=-1.196
min	842.000-839.000=3.000
max	844.000-845.000=-1.000

*mean*	40.436-38.384=2.052
σ	0.265-4.791=-4.527
min	40.029-26.556=13.473
max	40.797-40.642=0.155

phase=type checker

*mean*	989.752
σ	0.066
min	989.654
max	989.841

*mean*	842.500-844.250=-1.750
σ	0.926-2.121=-1.196
min	842.000-839.000=3.000
max	844.000-845.000=-1.000

*mean*	719.591-714.799=4.792
σ	54.238-24.670=29.568
min	675.407-669.664=5.744
max	804.850-741.164=63.686

Workflow: transactPolicy

Factor

allocated MiB

peak allocated MiB

time

iters=5

new-facts=1

prior-facts=1

*mean*	293.819-293.820=-0.001
σ	0.039-0.041=-0.002
min	293.768-293.765=0.003
max	293.859-293.862=-0.003

*mean*	444.800-442.200=2.600
σ	1.095-1.643=-0.548
min	444.000-441.000=3.000
max	446.000-444.000=2.000

*mean*	0.392-0.394=-0.002
σ	0.006-0.006=0.000
min	0.388-0.389=-0.000
max	0.403-0.403=0.000

iters=5

new-facts=1

prior-facts=6402

*mean*	1320.287-1320.295=-0.008
σ	0.136-0.135=0.001
min	1320.165-1320.167=-0.003
max	1320.510-1320.506=0.003

*mean*	1092.000-1116.400=-24.400
σ	168.135-176.435=-8.300
min	894.000-899.000=-5.000
max	1322.000-1348.000=-26.000

*mean*	1.961-1.926=0.034
σ	0.136-0.050=0.086
min	1.878-1.849=0.028
max	2.200-1.975=0.225

iters=5

new-facts=6402

prior-facts=1

*mean*	1559.283-1559.285=-0.001
σ	2.972-2.997=-0.026
min	1557.686-1557.656=0.029
max	1564.585-1564.632=-0.047

*mean*	626.600-625.800=0.800
σ	86.875-87.317=-0.441
min	497.000-496.000=1.000
max	728.000-729.000=-1.000

*mean*	2.220-2.241=-0.022
σ	0.140-0.255=-0.116
min	2.105-2.064=0.041
max	2.460-2.692=-0.231

iters=5

new-facts=6402

prior-facts=6402

*mean*	1882.348-1882.362=-0.014
σ	0.060-0.084=-0.024
min	1882.266-1882.254=0.012
max	1882.425-1882.460=-0.035

*mean*	1731.800-1754.800=-23.000
σ	176.263-212.921=-36.657
min	1475.000-1467.000=8.000
max	1890.000-1955.000=-65.000

*mean*	3.072-3.213=-0.142
σ	0.273-0.375=-0.102
min	2.893-2.884=0.009
max	3.556-3.809=-0.253

newProductH/cdr_auton/broker

Factor

time_s

iterations=5

*mean*	1.820-1.768=0.052
σ	0.133-0.093=0.039
min	1.586-1.650=-0.064
max	1.907-1.855=0.052

policy addition benchmark

Factor

allocated MiB

db queries

peak allocated MiB

time

policies=2

*mean*	419.769-419.767=0.002
σ	518.097-518.097=-0.000
min	160.716-160.714=0.002
max	1196.914-1196.912=0.002

*mean*	101.750
σ	7.500
min	98.000
max	113.000

*mean*	446.000
σ	0.000
min	446.000
max	446.000

*mean*	0.494-0.521=-0.027
σ	0.455-0.510=-0.055
min	0.260-0.262=-0.002
max	1.177-1.287=-0.110

policies=20

*mean*	1607.497-1607.469=0.027
σ	0.353-0.351=0.002
min	1607.249-1607.232=0.018
max	1608.017-1607.991=0.026

*mean*	980.000
σ	0.000
min	980.000
max	980.000

*mean*	449.250-450.250=-1.000
σ	6.500-8.500=-2.000
min	446.000
max	459.000-463.000=-4.000

*mean*	2.594-2.585=0.009
σ	0.027-0.020=0.007
min	2.566-2.564=0.002
max	2.628-2.606=0.022

policies=200

*mean*	16083.460-16083.542=-0.082
σ	0.153-0.096=0.056
min	16083.351-16083.433=-0.082
max	16083.681-16083.668=0.013

*mean*	9800.000
σ	0.000
min	9800.000
max	9800.000

*mean*	496.500-497.750=-1.250
σ	4.203-5.123=-0.920
min	492.000-493.000=-1.000
max	502.000-505.000=-3.000

*mean*	26.131-26.152=-0.021
σ	0.121-0.121=0.000
min	25.997-26.015=-0.018
max	26.288-26.287=0.001