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.816-57.823=-0.007
σ	0.362-0.359=0.002
min	57.670-57.686=-0.016
max	58.844-58.845=-0.001

*mean*	421.000-418.000=3.000
σ	0.000
min	421.000-418.000=3.000
max	421.000-418.000=3.000

*mean*	0.147-0.147=0.000
σ	0.004-0.005=-0.001
min	0.144-0.142=0.002
max	0.155-0.156=-0.000

cache=y

dps=1

iters=10

policies=100

*mean*	46.896-46.898=-0.002
σ	0.007-0.006=0.002
min	46.880-46.890=-0.009
max	46.907-46.908=-0.001

*mean*	421.000-418.000=3.000
σ	0.000
min	421.000-418.000=3.000
max	421.000-418.000=3.000

*mean*	0.131-0.132=-0.001
σ	0.004-0.004=0.000
min	0.127-0.128=-0.001
max	0.140-0.140=-0.000

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-36.605=0.000
max	36.606-36.605=0.000

*mean*	4590.250-4584.250=6.000
σ	2247.645-2252.092=-4.448
min	1487.000
max	7381.000-7401.000=-20.000

*mean*	160.016-13.462=146.554
σ	416.175-2.618=413.557
min	11.820-11.915=-0.095
max	1189.987-17.905=1172.082

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*	4590.250-4584.250=6.000
σ	2247.645-2252.092=-4.448
min	1487.000
max	7381.000-7401.000=-20.000

*mean*	13.733-13.942=-0.209
σ	4.647-2.113=2.534
min	11.210-12.531=-1.321
max	24.279-17.879=6.399

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.943=-0.001

*mean*	7381.000-7401.000=-20.000
σ	0.000
min	7381.000-7401.000=-20.000
max	7381.000-7401.000=-20.000

*mean*	11.141-10.946=0.195
σ	0.239-0.211=0.028
min	10.794-10.603=0.192
max	11.537-11.263=0.274

op=table_records(), repeat

*mean*	41.925-41.925=0.000
σ	0.001-0.002=-0.000
min	41.924
max	41.929-41.929=-0.001

*mean*	4181.750-4170.500=11.250
σ	1944.510-1943.603=0.908
min	1487.000
max	7381.000-7401.000=-20.000

*mean*	11.814-11.653=0.161
σ	1.803-1.768=0.035
min	10.908-10.692=0.216
max	16.224-16.003=0.220

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

*mean*	4181.750-4170.500=11.250
σ	1944.510-1943.603=0.908
min	1487.000
max	7381.000-7401.000=-20.000

*mean*	8.843-9.164=-0.320
σ	1.356-1.281=0.074
min	7.966-8.042=-0.075
max	12.137-12.232=-0.094

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*	4181.750-4170.500=11.250
σ	1944.510-1943.603=0.908
min	1487.000
max	7381.000-7401.000=-20.000

*mean*	6.760-7.176=-0.416
σ	1.203-0.957=0.246
min	5.575-6.734=-1.159
max	9.572-9.530=0.042

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*	4590.250-4584.250=6.000
σ	2247.645-2252.092=-4.448
min	1487.000
max	7381.000-7401.000=-20.000

*mean*	6.385-6.347=0.038
σ	1.081-0.573=0.509
min	5.770-5.853=-0.083
max	8.847-7.305=1.542

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

*mean*	4590.250-4584.250=6.000
σ	2247.645-2252.092=-4.448
min	1487.000
max	7381.000-7401.000=-20.000

*mean*	6.326-6.173=0.153
σ	1.092-0.541=0.551
min	5.671-5.724=-0.052
max	8.751-7.147=1.604

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*	7381.000-7401.000=-20.000
σ	0.000
min	7381.000-7401.000=-20.000
max	7381.000-7401.000=-20.000

*mean*	362.030-375.245=-13.216
σ	42.868-78.526=-35.658
min	344.828-343.460=1.369
max	468.060-569.512=-101.452

op=load_product(), with indexes

*mean*	3495.848-3495.846=0.002
σ	0.460-0.455=0.005
min	3495.685
max	3496.986-3496.972=0.013

*mean*	3757.625-3749.125=8.500
σ	2299.310-2296.653=2.656
min	720.000
max	7381.000-7401.000=-20.000

*mean*	1801.185-1630.521=170.663
σ	676.767-491.939=184.828
min	1404.695-1402.806=1.890
max	2986.480-2833.681=152.799

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

*mean*	4410.250-4405.375=4.875
σ	2216.981-2223.620=-6.639
min	1487.000
max	7381.000-7401.000=-20.000

*mean*	251.479-265.434=-13.955
σ	325.933-354.188=-28.255
min	125.745-129.630=-3.885
max	1057.018-1140.910=-83.892

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*	4410.250-4584.250=-174.000
σ	2216.981-2252.092=-35.112
min	1487.000
max	7381.000-7401.000=-20.000

*mean*	46.611-167.129=-120.518
σ	9.338-341.925=-332.587
min	40.938-41.142=-0.204
max	69.335-1013.080=-943.745

op=vertical_lookup_list() repeated on unindexed missing Int

*mean*	40.927
σ	0.002
min	40.926
max	40.930

*mean*	7381.000-7401.000=-20.000
σ	0.000
min	7381.000-7401.000=-20.000
max	7381.000-7401.000=-20.000

*mean*	21.998-21.767=0.231
σ	1.207-0.689=0.518
min	21.263-21.061=0.202
max	24.913-23.344=1.569

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*	7381.000-7401.000=-20.000
σ	0.000
min	7381.000-7401.000=-20.000
max	7381.000-7401.000=-20.000

*mean*	258.039-272.041=-14.002
σ	569.946-610.930=-40.983
min	55.235-54.826=0.409
max	1668.577-1784.010=-115.433

CSV - warmup

Factor

allocated MiB

peak allocated MiB

time (ms)

op=table_records()

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

*mean*	4181.750-4170.500=11.250
σ	1944.510-1943.603=0.908
min	1487.000
max	7381.000-7401.000=-20.000

*mean*	3249.459-3133.688=115.771
σ	764.158-854.070=-89.912
min	2510.355-2517.499=-7.144
max	4613.620-4876.180=-262.560

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

*mean*	7381.000-7401.000=-20.000
σ	0.000
min	7381.000-7401.000=-20.000
max	7381.000-7401.000=-20.000

*mean*	1035.248-1116.318=-81.070
σ	202.858-289.652=-86.794
min	919.550-930.776=-11.227
max	1505.243-1674.794=-169.551

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

*mean*	905.084
σ	0.002
min	905.082
max	905.087

*mean*	7381.000-7401.000=-20.000
σ	0.000
min	7381.000-7401.000=-20.000
max	7381.000-7401.000=-20.000

*mean*	395.875-397.474=-1.599
σ	5.994-4.339=1.655
min	383.269-389.906=-6.637
max	405.067-404.907=0.160

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.125-475.500=0.625
σ	0.354-1.604=-1.250
min	476.000-474.000=2.000
max	477.000

*mean*	379.976-377.028=2.948
σ	37.909-32.219=5.690
min	299.375-317.023=-17.648
max	418.058-428.254=-10.196

op=pointedIndexFromKvs

rows=400000

*mean*	308.493
σ	0.001
min	308.493
max	308.497

*mean*	563.000-562.000=1.000
σ	0.000
min	563.000-562.000=1.000
max	563.000-562.000=1.000

*mean*	725.287-776.048=-50.760
σ	59.072-40.455=18.616
min	612.827-735.520=-122.693
max	782.409-840.168=-57.759

Marine Hull: transactPolicy

Factor

allocated MiB

peak allocated MiB

time

datapoints=1

iterations=20

*mean*	976.918-976.917=0.002
σ	2.438-2.438=0.000
min	976.071-976.070=0.001
max	987.249-987.246=0.003

*mean*	1050.350-1051.200=-0.850
σ	314.792-315.766=-0.974
min	575.000-596.000=-21.000
max	1508.000-1518.000=-10.000

*mean*	1.320-1.279=0.041
σ	0.140-0.103=0.038
min	1.207-1.196=0.010
max	1.755-1.669=0.086

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.318-0.347=-0.029
σ	0.292-0.281=0.011
min	0.143-0.140=0.003
max	0.835-0.811=0.023

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.473-0.486=-0.013
σ	0.310-0.307=0.002
min	0.328-0.336=-0.008
max	1.027-1.035=-0.008

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.219-0.218=0.002
σ	0.023-0.021=0.002
min	0.205-0.199=0.006
max	0.260-0.253=0.007

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.334-0.387=-0.053
σ	0.018-0.124=-0.106
min	0.322-0.317=0.005
max	0.365-0.607=-0.242

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

*mean*	0.520-0.525=-0.006
σ	0.048-0.042=0.006
min	0.440-0.483=-0.043
max	0.569-0.583=-0.013

name=cdr_enhanced_4k_loc.art

*mean*	886.000
σ	0.002
min	885.999
max	886.003

*mean*	431.000
σ	0.000
min	431.000
max	431.000

*mean*	0.456-0.456=-0.000
σ	0.070-0.048=0.022
min	0.372-0.413=-0.041
max	0.530-0.531=-0.001

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

*mean*	1.870-2.114=-0.244
σ	0.107-0.320=-0.213
min	1.684-1.830=-0.146
max	2.435-3.149=-0.714

name=record_render_large_syntax_err.art

*mean*	7.667
σ	0.002
min	7.666
max	7.670

*mean*	431.000
σ	0.000
min	431.000
max	431.000

*mean*	1.939-1.938=0.001
σ	0.053-0.065=-0.012
min	1.825-1.777=0.048
max	2.074-2.105=-0.031

name=record_render_success.art

*mean*	2.290
σ	0.002
min	2.290
max	2.294

*mean*	431.000
σ	0.000
min	431.000
max	431.000

*mean*	0.305-0.310=-0.005
σ	0.010-0.056=-0.045
min	0.290-0.289=0.000
max	0.370-0.854=-0.483

name=record_render_syntax_err.art

*mean*	2.166
σ	0.002
min	2.165
max	2.169

*mean*	431.000
σ	0.000
min	431.000
max	431.000

*mean*	0.294-0.289=0.006
σ	0.035-0.008=0.027
min	0.277-0.276=0.001
max	0.628-0.333=0.295

Revision Creation

Factor

allocated MiB

peak allocated MiB

time_s

number of threads=8

revision count=1000

*mean*	11.546-10.962=0.584
σ	11.482-12.279=-0.798
min	0.574-0.574=0.000
max	95.061-153.713=-58.652

*mean*	463.135-454.345=8.790
σ	16.593-15.949=0.644
min	408.000-409.000=-1.000
max	476.000-470.000=6.000

*mean*	0.026-0.026=0.001
σ	0.028-0.030=-0.003
min	0.001-0.001=-0.000
max	0.225-0.376=-0.151

SoV import

Factor

allocated MiB

peak allocated MiB

time_s

iters=10

rows=1000

*mean*	293.887-293.968=-0.081
σ	1.029-1.006=0.022
min	293.384-293.506=-0.122
max	296.795-296.824=-0.028

*mean*	443.200-440.400=2.800
σ	18.855-16.741=2.114
min	415.000
max	464.000-462.000=2.000

*mean*	0.589-0.601=-0.012
σ	0.030-0.007=0.023
min	0.534-0.588=-0.054
max	0.627-0.609=0.018

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*	850.000-873.000=-23.000
σ	0.000
min	850.000-873.000=-23.000
max	850.000-873.000=-23.000

*mean*	153.922-156.487=-2.565
σ	12.849-8.096=4.752
min	136.160-144.059=-7.899
max	166.925-165.144=1.781

phase=macro expansion

*mean*	5.894
σ	0.000
min	5.894
max	5.894

*mean*	849.625-873.000=-23.375
σ	1.061-0.000=1.061
min	847.000-873.000=-26.000
max	850.000-873.000=-23.000

*mean*	7.426-10.210=-2.784
σ	2.242-1.719=0.523
min	5.840-6.870=-1.029
max	11.862-11.955=-0.093

phase=parser

*mean*	1042.134-1042.131=0.003
σ	0.001-0.000=0.001
min	1042.131-1042.130=0.000
max	1042.134-1042.131=0.004

*mean*	849.625-873.000=-23.375
σ	1.061-0.000=1.061
min	847.000-873.000=-26.000
max	850.000-873.000=-23.000

*mean*	470.259-491.953=-21.695
σ	138.317-148.348=-10.031
min	373.210-374.137=-0.928
max	730.794-721.956=8.838

phase=processProdDef

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

*mean*	850.000-873.000=-23.000
σ	0.000
min	850.000-873.000=-23.000
max	850.000-873.000=-23.000

*mean*	3000.318-2817.500=182.819
σ	324.102-408.582=-84.481
min	2324.812-2177.954=146.858
max	3341.672-3310.543=31.129

phase=renaming

*mean*	21.430-21.430=0.000
σ	0.001-0.000=0.001
min	21.430
max	21.433-21.430=0.004

*mean*	849.625-873.000=-23.375
σ	1.061-0.000=1.061
min	847.000-873.000=-26.000
max	850.000-873.000=-23.000

*mean*	39.988-38.402=1.586
σ	6.241-7.925=-1.684
min	25.678-26.292=-0.614
max	47.407-47.015=0.393

phase=type checker

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

*mean*	849.625-873.000=-23.375
σ	1.061-0.000=1.061
min	847.000-873.000=-26.000
max	850.000-873.000=-23.000

*mean*	695.883-729.239=-33.356
σ	60.321-77.480=-17.159
min	648.019-615.122=32.897
max	839.124-844.155=-5.031

Workflow: transactPolicy

Factor

allocated MiB

peak allocated MiB

time

iters=5

new-facts=1

prior-facts=1

*mean*	327.855-327.854=0.000
σ	0.037-0.036=0.000
min	327.803-327.804=-0.000
max	327.891-327.890=0.001

*mean*	441.400-440.600=0.800
σ	3.847-5.413=-1.566
min	435.000-432.000=3.000
max	445.000

*mean*	0.436-0.435=0.001
σ	0.010-0.011=-0.001
min	0.428-0.425=0.003
max	0.454-0.453=0.001

iters=5

new-facts=1

prior-facts=6402

*mean*	1313.073-1313.063=0.010
σ	0.146-0.132=0.013
min	1312.967-1312.963=0.005
max	1313.327-1313.292=0.035

*mean*	1088.600-1068.400=20.200
σ	164.410-172.148=-7.737
min	897.000-848.000=49.000
max	1311.000-1294.000=17.000

*mean*	1.890-1.875=0.015
σ	0.064-0.049=0.015
min	1.826-1.827=-0.000
max	1.984-1.945=0.039

iters=5

new-facts=6402

prior-facts=1

*mean*	1552.096-1552.040=0.057
σ	3.061-3.054=0.007
min	1550.554-1550.517=0.037
max	1557.566-1557.494=0.072

*mean*	620.000-618.400=1.600
σ	90.371-65.332=25.039
min	519.000-544.000=-25.000
max	739.000-702.000=37.000

*mean*	2.374-2.186=0.188
σ	0.247-0.163=0.084
min	2.110-2.102=0.008
max	2.722-2.476=0.247

iters=5

new-facts=6402

prior-facts=6402

*mean*	1875.059-1875.073=-0.014
σ	0.043-0.081=-0.038
min	1875.004-1874.995=0.008
max	1875.113-1875.199=-0.085

*mean*	1721.400-1676.200=45.200
σ	205.583-213.781=-8.198
min	1450.000-1412.000=38.000
max	1917.000-1961.000=-44.000

*mean*	2.943-2.882=0.061
σ	0.085-0.048=0.037
min	2.849-2.844=0.006
max	3.032-2.962=0.070

newProductH/cdr_auton/broker

Factor

time_s

iterations=5

*mean*	1.457-1.623=-0.166
σ	0.198-0.085=0.112
min	1.265-1.494=-0.229
max	1.708-1.702=0.006

policy addition benchmark

Factor

allocated MiB

db queries

peak allocated MiB

time

policies=2

*mean*	419.407-419.404=0.003
σ	508.894-508.891=0.003
min	164.957-164.954=0.003
max	1182.748-1182.741=0.007

*mean*	101.250
σ	6.500
min	98.000
max	111.000

*mean*	430.000
σ	0.000
min	430.000
max	430.000

*mean*	0.517-0.519=-0.003
σ	0.496-0.499=-0.003
min	0.266-0.265=0.001
max	1.261-1.268=-0.007

policies=20

*mean*	1649.816-1649.811=0.005
σ	0.367-0.380=-0.013
min	1649.591-1649.592=-0.001
max	1650.363-1650.380=-0.017

*mean*	980.000
σ	0.000
min	980.000
max	980.000

*mean*	444.500-449.750=-5.250
σ	10.630-11.927=-1.297
min	431.000-434.000=-3.000
max	453.000-459.000=-6.000

*mean*	2.654-2.661=-0.007
σ	0.006-0.015=-0.009
min	2.648-2.651=-0.003
max	2.662-2.683=-0.021

policies=200

*mean*	16505.947-16505.953=-0.006
σ	0.122-0.155=-0.033
min	16505.785-16505.801=-0.015
max	16506.063-16506.169=-0.106

*mean*	9800.000
σ	0.000
min	9800.000
max	9800.000

*mean*	501.750-499.000=2.750
σ	6.021-5.354=0.667
min	494.000-492.000=2.000
max	507.000-505.000=2.000

*mean*	26.758-26.837=-0.079
σ	0.095-0.138=-0.043
min	26.631-26.687=-0.056
max	26.836-26.992=-0.156