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.301
σ	0.000
min	5.301
max	5.301

AST compact size (parser)

Factor

compact size MiB

phase=parser

*mean*	5.176
σ	0.000
min	5.176
max	5.176

AST compact size (processProdDef)

Factor

compact size MiB

phase=processProdDef

*mean*	558.664
σ	0.000
min	558.664
max	558.664

AST compact size (renaming)

Factor

compact size MiB

phase=renaming

*mean*	5.488
σ	0.000
min	5.488
max	5.488

AST compact size (type checker)

Factor

compact size MiB

phase=type checker

*mean*	6.645
σ	0.000
min	6.645
max	6.645

Aggregation: measureAggregations

Factor

allocated MiB

peak allocated MiB

time_s

cache=n

dps=1

iters=10

policies=100

*mean*	54.887-54.889=-0.002
σ	0.357-0.361=-0.004
min	54.754-54.754=0.000
max	55.904-55.917=-0.013

*mean*	417.000
σ	0.000
min	417.000
max	417.000

*mean*	0.141-0.140=0.000
σ	0.006-0.006=0.000
min	0.132-0.133=-0.000
max	0.150-0.148=0.002

cache=y

dps=1

iters=10

policies=100

*mean*	43.856-43.856=0.001
σ	0.006-0.007=-0.001
min	43.848-43.846=0.002
max	43.869-43.872=-0.003

*mean*	417.000
σ	0.000
min	417.000
max	417.000

*mean*	0.125-0.124=0.001
σ	0.005-0.006=-0.000
min	0.118-0.116=0.002
max	0.133-0.133=-0.001

CSV - indexed operations

Factor

allocated MiB

peak allocated MiB

time (ms)

op=column_set() on indexed

*mean*	36.618-36.618=0.000
σ	0.002-0.002=-0.000
min	36.616
max	36.620-36.620=0.000

*mean*	4028.875-4040.500=-11.625
σ	2000.391-2008.011=-7.620
min	1217.000
max	7125.000-7145.000=-20.000

*mean*	12.625-13.025=-0.400
σ	0.335-0.381=-0.046
min	11.979-12.573=-0.594
max	13.001-13.716=-0.715

op=column_set() on indexed, repeat

*mean*	36.618-36.618=0.000
σ	0.002-0.002=-0.000
min	36.616-36.616=0.000
max	36.620-36.620=0.000

*mean*	4028.875-4040.500=-11.625
σ	2000.391-2008.011=-7.620
min	1217.000
max	7125.000-7145.000=-20.000

*mean*	12.865-13.007=-0.142
σ	0.646-0.738=-0.093
min	11.437-11.751=-0.314
max	13.395-13.640=-0.245

op=table_records(), no indexes

*mean*	41.930-41.929=0.000
σ	0.002-0.002=-0.000
min	41.928-41.928=0.000
max	41.932-41.932=-0.000

*mean*	7125.000-7145.000=-20.000
σ	0.000
min	7125.000-7145.000=-20.000
max	7125.000-7145.000=-20.000

*mean*	14.627-15.025=-0.398
σ	1.457-0.182=1.275
min	11.277-14.804=-3.527
max	15.410-15.307=0.103

op=table_records(), repeat

*mean*	41.929-41.929=0.000
σ	0.002-0.002=-0.000
min	41.927-41.927=0.000
max	41.932-41.932=-0.000

*mean*	4028.875-4040.500=-11.625
σ	2000.391-2008.011=-7.620
min	1217.000
max	7125.000-7145.000=-20.000

*mean*	13.229-13.230=-0.001
σ	2.100-1.485=0.615
min	11.160-10.980=0.180
max	15.796-14.560=1.236

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

*mean*	27.654-27.654=-0.000
σ	0.136-0.136=-0.000
min	27.604
max	27.991-27.991=-0.000

*mean*	4028.875-4040.500=-11.625
σ	2000.391-2008.011=-7.620
min	1217.000
max	7125.000-7145.000=-20.000

*mean*	9.040-9.290=-0.251
σ	0.267-0.664=-0.397
min	8.538-8.571=-0.033
max	9.302-10.730=-1.428

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

*mean*	26.401-26.401=0.000
σ	0.002-0.002=-0.000
min	26.400-26.400=0.000
max	26.404

*mean*	4028.875-4040.500=-11.625
σ	2000.391-2008.011=-7.620
min	1217.000
max	7125.000-7145.000=-20.000

*mean*	6.746-7.365=-0.619
σ	0.397-0.593=-0.197
min	6.263-6.880=-0.617
max	7.455-8.749=-1.294

op=vertical_lookup_row_list() on 2 indexed

*mean*	25.668-25.668=-0.000
σ	0.004-0.004=-0.000
min	25.665-25.666=-0.000
max	25.677-25.678=-0.000

*mean*	4028.875-4040.500=-11.625
σ	2000.391-2008.011=-7.620
min	1217.000
max	7125.000-7145.000=-20.000

*mean*	5.986-6.103=-0.117
σ	0.113-0.090=0.023
min	5.848-5.990=-0.142
max	6.159-6.234=-0.075

op=vertical_lookup_row_list() on 3 (1 unindexed)

*mean*	25.970-25.970=0.000
σ	0.002-0.002=-0.000
min	25.968-25.968=0.000
max	25.972

*mean*	4028.875-4040.500=-11.625
σ	2000.391-2008.011=-7.620
min	1217.000
max	7125.000-7145.000=-20.000

*mean*	5.803-5.886=-0.084
σ	0.067-0.149=-0.082
min	5.724-5.775=-0.051
max	5.916-6.225=-0.309

CSV - loading a lazy table

Factor

allocated MiB

peak allocated MiB

time (ms)

op=load_product(), no indexes

*mean*	1021.613-1021.613=0.000
σ	0.002-0.002=0.000
min	1021.612
max	1021.616-1021.616=0.000

*mean*	7125.000-7145.000=-20.000
σ	0.000
min	7125.000-7145.000=-20.000
max	7125.000-7145.000=-20.000

*mean*	348.717-364.012=-15.295
σ	2.259-41.891=-39.633
min	344.420-346.179=-1.759
max	350.584-467.536=-116.952

op=load_product(), with indexes

*mean*	7917.793-7917.792=0.000
σ	0.469-0.469=0.000
min	7917.625-7917.624=0.000
max	7918.954-7918.953=0.000

*mean*	3263.500-3271.125=-7.625
σ	1814.939-1824.571=-9.632
min	809.000-810.000=-1.000
max	5601.000-5619.000=-18.000

*mean*	3570.014-3640.535=-70.521
σ	910.739-1106.070=-195.331
min	3092.966-3108.498=-15.533
max	5583.468-6221.032=-637.565

CSV - unindexed operations

Factor

allocated MiB

peak allocated MiB

time (ms)

op=column_set() on unindexed, dense

*mean*	62.077-62.077=0.000
σ	0.002-0.002=-0.000
min	62.076-62.076=0.000
max	62.080

*mean*	4028.875-4040.500=-11.625
σ	2000.391-2008.011=-7.620
min	1217.000
max	7125.000-7145.000=-20.000

*mean*	82.737-82.618=0.119
σ	12.743-14.299=-1.556
min	69.353-70.334=-0.980
max	99.126-106.810=-7.684

op=vertical_lookup_list() on unindexed missing Int

*mean*	40.946-40.946=0.000
σ	0.002-0.002=0.000
min	40.945
max	40.950

*mean*	7125.000-7145.000=-20.000
σ	0.000
min	7125.000-7145.000=-20.000
max	7125.000-7145.000=-20.000

*mean*	171.704-61.459=110.245
σ	303.688-1.152=302.535
min	60.985-60.890=0.095
max	923.205-64.283=858.922

op=vertical_lookup_row_list() on unindexed small unique Int

*mean*	66.688-66.688=-0.000
σ	0.002-0.002=-0.000
min	66.686-66.686=0.000
max	66.691-66.691=-0.000

*mean*	7125.000-7145.000=-20.000
σ	0.000
min	7125.000-7145.000=-20.000
max	7125.000-7145.000=-20.000

*mean*	101.734-263.613=-161.879
σ	5.975-368.488=-362.513
min	98.109-98.166=-0.057
max	113.417-1144.729=-1031.312

CSV - warmup

Factor

allocated MiB

peak allocated MiB

time (ms)

op=table_records()

*mean*	14217.171-14217.171=0.000
σ	4.303-4.303=-0.000
min	14215.576
max	14227.820

*mean*	4028.875-4040.500=-11.625
σ	2000.391-2008.011=-7.620
min	1217.000
max	7125.000-7145.000=-20.000

*mean*	7978.613-7902.579=76.034
σ	1704.485-1827.975=-123.490
min	5993.720-5996.017=-2.296
max	10764.026-10785.601=-21.575

op=vertical_lookup_list() on indexed

*mean*	13159.109-13159.109=0.000
σ	0.002-0.002=0.000
min	13159.105
max	13159.110

*mean*	7125.000-7145.000=-20.000
σ	0.000
min	7125.000-7145.000=-20.000
max	7125.000-7145.000=-20.000

*mean*	5437.222-5302.765=134.456
σ	1044.331-592.703=451.628
min	5000.936-5011.237=-10.301
max	8005.903-6710.213=1295.690

CSV internal benchmark: pointedIndexFromKvs

Factor

allocated MiB

peak allocated MiB

time (ms)

op=pointedIndexFromKvs

rows=200000

*mean*	172.559
σ	0.001
min	172.558
max	172.562

*mean*	477.000-474.000=3.000
σ	0.000
min	477.000-474.000=3.000
max	477.000-474.000=3.000

*mean*	362.530-381.910=-19.380
σ	33.171-25.424=7.747
min	294.782-319.304=-24.522
max	392.393-394.584=-2.190

op=pointedIndexFromKvs

rows=400000

*mean*	357.322
σ	0.001
min	357.321
max	357.325

*mean*	562.000-558.875=3.125
σ	0.000-0.354=-0.354
min	562.000-558.000=4.000
max	562.000-559.000=3.000

*mean*	756.625-740.336=16.289
σ	52.269-70.343=-18.074
min	637.792-611.361=26.431
max	798.309-795.768=2.541

Marine Hull: transactPolicy

Factor

allocated MiB

peak allocated MiB

time

datapoints=1

iterations=20

*mean*	1024.300-1024.299=0.001
σ	0.759-0.759=-0.000
min	1023.824-1023.826=-0.002
max	1027.437-1027.437=0.000

*mean*	1063.400-1057.400=6.000
σ	315.905-321.753=-5.847
min	599.000-539.000=60.000
max	1568.000-1566.000=2.000

*mean*	1.579-1.582=-0.003
σ	0.051-0.100=-0.049
min	1.526-1.444=0.082
max	1.725-1.879=-0.154

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.394-0.398=-0.004
σ	0.498-0.503=-0.004
min	0.147-0.141=0.006
max	1.283-1.294=-0.010

name=error_case.art

*mean*	2.339
σ	0.012
min	2.333
max	2.361

*mean*	402.000
σ	0.000
min	402.000
max	402.000

*mean*	0.481-0.475=0.006
σ	0.318-0.323=-0.005
min	0.330-0.318=0.012
max	1.049-1.053=-0.004

name=heavy_item.art

*mean*	1.522
σ	0.002
min	1.521
max	1.525

*mean*	402.000
σ	0.000
min	402.000
max	402.000

*mean*	0.220-0.224=-0.004
σ	0.027-0.025=0.002
min	0.201-0.208=-0.007
max	0.266-0.267=-0.002

name=nested_use.art

*mean*	2.357
σ	0.002
min	2.356
max	2.360

*mean*	402.000
σ	0.000
min	402.000
max	402.000

*mean*	0.334-0.340=-0.006
σ	0.021-0.015=0.006
min	0.317-0.328=-0.010
max	0.370-0.364=0.006

Parser: Real World

Factor

allocated MiB

peak allocated MiB

time (sec)

name=aon_gpf25_7k_loc.art

*mean*	964.840
σ	0.011
min	964.835
max	964.859

*mean*	431.400-431.200=0.200
σ	0.894-0.447=0.447
min	431.000
max	433.000-432.000=1.000

*mean*	0.524-0.562=-0.037
σ	0.058-0.029=0.029
min	0.438-0.531=-0.093
max	0.589-0.594=-0.005

name=cdr_enhanced_4k_loc.art

*mean*	885.820
σ	0.002
min	885.819
max	885.823

*mean*	439.000-437.000=2.000
σ	0.000
min	439.000-437.000=2.000
max	439.000-437.000=2.000

*mean*	0.485-0.490=-0.004
σ	0.042-0.055=-0.013
min	0.418-0.393=0.024
max	0.520-0.522=-0.003

Parser: Record Parsing

Factor

allocated MiB

peak allocated MiB

time (ms)

name=record_render_large_success.art

*mean*	7.709
σ	0.002
min	7.708
max	7.712

*mean*	439.000-437.000=2.000
σ	0.000
min	439.000-437.000=2.000
max	439.000-437.000=2.000

*mean*	2.603-2.684=-0.081
σ	0.111-0.079=0.031
min	2.089-2.500=-0.411
max	2.873-2.956=-0.083

name=record_render_large_syntax_err.art

*mean*	7.657
σ	0.002
min	7.656
max	7.660

*mean*	439.000-437.000=2.000
σ	0.000
min	439.000-437.000=2.000
max	439.000-437.000=2.000

*mean*	2.595-2.698=-0.103
σ	0.082-0.072=0.010
min	2.438-2.512=-0.073
max	2.815-2.949=-0.134

name=record_render_success.art

*mean*	2.289
σ	0.002
min	2.289
max	2.293

*mean*	439.000-437.000=2.000
σ	0.000
min	439.000-437.000=2.000
max	439.000-437.000=2.000

*mean*	0.315-0.302=0.013
σ	0.072-0.009=0.063
min	0.290-0.289=0.002
max	0.987-0.360=0.626

name=record_render_syntax_err.art

*mean*	2.165
σ	0.002
min	2.164
max	2.168

*mean*	439.000-437.000=2.000
σ	0.000
min	439.000-437.000=2.000
max	439.000-437.000=2.000

*mean*	0.295-0.290=0.005
σ	0.013-0.008=0.006
min	0.277-0.278=-0.001
max	0.365-0.321=0.044

SoV import

Factor

allocated MiB

peak allocated MiB

time_s

iters=10

rows=1000

*mean*	298.689-298.772=-0.083
σ	1.020-1.021=-0.001
min	298.314-298.370=-0.057
max	301.589-301.673=-0.083

*mean*	446.200-443.600=2.600
σ	18.588-20.293=-1.705
min	420.000-418.000=2.000
max	472.000-478.000=-6.000

*mean*	0.592-0.608=-0.015
σ	0.029-0.023=0.006
min	0.536-0.553=-0.017
max	0.641-0.643=-0.002

Timed compile per phase

Factor

allocated MiB

peak allocated MiB

time (ms)

phase=buildDeclTree

*mean*	236.681-236.678=0.004
σ	0.000-0.000=0.000
min	236.681-236.678=0.004
max	236.682-236.678=0.004

*mean*	1032.250-943.625=88.625
σ	41.719-15.203=26.517
min	929.000-906.000=23.000
max	1047.000-949.000=98.000

*mean*	209.923-217.409=-7.487
σ	5.203-9.037=-3.834
min	202.311-210.161=-7.850
max	219.410-236.333=-16.923

phase=macro expansion

*mean*	6.133-6.130=0.004
σ	0.000
min	6.133-6.130=0.004
max	6.133-6.130=0.004

*mean*	1032.250-943.625=88.625
σ	41.719-15.203=26.517
min	929.000-906.000=23.000
max	1047.000-949.000=98.000

*mean*	8.980-7.738=1.242
σ	2.190-1.575=0.615
min	6.286-6.282=0.004
max	12.813-9.628=3.185

phase=parser

*mean*	1042.360-1042.368=-0.008
σ	0.000-0.000=-0.000
min	1042.360-1042.368=-0.008
max	1042.360-1042.368=-0.008

*mean*	1032.250-943.625=88.625
σ	41.719-15.203=26.517
min	929.000-906.000=23.000
max	1047.000-949.000=98.000

*mean*	468.375-483.716=-15.342
σ	76.637-82.315=-5.677
min	376.267-376.310=-0.043
max	609.746-587.939=21.807

phase=processProdDef

*mean*	4850.766-4850.763=0.003
σ	0.000-0.000=-0.000
min	4850.766-4850.763=0.004
max	4850.766-4850.764=0.003

*mean*	1047.000-949.000=98.000
σ	0.000
min	1047.000-949.000=98.000
max	1047.000-949.000=98.000

*mean*	4508.374-4937.719=-429.345
σ	457.437-617.435=-159.998
min	4007.956-4153.910=-145.953
max	5253.098-6176.205=-923.106

phase=renaming

*mean*	21.671
σ	0.000
min	21.671
max	21.671

*mean*	1032.250-943.625=88.625
σ	41.719-15.203=26.517
min	929.000-906.000=23.000
max	1047.000-949.000=98.000

*mean*	32.524-28.803=3.721
σ	11.186-9.733=1.452
min	19.889-20.496=-0.607
max	48.555-40.453=8.103

phase=type checker

*mean*	990.450-990.454=-0.004
σ	0.071
min	990.344-990.348=-0.004
max	990.563-990.567=-0.004

*mean*	1032.250-943.625=88.625
σ	41.719-15.203=26.517
min	929.000-906.000=23.000
max	1047.000-949.000=98.000

*mean*	730.643-706.689=23.954
σ	82.239-64.962=17.276
min	658.120-650.157=7.963
max	899.793-809.277=90.516

Workflow: transactPolicy

Factor

allocated MiB

peak allocated MiB

time

iters=5

new-facts=1

prior-facts=1

*mean*	293.822-293.820=0.002
σ	0.038-0.040=-0.002
min	293.769-293.766=0.003
max	293.861-293.861=-0.000

*mean*	443.000-439.800=3.200
σ	0.000-1.095=-1.095
min	443.000-439.000=4.000
max	443.000-441.000=2.000

*mean*	0.394-0.394=0.000
σ	0.001-0.001=-0.001
min	0.393-0.393=0.001
max	0.395-0.396=-0.001

iters=5

new-facts=1

prior-facts=6402

*mean*	1320.214-1320.213=0.001
σ	0.044-0.038=0.005
min	1320.151-1320.156=-0.005
max	1320.265-1320.248=0.017

*mean*	1073.600-1084.000=-10.400
σ	168.380-172.248=-3.868
min	845.000-878.000=-33.000
max	1275.000-1314.000=-39.000

*mean*	2.292-2.303=-0.011
σ	0.185-0.236=-0.051
min	2.146-2.159=-0.013
max	2.612-2.721=-0.108

iters=5

new-facts=6402

prior-facts=1

*mean*	1560.616-1560.606=0.009
σ	6.231-6.213=0.019
min	1557.612-1557.629=-0.017
max	1571.758-1571.715=0.043

*mean*	619.800-610.200=9.600
σ	82.606-94.624=-12.018
min	495.000-496.000=-1.000
max	717.000-733.000=-16.000

*mean*	2.323-2.262=0.061
σ	0.213-0.095=0.118
min	2.175-2.162=0.013
max	2.693-2.419=0.274

iters=5

new-facts=6402

prior-facts=6402

*mean*	1882.171-1882.176=-0.006
σ	0.054-0.058=-0.003
min	1882.104-1882.108=-0.004
max	1882.245-1882.255=-0.010

*mean*	1697.200-1723.800=-26.600
σ	245.979-179.222=66.757
min	1394.000-1467.000=-73.000
max	2022.000-1888.000=134.000

*mean*	2.936-3.130=-0.194
σ	0.083-0.304=-0.221
min	2.845-2.882=-0.037
max	3.051-3.625=-0.575

newProductH/cdr_auton/broker

Factor

time_s

iterations=5

*mean*	1.725-1.749=-0.024
σ	0.163-0.129=0.035
min	1.554-1.575=-0.021
max	1.904-1.860=0.045

policy addition benchmark

Factor

allocated MiB

db queries

peak allocated MiB

time

policies=2

*mean*	452.081-452.081=-0.000
σ	582.721-582.722=-0.001
min	160.719-160.719=0.000
max	1326.163-1326.165=-0.001

*mean*	102.250
σ	8.500
min	98.000
max	115.000

*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.547-0.534=0.012
σ	0.542-0.522=0.020
min	0.266-0.267=-0.001
max	1.360-1.317=0.043

policies=20

*mean*	1607.542-1607.522=0.019
σ	0.440-0.416=0.024
min	1607.242-1607.243=-0.001
max	1608.192-1608.140=0.052

*mean*	980.000
σ	0.000
min	980.000
max	980.000

*mean*	448.500-451.000=-2.500
σ	8.660-9.238=-0.577
min	441.000-443.000=-2.000
max	456.000-459.000=-3.000

*mean*	2.749-2.702=0.047
σ	0.089-0.044=0.045
min	2.671-2.645=0.026
max	2.840-2.743=0.097

policies=200

*mean*	16083.539-16083.500=0.039
σ	0.118-0.157=-0.039
min	16083.463-16083.330=0.132
max	16083.713-16083.711=0.003

*mean*	9800.000
σ	0.000
min	9800.000
max	9800.000

*mean*	495.500-498.500=-3.000
σ	4.203
min	490.000-494.000=-4.000
max	500.000-504.000=-4.000

*mean*	27.246-27.115=0.131
σ	0.045-0.049=-0.004
min	27.194-27.071=0.123
max	27.294-27.183=0.112