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

AST compact size (processProdDef)

Factor

compact size MiB

phase=processProdDef

*mean*	446.633
σ	0.000
min	446.633
max	446.633

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*	54.730-54.730=0.000
σ	0.362-0.363=-0.001
min	54.587-54.590=-0.003
max	55.759-55.763=-0.004

*mean*	417.000-416.000=1.000
σ	0.000
min	417.000-416.000=1.000
max	417.000-416.000=1.000

*mean*	0.142-0.141=0.001
σ	0.005-0.004=0.001
min	0.138-0.137=0.001
max	0.151-0.148=0.003

cache=y

dps=1

iters=10

policies=100

*mean*	43.774-43.773=0.001
σ	0.006-0.007=-0.001
min	43.765-43.765=0.000
max	43.784-43.789=-0.005

*mean*	417.000-416.000=1.000
σ	0.000
min	417.000-416.000=1.000
max	417.000-416.000=1.000

*mean*	0.125-0.123=0.001
σ	0.004-0.003=0.001
min	0.121-0.120=0.001
max	0.133-0.130=0.002

CSV - indexed operations

Factor

allocated MiB

peak allocated MiB

time (ms)

op=column_set() on indexed

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

*mean*	4592.125-4587.375=4.750
σ	2248.529-2252.567=-4.038
min	1484.000-1486.000=-2.000
max	7386.000-7401.000=-15.000

*mean*	163.536-13.818=149.718
σ	426.204-3.178=423.026
min	11.897-11.847=0.051
max	1218.326-20.195=1198.131

op=column_set() on indexed, repeat

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

*mean*	4592.125-4587.375=4.750
σ	2248.529-2252.567=-4.038
min	1484.000-1486.000=-2.000
max	7386.000-7401.000=-15.000

*mean*	14.332-14.376=-0.044
σ	4.696-2.953=1.743
min	11.526-12.720=-1.195
max	25.065-20.120=4.945

op=table_records(), no indexes

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

*mean*	7386.000-7401.000=-15.000
σ	0.000
min	7386.000-7401.000=-15.000
max	7386.000-7401.000=-15.000

*mean*	11.927-11.096=0.832
σ	2.155-0.220=1.935
min	10.957-10.739=0.218
max	17.235-11.300=5.935

op=table_records(), repeat

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

*mean*	4182.500-4174.000=8.500
σ	1944.829-1944.894=-0.066
min	1484.000-1486.000=-2.000
max	7386.000-7401.000=-15.000

*mean*	11.729-11.657=0.072
σ	1.864-1.906=-0.042
min	10.806-10.735=0.072
max	16.314-16.356=-0.042

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

*mean*	27.633-27.632=0.000
σ	0.136-0.137=-0.000
min	27.584
max	27.971

*mean*	4182.500-4174.000=8.500
σ	1944.829-1944.894=-0.066
min	1484.000-1486.000=-2.000
max	7386.000-7401.000=-15.000

*mean*	9.193-9.148=0.045
σ	1.189-1.280=-0.091
min	8.633-8.119=0.513
max	12.124-12.246=-0.122

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

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

*mean*	4182.500-4174.000=8.500
σ	1944.829-1944.894=-0.066
min	1484.000-1486.000=-2.000
max	7386.000-7401.000=-15.000

*mean*	7.187-7.204=-0.017
σ	0.830-0.933=-0.103
min	6.750-6.606=0.145
max	9.235-9.490=-0.255

op=vertical_lookup_row_list() on 2 indexed

*mean*	25.662-25.662=-0.000
σ	0.004-0.004=-0.000
min	25.661
max	25.673-25.673=-0.000

*mean*	4592.125-4587.375=4.750
σ	2248.529-2252.567=-4.038
min	1484.000-1486.000=-2.000
max	7386.000-7401.000=-15.000

*mean*	6.547-6.447=0.100
σ	0.986-0.662=0.324
min	5.902-6.033=-0.132
max	8.758-7.570=1.188

op=vertical_lookup_row_list() on 3 (1 unindexed)

*mean*	25.961-25.961=0.000
σ	0.000-0.001=-0.000
min	25.961-25.960=0.000
max	25.962-25.962=-0.000

*mean*	4592.125-4587.375=4.750
σ	2248.529-2252.567=-4.038
min	1484.000-1486.000=-2.000
max	7386.000-7401.000=-15.000

*mean*	6.480-6.289=0.190
σ	1.091-0.723=0.367
min	5.842-5.805=0.037
max	8.909-7.510=1.399

CSV - loading a lazy table

Factor

allocated MiB

peak allocated MiB

time (ms)

op=load_product(), no indexes

*mean*	1021.610
σ	0.002
min	1021.608
max	1021.612

*mean*	7386.000-7401.000=-15.000
σ	0.000
min	7386.000-7401.000=-15.000
max	7386.000-7401.000=-15.000

*mean*	347.965-360.712=-12.747
σ	2.476-41.438=-38.961
min	343.306-342.014=1.292
max	351.018-463.086=-112.068

op=load_product(), with indexes

*mean*	3495.857-3495.857=-0.000
σ	0.455-0.456=-0.000
min	3495.696
max	3496.983-3496.985=-0.001

*mean*	3758.875-3752.250=6.625
σ	2299.825-2298.416=1.408
min	720.000
max	7386.000-7401.000=-15.000

*mean*	1773.435-1778.594=-5.158
σ	684.557-668.166=16.392
min	1395.461-1386.813=8.648
max	2970.099-2951.875=18.224

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

*mean*	4411.625-4407.750=3.875
σ	2218.129-2223.680=-5.551
min	1484.000-1486.000=-2.000
max	7386.000-7401.000=-15.000

*mean*	282.152-245.208=36.944
σ	395.844-304.225=91.619
min	129.694-123.525=6.170
max	1260.953-996.909=264.044

op=column_set() on unindexed, dense, repeat

*mean*	62.068-62.068=-0.000
σ	0.001-0.001=-0.000
min	62.065-62.065=0.000
max	62.068-62.069=-0.001

*mean*	4411.625-4587.375=-175.750
σ	2218.129-2252.567=-34.438
min	1484.000-1486.000=-2.000
max	7386.000-7401.000=-15.000

*mean*	46.598-212.110=-165.511
σ	9.167-467.720=-458.554
min	40.869-41.123=-0.254
max	68.745-1369.461=-1300.716

op=vertical_lookup_list() repeated on unindexed missing Int

*mean*	40.926-40.926=0.000
σ	0.002-0.002=-0.000
min	40.925
max	40.928

*mean*	7386.000-7401.000=-15.000
σ	0.000
min	7386.000-7401.000=-15.000
max	7386.000-7401.000=-15.000

*mean*	161.443-22.289=139.154
σ	393.462-1.213=392.249
min	21.790-21.683=0.108
max	1135.209-25.258=1109.951

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.292-71.292=0.000
max	71.296-71.296=0.000

*mean*	7386.000-7401.000=-15.000
σ	0.000
min	7386.000-7401.000=-15.000
max	7386.000-7401.000=-15.000

*mean*	65.504-290.409=-224.905
σ	23.227-661.443=-638.216
min	56.088-55.359=0.728
max	122.831-1927.391=-1804.560

CSV - warmup

Factor

allocated MiB

peak allocated MiB

time (ms)

op=table_records()

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

*mean*	4182.500-4174.000=8.500
σ	1944.829-1944.894=-0.066
min	1484.000-1486.000=-2.000
max	7386.000-7401.000=-15.000

*mean*	3361.837-3343.681=18.157
σ	790.785-858.167=-67.382
min	2539.677-2523.174=16.503
max	4489.953-4575.945=-85.991

op=vertical_lookup_list() on indexed

*mean*	1973.829
σ	0.002
min	1973.827
max	1973.832

*mean*	7386.000-7401.000=-15.000
σ	0.000
min	7386.000-7401.000=-15.000
max	7386.000-7401.000=-15.000

*mean*	1042.822-1036.692=6.130
σ	273.254-187.941=85.314
min	912.294-911.374=0.920
max	1699.478-1449.851=249.627

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

*mean*	905.082
σ	0.002
min	905.080
max	905.086

*mean*	7386.000-7401.000=-15.000
σ	0.000
min	7386.000-7401.000=-15.000
max	7386.000-7401.000=-15.000

*mean*	394.551-393.655=0.896
σ	6.608-5.401=1.207
min	380.556-384.055=-3.500
max	401.618-402.414=-0.796

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.750-478.500=-1.750
σ	0.463-0.926=-0.463
min	476.000-477.000=-1.000
max	477.000-479.000=-2.000

*mean*	398.654-371.825=26.829
σ	24.743-30.236=-5.492
min	359.606-325.868=33.738
max	425.268-411.906=13.362

op=pointedIndexFromKvs

rows=400000

*mean*	308.493
σ	0.001
min	308.493
max	308.497

*mean*	564.500-562.250=2.250
σ	2.777-1.389=1.389
min	560.000
max	566.000-563.000=3.000

*mean*	783.118-722.728=60.390
σ	41.070-82.942=-41.872
min	735.268-598.863=136.405
max	841.474-839.389=2.085

Marine Hull: transactPolicy

Factor

allocated MiB

peak allocated MiB

time

datapoints=1

iterations=20

*mean*	963.969-963.969=-0.000
σ	1.822-1.821=0.001
min	963.262-963.265=-0.002
max	971.673-971.671=0.002

*mean*	1041.650-1042.600=-0.950
σ	307.433-308.059=-0.626
min	566.000-563.000=3.000
max	1490.000-1492.000=-2.000

*mean*	1.245-1.273=-0.028
σ	0.123-0.152=-0.029
min	1.075-1.173=-0.098
max	1.697-1.848=-0.151

Parser: Comma Sep

Factor

allocated MiB

peak allocated MiB

time (ms)

name=ambiguous_item.art

*mean*	0.914
σ	0.020
min	0.904
max	0.951

*mean*	402.000
σ	0.000
min	402.000
max	402.000

*mean*	0.407-0.392=0.015
σ	0.469-0.498=-0.029
min	0.143-0.133=0.010
max	1.229-1.279=-0.049

name=error_case.art

*mean*	2.347
σ	0.012
min	2.341
max	2.369

*mean*	402.000
σ	0.000
min	402.000
max	402.000

*mean*	0.484-0.491=-0.007
σ	0.322-0.305=0.017
min	0.330-0.330=0.000
max	1.060-1.036=0.024

name=heavy_item.art

*mean*	1.525
σ	0.002
min	1.524
max	1.528

*mean*	402.000
σ	0.000
min	402.000
max	402.000

*mean*	0.217-0.217=0.000
σ	0.028-0.022=0.006
min	0.198-0.200=-0.003
max	0.265-0.253=0.012

name=nested_use.art

*mean*	2.365
σ	0.002
min	2.364
max	2.368

*mean*	402.000
σ	0.000
min	402.000
max	402.000

*mean*	0.330-0.330=-0.001
σ	0.019-0.016=0.003
min	0.308-0.313=-0.005
max	0.359-0.357=0.003

Parser: Real World

Factor

allocated MiB

peak allocated MiB

time (sec)

name=aon_gpf25_7k_loc.art

*mean*	966.287
σ	0.009
min	966.281
max	966.303

*mean*	432.000-432.800=-0.800
σ	0.000-0.447=-0.447
min	432.000
max	432.000-433.000=-1.000

*mean*	0.700-0.541=0.159
σ	0.050-0.038=0.012
min	0.613-0.492=0.121
max	0.734-0.586=0.149

name=cdr_enhanced_4k_loc.art

*mean*	886.717
σ	0.002
min	886.716
max	886.720

*mean*	432.000-433.000=-1.000
σ	0.000
min	432.000-433.000=-1.000
max	432.000-433.000=-1.000

*mean*	0.616-0.469=0.147
σ	0.028-0.047=-0.019
min	0.578-0.411=0.166
max	0.643-0.522=0.121

Parser: Record Parsing

Factor

allocated MiB

peak allocated MiB

time (ms)

name=record_render_large_success.art

*mean*	7.722
σ	0.002
min	7.721
max	7.725

*mean*	432.000-433.000=-1.000
σ	0.000
min	432.000-433.000=-1.000
max	432.000-433.000=-1.000

*mean*	3.509-2.641=0.868
σ	0.082-0.114=-0.032
min	3.389-2.454=0.936
max	3.882-3.037=0.845

name=record_render_large_syntax_err.art

*mean*	7.670
σ	0.002
min	7.670
max	7.673

*mean*	432.000-433.000=-1.000
σ	0.000
min	432.000-433.000=-1.000
max	432.000-433.000=-1.000

*mean*	3.503-2.598=0.904
σ	0.084-0.090=-0.006
min	3.360-2.445=0.915
max	3.886-3.096=0.790

name=record_render_success.art

*mean*	2.294
σ	0.002
min	2.293
max	2.297

*mean*	432.000-433.000=-1.000
σ	0.000
min	432.000-433.000=-1.000
max	432.000-433.000=-1.000

*mean*	0.541-0.311=0.230
σ	0.014-0.015=-0.001
min	0.516-0.296=0.219
max	0.617-0.402=0.215

name=record_render_syntax_err.art

*mean*	2.169
σ	0.002
min	2.168
max	2.172

*mean*	432.000-433.000=-1.000
σ	0.000
min	432.000-433.000=-1.000
max	432.000-433.000=-1.000

*mean*	0.523-0.293=0.229
σ	0.021-0.008=0.013
min	0.492-0.278=0.214
max	0.682-0.337=0.345

Revision Creation

Factor

allocated MiB

peak allocated MiB

time_s

number of threads=8

revision count=1000

*mean*	11.886-11.824=0.062
σ	11.701-12.482=-0.781
min	0.574-0.573=0.001
max	91.878-136.265=-44.387

*mean*	463.815-466.415=-2.600
σ	20.554-21.787=-1.232
min	407.000-406.000=1.000
max	480.000-482.000=-2.000

*mean*	0.027-0.027=0.000
σ	0.029-0.030=-0.002
min	0.001-0.001=0.000
max	0.227-0.321=-0.094

SoV import

Factor

allocated MiB

peak allocated MiB

time_s

iters=10

rows=1000

*mean*	278.885-278.672=0.213
σ	0.985-1.050=-0.064
min	278.505-278.217=0.288
max	281.686-281.649=0.036

*mean*	445.900-447.900=-2.000
σ	17.559-19.365=-1.806
min	417.000
max	474.000

*mean*	0.569-0.580=-0.011
σ	0.022-0.021=0.001
min	0.535-0.534=0.001
max	0.606-0.621=-0.014

Timed compile per phase

Factor

allocated MiB

peak allocated MiB

time (ms)

phase=buildDeclTree

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

*mean*	848.750
σ	0.463
min	848.000
max	849.000

*mean*	216.093-226.318=-10.225
σ	28.346-26.126=2.220
min	183.949-194.213=-10.264
max	254.066-249.336=4.730

phase=macro expansion

*mean*	5.896
σ	0.000
min	5.896
max	5.896

*mean*	848.625
σ	0.518
min	848.000
max	849.000

*mean*	5.914-7.849=-1.935
σ	0.063-2.239=-2.176
min	5.820-5.919=-0.099
max	6.010-11.916=-5.906

phase=parser

*mean*	1043.355-1043.358=-0.002
σ	0.000-0.000=-0.000
min	1043.355-1043.357=-0.002
max	1043.355-1043.358=-0.003

*mean*	848.625
σ	0.518
min	848.000
max	849.000

*mean*	431.529-497.402=-65.873
σ	86.604-156.300=-69.696
min	370.794-376.062=-5.268
max	590.971-725.265=-134.295

phase=processProdDef

*mean*	2243.719-2243.716=0.002
σ	0.000
min	2243.719-2243.716=0.002
max	2243.719-2243.716=0.002

*mean*	848.750
σ	0.463
min	848.000
max	849.000

*mean*	2788.134-2818.063=-29.929
σ	408.604-330.703=77.901
min	2166.928-2514.461=-347.532
max	3314.065-3380.118=-66.053

phase=renaming

*mean*	21.438
σ	0.000
min	21.438
max	21.438

*mean*	848.625
σ	0.518
min	848.000
max	849.000

*mean*	29.687-38.956=-9.270
σ	7.888-5.701=2.186
min	19.994-30.216=-10.222
max	36.712-46.709=-9.996

phase=type checker

*mean*	958.600-958.601=-0.000
σ	0.047
min	958.577-958.577=-0.000
max	958.702-958.702=-0.000

*mean*	848.625
σ	0.518
min	848.000
max	849.000

*mean*	649.828-731.732=-81.904
σ	23.623-75.327=-51.704
min	611.505-632.416=-20.911
max	674.163-841.460=-167.298

Workflow: transactPolicy

Factor

allocated MiB

peak allocated MiB

time

iters=5

new-facts=1

prior-facts=1

*mean*	282.374-282.367=0.006
σ	0.036-0.036=-0.001
min	282.318-282.318=-0.000
max	282.405-282.408=-0.003

*mean*	443.000-443.600=-0.600
σ	0.000-0.548=-0.548
min	443.000
max	443.000-444.000=-1.000

*mean*	0.377-0.378=-0.000
σ	0.005-0.006=-0.001
min	0.374-0.373=0.000
max	0.387-0.389=-0.002

iters=5

new-facts=1

prior-facts=6402

*mean*	1267.075-1267.084=-0.009
σ	0.088-0.105=-0.018
min	1266.967-1266.950=0.017
max	1267.212-1267.245=-0.033

*mean*	1086.400-1081.200=5.200
σ	192.336-193.426=-1.090
min	840.000-839.000=1.000
max	1318.000-1324.000=-6.000

*mean*	2.059-2.005=0.054
σ	0.142-0.222=-0.080
min	1.814-1.749=0.065
max	2.184-2.228=-0.044

iters=5

new-facts=6402

prior-facts=1

*mean*	1506.122-1506.105=0.017
σ	2.851-2.864=-0.012
min	1504.678-1504.643=0.034
max	1511.215-1511.218=-0.003

*mean*	624.200-623.000=1.200
σ	90.037-89.003=1.034
min	513.000
max	739.000-738.000=1.000

*mean*	2.306-2.241=0.065
σ	0.163-0.197=-0.034
min	2.164-2.058=0.106
max	2.539-2.511=0.028

iters=5

new-facts=6402

prior-facts=6402

*mean*	1829.062-1829.071=-0.009
σ	0.035-0.025=0.010
min	1829.012-1829.032=-0.020
max	1829.093-1829.094=-0.001

*mean*	1729.800-1729.600=0.200
σ	168.924-199.253=-30.329
min	1491.000-1461.000=30.000
max	1888.000-1919.000=-31.000

*mean*	2.957-2.913=0.044
σ	0.194-0.143=0.051
min	2.796-2.790=0.006
max	3.293-3.136=0.157

newProductH/cdr_auton/broker

Factor

time_s

iterations=5

*mean*	1.784-1.606=0.179
σ	0.098-0.190=-0.091
min	1.619-1.310=0.309
max	1.870-1.767=0.104

policy addition benchmark

Factor

allocated MiB

db queries

peak allocated MiB

time

policies=2

*mean*	393.633-393.633=-0.000
σ	509.937-509.935=0.002
min	138.662-138.663=-0.001
max	1158.538-1158.536=0.002

*mean*	97.750
σ	7.500
min	94.000
max	109.000

*mean*	435.000-438.000=-3.000
σ	0.000
min	435.000-438.000=-3.000
max	435.000-438.000=-3.000

*mean*	0.483-0.490=-0.007
σ	0.496-0.502=-0.005
min	0.233-0.235=-0.003
max	1.228-1.242=-0.015

policies=20

*mean*	1386.753-1386.768=-0.014
σ	0.153-0.153=-0.001
min	1386.647-1386.656=-0.009
max	1386.980-1386.995=-0.014

*mean*	940.000
σ	0.000
min	940.000
max	940.000

*mean*	443.500-443.250=0.250
σ	9.815-3.500=6.315
min	435.000-438.000=-3.000
max	452.000-445.000=7.000

*mean*	2.306-2.306=0.001
σ	0.013-0.014=-0.001
min	2.290-2.296=-0.007
max	2.321-2.326=-0.005

policies=200

*mean*	13876.223-13876.273=-0.050
σ	0.110-0.136=-0.026
min	13876.124-13876.147=-0.024
max	13876.367-13876.465=-0.098

*mean*	9400.000
σ	0.000
min	9400.000
max	9400.000

*mean*	494.750-498.500=-3.750
σ	3.096-6.245=-3.149
min	492.000-491.000=1.000
max	499.000-505.000=-6.000

*mean*	23.257-23.315=-0.058
σ	0.118-0.165=-0.047
min	23.104-23.181=-0.077
max	23.374-23.547=-0.173