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*	4.863
σ	0.000
min	4.863
max	4.863

AST compact size (processProdDef)

Factor

compact size MiB

phase=processProdDef

*mean*	446.133-446.102=0.031
σ	0.000
min	446.133-446.102=0.031
max	446.133-446.102=0.031

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*	57.818-57.819=-0.001
σ	0.362-0.361=0.000
min	57.685-57.679=0.007
max	58.847-58.846=0.001

*mean*	424.000-418.000=6.000
σ	0.000
min	424.000-418.000=6.000
max	424.000-418.000=6.000

*mean*	0.147-0.148=-0.001
σ	0.004-0.005=-0.001
min	0.143-0.142=0.001
max	0.154-0.155=-0.001

cache=y

dps=1

iters=10

policies=100

*mean*	46.900-46.899=0.000
σ	0.007-0.007=-0.000
min	46.889-46.885=0.004
max	46.912-46.909=0.004

*mean*	424.700-418.000=6.700
σ	0.483-0.000=0.483
min	424.000-418.000=6.000
max	425.000-418.000=7.000

*mean*	0.131-0.132=-0.001
σ	0.004-0.004=0.000
min	0.126-0.127=-0.001
max	0.139-0.137=0.002

CSV - indexed operations

Factor

allocated MiB

peak allocated MiB

time (ms)

op=column_set() on indexed

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

*mean*	4592.000-4582.750=9.250
σ	2246.864-2254.431=-7.567
min	1484.000-1487.000=-3.000
max	7380.000-7403.000=-23.000

*mean*	177.234-14.116=163.118
σ	466.429-3.841=462.588
min	11.972-11.857=0.114
max	1331.587-22.249=1309.338

op=column_set() on indexed, repeat

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

*mean*	4592.000-4582.750=9.250
σ	2246.864-2254.431=-7.567
min	1484.000-1487.000=-3.000
max	7380.000-7403.000=-23.000

*mean*	13.922-14.574=-0.652
σ	4.524-3.514=1.010
min	11.589-12.493=-0.904
max	25.037-22.547=2.490

op=table_records(), no indexes

*mean*	41.940-41.940=0.000
σ	0.002-0.002=-0.000
min	41.938-41.938=0.000
max	41.942-41.942=0.000

*mean*	7380.000-7403.000=-23.000
σ	0.000
min	7380.000-7403.000=-23.000
max	7380.000-7403.000=-23.000

*mean*	11.681-11.311=0.369
σ	1.702-0.308=1.394
min	10.841-10.795=0.046
max	15.879-11.726=4.153

op=table_records(), repeat

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

*mean*	4184.500-4167.375=17.125
σ	1944.228-1945.539=-1.311
min	1484.000-1487.000=-3.000
max	7380.000-7403.000=-23.000

*mean*	11.365-11.668=-0.303
σ	0.940-1.885=-0.945
min	10.719-10.720=-0.001
max	13.644-16.300=-2.655

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

*mean*	27.634-27.634=-0.000
σ	0.137-0.137=-0.000
min	27.585
max	27.972-27.972=-0.000

*mean*	4184.500-4167.375=17.125
σ	1944.228-1945.539=-1.311
min	1484.000-1487.000=-3.000
max	7380.000-7403.000=-23.000

*mean*	8.710-9.046=-0.336
σ	0.583-1.300=-0.716
min	7.934-8.091=-0.157
max	9.960-12.202=-2.242

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

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

*mean*	4184.500-4167.375=17.125
σ	1944.228-1945.539=-1.311
min	1484.000-1487.000=-3.000
max	7380.000-7403.000=-23.000

*mean*	6.796-7.057=-0.261
σ	0.527-0.901=-0.374
min	6.363-6.467=-0.103
max	7.988-9.249=-1.261

op=vertical_lookup_row_list() on 2 indexed

*mean*	25.663-25.663=0.000
σ	0.004-0.004=0.000
min	25.662
max	25.674-25.674=0.000

*mean*	4592.000-4582.750=9.250
σ	2246.864-2254.431=-7.567
min	1484.000-1487.000=-3.000
max	7380.000-7403.000=-23.000

*mean*	6.448-6.487=-0.039
σ	1.012-0.984=0.028
min	5.965-5.836=0.129
max	8.939-8.724=0.214

op=vertical_lookup_row_list() on 3 (1 unindexed)

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

*mean*	4592.000-4582.750=9.250
σ	2246.864-2254.431=-7.567
min	1484.000-1487.000=-3.000
max	7380.000-7403.000=-23.000

*mean*	6.266-6.477=-0.211
σ	1.106-1.027=0.079
min	5.705-5.847=-0.142
max	8.989-8.836=0.154

CSV - loading a lazy table

Factor

allocated MiB

peak allocated MiB

time (ms)

op=load_product(), no indexes

*mean*	1021.599
σ	0.002
min	1021.597
max	1021.602

*mean*	7380.000-7403.000=-23.000
σ	0.000
min	7380.000-7403.000=-23.000
max	7380.000-7403.000=-23.000

*mean*	348.385-367.275=-18.890
σ	2.785-40.756=-37.971
min	344.677-350.319=-5.642
max	351.793-468.017=-116.223

op=load_product(), with indexes

*mean*	3495.848-3495.848=0.000
σ	0.460-0.460=-0.000
min	3495.685
max	3496.987

*mean*	3759.500-3747.375=12.125
σ	2299.496-2297.869=1.627
min	720.000
max	7380.000-7403.000=-23.000

*mean*	1776.407-1645.675=130.732
σ	671.488-549.612=121.876
min	1407.139-1409.366=-2.227
max	2926.788-2996.122=-69.334

CSV - unindexed operations

Factor

allocated MiB

peak allocated MiB

time (ms)

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

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

*mean*	4412.625-4402.250=10.375
σ	2216.071-2225.930=-9.860
min	1484.000-1487.000=-3.000
max	7380.000-7403.000=-23.000

*mean*	190.585-248.633=-58.049
σ	166.256-305.574=-139.318
min	126.780-130.418=-3.638
max	601.579-1003.510=-401.931

op=column_set() on unindexed, dense, repeat

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

*mean*	4412.625-4582.750=-170.125
σ	2216.071-2254.431=-38.360
min	1484.000-1487.000=-3.000
max	7380.000-7403.000=-23.000

*mean*	43.869-205.140=-161.271
σ	1.841-448.032=-446.191
min	41.156-41.732=-0.576
max	46.848-1313.786=-1266.938

op=vertical_lookup_list() repeated on unindexed missing Int

*mean*	40.927-40.927=0.000
σ	0.002-0.002=-0.000
min	40.926
max	40.930

*mean*	7380.000-7403.000=-23.000
σ	0.000
min	7380.000-7403.000=-23.000
max	7380.000-7403.000=-23.000

*mean*	192.652-22.412=170.240
σ	482.549-1.291=481.258
min	21.566-21.530=0.037
max	1386.899-24.998=1361.901

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.293-71.293=0.000
max	71.297

*mean*	7380.000-7403.000=-23.000
σ	0.000
min	7380.000-7403.000=-23.000
max	7380.000-7403.000=-23.000

*mean*	65.241-274.915=-209.674
σ	24.577-616.761=-592.185
min	55.451-55.778=-0.327
max	126.012-1801.317=-1675.306

CSV - warmup

Factor

allocated MiB

peak allocated MiB

time (ms)

op=table_records()

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

*mean*	4184.500-4167.375=17.125
σ	1944.228-1945.539=-1.311
min	1484.000-1487.000=-3.000
max	7380.000-7403.000=-23.000

*mean*	3133.418-3218.662=-85.243
σ	605.782-859.676=-253.894
min	2508.709-2515.728=-7.019
max	3901.940-4738.756=-836.815

op=vertical_lookup_list() on indexed

*mean*	1973.830
σ	0.002
min	1973.829
max	1973.833

*mean*	7380.000-7403.000=-23.000
σ	0.000
min	7380.000-7403.000=-23.000
max	7380.000-7403.000=-23.000

*mean*	996.039-1114.804=-118.765
σ	145.957-287.319=-141.362
min	921.109-932.199=-11.090
max	1323.894-1689.256=-365.362

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

*mean*	905.084
σ	0.002
min	905.082
max	905.087

*mean*	7380.000-7403.000=-23.000
σ	0.000
min	7380.000-7403.000=-23.000
max	7380.000-7403.000=-23.000

*mean*	401.699-415.871=-14.171
σ	6.259-40.751=-34.492
min	390.223-397.519=-7.296
max	408.759-516.589=-107.829

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*	478.000-479.000=-1.000
σ	0.000
min	478.000-479.000=-1.000
max	478.000-479.000=-1.000

*mean*	380.548-384.476=-3.928
σ	43.358-16.536=26.822
min	305.678-368.312=-62.634
max	441.976-413.127=28.849

op=pointedIndexFromKvs

rows=400000

*mean*	308.493
σ	0.001
min	308.493
max	308.497

*mean*	565.000-566.000=-1.000
σ	0.000
min	565.000-566.000=-1.000
max	565.000-566.000=-1.000

*mean*	738.926-754.030=-15.105
σ	35.668-57.931=-22.263
min	665.154-636.224=28.930
max	793.373-807.998=-14.625

Marine Hull: transactPolicy

Factor

allocated MiB

peak allocated MiB

time

datapoints=1

iterations=20

*mean*	977.273-977.272=0.001
σ	2.441-2.441=0.000
min	976.423-976.424=-0.001
max	987.617-987.615=0.002

*mean*	1048.800-1049.000=-0.200
σ	311.351-314.130=-2.779
min	563.000-567.000=-4.000
max	1507.000-1500.000=7.000

*mean*	1.275-1.334=-0.058
σ	0.069-0.173=-0.104
min	1.210-1.172=0.038
max	1.459-1.794=-0.335

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

*mean*	0.503-0.308=0.195
σ	0.458-0.330=0.127
min	0.260-0.131=0.130
max	1.316-0.893=0.424

name=error_case.art

*mean*	2.346
σ	0.012
min	2.340
max	2.368

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

*mean*	0.841-0.421=0.420
σ	0.541-0.207=0.334
min	0.577-0.308=0.268
max	1.809-0.791=1.018

name=heavy_item.art

*mean*	1.523
σ	0.002
min	1.522
max	1.526

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

*mean*	0.386-0.209=0.176
σ	0.032-0.023=0.009
min	0.363-0.192=0.170
max	0.442-0.248=0.194

name=nested_use.art

*mean*	2.364
σ	0.002
min	2.363
max	2.367

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

*mean*	0.607-0.324=0.283
σ	0.019-0.020=-0.002
min	0.590-0.309=0.281
max	0.639-0.359=0.280

Parser: Real World

Factor

allocated MiB

peak allocated MiB

time (sec)

name=aon_gpf25_7k_loc.art

*mean*	964.978
σ	0.009
min	964.973
max	964.995

*mean*	431.000-434.600=-3.600
σ	0.000-5.079=-5.079
min	431.000-430.000=1.000
max	431.000-440.000=-9.000

*mean*	0.596-0.551=0.045
σ	0.088-0.038=0.051
min	0.535-0.494=0.040
max	0.746-0.594=0.152

name=cdr_enhanced_4k_loc.art

*mean*	886.000
σ	0.002
min	885.999
max	886.003

*mean*	431.000-440.000=-9.000
σ	0.000
min	431.000-440.000=-9.000
max	431.000-440.000=-9.000

*mean*	0.452-0.463=-0.011
σ	0.023-0.054=-0.031
min	0.429-0.391=0.039
max	0.483-0.517=-0.035

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*	431.000-440.000=-9.000
σ	0.000
min	431.000-440.000=-9.000
max	431.000-440.000=-9.000

*mean*	2.668-2.739=-0.071
σ	0.132-0.118=0.014
min	2.447-2.488=-0.041
max	3.477-3.020=0.456

name=record_render_large_syntax_err.art

*mean*	7.667
σ	0.002
min	7.666
max	7.670

*mean*	431.000-440.000=-9.000
σ	0.000
min	431.000-440.000=-9.000
max	431.000-440.000=-9.000

*mean*	2.577-2.681=-0.104
σ	0.061-0.128=-0.066
min	2.468-2.490=-0.022
max	2.828-3.439=-0.611

name=record_render_success.art

*mean*	2.290
σ	0.002
min	2.290
max	2.294

*mean*	431.000-440.000=-9.000
σ	0.000
min	431.000-440.000=-9.000
max	431.000-440.000=-9.000

*mean*	0.309-0.308=0.001
σ	0.010-0.009=0.002
min	0.294-0.294=-0.000
max	0.360-0.363=-0.002

name=record_render_syntax_err.art

*mean*	2.166
σ	0.002
min	2.165
max	2.169

*mean*	431.000-440.000=-9.000
σ	0.000
min	431.000-440.000=-9.000
max	431.000-440.000=-9.000

*mean*	0.294-0.294=0.000
σ	0.017-0.007=0.010
min	0.278-0.280=-0.001
max	0.437-0.328=0.109

Revision Creation

Factor

allocated MiB

peak allocated MiB

time_s

number of threads=8

revision count=1000

*mean*	11.927-12.008=-0.082
σ	12.004-12.154=-0.150
min	0.577-0.574=0.003
max	91.862-120.457=-28.595

*mean*	459.620-464.073=-4.453
σ	17.842-20.311=-2.469
min	408.000
max	479.000-483.000=-4.000

*mean*	0.027-0.027=-0.000
σ	0.029-0.030=-0.000
min	0.001-0.001=-0.000
max	0.219-0.282=-0.062

SoV import

Factor

allocated MiB

peak allocated MiB

time_s

iters=10

rows=1000

*mean*	294.052-294.273=-0.221
σ	1.063-1.042=0.022
min	293.682-293.864=-0.182
max	297.078-297.233=-0.155

*mean*	438.400-441.600=-3.200
σ	15.862-17.915=-2.053
min	415.000
max	460.000-463.000=-3.000

*mean*	0.597-0.594=0.003
σ	0.013-0.013=0.001
min	0.576-0.568=0.008
max	0.622-0.608=0.014

Timed compile per phase

Factor

allocated MiB

peak allocated MiB

time (ms)

phase=buildDeclTree

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

*mean*	843.000-850.000=-7.000
σ	0.000
min	843.000-850.000=-7.000
max	843.000-850.000=-7.000

*mean*	146.175-140.899=5.276
σ	15.908-14.574=1.334
min	127.701-108.814=18.887
max	163.559-159.846=3.714

phase=macro expansion

*mean*	5.894-5.897=-0.004
σ	0.000
min	5.894-5.897=-0.004
max	5.894-5.897=-0.004

*mean*	843.000-841.250=1.750
σ	0.000-24.749=-24.749
min	843.000-780.000=63.000
max	843.000-850.000=-7.000

*mean*	8.326-8.499=-0.173
σ	1.203-0.946=0.257
min	5.906-6.951=-1.045
max	9.089-9.152=-0.063

phase=parser

*mean*	1042.132-1042.133=-0.000
σ	0.000-0.000=-0.000
min	1042.132-1042.132=-0.000
max	1042.132-1042.133=-0.001

*mean*	843.000-841.250=1.750
σ	0.000-24.749=-24.749
min	843.000-780.000=63.000
max	843.000-850.000=-7.000

*mean*	565.037-569.506=-4.469
σ	88.607-80.405=8.202
min	402.411-432.398=-29.987
max	618.814-619.078=-0.265

phase=processProdDef

*mean*	2241.195-2241.194=0.001
σ	0.000
min	2241.195-2241.194=0.001
max	2241.195-2241.194=0.001

*mean*	843.000-850.000=-7.000
σ	0.000
min	843.000-850.000=-7.000
max	843.000-850.000=-7.000

*mean*	2886.559-2902.600=-16.041
σ	340.239-277.881=62.358
min	2407.721-2565.509=-157.789
max	3225.830-3292.367=-66.536

phase=renaming

*mean*	21.430
σ	0.000
min	21.430
max	21.430

*mean*	843.000-841.250=1.750
σ	0.000-24.749=-24.749
min	843.000-780.000=63.000
max	843.000-850.000=-7.000

*mean*	44.707-45.022=-0.315
σ	5.456-4.754=0.702
min	35.123-36.772=-1.649
max	49.244-49.818=-0.574

phase=type checker

*mean*	958.466-958.462=0.004
σ	0.047
min	958.443-958.439=0.004
max	958.568-958.564=0.004

*mean*	843.000-841.250=1.750
σ	0.000-24.749=-24.749
min	843.000-780.000=63.000
max	843.000-850.000=-7.000

*mean*	667.988-664.784=3.204
σ	11.073-13.278=-2.205
min	650.386-645.650=4.736
max	678.869-681.562=-2.693

Workflow: transactPolicy

Factor

allocated MiB

peak allocated MiB

time

iters=5

new-facts=1

prior-facts=1

*mean*	328.219-328.221=-0.001
σ	0.038-0.041=-0.003
min	328.166-328.162=0.004
max	328.259-328.263=-0.004

*mean*	438.600-439.200=-0.600
σ	5.413-5.020=0.393
min	430.000-431.000=-1.000
max	443.000

*mean*	0.429-0.443=-0.014
σ	0.004-0.008=-0.004
min	0.424-0.433=-0.009
max	0.433-0.451=-0.017

iters=5

new-facts=1

prior-facts=6402

*mean*	1313.421-1313.434=-0.013
σ	0.132-0.132=0.001
min	1313.310-1313.318=-0.008
max	1313.646-1313.649=-0.003

*mean*	1069.600-1091.600=-22.000
σ	176.878-218.496=-41.618
min	849.000-840.000=9.000
max	1299.000-1375.000=-76.000

*mean*	1.860-1.893=-0.034
σ	0.073-0.034=0.039
min	1.768-1.848=-0.080
max	1.955-1.939=0.016

iters=5

new-facts=6402

prior-facts=1

*mean*	1552.407-1552.394=0.013
σ	3.056-3.076=-0.020
min	1550.817-1550.820=-0.003
max	1557.861-1557.885=-0.025

*mean*	615.400-615.200=0.200
σ	65.048-64.410=0.638
min	542.000
max	699.000-697.000=2.000

*mean*	2.244-2.180=0.065
σ	0.213-0.139=0.075
min	2.047-2.071=-0.024
max	2.482-2.421=0.061

iters=5

new-facts=6402

prior-facts=6402

*mean*	1875.422-1875.429=-0.006
σ	0.048-0.059=-0.011
min	1875.355-1875.348=0.007
max	1875.474-1875.495=-0.021

*mean*	1705.400-1685.000=20.400
σ	224.618-162.468=62.150
min	1423.000-1507.000=-84.000
max	2011.000-1928.000=83.000

*mean*	2.951-2.896=0.055
σ	0.128-0.180=-0.052
min	2.842-2.635=0.207
max	3.095-3.071=0.024

newProductH/cdr_auton/broker

Factor

time_s

iterations=5

*mean*	1.591-1.625=-0.033
σ	0.128-0.023=0.105
min	1.379-1.594=-0.216
max	1.689-1.653=0.036

policy addition benchmark

Factor

allocated MiB

db queries

peak allocated MiB

time

policies=2

*mean*	420.087-420.089=-0.002
σ	508.899-508.898=0.001
min	165.635-165.636=-0.002
max	1183.436-1183.436=-0.001

*mean*	103.500
σ	7.000
min	100.000
max	114.000

*mean*	435.000
σ	0.000
min	435.000
max	435.000

*mean*	0.535-0.540=-0.005
σ	0.516-0.533=-0.017
min	0.273-0.272=0.002
max	1.309-1.340=-0.031

policies=20

*mean*	1656.566-1656.570=-0.005
σ	0.383-0.388=-0.004
min	1656.350-1656.348=0.002
max	1657.139-1657.150=-0.011

*mean*	1000.000
σ	0.000
min	1000.000
max	1000.000

*mean*	451.250-449.250=2.000
σ	16.358-14.315=2.043
min	435.000
max	472.000-468.000=4.000

*mean*	2.659-2.664=-0.006
σ	0.007-0.008=-0.001
min	2.655-2.653=0.002
max	2.669-2.671=-0.002

policies=200

*mean*	16573.711-16573.720=-0.009
σ	0.030-0.078=-0.047
min	16573.691-16573.606=0.085
max	16573.756-16573.773=-0.017

*mean*	10000.000
σ	0.000
min	10000.000
max	10000.000

*mean*	500.250-497.000=3.250
σ	4.787-5.715=-0.928
min	495.000-491.000=4.000
max	506.000-504.000=2.000

*mean*	26.865-26.890=-0.026
σ	0.126-0.142=-0.015
min	26.750-26.751=-0.001
max	26.996-27.026=-0.030