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.823-57.823=-0.000
σ	0.360-0.359=0.000
min	57.679-57.683=-0.004
max	58.846-58.845=0.001

*mean*	420.000-417.000=3.000
σ	0.000
min	420.000-417.000=3.000
max	420.000-417.000=3.000

*mean*	0.145-0.147=-0.002
σ	0.005-0.004=0.001
min	0.137-0.143=-0.006
max	0.151-0.153=-0.002

cache=y

dps=1

iters=10

policies=100

*mean*	46.897-46.898=-0.002
σ	0.003-0.005=-0.002
min	46.890-46.888=0.002
max	46.900-46.903=-0.003

*mean*	420.000-418.000=2.000
σ	0.000
min	420.000-418.000=2.000
max	420.000-418.000=2.000

*mean*	0.127-0.127=0.000
σ	0.005-0.005=-0.000
min	0.122-0.121=0.001
max	0.136-0.136=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
max	36.605-36.606=-0.000

*mean*	4585.000-4592.500=-7.500
σ	2253.356-2248.699=4.657
min	1487.000
max	7403.000-7384.000=19.000

*mean*	13.357-153.538=-140.181
σ	3.479-397.759=-394.280
min	11.783-11.865=-0.082
max	21.931-1137.929=-1115.998

op=column_set() on indexed, repeat

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

*mean*	4585.000-4592.500=-7.500
σ	2253.356-2248.699=4.657
min	1487.000
max	7403.000-7384.000=19.000

*mean*	13.791-14.738=-0.947
σ	3.029-4.385=-1.355
min	11.953-11.501=0.452
max	21.227-24.296=-3.069

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

*mean*	7403.000-7384.000=19.000
σ	0.000
min	7403.000-7384.000=19.000
max	7403.000-7384.000=19.000

*mean*	11.149-11.670=-0.522
σ	0.101-1.834=-1.733
min	10.950-10.784=0.166
max	11.251-16.197=-4.946

op=table_records(), repeat

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

*mean*	4170.625-4184.500=-13.875
σ	1944.792-1945.530=-0.738
min	1487.000
max	7403.000-7384.000=19.000

*mean*	11.676-11.630=0.046
σ	1.929-1.916=0.013
min	10.551-10.659=-0.108
max	16.409-16.318=0.091

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

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

*mean*	4170.625-4184.500=-13.875
σ	1944.792-1945.530=-0.738
min	1487.000
max	7403.000-7384.000=19.000

*mean*	9.064-9.137=-0.073
σ	1.125-1.507=-0.383
min	8.057-7.943=0.114
max	11.774-12.775=-1.000

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

*mean*	4170.625-4184.500=-13.875
σ	1944.792-1945.530=-0.738
min	1487.000
max	7403.000-7384.000=19.000

*mean*	7.112-6.960=0.152
σ	0.742-1.232=-0.489
min	6.524-6.039=0.485
max	8.880-9.815=-0.935

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

*mean*	4585.000-4592.500=-7.500
σ	2253.356-2248.699=4.657
min	1487.000
max	7403.000-7384.000=19.000

*mean*	6.359-6.551=-0.192
σ	0.867-0.960=-0.093
min	5.801-5.937=-0.136
max	8.474-8.710=-0.235

op=vertical_lookup_row_list() on 3 (1 unindexed)

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

*mean*	4585.000-4592.500=-7.500
σ	2253.356-2248.699=4.657
min	1487.000
max	7403.000-7384.000=19.000

*mean*	6.117-6.518=-0.400
σ	0.467-1.118=-0.651
min	5.742-5.803=-0.061
max	7.219-9.025=-1.806

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*	7403.000-7384.000=19.000
σ	0.000
min	7403.000-7384.000=19.000
max	7403.000-7384.000=19.000

*mean*	358.937-346.194=12.743
σ	42.466-2.218=40.249
min	341.534-343.679=-2.145
max	463.978-349.799=114.178

op=load_product(), with indexes

*mean*	3495.846-3495.846=0.000
σ	0.455-0.455=-0.000
min	3495.685
max	3496.972-3496.972=-0.000

*mean*	3749.625-3759.500=-9.875
σ	2297.750-2300.596=-2.847
min	720.000
max	7403.000-7384.000=19.000

*mean*	1629.071-1790.056=-160.985
σ	554.957-684.786=-129.829
min	1395.828-1381.883=13.945
max	2995.343-2972.323=23.020

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

*mean*	4405.375-4413.125=-7.750
σ	2224.814-2217.978=6.836
min	1487.000
max	7403.000-7384.000=19.000

*mean*	191.950-269.812=-77.862
σ	149.781-375.959=-226.178
min	125.747-125.326=0.421
max	559.985-1199.087=-639.102

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*	4585.000-4413.125=171.875
σ	2253.356-2217.978=35.378
min	1487.000
max	7403.000-7384.000=19.000

*mean*	199.242-45.261=153.982
σ	441.668-8.631=433.037
min	40.436-40.084=0.352
max	1292.307-66.194=1226.114

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*	7403.000-7384.000=19.000
σ	0.000
min	7403.000-7384.000=19.000
max	7403.000-7384.000=19.000

*mean*	21.971-190.243=-168.272
σ	0.870-475.780=-474.911
min	21.531-21.541=-0.011
max	24.112-1367.738=-1343.626

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*	7403.000-7384.000=19.000
σ	0.000
min	7403.000-7384.000=19.000
max	7403.000-7384.000=19.000

*mean*	256.484-64.730=191.755
σ	567.066-23.721=543.345
min	54.819-55.128=-0.309
max	1659.898-123.358=1536.539

CSV - warmup

Factor

allocated MiB

peak allocated MiB

time (ms)

op=table_records()

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

*mean*	4170.625-4184.500=-13.875
σ	1944.792-1945.530=-0.738
min	1487.000
max	7403.000-7384.000=19.000

*mean*	3137.073-3262.413=-125.339
σ	866.663-776.494=90.168
min	2499.310-2467.900=31.410
max	4649.434-4622.432=27.001

op=vertical_lookup_list() on indexed

*mean*	1973.830
σ	0.002
min	1973.829
max	1973.833

*mean*	7403.000-7384.000=19.000
σ	0.000
min	7403.000-7384.000=19.000
max	7403.000-7384.000=19.000

*mean*	1038.864-1038.745=0.119
σ	179.154-280.967=-101.813
min	921.308-912.178=9.131
max	1425.097-1718.557=-293.461

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

*mean*	905.084
σ	0.002
min	905.082
max	905.087

*mean*	7403.000-7384.000=19.000
σ	0.000
min	7403.000-7384.000=19.000
max	7403.000-7384.000=19.000

*mean*	391.008-389.950=1.058
σ	3.056-5.038=-1.982
min	385.832-379.536=6.297
max	395.259-396.529=-1.271

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.250-475.625=0.625
σ	0.707-0.518=0.190
min	476.000-475.000=1.000
max	478.000-476.000=2.000

*mean*	392.362-384.714=7.648
σ	37.781-35.949=1.832
min	321.491-310.796=10.695
max	445.785-429.335=16.450

op=pointedIndexFromKvs

rows=400000

*mean*	308.493
σ	0.001
min	308.493
max	308.497

*mean*	562.000-561.250=0.750
σ	0.000-3.240=-3.240
min	562.000-556.000=6.000
max	562.000-563.000=-1.000

*mean*	737.089-738.833=-1.743
σ	52.314-62.445=-10.130
min	632.334-625.827=6.507
max	784.998-820.126=-35.128

Marine Hull: transactPolicy

Factor

allocated MiB

peak allocated MiB

time

datapoints=1

iterations=20

*mean*	976.914-976.917=-0.002
σ	2.439-2.438=0.001
min	976.070-976.069=0.001
max	987.250-987.247=0.003

*mean*	1042.450-1051.700=-9.250
σ	319.636-315.963=3.673
min	562.000-568.000=-6.000
max	1529.000-1515.000=14.000

*mean*	1.270-1.346=-0.076
σ	0.107-0.180=-0.073
min	1.071-1.207=-0.136
max	1.603-1.755=-0.152

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.396-0.438=-0.042
σ	0.514-0.475=0.039
min	0.140-0.154=-0.014
max	1.314-1.285=0.028

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.630-0.829=-0.198
σ	0.255-0.516=-0.260
min	0.349-0.576=-0.227
max	1.047-1.751=-0.704

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.378-0.379=-0.000
σ	0.047-0.030=0.017
min	0.346-0.358=-0.012
max	0.456-0.429=0.028

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.597-0.596=0.001
σ	0.028-0.035=-0.007
min	0.569-0.556=0.013
max	0.639-0.652=-0.013

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

*mean*	0.691-0.737=-0.046
σ	0.049-0.011=0.038
min	0.628-0.729=-0.101
max	0.755-0.757=-0.002

name=cdr_enhanced_4k_loc.art

*mean*	886.000
σ	0.002
min	885.999
max	886.003

*mean*	431.000-429.000=2.000
σ	0.000
min	431.000-429.000=2.000
max	431.000-429.000=2.000

*mean*	0.501-0.602=-0.101
σ	0.036-0.039=-0.003
min	0.437-0.539=-0.102
max	0.522-0.638=-0.116

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

*mean*	1.997-3.534=-1.537
σ	0.080-0.088=-0.007
min	1.877-3.420=-1.543
max	2.260-3.917=-1.657

name=record_render_large_syntax_err.art

*mean*	7.667
σ	0.002
min	7.666
max	7.670

*mean*	431.000-429.000=2.000
σ	0.000
min	431.000-429.000=2.000
max	431.000-429.000=2.000

*mean*	1.970-3.498=-1.528
σ	0.075-0.080=-0.005
min	1.803-3.337=-1.534
max	2.199-3.779=-1.580

name=record_render_success.art

*mean*	2.290
σ	0.002
min	2.290
max	2.294

*mean*	431.000-429.000=2.000
σ	0.000
min	431.000-429.000=2.000
max	431.000-429.000=2.000

*mean*	0.303-0.540=-0.237
σ	0.008-0.017=-0.009
min	0.290-0.517=-0.228
max	0.344-0.627=-0.283

name=record_render_syntax_err.art

*mean*	2.166
σ	0.002
min	2.165
max	2.169

*mean*	431.000-429.000=2.000
σ	0.000
min	431.000-429.000=2.000
max	431.000-429.000=2.000

*mean*	0.295-0.512=-0.217
σ	0.021-0.013=0.008
min	0.275-0.489=-0.214
max	0.451-0.575=-0.124

Revision Creation

Factor

allocated MiB

peak allocated MiB

time_s

number of threads=8

revision count=1000

*mean*	11.790-11.428=0.362
σ	11.842-11.679=0.163
min	0.574-0.573=0.001
max	96.659-131.510=-34.851

*mean*	464.957-466.613=-1.656
σ	18.277-19.214=-0.937
min	408.000-406.000=2.000
max	479.000-480.000=-1.000

*mean*	0.027-0.026=0.001
σ	0.029-0.028=0.001
min	0.001-0.001=-0.000
max	0.232-0.315=-0.084

SoV import

Factor

allocated MiB

peak allocated MiB

time_s

iters=10

rows=1000

*mean*	293.710-293.945=-0.235
σ	1.057-1.061=-0.004
min	293.237-293.486=-0.249
max	296.709-296.956=-0.247

*mean*	444.800-445.200=-0.400
σ	15.505-18.967=-3.462
min	425.000-416.000=9.000
max	464.000-472.000=-8.000

*mean*	0.588-0.588=-0.001
σ	0.012-0.017=-0.005
min	0.567-0.553=0.014
max	0.601-0.602=-0.001

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*	847.000-848.000=-1.000
σ	0.000
min	847.000-848.000=-1.000
max	847.000-848.000=-1.000

*mean*	150.368-145.479=4.889
σ	8.637-11.762=-3.125
min	139.240-129.562=9.678
max	161.584-160.885=0.699

phase=macro expansion

*mean*	5.894
σ	0.000
min	5.894
max	5.894

*mean*	847.000-847.750=-0.750
σ	0.000-0.707=-0.707
min	847.000-846.000=1.000
max	847.000-848.000=-1.000

*mean*	6.867-6.968=-0.101
σ	1.687-2.275=-0.588
min	5.887-5.744=0.143
max	10.037-11.888=-1.851

phase=parser

*mean*	1042.134-1042.134=-0.000
σ	0.001-0.001=0.000
min	1042.131-1042.131=-0.000
max	1042.134

*mean*	847.000-847.750=-0.750
σ	0.000-0.707=-0.707
min	847.000-846.000=1.000
max	847.000-848.000=-1.000

*mean*	427.810-440.817=-13.007
σ	95.549-129.219=-33.670
min	375.481-372.957=2.524
max	598.516-722.295=-123.779

phase=processProdDef

*mean*	2241.193
σ	0.000
min	2241.193
max	2241.194

*mean*	847.000-848.000=-1.000
σ	0.000
min	847.000-848.000=-1.000
max	847.000-848.000=-1.000

*mean*	2798.595-2846.227=-47.632
σ	366.778-346.688=20.089
min	2343.910-2406.348=-62.438
max	3276.034-3273.503=2.531

phase=renaming

*mean*	21.430
σ	0.001
min	21.430
max	21.433

*mean*	847.000-847.750=-0.750
σ	0.000-0.707=-0.707
min	847.000-846.000=1.000
max	847.000-848.000=-1.000

*mean*	38.168-39.470=-1.302
σ	4.022-3.844=0.178
min	30.770-34.588=-3.818
max	42.246-46.776=-4.529

phase=type checker

*mean*	958.466
σ	0.047
min	958.439
max	958.568

*mean*	847.000-847.750=-0.750
σ	0.000-0.707=-0.707
min	847.000-846.000=1.000
max	847.000-848.000=-1.000

*mean*	693.129-683.025=10.104
σ	56.378-66.044=-9.666
min	642.772-638.929=3.843
max	822.610-842.718=-20.108

Workflow: transactPolicy

Factor

allocated MiB

peak allocated MiB

time

iters=5

new-facts=1

prior-facts=1

*mean*	327.854-327.854=0.001
σ	0.037-0.036=0.000
min	327.803-327.803=0.000
max	327.891-327.889=0.002

*mean*	442.200-441.000=1.200
σ	4.919-4.416=0.503
min	434.000
max	447.000-446.000=1.000

*mean*	0.431-0.435=-0.004
σ	0.008-0.006=0.002
min	0.424-0.429=-0.005
max	0.445-0.445=0.000

iters=5

new-facts=1

prior-facts=6402

*mean*	1313.071-1313.070=0.002
σ	0.128-0.131=-0.002
min	1312.963-1312.969=-0.006
max	1313.289-1313.290=-0.001

*mean*	1095.200-1070.600=24.600
σ	196.449-185.330=11.119
min	857.000-830.000=27.000
max	1351.000-1309.000=42.000

*mean*	1.882-1.872=0.011
σ	0.037-0.051=-0.014
min	1.824-1.831=-0.007
max	1.916-1.929=-0.013

iters=5

new-facts=6402

prior-facts=1

*mean*	1552.057-1552.054=0.003
σ	3.069-3.065=0.004
min	1550.515-1550.448=0.067
max	1557.541-1557.525=0.016

*mean*	617.400-619.200=-1.800
σ	88.856-81.275=7.580
min	495.000-502.000=-7.000
max	735.000-706.000=29.000

*mean*	2.290-2.324=-0.034
σ	0.274-0.278=-0.004
min	2.086-2.094=-0.008
max	2.760-2.661=0.099

iters=5

new-facts=6402

prior-facts=6402

*mean*	1875.077-1875.062=0.016
σ	0.066-0.040=0.026
min	1875.023-1875.020=0.002
max	1875.186-1875.107=0.079

*mean*	1755.800-1710.600=45.200
σ	198.114-247.346=-49.231
min	1509.000-1416.000=93.000
max	1947.000-2040.000=-93.000

*mean*	3.271-2.859=0.412
σ	0.347-0.161=0.186
min	2.869-2.712=0.157
max	3.773-3.032=0.741

newProductH/cdr_auton/broker

Factor

time_s

iterations=5

*mean*	1.556-1.539=0.017
σ	0.125-0.210=-0.085
min	1.350-1.173=0.178
max	1.649-1.688=-0.040

policy addition benchmark

Factor

allocated MiB

db queries

peak allocated MiB

time

policies=2

*mean*	419.404-419.401=0.003
σ	508.891-508.891=0.000
min	164.955-164.955=-0.000
max	1182.741-1182.738=0.003

*mean*	101.250
σ	6.500
min	98.000
max	111.000

*mean*	431.000-428.000=3.000
σ	0.000
min	431.000-428.000=3.000
max	431.000-428.000=3.000

*mean*	0.512-0.518=-0.006
σ	0.475-0.495=-0.020
min	0.268-0.263=0.005
max	1.224-1.261=-0.037

policies=20

*mean*	1649.818-1649.787=0.031
σ	0.369-0.371=-0.002
min	1649.593-1649.575=0.018
max	1650.369-1650.343=0.026

*mean*	980.000
σ	0.000
min	980.000
max	980.000

*mean*	446.750-446.250=0.500
σ	11.057
min	434.000-432.000=2.000
max	461.000-455.000=6.000

*mean*	2.653-2.646=0.007
σ	0.010-0.020=-0.011
min	2.642-2.618=0.024
max	2.665-2.665=0.001

policies=200

*mean*	16506.047-16505.941=0.107
σ	0.080-0.057=0.023
min	16505.999-16505.873=0.127
max	16506.167-16506.005=0.162

*mean*	9800.000
σ	0.000
min	9800.000
max	9800.000

*mean*	495.250-500.500=-5.250
σ	5.560-7.000=-1.440
min	489.000-492.000=-3.000
max	502.000-508.000=-6.000

*mean*	26.750-26.797=-0.047
σ	0.095-0.113=-0.019
min	26.647-26.672=-0.024
max	26.856-26.902=-0.046