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.082
σ	0.000
min	5.082
max	5.082

AST compact size (parser)

Factor

compact size MiB

phase=parser

*mean*	4.988
σ	0.000
min	4.988
max	4.988

AST compact size (processProdDef Decls)

Factor

compact size MiB

phase=processProdDef Decls

*mean*	5.395
σ	0.000
min	5.395
max	5.395

AST compact size (processProdDef)

Factor

compact size MiB

phase=processProdDef

*mean*	446.633
σ	0.000
min	446.633
max	446.633

AST compact size (renaming)

Factor

compact size MiB

phase=renaming

*mean*	5.238
σ	0.000
min	5.238
max	5.238

AST compact size (type checker)

Factor

compact size MiB

phase=type checker

*mean*	6.395
σ	0.000
min	6.395
max	6.395

Aggregation: measureAggregations

Factor

allocated MiB

peak allocated MiB

time_s

cache=n

dps=1

iters=10

policies=100

*mean*	54.716-54.716=0.000
σ	0.364-0.364=-0.000
min	54.585-54.577=0.008
max	55.751-55.751=-0.001

*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.139=0.002
σ	0.004-0.005=-0.001
min	0.138-0.133=0.005
max	0.147-0.147=0.001

cache=y

dps=1

iters=10

policies=100

*mean*	43.778-43.779=-0.001
σ	0.008-0.008=0.000
min	43.765-43.763=0.002
max	43.791-43.788=0.003

*mean*	416.000-417.600=-1.600
σ	0.000-0.516=-0.516
min	416.000-417.000=-1.000
max	416.000-418.000=-2.000

*mean*	0.123-0.123=0.001
σ	0.004-0.004=-0.000
min	0.116-0.117=-0.001
max	0.131-0.129=0.002

CSV - indexed operations

Factor

allocated MiB

peak allocated MiB

time (ms)

op=column_set() on indexed

*mean*	36.604-36.604=0.000
σ	0.000-0.000=0.000
min	36.604
max	36.605-36.605=0.000

*mean*	4588.000-4426.625=161.375
σ	2246.519-2224.029=22.489
min	1486.000-1484.000=2.000
max	7377.000-7401.000=-24.000

*mean*	140.021-13.454=126.567
σ	361.497-3.596=357.901
min	11.847-11.845=0.001
max	1034.679-22.279=1012.400

op=column_set() on indexed, repeat

*mean*	36.604-36.605=-0.000
σ	0.000-0.000=-0.000
min	36.604-36.604=-0.000
max	36.605-36.605=-0.001

*mean*	4588.000-4606.375=-18.375
σ	2246.519-2255.352=-8.834
min	1486.000-1484.000=2.000
max	7377.000-7401.000=-24.000

*mean*	13.680-130.311=-116.631
σ	3.545-330.974=-327.429
min	11.646-11.356=0.290
max	22.346-949.386=-927.039

op=table_records(), no indexes

*mean*	41.939-41.939=-0.000
σ	0.002-0.002=-0.000
min	41.938-41.938=-0.000
max	41.942-41.943=-0.001

*mean*	7377.000-7401.000=-24.000
σ	0.000
min	7377.000-7401.000=-24.000
max	7377.000-7401.000=-24.000

*mean*	11.060-10.990=0.071
σ	0.169-0.251=-0.081
min	10.815-10.659=0.156
max	11.409-11.505=-0.096

op=table_records(), repeat

*mean*	41.925-41.925=-0.000
σ	0.000-0.001=-0.001
min	41.924-41.924=0.000
max	41.925-41.928=-0.003

*mean*	4179.625-4198.625=-19.000
σ	1943.624-1952.461=-8.837
min	1486.000-1484.000=2.000
max	7377.000-7401.000=-24.000

*mean*	11.731-11.175=0.555
σ	1.632-1.037=0.595
min	10.956-10.657=0.300
max	15.760-13.731=2.029

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

*mean*	27.633-27.633=0.000
σ	0.137-0.137=-0.000
min	27.584
max	27.971-27.971=-0.000

*mean*	4179.625-4198.625=-19.000
σ	1943.624-1952.461=-8.837
min	1486.000-1484.000=2.000
max	7377.000-7401.000=-24.000

*mean*	9.053-8.790=0.263
σ	1.425-0.596=0.829
min	7.844-7.924=-0.080
max	12.500-10.054=2.445

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

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

*mean*	4179.625-4198.625=-19.000
σ	1943.624-1952.461=-8.837
min	1486.000-1484.000=2.000
max	7377.000-7401.000=-24.000

*mean*	6.905-6.896=0.009
σ	0.986-0.452=0.535
min	5.990-6.445=-0.455
max	9.206-7.950=1.256

op=vertical_lookup_row_list() on 2 indexed

*mean*	25.662
σ	0.004-0.004=0.000
min	25.661
max	25.673-25.673=0.000

*mean*	4588.000-4606.375=-18.375
σ	2246.519-2255.352=-8.834
min	1486.000-1484.000=2.000
max	7377.000-7401.000=-24.000

*mean*	6.508-6.581=-0.073
σ	1.009-1.326=-0.317
min	5.996-5.781=0.215
max	8.979-8.881=0.099

op=vertical_lookup_row_list() on 3 (1 unindexed)

*mean*	25.961-25.961=0.000
σ	0.000-0.001=-0.000
min	25.961-25.961=0.000
max	25.962-25.962=-0.000

*mean*	4588.000-4606.375=-18.375
σ	2246.519-2255.352=-8.834
min	1486.000-1484.000=2.000
max	7377.000-7401.000=-24.000

*mean*	6.265-6.587=-0.323
σ	1.045-1.427=-0.381
min	5.648-5.744=-0.096
max	8.836-9.068=-0.231

CSV - loading a lazy table

Factor

allocated MiB

peak allocated MiB

time (ms)

op=load_product(), no indexes

*mean*	1021.608-1021.608=-0.000
σ	0.002-0.002=-0.000
min	1021.606
max	1021.611

*mean*	7377.000-7401.000=-24.000
σ	0.000
min	7377.000-7401.000=-24.000
max	7377.000-7401.000=-24.000

*mean*	362.359-346.902=15.457
σ	42.166-1.782=40.385
min	343.870-344.659=-0.789
max	466.615-349.430=117.185

op=load_product(), with indexes

*mean*	3495.854-3495.855=-0.000
σ	0.453-0.454=-0.001
min	3495.694
max	3496.977-3496.978=-0.002

*mean*	3755.750-3771.250=-15.500
σ	2298.367-2309.014=-10.647
min	719.000-720.000=-1.000
max	7377.000-7401.000=-24.000

*mean*	1709.967-1786.858=-76.891
σ	603.764-675.135=-71.370
min	1385.802-1387.589=-1.787
max	2930.851-2975.710=-44.859

CSV - unindexed operations

Factor

allocated MiB

peak allocated MiB

time (ms)

op=column_set() on unindexed, dense, minor warmup

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

*mean*	4407.875-4198.625=209.250
σ	2215.835-1952.461=263.374
min	1486.000-1484.000=2.000
max	7377.000-7401.000=-24.000

*mean*	188.961-131.571=57.391
σ	153.827-8.703=145.125
min	124.509-124.433=0.077
max	566.746-148.151=418.595

op=column_set() on unindexed, dense, repeat

*mean*	62.068-62.068=-0.000
σ	0.001-0.001=-0.000
min	62.065
max	62.068-62.069=-0.001

*mean*	4407.875-4426.625=-18.750
σ	2215.835-2224.029=-8.194
min	1486.000-1484.000=2.000
max	7377.000-7401.000=-24.000

*mean*	43.373-130.015=-86.642
σ	1.771-246.813=-245.042
min	41.571-41.447=0.123
max	46.891-740.839=-693.948

op=vertical_lookup_list() repeated on unindexed missing Int

*mean*	40.926-40.926=-0.000
σ	0.002-0.002=-0.000
min	40.925
max	40.928-40.929=-0.001

*mean*	7377.000-7401.000=-24.000
σ	0.000
min	7377.000-7401.000=-24.000
max	7377.000-7401.000=-24.000

*mean*	22.278-121.016=-98.738
σ	1.749-280.708=-278.960
min	21.301-21.500=-0.199
max	26.578-815.733=-789.155

op=vertical_lookup_row_list() on unindexed small unique Int

*mean*	71.294-71.294=0.000
σ	0.002-0.002=-0.000
min	71.292-71.292=-0.000
max	71.296-71.296=-0.000

*mean*	7377.000-7401.000=-24.000
σ	0.000
min	7377.000-7401.000=-24.000
max	7377.000-7401.000=-24.000

*mean*	233.104-59.616=173.487
σ	497.351-9.842=487.509
min	55.556-55.462=0.094
max	1463.964-83.930=1380.034

CSV - warmup

Factor

allocated MiB

peak allocated MiB

time (ms)

op=table_records()

*mean*	4646.842-4646.842=0.001
σ	0.014-0.013=0.000
min	4646.837
max	4646.876-4646.875=0.001

*mean*	4179.625-4198.625=-19.000
σ	1943.624-1952.461=-8.837
min	1486.000-1484.000=2.000
max	7377.000-7401.000=-24.000

*mean*	3239.189-3239.513=-0.324
σ	828.352-718.314=110.038
min	2487.307-2518.741=-31.435
max	4847.680-4398.888=448.792

op=vertical_lookup_list() on indexed

*mean*	1973.829-1973.829=0.000
σ	0.002-0.002=0.000
min	1973.827
max	1973.832-1973.831=0.000

*mean*	7377.000-7401.000=-24.000
σ	0.000
min	7377.000-7401.000=-24.000
max	7377.000-7401.000=-24.000

*mean*	1050.292-979.767=70.525
σ	254.431-105.575=148.856
min	915.909-921.405=-5.496
max	1656.874-1215.576=441.298

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

*mean*	905.083
σ	0.002
min	905.080
max	905.086

*mean*	7377.000-7401.000=-24.000
σ	0.000
min	7377.000-7401.000=-24.000
max	7377.000-7401.000=-24.000

*mean*	393.973-390.823=3.150
σ	11.394-3.178=8.216
min	376.116-384.475=-8.359
max	417.379-394.647=22.732

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*	477.125-476.500=0.625
σ	0.354-0.535=-0.181
min	477.000-476.000=1.000
max	478.000-477.000=1.000

*mean*	373.816-386.387=-12.571
σ	34.784-22.491=12.293
min	301.832-360.962=-59.129
max	413.926-423.356=-9.429

op=pointedIndexFromKvs

rows=400000

*mean*	308.493
σ	0.001
min	308.493
max	308.497

*mean*	566.000-563.000=3.000
σ	0.000
min	566.000-563.000=3.000
max	566.000-563.000=3.000

*mean*	734.347-747.153=-12.806
σ	59.441-67.230=-7.789
min	661.482-625.283=36.199
max	828.036-799.987=28.049

Marine Hull: transactPolicy

Factor

allocated MiB

peak allocated MiB

time

datapoints=1

iterations=20

*mean*	964.563-964.562=0.001
σ	1.879-1.879=-0.001
min	963.842-963.846=-0.004
max	972.509-972.511=-0.002

*mean*	1042.600-1037.050=5.550
σ	318.382-310.920=7.462
min	554.000-544.000=10.000
max	1512.000-1536.000=-24.000

*mean*	1.297-1.269=0.028
σ	0.159-0.157=0.001
min	1.185-1.180=0.005
max	1.779-1.890=-0.111

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*	401.000-402.000=-1.000
σ	0.000
min	401.000-402.000=-1.000
max	401.000-402.000=-1.000

*mean*	0.315-0.477=-0.162
σ	0.325-0.547=-0.222
min	0.140-0.223=-0.083
max	0.891-1.455=-0.565

name=error_case.art

*mean*	2.346
σ	0.012
min	2.340
max	2.368

*mean*	401.000-402.000=-1.000
σ	0.000
min	401.000-402.000=-1.000
max	401.000-402.000=-1.000

*mean*	0.418-0.675=-0.258
σ	0.194-0.207=-0.014
min	0.322-0.559=-0.238
max	0.763-1.046=-0.282

name=heavy_item.art

*mean*	1.523
σ	0.002
min	1.522
max	1.526

*mean*	401.000-402.000=-1.000
σ	0.000
min	401.000-402.000=-1.000
max	401.000-402.000=-1.000

*mean*	0.218-0.381=-0.163
σ	0.029-0.041=-0.013
min	0.189-0.345=-0.156
max	0.264-0.450=-0.186

name=nested_use.art

*mean*	2.364
σ	0.002
min	2.363
max	2.367

*mean*	401.000-402.000=-1.000
σ	0.000
min	401.000-402.000=-1.000
max	401.000-402.000=-1.000

*mean*	0.335-0.591=-0.257
σ	0.015-0.031=-0.016
min	0.322-0.568=-0.246
max	0.359-0.645=-0.286

Parser: Real World

Factor

allocated MiB

peak allocated MiB

time (sec)

name=aon_gpf25_7k_loc.art

*mean*	964.979
σ	0.009
min	964.974
max	964.996

*mean*	430.600-431.000=-0.400
σ	1.342-0.000=1.342
min	430.000-431.000=-1.000
max	433.000-431.000=2.000

*mean*	0.521-0.605=-0.084
σ	0.038-0.077=-0.039
min	0.484-0.548=-0.064
max	0.583-0.734=-0.151

name=cdr_enhanced_4k_loc.art

*mean*	886.001
σ	0.002
min	886.000
max	886.004

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

*mean*	0.467-0.490=-0.023
σ	0.014-0.042=-0.028
min	0.447-0.424=0.023
max	0.483-0.526=-0.043

Parser: Record Parsing

Factor

allocated MiB

peak allocated MiB

time (ms)

name=record_render_large_success.art

*mean*	7.719
σ	0.002
min	7.718
max	7.722

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

*mean*	2.664-1.947=0.717
σ	0.109-0.079=0.030
min	2.502-1.816=0.686
max	3.037-2.466=0.570

name=record_render_large_syntax_err.art

*mean*	7.667
σ	0.002
min	7.666
max	7.670

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

*mean*	2.612-2.568=0.044
σ	0.070-0.174=-0.104
min	2.497-1.874=0.623
max	2.855-2.931=-0.075

name=record_render_success.art

*mean*	2.290
σ	0.002
min	2.290
max	2.294

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

*mean*	0.303-0.314=-0.011
σ	0.009-0.050=-0.041
min	0.290-0.283=0.007
max	0.355-0.758=-0.402

name=record_render_syntax_err.art

*mean*	2.166
σ	0.002
min	2.165
max	2.169

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

*mean*	0.288-0.294=-0.006
σ	0.009-0.030=-0.021
min	0.276-0.275=0.001
max	0.348-0.569=-0.221

Revision Creation

Factor

allocated MiB

peak allocated MiB

time_s

number of threads=8

revision count=1000

*mean*	11.744-11.194=0.550
σ	11.320-12.788=-1.467
min	0.574-0.574=-0.000
max	91.858-126.824=-34.966

*mean*	463.112-465.901=-2.789
σ	21.178-19.384=1.794
min	408.000-406.000=2.000
max	480.000-479.000=1.000

*mean*	0.027-0.026=0.001
σ	0.028-0.031=-0.004
min	0.001-0.001=-0.000
max	0.228-0.306=-0.078

SoV import

Factor

allocated MiB

peak allocated MiB

time_s

iters=10

rows=1000

*mean*	279.105-279.232=-0.127
σ	1.054-1.060=-0.006
min	278.733-278.813=-0.080
max	282.103-282.244=-0.141

*mean*	441.600-442.700=-1.100
σ	14.894-14.484=0.410
min	417.000-426.000=-9.000
max	466.000

*mean*	0.582-0.575=0.007
σ	0.011-0.016=-0.005
min	0.574-0.547=0.027
max	0.609-0.598=0.011

Timed compile per phase

Factor

allocated MiB

peak allocated MiB

time (ms)

phase=buildDeclTree

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

*mean*	874.000-850.000=24.000
σ	0.000
min	874.000-850.000=24.000
max	874.000-850.000=24.000

*mean*	239.074-227.725=11.349
σ	12.189-23.356=-11.167
min	210.344-189.516=20.827
max	247.653-253.881=-6.228

phase=macro expansion

*mean*	5.896
σ	0.000
min	5.896
max	5.896

*mean*	874.000-841.250=32.750
σ	0.000-24.749=-24.749
min	874.000-780.000=94.000
max	874.000-850.000=24.000

*mean*	7.468-8.381=-0.913
σ	1.626-1.236=0.390
min	5.894-5.889=0.005
max	9.159-9.098=0.061

phase=parser

*mean*	1042.133-1042.131=0.002
σ	0.000-0.000=-0.000
min	1042.132-1042.130=0.002
max	1042.133-1042.131=0.002

*mean*	874.000-841.250=32.750
σ	0.000-24.749=-24.749
min	874.000-780.000=94.000
max	874.000-850.000=24.000

*mean*	482.209-587.297=-105.088
σ	114.186-66.316=47.870
min	372.780-424.366=-51.586
max	591.826-616.425=-24.599

phase=processProdDef

*mean*	2243.717-2243.718=-0.001
σ	0.000
min	2243.717-2243.718=-0.001
max	2243.717-2243.718=-0.001

*mean*	874.000-850.000=24.000
σ	0.000
min	874.000-850.000=24.000
max	874.000-850.000=24.000

*mean*	2836.582-2763.868=72.714
σ	292.357-404.298=-111.941
min	2373.357-1902.614=470.743
max	3281.794-3166.000=115.793

phase=renaming

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

*mean*	874.000-841.250=32.750
σ	0.000-24.749=-24.749
min	874.000-780.000=94.000
max	874.000-850.000=24.000

*mean*	35.118-44.465=-9.347
σ	7.522-5.689=1.832
min	24.468-35.077=-10.610
max	42.316-50.559=-8.243

phase=type checker

*mean*	958.596
σ	0.047
min	958.573
max	958.698

*mean*	874.000-841.250=32.750
σ	0.000-24.749=-24.749
min	874.000-780.000=94.000
max	874.000-850.000=24.000

*mean*	680.886-664.103=16.783
σ	45.926-18.811=27.114
min	637.083-639.157=-2.074
max	748.050-690.165=57.886

Workflow: transactPolicy

Factor

allocated MiB

peak allocated MiB

time

iters=5

new-facts=1

prior-facts=1

*mean*	282.857-282.854=0.002
σ	0.036-0.038=-0.002
min	282.805-282.799=0.005
max	282.891-282.890=0.001

*mean*	442.600
σ	2.191
min	441.000
max	445.000

*mean*	0.379-0.378=0.001
σ	0.005-0.004=0.000
min	0.377-0.376=0.001
max	0.387-0.386=0.001

iters=5

new-facts=1

prior-facts=6402

*mean*	1268.057-1268.058=-0.001
σ	0.113-0.115=-0.001
min	1267.963-1267.967=-0.005
max	1268.248-1268.249=-0.002

*mean*	1093.400-1092.400=1.000
σ	169.996-168.011=1.985
min	892.000-893.000=-1.000
max	1326.000-1321.000=5.000

*mean*	1.966-1.981=-0.015
σ	0.104-0.112=-0.009
min	1.851-1.845=0.006
max	2.098-2.110=-0.012

iters=5

new-facts=6402

prior-facts=1

*mean*	1507.032-1507.022=0.010
σ	2.977-2.976=0.001
min	1505.480-1505.471=0.009
max	1512.346-1512.334=0.012

*mean*	625.200-626.000=-0.800
σ	87.102-87.164=-0.062
min	495.000-496.000=-1.000
max	727.000-728.000=-1.000

*mean*	2.231-2.215=0.016
σ	0.214-0.202=0.011
min	2.105-2.092=0.013
max	2.611-2.575=0.036

iters=5

new-facts=6402

prior-facts=6402

*mean*	1830.068-1830.066=0.003
σ	0.051-0.046=0.005
min	1829.993-1829.997=-0.004
max	1830.113-1830.117=-0.004

*mean*	1720.600-1722.400=-1.800
σ	190.165-189.592=0.573
min	1458.000-1455.000=3.000
max	1894.000

*mean*	3.005-2.949=0.056
σ	0.287-0.320=-0.033
min	2.816-2.611=0.205
max	3.515-3.479=0.035

newProductH/cdr_auton/broker

Factor

time_s

iterations=5

*mean*	1.727-1.687=0.040
σ	0.185-0.116=0.068
min	1.429-1.527=-0.098
max	1.866-1.822=0.044

policy addition benchmark

Factor

allocated MiB

db queries

peak allocated MiB

time

policies=2

*mean*	406.198-406.196=0.002
σ	509.796-509.796=0.000
min	151.295-151.293=0.002
max	1170.892-1170.890=0.002

*mean*	101.750
σ	7.500
min	98.000
max	113.000

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

*mean*	0.511-0.507=0.004
σ	0.512-0.501=0.010
min	0.253-0.248=0.006
max	1.279-1.259=0.019

policies=20

*mean*	1513.152-1513.133=0.019
σ	0.268-0.276=-0.008
min	1512.977-1512.950=0.027
max	1513.549-1513.541=0.008

*mean*	980.000
σ	0.000
min	980.000
max	980.000

*mean*	446.500-444.500=2.000
σ	3.000
min	442.000-440.000=2.000
max	448.000-446.000=2.000

*mean*	2.499-2.507=-0.008
σ	0.028-0.020=0.007
min	2.464-2.488=-0.024
max	2.526-2.528=-0.003

policies=200

*mean*	15140.016-15139.971=0.045
σ	0.089-0.154=-0.065
min	15139.935-15139.812=0.123
max	15140.142-15140.173=-0.031

*mean*	9800.000
σ	0.000
min	9800.000
max	9800.000

*mean*	498.750-495.000=3.750
σ	3.500-5.099=-1.599
min	495.000-490.000=5.000
max	503.000-502.000=1.000

*mean*	25.229-25.281=-0.052
σ	0.098-0.124=-0.026
min	25.121-25.182=-0.060
max	25.355-25.462=-0.107