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.102
σ	0.000
min	446.102
max	446.102

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.817-57.818=-0.001
σ	0.362-0.359=0.003
min	57.681-57.682=-0.001
max	58.847-58.840=0.007

*mean*	421.000-422.700=-1.700
σ	0.000-0.483=-0.483
min	421.000-422.000=-1.000
max	421.000-423.000=-2.000

*mean*	0.146-0.147=-0.001
σ	0.004-0.004=-0.000
min	0.143-0.144=-0.001
max	0.154-0.156=-0.002

cache=y

dps=1

iters=10

policies=100

*mean*	46.899-46.897=0.001
σ	0.007-0.007=-0.000
min	46.889-46.886=0.003
max	46.910-46.908=0.002

*mean*	421.000-423.000=-2.000
σ	0.000
min	421.000-423.000=-2.000
max	421.000-423.000=-2.000

*mean*	0.128-0.128=0.001
σ	0.005-0.005=0.000
min	0.121-0.122=-0.000
max	0.139-0.138=0.001

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.605-36.606=-0.000

*mean*	4428.750-4591.500=-162.750
σ	2227.496-2247.633=-20.137
min	1485.000-1486.000=-1.000
max	7410.000-7385.000=25.000

*mean*	13.611-172.390=-158.779
σ	3.575-451.198=-447.623
min	12.048-11.691=0.357
max	22.392-1289.037=-1266.646

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.606-36.605=0.001

*mean*	4609.500-4591.500=18.000
σ	2258.703-2247.633=11.071
min	1485.000-1486.000=-1.000
max	7410.000-7385.000=25.000

*mean*	135.321-14.369=120.952
σ	344.159-3.812=340.347
min	11.377-11.611=-0.234
max	987.029-22.855=964.174

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.943-41.943=-0.000

*mean*	7410.000-7385.000=25.000
σ	0.000
min	7410.000-7385.000=25.000
max	7410.000-7385.000=25.000

*mean*	11.069-11.053=0.016
σ	0.176-0.158=0.018
min	10.841-10.757=0.084
max	11.308-11.249=0.059

op=table_records(), repeat

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

*mean*	4200.125-4182.000=18.125
σ	1954.988-1943.877=11.111
min	1485.000-1486.000=-1.000
max	7410.000-7385.000=25.000

*mean*	11.814-11.550=0.264
σ	1.722-1.685=0.037
min	10.879-10.730=0.150
max	16.033-15.691=0.341

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*	4200.125-4182.000=18.125
σ	1954.988-1943.877=11.111
min	1485.000-1486.000=-1.000
max	7410.000-7385.000=25.000

*mean*	9.043-9.041=0.002
σ	1.147-1.211=-0.064
min	8.023-8.237=-0.213
max	11.781-11.999=-0.218

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

*mean*	4200.125-4182.000=18.125
σ	1954.988-1943.877=11.111
min	1485.000-1486.000=-1.000
max	7410.000-7385.000=25.000

*mean*	7.000-7.147=-0.147
σ	1.018-0.906=0.112
min	6.199-6.466=-0.268
max	9.403-9.340=0.063

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*	4609.500-4591.500=18.000
σ	2258.703-2247.633=11.071
min	1485.000-1486.000=-1.000
max	7410.000-7385.000=25.000

*mean*	6.767-6.556=0.211
σ	1.317-0.989=0.329
min	5.907-6.010=-0.103
max	9.173-8.830=0.343

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*	4609.500-4591.500=18.000
σ	2258.703-2247.633=11.071
min	1485.000-1486.000=-1.000
max	7410.000-7385.000=25.000

*mean*	6.376-6.402=-0.026
σ	1.003-1.110=-0.107
min	5.598-5.758=-0.160
max	8.513-8.868=-0.355

CSV - loading a lazy table

Factor

allocated MiB

peak allocated MiB

time (ms)

op=load_product(), no indexes

*mean*	1021.599-1021.599=0.000
σ	0.002-0.002=0.000
min	1021.597
max	1021.602-1021.602=0.000

*mean*	7410.000-7385.000=25.000
σ	0.000
min	7410.000-7385.000=25.000
max	7410.000-7385.000=25.000

*mean*	345.656-361.074=-15.418
σ	2.132-42.411=-40.279
min	340.971-343.783=-2.812
max	347.708-465.974=-118.266

op=load_product(), with indexes

*mean*	3495.846
σ	0.455
min	3495.685
max	3496.972

*mean*	3773.250-3758.375=14.875
σ	2311.557-2298.915=12.643
min	720.000
max	7410.000-7385.000=25.000

*mean*	1787.401-1710.921=76.481
σ	673.622-607.266=66.356
min	1387.159-1385.727=1.432
max	2937.044-2945.845=-8.801

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.842-107.842=-0.001

*mean*	4200.125-4411.250=-211.125
σ	1954.988-2217.309=-262.321
min	1485.000-1486.000=-1.000
max	7410.000-7385.000=25.000

*mean*	136.976-262.689=-125.713
σ	17.184-360.276=-343.092
min	124.263-122.175=2.088
max	177.236-1153.293=-976.057

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.070-62.069=0.001

*mean*	4428.750-4411.250=17.500
σ	2227.496-2217.309=10.187
min	1485.000-1486.000=-1.000
max	7410.000-7385.000=25.000

*mean*	144.518-44.853=99.665
σ	286.464-7.648=278.815
min	41.162-40.496=0.666
max	853.470-63.528=789.942

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-40.930=0.001

*mean*	7410.000-7385.000=25.000
σ	0.000
min	7410.000-7385.000=25.000
max	7410.000-7385.000=25.000

*mean*	127.875-23.247=104.628
σ	299.710-2.802=296.908
min	21.533-21.571=-0.038
max	869.619-28.801=840.818

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

*mean*	7410.000-7385.000=25.000
σ	0.000
min	7410.000-7385.000=25.000
max	7410.000-7385.000=25.000

*mean*	59.939-207.778=-147.839
σ	10.063-425.738=-415.676
min	55.894-55.683=0.212
max	84.836-1261.406=-1176.570

CSV - warmup

Factor

allocated MiB

peak allocated MiB

time (ms)

op=table_records()

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

*mean*	4200.125-4182.000=18.125
σ	1954.988-1943.877=11.111
min	1485.000-1486.000=-1.000
max	7410.000-7385.000=25.000

*mean*	3353.625-3193.279=160.347
σ	749.112-832.703=-83.591
min	2526.187-2482.349=43.838
max	4447.001-4537.441=-90.439

op=vertical_lookup_list() on indexed

*mean*	1973.830-1973.830=-0.000
σ	0.002-0.002=-0.000
min	1973.829
max	1973.833-1973.833=-0.000

*mean*	7410.000-7385.000=25.000
σ	0.000
min	7410.000-7385.000=25.000
max	7410.000-7385.000=25.000

*mean*	984.660-1045.190=-60.530
σ	88.181-194.891=-106.710
min	932.200-912.150=20.050
max	1172.874-1395.096=-222.222

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

*mean*	905.084
σ	0.002
min	905.082
max	905.087

*mean*	7410.000-7385.000=25.000
σ	0.000
min	7410.000-7385.000=25.000
max	7410.000-7385.000=25.000

*mean*	390.274-388.226=2.048
σ	4.090-3.484=0.607
min	381.188-380.823=0.364
max	394.137-392.191=1.945

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-475.000=3.000
σ	0.000-0.756=-0.756
min	478.000-474.000=4.000
max	478.000-476.000=2.000

*mean*	374.600-361.796=12.804
σ	43.220-35.093=8.127
min	310.815-296.287=14.528
max	445.700-419.900=25.800

op=pointedIndexFromKvs

rows=400000

*mean*	308.493
σ	0.001
min	308.493
max	308.497

*mean*	563.250-561.000=2.250
σ	3.240-0.000=3.240
min	558.000-561.000=-3.000
max	565.000-561.000=4.000

*mean*	754.218-756.940=-2.722
σ	64.176-56.546=7.630
min	678.800-632.302=46.498
max	837.305-808.887=28.417

Marine Hull: transactPolicy

Factor

allocated MiB

peak allocated MiB

time

datapoints=1

iterations=20

*mean*	977.271-977.272=-0.002
σ	2.440-2.441=-0.002
min	976.426-976.423=0.003
max	987.609-987.617=-0.008

*mean*	1049.450-1047.600=1.850
σ	333.437-330.135=3.302
min	534.000
max	1542.000-1533.000=9.000

*mean*	1.336-1.298=0.039
σ	0.139-0.106=0.032
min	1.203-1.205=-0.002
max	1.733-1.607=0.125

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.296-0.306=-0.010
σ	0.291-0.283=0.008
min	0.136-0.142=-0.005
max	0.812-0.797=0.015

name=error_case.art

*mean*	2.346
σ	0.012
min	2.340
max	2.368

*mean*	402.000
σ	0.000
min	402.000
max	402.000

*mean*	0.476-0.480=-0.004
σ	0.324-0.329=-0.005
min	0.319-0.328=-0.009
max	1.055-1.068=-0.013

name=heavy_item.art

*mean*	1.523
σ	0.002
min	1.522
max	1.526

*mean*	402.000
σ	0.000
min	402.000
max	402.000

*mean*	0.214-0.215=-0.001
σ	0.025-0.032=-0.007
min	0.193-0.195=-0.002
max	0.258-0.270=-0.013

name=nested_use.art

*mean*	2.364
σ	0.002
min	2.363
max	2.367

*mean*	402.000
σ	0.000
min	402.000
max	402.000

*mean*	0.365-0.400=-0.036
σ	0.023-0.159=-0.136
min	0.327-0.314=0.012
max	0.389-0.683=-0.295

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.600-431.400=0.200
σ	1.342-2.074=-0.732
min	431.000-430.000=1.000
max	434.000-435.000=-1.000

*mean*	0.531-0.556=-0.025
σ	0.049-0.031=0.018
min	0.469-0.520=-0.051
max	0.580-0.604=-0.023

name=cdr_enhanced_4k_loc.art

*mean*	886.000
σ	0.002
min	885.999
max	886.003

*mean*	441.000-443.000=-2.000
σ	0.000
min	441.000-443.000=-2.000
max	441.000-443.000=-2.000

*mean*	0.430-0.473=-0.043
σ	0.057-0.038=0.019
min	0.380-0.433=-0.052
max	0.514-0.515=-0.002

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-443.000=-2.000
σ	0.000
min	441.000-443.000=-2.000
max	441.000-443.000=-2.000

*mean*	2.557-2.480=0.078
σ	0.223-0.279=-0.056
min	1.937-1.927=0.010
max	3.064-2.872=0.192

name=record_render_large_syntax_err.art

*mean*	7.667
σ	0.002
min	7.666
max	7.670

*mean*	441.000-443.000=-2.000
σ	0.000
min	441.000-443.000=-2.000
max	441.000-443.000=-2.000

*mean*	2.595-2.602=-0.007
σ	0.067-0.073=-0.006
min	2.481-2.485=-0.004
max	2.803-2.813=-0.009

name=record_render_success.art

*mean*	2.290
σ	0.002
min	2.290
max	2.294

*mean*	441.000-443.000=-2.000
σ	0.000
min	441.000-443.000=-2.000
max	441.000-443.000=-2.000

*mean*	0.304-0.306=-0.002
σ	0.011-0.017=-0.006
min	0.287-0.286=0.001
max	0.374-0.454=-0.080

name=record_render_syntax_err.art

*mean*	2.166
σ	0.002
min	2.165
max	2.169

*mean*	441.000-443.000=-2.000
σ	0.000
min	441.000-443.000=-2.000
max	441.000-443.000=-2.000

*mean*	0.286-0.289=-0.003
σ	0.009-0.008=0.001
min	0.270-0.278=-0.007
max	0.327-0.341=-0.014

Revision Creation

Factor

allocated MiB

peak allocated MiB

time_s

number of threads=8

revision count=1000

*mean*	11.705-12.030=-0.324
σ	12.436-11.931=0.506
min	0.573-0.574=-0.000
max	107.664-107.770=-0.106

*mean*	458.371-459.936=-1.565
σ	16.181-19.724=-3.544
min	410.000-408.000=2.000
max	476.000-481.000=-5.000

*mean*	0.027-0.027=-0.001
σ	0.030-0.029=0.001
min	0.001-0.001=-0.000
max	0.262-0.264=-0.003

SoV import

Factor

allocated MiB

peak allocated MiB

time_s

iters=10

rows=1000

*mean*	294.066-294.147=-0.081
σ	1.060-1.046=0.014
min	293.647-293.732=-0.085
max	297.076-297.123=-0.047

*mean*	441.200-438.900=2.300
σ	15.747-16.313=-0.566
min	415.000
max	462.000-461.000=1.000

*mean*	0.590-0.597=-0.008
σ	0.024-0.020=0.003
min	0.532-0.551=-0.019
max	0.618-0.630=-0.012

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*	730.000-850.000=-120.000
σ	0.000
min	730.000-850.000=-120.000
max	730.000-850.000=-120.000

*mean*	154.853-148.238=6.614
σ	11.424-11.283=0.142
min	134.084-137.087=-3.002
max	166.174-163.532=2.643

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*	730.000-841.250=-111.250
σ	0.000-24.749=-24.749
min	730.000-780.000=-50.000
max	730.000-850.000=-120.000

*mean*	8.818-8.084=0.734
σ	0.751-1.343=-0.592
min	6.968-5.783=1.185
max	9.221-9.380=-0.160

phase=parser

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

*mean*	730.000-841.250=-111.250
σ	0.000-24.749=-24.749
min	730.000-780.000=-50.000
max	730.000-850.000=-120.000

*mean*	590.257-530.967=59.290
σ	58.104-84.619=-26.515
min	446.619-430.884=15.734
max	614.291-613.553=0.739

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*	730.000-850.000=-120.000
σ	0.000
min	730.000-850.000=-120.000
max	730.000-850.000=-120.000

*mean*	3128.504-2804.651=323.853
σ	224.646-441.744=-217.098
min	2754.586-2101.025=653.560
max	3328.156-3242.165=85.991

phase=renaming

*mean*	21.430
σ	0.000
min	21.430
max	21.430

*mean*	730.000-841.250=-111.250
σ	0.000-24.749=-24.749
min	730.000-780.000=-50.000
max	730.000-850.000=-120.000

*mean*	46.908-42.706=4.202
σ	2.916-5.204=-2.287
min	40.479-36.135=4.344
max	50.762-48.800=1.962

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*	730.000-841.250=-111.250
σ	0.000-24.749=-24.749
min	730.000-780.000=-50.000
max	730.000-850.000=-120.000

*mean*	668.058-669.298=-1.240
σ	12.338-16.671=-4.333
min	655.802-646.716=9.086
max	687.691-693.126=-5.435

Workflow: transactPolicy

Factor

allocated MiB

peak allocated MiB

time

iters=5

new-facts=1

prior-facts=1

*mean*	328.220-328.220=0.000
σ	0.040-0.040=0.000
min	328.163-328.162=0.001
max	328.262-328.259=0.003

*mean*	439.400
σ	5.128
min	434.000
max	445.000

*mean*	0.437-0.440=-0.003
σ	0.009-0.015=-0.006
min	0.428-0.425=0.003
max	0.450-0.464=-0.014

iters=5

new-facts=1

prior-facts=6402

*mean*	1313.432-1313.435=-0.002
σ	0.139-0.134=0.005
min	1313.307-1313.324=-0.017
max	1313.663-1313.658=0.005

*mean*	1085.800-1085.600=0.200
σ	180.588-180.403=0.185
min	870.000
max	1308.000

*mean*	1.998-1.942=0.056
σ	0.126-0.094=0.032
min	1.845-1.793=0.052
max	2.186-2.032=0.153

iters=5

new-facts=6402

prior-facts=1

*mean*	1552.409-1552.417=-0.008
σ	3.058-3.096=-0.038
min	1550.860-1550.848=0.012
max	1557.869-1557.945=-0.076

*mean*	624.400-623.600=0.800
σ	86.315-89.673=-3.358
min	523.000-505.000=18.000
max	738.000

*mean*	2.272-2.335=-0.063
σ	0.146-0.319=-0.173
min	2.133-2.135=-0.002
max	2.491-2.887=-0.396

iters=5

new-facts=6402

prior-facts=6402

*mean*	1875.427-1875.433=-0.006
σ	0.062-0.066=-0.004
min	1875.351-1875.357=-0.006
max	1875.510-1875.528=-0.018

*mean*	1728.600-1739.200=-10.600
σ	213.982-222.020=-8.038
min	1448.000-1447.000=1.000
max	1933.000-1952.000=-19.000

*mean*	3.064-3.127=-0.064
σ	0.171-0.214=-0.043
min	2.838-2.867=-0.029
max	3.285-3.407=-0.122

newProductH/cdr_auton/broker

Factor

time_s

iterations=5

*mean*	1.510-1.503=0.007
σ	0.140-0.183=-0.042
min	1.384-1.255=0.129
max	1.710-1.670=0.040

policy addition benchmark

Factor

allocated MiB

db queries

peak allocated MiB

time

policies=2

*mean*	420.296-420.296=0.000
σ	509.314-509.312=0.002
min	165.636-165.637=-0.001
max	1184.267-1184.263=0.003

*mean*	103.750
σ	7.500
min	100.000
max	115.000

*mean*	435.000-434.000=1.000
σ	0.000
min	435.000-434.000=1.000
max	435.000-434.000=1.000

*mean*	0.534-0.525=0.009
σ	0.524-0.503=0.022
min	0.268-0.265=0.003
max	1.320-1.279=0.042

policies=20

*mean*	1656.564-1656.578=-0.014
σ	0.393-0.386=0.007
min	1656.334-1656.351=-0.017
max	1657.153-1657.156=-0.004

*mean*	1000.000
σ	0.000
min	1000.000
max	1000.000

*mean*	451.250-450.500=0.750
σ	11.057-14.617=-3.561
min	437.000-440.000=-3.000
max	460.000-471.000=-11.000

*mean*	2.662-2.676=-0.013
σ	0.014-0.023=-0.009
min	2.654-2.662=-0.008
max	2.683-2.710=-0.026

policies=200

*mean*	16573.660-16573.650=0.009
σ	0.066-0.142=-0.076
min	16573.592-16573.484=0.108
max	16573.728-16573.788=-0.060

*mean*	10000.000
σ	0.000
min	10000.000
max	10000.000

*mean*	498.750-499.500=-0.750
σ	5.737-5.508=0.230
min	491.000-494.000=-3.000
max	504.000-506.000=-2.000

*mean*	26.886-26.912=-0.026
σ	0.178-0.091=0.087
min	26.700-26.822=-0.122
max	27.046-27.007=0.039