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-558.633=0.031
σ	0.000
min	558.664-558.633=0.031
max	558.664-558.633=0.031

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.888-54.888=-0.000
σ	0.359-0.357=0.002
min	54.749-54.755=-0.006
max	55.910-55.904=0.006

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

*mean*	0.141-0.141=-0.001
σ	0.005-0.005=-0.000
min	0.137-0.132=0.005
max	0.151-0.148=0.003

cache=y

dps=1

iters=10

policies=100

*mean*	43.856-43.856=-0.000
σ	0.007-0.006=0.002
min	43.842-43.848=-0.006
max	43.868-43.865=0.002

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

*mean*	0.125-0.126=-0.001
σ	0.004-0.005=-0.000
min	0.121-0.122=-0.001
max	0.133-0.134=-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.001

*mean*	4041.500-4043.000=-1.500
σ	2007.365-2008.622=-1.257
min	1217.000-1219.000=-2.000
max	7140.000-7146.000=-6.000

*mean*	13.259-12.184=1.076
σ	1.737-0.343=1.395
min	12.359-11.684=0.676
max	17.490-12.550=4.940

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*	4041.500-4043.000=-1.500
σ	2007.365-2008.622=-1.257
min	1217.000-1219.000=-2.000
max	7140.000-7146.000=-6.000

*mean*	13.226-12.387=0.839
σ	1.924-0.456=1.468
min	11.587-11.347=0.240
max	17.770-12.904=4.866

op=table_records(), no indexes

*mean*	41.930-41.930=0.000
σ	0.002-0.002=-0.000
min	41.928
max	41.933-41.933=-0.000

*mean*	7140.000-7146.000=-6.000
σ	0.000
min	7140.000-7146.000=-6.000
max	7140.000-7146.000=-6.000

*mean*	14.981-14.728=0.253
σ	0.158-0.130=0.028
min	14.837-14.602=0.236
max	15.219-15.018=0.201

op=table_records(), repeat

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

*mean*	4041.500-4043.000=-1.500
σ	2007.365-2008.622=-1.257
min	1217.000-1219.000=-2.000
max	7140.000-7146.000=-6.000

*mean*	15.008-13.783=1.225
σ	1.061-1.499=-0.438
min	12.783-10.586=2.197
max	16.162-15.436=0.726

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

*mean*	4041.500-4043.000=-1.500
σ	2007.365-2008.622=-1.257
min	1217.000-1219.000=-2.000
max	7140.000-7146.000=-6.000

*mean*	10.001-9.297=0.704
σ	1.628-1.633=-0.005
min	8.693-7.980=0.713
max	12.665-12.140=0.525

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*	4041.500-4043.000=-1.500
σ	2007.365-2008.622=-1.257
min	1217.000-1219.000=-2.000
max	7140.000-7146.000=-6.000

*mean*	7.317-7.064=0.253
σ	1.625-1.549=0.076
min	6.246-6.105=0.141
max	10.068-9.637=0.430

op=vertical_lookup_row_list() on 2 indexed

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

*mean*	4041.500-4043.000=-1.500
σ	2007.365-2008.622=-1.257
min	1217.000-1219.000=-2.000
max	7140.000-7146.000=-6.000

*mean*	6.202-5.516=0.687
σ	0.508-0.105=0.403
min	5.709-5.274=0.435
max	7.382-5.615=1.767

op=vertical_lookup_row_list() on 3 (1 unindexed)

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

*mean*	4041.500-4043.000=-1.500
σ	2007.365-2008.622=-1.257
min	1217.000-1219.000=-2.000
max	7140.000-7146.000=-6.000

*mean*	5.867-5.152=0.715
σ	0.574-0.152=0.422
min	5.350-4.896=0.455
max	7.162-5.303=1.859

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

*mean*	7140.000-7146.000=-6.000
σ	0.000
min	7140.000-7146.000=-6.000
max	7140.000-7146.000=-6.000

*mean*	362.592-377.515=-14.923
σ	43.240-56.292=-13.051
min	343.996-342.395=1.600
max	469.383-469.527=-0.144

op=load_product(), with indexes

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

*mean*	3274.375-3274.875=-0.500
σ	1823.953-1824.563=-0.609
min	810.000
max	5622.000-5623.000=-1.000

*mean*	3665.813-3630.418=35.395
σ	1042.749-1112.108=-69.359
min	3079.092-3086.582=-7.489
max	6051.446-6203.665=-152.218

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*	4041.500-4043.000=-1.500
σ	2007.365-2008.622=-1.257
min	1217.000-1219.000=-2.000
max	7140.000-7146.000=-6.000

*mean*	91.055-89.940=1.115
σ	21.233-23.356=-2.123
min	69.902-68.905=0.998
max	122.500-123.622=-1.122

op=vertical_lookup_list() on unindexed missing Int

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

*mean*	7140.000-7146.000=-6.000
σ	0.000
min	7140.000-7146.000=-6.000
max	7140.000-7146.000=-6.000

*mean*	60.664-61.036=-0.373
σ	1.132-1.299=-0.167
min	59.885-60.333=-0.448
max	63.306-64.204=-0.898

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

*mean*	7140.000-7146.000=-6.000
σ	0.000
min	7140.000-7146.000=-6.000
max	7140.000-7146.000=-6.000

*mean*	248.875-260.018=-11.143
σ	378.975-317.920=61.055
min	98.057-99.012=-0.955
max	1181.200-952.169=229.031

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-14215.575=0.001
max	14227.820

*mean*	4041.500-4043.000=-1.500
σ	2007.365-2008.622=-1.257
min	1217.000-1219.000=-2.000
max	7140.000-7146.000=-6.000

*mean*	7936.240-7726.043=210.198
σ	2061.755-1589.327=472.428
min	5958.409-5970.056=-11.647
max	11098.617-10279.120=819.497

op=vertical_lookup_list() on indexed

*mean*	13159.109-13159.108=0.000
σ	0.002-0.001=0.000
min	13159.106
max	13159.110

*mean*	7140.000-7146.000=-6.000
σ	0.000
min	7140.000-7146.000=-6.000
max	7140.000-7146.000=-6.000

*mean*	5279.414-5318.920=-39.506
σ	593.659-573.823=19.836
min	4990.558-4994.078=-3.520
max	6700.682-6643.843=56.838

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

*mean*	373.247-377.281=-4.033
σ	21.702-18.611=3.091
min	335.946-347.559=-11.612
max	392.314-389.806=2.508

op=pointedIndexFromKvs

rows=400000

*mean*	357.322
σ	0.001
min	357.321
max	357.325

*mean*	562.000-560.500=1.500
σ	0.000-1.604=-1.604
min	562.000-559.000=3.000
max	562.000

*mean*	749.550-759.721=-10.171
σ	75.641-58.794=16.847
min	602.954-620.645=-17.691
max	799.098-804.574=-5.477

Marine Hull: transactPolicy

Factor

allocated MiB

peak allocated MiB

time

datapoints=1

iterations=20

*mean*	1024.299-1024.299=-0.000
σ	0.759-0.759=-0.000
min	1023.827-1023.827=0.000
max	1027.438-1027.437=0.001

*mean*	1058.500-1055.000=3.500
σ	312.002-313.469=-1.467
min	563.000-571.000=-8.000
max	1515.000-1517.000=-2.000

*mean*	1.546-1.536=0.010
σ	0.066-0.076=-0.010
min	1.458-1.421=0.037
max	1.710-1.798=-0.088

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.417-0.304=0.114
σ	0.547-0.294=0.253
min	0.139-0.144=-0.005
max	1.393-0.824=0.569

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.482-0.475=0.007
σ	0.316-0.320=-0.004
min	0.327-0.312=0.015
max	1.047-1.047=-0.000

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.241-0.219=0.022
σ	0.023-0.022=0.001
min	0.213-0.201=0.011
max	0.263-0.256=0.007

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.336-0.324=0.013
σ	0.023-0.015=0.008
min	0.321-0.308=0.013
max	0.377-0.347=0.029

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*	436.200-442.200=-6.000
σ	1.789-4.025=-2.236
min	433.000-435.000=-2.000
max	437.000-444.000=-7.000

*mean*	0.552-0.558=-0.006
σ	0.037-0.036=0.001
min	0.515-0.524=-0.010
max	0.602-0.614=-0.011

name=cdr_enhanced_4k_loc.art

*mean*	885.820
σ	0.002
min	885.819
max	885.823

*mean*	441.000-444.000=-3.000
σ	0.000
min	441.000-444.000=-3.000
max	441.000-444.000=-3.000

*mean*	0.486-0.480=0.005
σ	0.023-0.035=-0.012
min	0.463-0.442=0.021
max	0.518-0.526=-0.008

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*	441.000-444.000=-3.000
σ	0.000
min	441.000-444.000=-3.000
max	441.000-444.000=-3.000

*mean*	1.963-2.699=-0.735
σ	0.077-0.067=0.011
min	1.846-2.527=-0.681
max	2.382-2.938=-0.556

name=record_render_large_syntax_err.art

*mean*	7.657
σ	0.002
min	7.656
max	7.660

*mean*	441.000-444.000=-3.000
σ	0.000
min	441.000-444.000=-3.000
max	441.000-444.000=-3.000

*mean*	1.959-2.701=-0.742
σ	0.065-0.070=-0.006
min	1.857-2.550=-0.693
max	2.210-2.965=-0.755

name=record_render_success.art

*mean*	2.289
σ	0.002
min	2.289
max	2.293

*mean*	441.000-444.000=-3.000
σ	0.000
min	441.000-444.000=-3.000
max	441.000-444.000=-3.000

*mean*	0.308-0.307=0.002
σ	0.009-0.009=-0.000
min	0.295-0.293=0.002
max	0.359-0.363=-0.004

name=record_render_syntax_err.art

*mean*	2.165
σ	0.002
min	2.164
max	2.168

*mean*	441.000-444.000=-3.000
σ	0.000
min	441.000-444.000=-3.000
max	441.000-444.000=-3.000

*mean*	0.296-0.293=0.003
σ	0.007-0.007=-0.000
min	0.277-0.281=-0.004
max	0.326-0.336=-0.010

SoV import

Factor

allocated MiB

peak allocated MiB

time_s

iters=10

rows=1000

*mean*	298.952-298.869=0.083
σ	0.978-0.992=-0.015
min	298.556-298.444=0.112
max	301.733-301.688=0.045

*mean*	441.100-444.200=-3.100
σ	13.940-19.407=-5.467
min	417.000-418.000=-1.000
max	463.000-473.000=-10.000

*mean*	0.609-0.599=0.010
σ	0.014-0.025=-0.011
min	0.587-0.541=0.046
max	0.632-0.622=0.010

Timed compile per phase

Factor

allocated MiB

peak allocated MiB

time (ms)

phase=buildDeclTree

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

*mean*	942.750-942.625=0.125
σ	17.678-18.031=-0.354
min	899.000-898.000=1.000
max	949.000

*mean*	209.503-206.718=2.785
σ	4.773-3.182=1.591
min	201.190-201.638=-0.449
max	216.996-210.878=6.118

phase=macro expansion

*mean*	6.130
σ	0.000
min	6.130
max	6.130

*mean*	941.125
σ	22.274
min	886.000
max	949.000

*mean*	8.743-9.735=-0.993
σ	2.177-3.095=-0.919
min	6.439-6.539=-0.100
max	13.033-16.361=-3.328

phase=parser

*mean*	1042.361-1042.363=-0.002
σ	0.000-0.000=0.000
min	1042.360-1042.363=-0.002
max	1042.361-1042.364=-0.002

*mean*	941.125
σ	22.274
min	886.000
max	949.000

*mean*	544.261-552.217=-7.957
σ	103.615-154.767=-51.152
min	413.613-398.098=15.515
max	751.769-865.689=-113.920

phase=processProdDef

*mean*	4850.768-4850.768=0.000
σ	0.000-0.000=-0.000
min	4850.768-4850.767=0.000
max	4850.768-4850.768=-0.000

*mean*	949.000
σ	0.000
min	949.000
max	949.000

*mean*	5265.506-4916.720=348.787
σ	335.423-678.597=-343.174
min	4473.662-3558.182=915.480
max	5510.359-5805.166=-294.808

phase=renaming

*mean*	21.675-21.671=0.004
σ	0.000
min	21.675-21.671=0.004
max	21.675-21.671=0.004

*mean*	941.125
σ	22.274
min	886.000
max	949.000

*mean*	34.345-33.520=0.825
σ	11.639-11.604=0.036
min	21.135-20.795=0.340
max	50.140-55.696=-5.556

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*	942.500
σ	18.385
min	897.000
max	949.000

*mean*	704.934-773.113=-68.179
σ	53.519-117.120=-63.602
min	646.669-648.890=-2.221
max	799.360-928.735=-129.375

Workflow: transactPolicy

Factor

allocated MiB

peak allocated MiB

time

iters=5

new-facts=1

prior-facts=1

*mean*	293.821-293.823=-0.001
σ	0.038-0.038=-0.000
min	293.768-293.769=-0.001
max	293.861-293.862=-0.001

*mean*	443.000-444.000=-1.000
σ	0.000
min	443.000-444.000=-1.000
max	443.000-444.000=-1.000

*mean*	0.393-0.393=0.000
σ	0.001-0.001=-0.000
min	0.392-0.392=-0.000
max	0.395-0.395=-0.001

iters=5

new-facts=1

prior-facts=6402

*mean*	1320.178-1320.218=-0.040
σ	0.101-0.033=0.069
min	1320.061-1320.170=-0.110
max	1320.341-1320.249=0.092

*mean*	1096.600-1066.200=30.400
σ	186.081-164.095=21.986
min	839.000-845.000=-6.000
max	1318.000-1270.000=48.000

*mean*	2.117-2.252=-0.135
σ	0.158-0.066=0.092
min	2.017-2.161=-0.143
max	2.393-2.337=0.056

iters=5

new-facts=6402

prior-facts=1

*mean*	1560.578-1560.614=-0.036
σ	6.244-6.230=0.014
min	1557.553-1557.617=-0.064
max	1571.740-1571.754=-0.013

*mean*	619.400-619.800=-0.400
σ	82.020-82.606=-0.586
min	495.000
max	715.000-717.000=-2.000

*mean*	2.251-2.324=-0.073
σ	0.211-0.227=-0.016
min	2.067-2.178=-0.111
max	2.615-2.722=-0.107

iters=5

new-facts=6402

prior-facts=6402

*mean*	1882.175-1882.171=0.004
σ	0.058-0.055=0.004
min	1882.105-1882.107=-0.002
max	1882.238-1882.242=-0.004

*mean*	1719.000-1705.600=13.400
σ	198.868-250.659=-51.791
min	1452.000-1421.000=31.000
max	1909.000-2057.000=-148.000

*mean*	3.076-2.988=0.088
σ	0.227-0.083=0.144
min	2.834-2.892=-0.058
max	3.347-3.089=0.258

newProductH/cdr_auton/broker

Factor

time_s

iterations=5

*mean*	1.802-1.795=0.007
σ	0.121-0.105=0.016
min	1.597-1.635=-0.039
max	1.898-1.916=-0.018

policy addition benchmark

Factor

allocated MiB

db queries

peak allocated MiB

time

policies=2

*mean*	452.081-452.082=-0.001
σ	582.722-582.723=-0.000
min	160.718-160.716=0.002
max	1326.165-1326.166=-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.554-0.542=0.012
σ	0.563-0.538=0.025
min	0.265-0.270=-0.005
max	1.399-1.350=0.049

policies=20

*mean*	1607.513-1607.535=-0.023
σ	0.403-0.409=-0.006
min	1607.237-1607.256=-0.019
max	1608.109-1608.140=-0.032

*mean*	980.000
σ	0.000
min	980.000
max	980.000

*mean*	444.500-449.500=-5.000
σ	7.000-7.506=-0.506
min	441.000-443.000=-2.000
max	455.000-456.000=-1.000

*mean*	2.677-2.685=-0.007
σ	0.011-0.011=0.000
min	2.667-2.671=-0.004
max	2.688-2.696=-0.008

policies=200

*mean*	16083.342-16083.521=-0.180
σ	0.105-0.111=-0.006
min	16083.263-16083.420=-0.157
max	16083.496-16083.676=-0.179

*mean*	9800.000
σ	0.000
min	9800.000
max	9800.000

*mean*	496.000-497.000=-1.000
σ	4.546-3.916=0.630
min	490.000-492.000=-2.000
max	501.000

*mean*	27.127-27.111=0.016
σ	0.051-0.034=0.018
min	27.065-27.077=-0.012
max	27.180-27.154=0.025