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.818-57.813=0.005
σ	0.363-0.362=0.001
min	57.674-57.672=0.002
max	58.849-58.842=0.008

*mean*	420.000-419.000=1.000
σ	0.000
min	420.000-419.000=1.000
max	420.000-419.000=1.000

*mean*	0.146-0.149=-0.002
σ	0.006-0.005=0.002
min	0.138-0.144=-0.006
max	0.157-0.158=-0.001

cache=y

dps=1

iters=10

policies=100

*mean*	46.898-46.898=-0.001
σ	0.008-0.008=0.001
min	46.885-46.886=-0.001
max	46.914-46.918=-0.004

*mean*	420.000-419.000=1.000
σ	0.000
min	420.000-419.000=1.000
max	420.000-419.000=1.000

*mean*	0.127-0.135=-0.008
σ	0.004-0.006=-0.001
min	0.122-0.128=-0.006
max	0.133-0.146=-0.013

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*	4221.125-4423.000=-201.875
σ	1982.059-2224.564=-242.505
min	1482.000-1487.000=-5.000
max	7482.000-7401.000=81.000

*mean*	12.136-13.424=-1.289
σ	0.129-3.585=-3.456
min	12.009-11.987=0.022
max	12.411-22.292=-9.881

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

*mean*	4221.125-4602.250=-381.125
σ	1982.059-2255.509=-273.450
min	1482.000-1487.000=-5.000
max	7482.000-7401.000=81.000

*mean*	11.768-115.556=-103.788
σ	0.520-287.520=-287.000
min	11.450-11.817=-0.367
max	13.034-827.091=-814.057

op=table_records(), no indexes

*mean*	41.940-41.940=-0.000
σ	0.002-0.002=-0.000
min	41.938
max	41.943-41.943=-0.000

*mean*	7482.000-7401.000=81.000
σ	0.000
min	7482.000-7401.000=81.000
max	7482.000-7401.000=81.000

*mean*	11.015-11.267=-0.251
σ	0.203-0.163=0.040
min	10.675-11.117=-0.441
max	11.405-11.512=-0.106

op=table_records(), repeat

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

*mean*	4221.125-4193.875=27.250
σ	1982.059-1951.679=30.380
min	1482.000-1487.000=-5.000
max	7482.000-7401.000=81.000

*mean*	11.816-11.814=0.002
σ	1.684-1.780=-0.096
min	10.762-10.774=-0.011
max	15.904-16.162=-0.259

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

*mean*	4221.125-4193.875=27.250
σ	1982.059-1951.679=30.380
min	1482.000-1487.000=-5.000
max	7482.000-7401.000=81.000

*mean*	8.721-9.109=-0.388
σ	1.342-1.338=0.005
min	7.471-8.023=-0.552
max	11.893-12.350=-0.457

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*	4221.125-4193.875=27.250
σ	1982.059-1951.679=30.380
min	1482.000-1487.000=-5.000
max	7482.000-7401.000=81.000

*mean*	6.874-7.041=-0.167
σ	0.983-0.804=0.179
min	6.220-6.376=-0.156
max	9.215-8.987=0.228

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*	4221.125-4602.250=-381.125
σ	1982.059-2255.509=-273.450
min	1482.000-1487.000=-5.000
max	7482.000-7401.000=81.000

*mean*	5.929-6.687=-0.758
σ	0.177-1.292=-1.116
min	5.724-5.863=-0.139
max	6.257-9.145=-2.888

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*	4221.125-4602.250=-381.125
σ	1982.059-2255.509=-273.450
min	1482.000-1487.000=-5.000
max	7482.000-7401.000=81.000

*mean*	5.728-6.478=-0.750
σ	0.077-1.168=-1.092
min	5.606-5.794=-0.188
max	5.823-9.066=-3.242

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

*mean*	7482.000-7401.000=81.000
σ	0.000
min	7482.000-7401.000=81.000
max	7482.000-7401.000=81.000

*mean*	348.486-348.371=0.115
σ	2.927-2.048=0.878
min	344.318-346.681=-2.363
max	353.096-351.493=1.603

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*	3792.750-3767.125=25.625
σ	2338.837-2307.462=31.375
min	719.000-720.000=-1.000
max	7482.000-7401.000=81.000

*mean*	2184.629-1742.688=441.941
σ	1119.007-565.857=553.150
min	1389.049-1413.538=-24.489
max	3816.175-2858.202=957.974

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.000

*mean*	4221.125-4193.875=27.250
σ	1982.059-1951.679=30.380
min	1482.000-1487.000=-5.000
max	7482.000-7401.000=81.000

*mean*	133.247-138.187=-4.940
σ	17.438-17.859=-0.422
min	125.305-127.887=-2.583
max	176.254-181.229=-4.974

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*	4221.125-4423.000=-201.875
σ	1982.059-2224.564=-242.505
min	1482.000-1487.000=-5.000
max	7482.000-7401.000=81.000

*mean*	42.456-158.053=-115.597
σ	1.246-325.710=-324.465
min	41.222-41.093=0.129
max	44.353-964.133=-919.779

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*	7482.000-7401.000=81.000
σ	0.000
min	7482.000-7401.000=81.000
max	7482.000-7401.000=81.000

*mean*	23.292-129.739=-106.447
σ	2.562-305.602=-303.040
min	21.468-21.469=-0.002
max	27.577-886.064=-858.487

op=vertical_lookup_row_list() on unindexed small unique Int

*mean*	71.294
σ	0.002-0.002=0.000
min	71.293-71.293=-0.000
max	71.297

*mean*	7482.000-7401.000=81.000
σ	0.000
min	7482.000-7401.000=81.000
max	7482.000-7401.000=81.000

*mean*	57.260-60.009=-2.750
σ	3.603-9.663=-6.061
min	55.218-55.775=-0.557
max	65.784-83.890=-18.106

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*	4221.125-4193.875=27.250
σ	1982.059-1951.679=30.380
min	1482.000-1487.000=-5.000
max	7482.000-7401.000=81.000

*mean*	3342.283-3156.754=185.530
σ	631.188-669.997=-38.808
min	2515.597-2501.299=14.298
max	4364.815-4359.076=5.738

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*	7482.000-7401.000=81.000
σ	0.000
min	7482.000-7401.000=81.000
max	7482.000-7401.000=81.000

*mean*	1147.859-976.650=171.209
σ	593.071-83.095=509.976
min	926.505-928.891=-2.387
max	2615.565-1154.340=1461.225

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

*mean*	905.084
σ	0.002
min	905.082
max	905.087

*mean*	7482.000-7401.000=81.000
σ	0.000
min	7482.000-7401.000=81.000
max	7482.000-7401.000=81.000

*mean*	426.714-397.864=28.851
σ	61.211-8.748=52.463
min	390.497-380.260=10.237
max	539.681-412.102=127.579

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*	474.000-479.000=-5.000
σ	0.000
min	474.000-479.000=-5.000
max	474.000-479.000=-5.000

*mean*	362.625-383.836=-21.212
σ	43.908-23.753=20.155
min	298.786-354.930=-56.144
max	410.853-421.170=-10.317

op=pointedIndexFromKvs

rows=400000

*mean*	308.493
σ	0.001
min	308.493
max	308.497

*mean*	561.000-559.000=2.000
σ	2.138-0.000=2.138
min	559.000
max	563.000-559.000=4.000

*mean*	770.312-736.093=34.219
σ	40.094-83.255=-43.162
min	721.854-627.398=94.456
max	819.986-846.698=-26.712

Marine Hull: transactPolicy

Factor

allocated MiB

peak allocated MiB

time

datapoints=1

iterations=20

*mean*	977.273-977.305=-0.032
σ	2.441-2.438=0.003
min	976.424-976.458=-0.034
max	987.617-987.636=-0.019

*mean*	1043.300-1037.400=5.900
σ	317.817-320.172=-2.355
min	545.000-533.000=12.000
max	1559.000-1501.000=58.000

*mean*	1.262-1.332=-0.071
σ	0.061-0.105=-0.044
min	1.162-1.231=-0.069
max	1.393-1.579=-0.186

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-403.000=-1.000
σ	0.000
min	402.000-403.000=-1.000
max	402.000-403.000=-1.000

*mean*	0.300-0.302=-0.002
σ	0.294-0.280=0.014
min	0.140-0.136=0.003
max	0.821-0.793=0.028

name=error_case.art

*mean*	2.346
σ	0.012
min	2.340
max	2.368

*mean*	402.000-403.000=-1.000
σ	0.000
min	402.000-403.000=-1.000
max	402.000-403.000=-1.000

*mean*	0.470-0.474=-0.003
σ	0.321-0.324=-0.002
min	0.316-0.323=-0.007
max	1.044-1.052=-0.008

name=heavy_item.art

*mean*	1.523
σ	0.002
min	1.522
max	1.526

*mean*	402.000-403.000=-1.000
σ	0.000
min	402.000-403.000=-1.000
max	402.000-403.000=-1.000

*mean*	0.219-0.220=-0.001
σ	0.023-0.022=0.001
min	0.202-0.196=0.006
max	0.260-0.257=0.003

name=nested_use.art

*mean*	2.364
σ	0.002
min	2.363
max	2.367

*mean*	402.000-403.000=-1.000
σ	0.000
min	402.000-403.000=-1.000
max	402.000-403.000=-1.000

*mean*	0.332-0.344=-0.012
σ	0.021-0.018=0.003
min	0.314-0.331=-0.017
max	0.367-0.375=-0.009

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-435.800=-4.800
σ	0.000-6.017=-6.017
min	431.000-430.000=1.000
max	431.000-442.000=-11.000

*mean*	0.566-0.634=-0.068
σ	0.055-0.121=-0.066
min	0.473-0.442=0.031
max	0.609-0.744=-0.135

name=cdr_enhanced_4k_loc.art

*mean*	886.000
σ	0.002
min	885.999
max	886.003

*mean*	431.000-442.000=-11.000
σ	0.000
min	431.000-442.000=-11.000
max	431.000-442.000=-11.000

*mean*	0.495-0.629=-0.134
σ	0.035-0.030=0.005
min	0.444-0.577=-0.133
max	0.526-0.650=-0.124

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

*mean*	2.616-3.467=-0.850
σ	0.108-0.235=-0.127
min	2.472-2.746=-0.273
max	3.048-4.000=-0.952

name=record_render_large_syntax_err.art

*mean*	7.667
σ	0.002
min	7.666
max	7.670

*mean*	431.000-442.000=-11.000
σ	0.000
min	431.000-442.000=-11.000
max	431.000-442.000=-11.000

*mean*	2.570-3.508=-0.937
σ	0.061-0.071=-0.010
min	2.452-3.337=-0.885
max	2.839-3.731=-0.891

name=record_render_success.art

*mean*	2.290
σ	0.002
min	2.290
max	2.294

*mean*	431.000-442.000=-11.000
σ	0.000
min	431.000-442.000=-11.000
max	431.000-442.000=-11.000

*mean*	0.302-0.542=-0.240
σ	0.009-0.025=-0.016
min	0.287-0.513=-0.226
max	0.358-0.746=-0.388

name=record_render_syntax_err.art

*mean*	2.166
σ	0.002
min	2.165
max	2.169

*mean*	431.000-442.000=-11.000
σ	0.000
min	431.000-442.000=-11.000
max	431.000-442.000=-11.000

*mean*	0.290-0.513=-0.224
σ	0.006-0.014=-0.008
min	0.277-0.491=-0.214
max	0.324-0.598=-0.273

Revision Creation

Factor

allocated MiB

peak allocated MiB

time_s

number of threads=8

revision count=1000

*mean*	11.502-11.518=-0.016
σ	10.997-12.527=-1.530
min	0.574-0.722=-0.148
max	91.915-107.736=-15.821

*mean*	462.769-464.588=-1.819
σ	18.986-21.240=-2.254
min	406.000
max	477.000-480.000=-3.000

*mean*	0.027-0.027=-0.000
σ	0.027-0.031=-0.003
min	0.001-0.001=-0.000
max	0.220-0.254=-0.035

SoV import

Factor

allocated MiB

peak allocated MiB

time_s

iters=10

rows=1000

*mean*	294.438-294.270=0.168
σ	0.994-1.048=-0.054
min	293.987-293.822=0.165
max	297.260-297.247=0.014

*mean*	438.100-441.200=-3.100
σ	15.822-15.164=0.657
min	415.000-414.000=1.000
max	458.000-461.000=-3.000

*mean*	0.600-0.614=-0.014
σ	0.021-0.010=0.011
min	0.565-0.591=-0.026
max	0.631-0.630=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*	850.000-851.000=-1.000
σ	0.000
min	850.000-851.000=-1.000
max	850.000-851.000=-1.000

*mean*	156.374-151.435=4.939
σ	7.188-11.321=-4.133
min	141.044-131.858=9.186
max	163.929-164.216=-0.287

phase=macro expansion

*mean*	5.894
σ	0.000
min	5.894
max	5.894

*mean*	850.000-851.000=-1.000
σ	0.000
min	850.000-851.000=-1.000
max	850.000-851.000=-1.000

*mean*	8.959-8.350=0.609
σ	3.147-2.708=0.439
min	5.844-5.812=0.033
max	11.961-12.026=-0.065

phase=parser

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

*mean*	850.000-851.000=-1.000
σ	0.000
min	850.000-851.000=-1.000
max	850.000-851.000=-1.000

*mean*	560.316-542.382=17.934
σ	178.521-146.667=31.854
min	372.134-376.690=-4.555
max	728.328-721.694=6.635

phase=processProdDef

*mean*	2241.194
σ	0.000
min	2241.194
max	2241.194

*mean*	850.000-851.000=-1.000
σ	0.000
min	850.000-851.000=-1.000
max	850.000-851.000=-1.000

*mean*	2692.746-2668.224=24.522
σ	484.183-466.634=17.549
min	2030.280-1985.269=45.011
max	3276.462-3252.275=24.187

phase=renaming

*mean*	21.434
σ	0.000
min	21.434
max	21.434

*mean*	850.000-851.000=-1.000
σ	0.000
min	850.000-851.000=-1.000
max	850.000-851.000=-1.000

*mean*	41.744-37.858=3.886
σ	9.119-9.449=-0.330
min	20.239-20.322=-0.084
max	47.360-47.405=-0.046

phase=type checker

*mean*	958.462
σ	0.047
min	958.439
max	958.564

*mean*	850.000-851.000=-1.000
σ	0.000
min	850.000-851.000=-1.000
max	850.000-851.000=-1.000

*mean*	776.270-764.176=12.095
σ	74.338-63.456=10.883
min	688.298-655.987=32.311
max	848.152-840.744=7.408

Workflow: transactPolicy

Factor

allocated MiB

peak allocated MiB

time

iters=5

new-facts=1

prior-facts=1

*mean*	328.219-328.244=-0.026
σ	0.040-0.041=-0.000
min	328.162-328.186=-0.024
max	328.263-328.287=-0.024

*mean*	441.400-444.000=-2.600
σ	5.505-0.000=5.505
min	433.000-444.000=-11.000
max	446.000-444.000=2.000

*mean*	0.437-0.432=0.005
σ	0.014-0.007=0.006
min	0.428-0.426=0.002
max	0.461-0.442=0.019

iters=5

new-facts=1

prior-facts=6402

*mean*	1313.428-1313.455=-0.027
σ	0.138-0.134=0.003
min	1313.319-1313.335=-0.016
max	1313.663-1313.680=-0.017

*mean*	1087.400-1099.400=-12.000
σ	180.095-180.805=-0.709
min	872.000-862.000=10.000
max	1309.000-1318.000=-9.000

*mean*	1.940-1.985=-0.045
σ	0.075-0.121=-0.046
min	1.848-1.845=0.003
max	2.056-2.170=-0.114

iters=5

new-facts=6402

prior-facts=1

*mean*	1552.420-1552.430=-0.010
σ	3.047-3.029=0.018
min	1550.840-1550.902=-0.062
max	1557.858-1557.839=0.018

*mean*	638.800-638.200=0.600
σ	73.510-68.361=5.149
min	546.000-543.000=3.000
max	740.000-721.000=19.000

*mean*	2.305-2.236=0.070
σ	0.226-0.226=-0.000
min	2.135-2.014=0.121
max	2.660-2.587=0.073

iters=5

new-facts=6402

prior-facts=6402

*mean*	1875.430-1875.451=-0.022
σ	0.069-0.058=0.011
min	1875.358-1875.377=-0.019
max	1875.530-1875.523=0.007

*mean*	1736.800-1733.600=3.200
σ	219.470-192.585=26.886
min	1450.000-1468.000=-18.000
max	1947.000-1914.000=33.000

*mean*	3.084-2.981=0.102
σ	0.173-0.121=0.052
min	2.843-2.834=0.009
max	3.272-3.121=0.151

newProductH/cdr_auton/broker

Factor

time_s

iterations=5

*mean*	1.646-1.598=0.048
σ	0.037-0.163=-0.126
min	1.605-1.461=0.144
max	1.693-1.844=-0.151

policy addition benchmark

Factor

allocated MiB

db queries

peak allocated MiB

time

policies=2

*mean*	420.294-420.344=-0.050
σ	509.312-509.317=-0.005
min	165.635-165.684=-0.048
max	1184.262-1184.319=-0.057

*mean*	103.750
σ	7.500
min	100.000
max	115.000

*mean*	435.000-444.000=-9.000
σ	0.000
min	435.000-444.000=-9.000
max	435.000-444.000=-9.000

*mean*	0.535-0.524=0.011
σ	0.520-0.490=0.030
min	0.271-0.274=-0.003
max	1.316-1.259=0.056

policies=20

*mean*	1656.581-1657.055=-0.474
σ	0.395-0.400=-0.004
min	1656.339-1656.815=-0.477
max	1657.172-1657.651=-0.480

*mean*	1000.000
σ	0.000
min	1000.000
max	1000.000

*mean*	449.500-453.000=-3.500
σ	11.705-11.860=-0.156
min	435.000-444.000=-9.000
max	459.000-469.000=-10.000

*mean*	2.679-2.676=0.002
σ	0.014-0.007=0.007
min	2.665-2.667=-0.003
max	2.698-2.682=0.015

policies=200

*mean*	16573.724-16578.393=-4.669
σ	0.056-0.029=0.026
min	16573.640-16578.370=-4.730
max	16573.753-16578.432=-4.679

*mean*	10000.000
σ	0.000
min	10000.000
max	10000.000

*mean*	496.250-503.000=-6.750
σ	5.123-4.967=0.157
min	491.000-496.000=-5.000
max	503.000-507.000=-4.000

*mean*	27.080-26.918=0.161
σ	0.086-0.119=-0.033
min	26.985-26.835=0.150
max	27.176-27.090=0.086