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 Decls)

Factor

compact size MiB

phase=processProdDef Decls

*mean*	5.676
σ	0.000
min	5.676
max	5.676

AST compact size (processProdDef)

Factor

compact size MiB

phase=processProdDef

*mean*	446.883
σ	0.000
min	446.883
max	446.883

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.775-54.575=0.200
σ	0.362-0.348=0.014
min	54.632-54.446=0.186
max	55.806-55.565=0.241

*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.138=0.003
σ	0.004-0.004=-0.001
min	0.139-0.132=0.006
max	0.148-0.146=0.003

cache=y

dps=1

iters=10

policies=100

*mean*	43.774-43.706=0.068
σ	0.006-0.005=0.001
min	43.761-43.699=0.063
max	43.782-43.717=0.065

*mean*	418.400-416.300=2.100
σ	0.516-0.483=0.033
min	418.000-416.000=2.000
max	419.000-417.000=2.000

*mean*	0.124-0.124=0.001
σ	0.004-0.004=-0.000
min	0.120-0.120=0.001
max	0.133-0.132=0.001

CSV - indexed operations

Factor

allocated MiB

peak allocated MiB

time (ms)

op=column_set() on indexed

*mean*	36.617-36.618=-0.001
σ	0.000-0.002=-0.002
min	36.617-36.615=0.002
max	36.618-36.620=-0.002

*mean*	4580.000-4151.500=428.500
σ	2254.937-1900.331=354.606
min	1485.000-1554.000=-69.000
max	7400.000-7301.000=99.000

*mean*	13.556-12.722=0.835
σ	3.629-0.202=3.428
min	11.942-12.362=-0.420
max	22.457-12.973=9.484

op=column_set() on indexed, repeat

*mean*	36.617-36.617=0.001
σ	0.000-0.002=-0.002
min	36.617-36.615=0.002
max	36.618-36.619=-0.002

*mean*	4580.000-4151.500=428.500
σ	2254.937-1900.331=354.606
min	1485.000-1554.000=-69.000
max	7400.000-7301.000=99.000

*mean*	14.088-11.932=2.156
σ	3.514-0.265=3.250
min	12.628-11.534=1.095
max	22.772-12.279=10.493

op=table_records(), no indexes

*mean*	41.948-41.932=0.016
σ	0.002-0.001=0.001
min	41.946-41.928=0.018
max	41.950-41.933=0.018

*mean*	7400.000-7301.000=99.000
σ	0.000
min	7400.000-7301.000=99.000
max	7400.000-7301.000=99.000

*mean*	10.944-15.297=-4.353
σ	0.094-0.597=-0.504
min	10.820-13.943=-3.123
max	11.086-15.848=-4.763

op=table_records(), repeat

*mean*	41.933-41.928=0.004
σ	0.000-0.002=-0.001
min	41.933-41.927=0.006
max	41.934-41.931=0.003

*mean*	4164.250-4151.500=12.750
σ	1946.207-1900.331=45.876
min	1485.000-1554.000=-69.000
max	7400.000-7301.000=99.000

*mean*	11.547-13.343=-1.796
σ	1.712-1.801=-0.089
min	10.730-10.967=-0.236
max	15.755-15.868=-0.112

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

*mean*	27.655-27.653=0.003
σ	0.136-0.136=0.000
min	27.606-27.603=0.003
max	27.993-27.990=0.003

*mean*	4164.250-4151.500=12.750
σ	1946.207-1900.331=45.876
min	1485.000-1554.000=-69.000
max	7400.000-7301.000=99.000

*mean*	9.244-8.712=0.532
σ	1.337-0.350=0.986
min	8.013-8.194=-0.181
max	12.443-9.215=3.229

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

*mean*	26.406-26.400=0.006
σ	0.000-0.002=-0.002
min	26.406-26.399=0.007
max	26.406-26.403=0.003

*mean*	4164.250-4151.500=12.750
σ	1946.207-1900.331=45.876
min	1485.000-1554.000=-69.000
max	7400.000-7301.000=99.000

*mean*	7.122-6.761=0.361
σ	0.980-0.211=0.769
min	6.424-6.375=0.049
max	9.487-6.984=2.503

op=vertical_lookup_row_list() on 2 indexed

*mean*	25.681-25.666=0.015
σ	0.003-0.002=0.001
min	25.680-25.665=0.015
max	25.688-25.668=0.019

*mean*	4580.000-4151.500=428.500
σ	2254.937-1900.331=354.606
min	1485.000-1554.000=-69.000
max	7400.000-7301.000=99.000

*mean*	6.250-5.948=0.302
σ	0.868-0.117=0.751
min	5.845-5.795=0.050
max	8.391-6.176=2.214

op=vertical_lookup_row_list() on 3 (1 unindexed)

*mean*	25.984-25.968=0.016
σ	0.000-0.002=-0.002
min	25.984-25.967=0.017
max	25.985-25.972=0.013

*mean*	4580.000-4151.500=428.500
σ	2254.937-1900.331=354.606
min	1485.000-1554.000=-69.000
max	7400.000-7301.000=99.000

*mean*	5.961-5.793=0.169
σ	0.482-0.176=0.306
min	5.678-5.670=0.008
max	7.137-6.212=0.926

CSV - loading a lazy table

Factor

allocated MiB

peak allocated MiB

time (ms)

op=load_product(), no indexes

*mean*	1021.627-2524.606=-1502.979
σ	0.002-0.000=0.002
min	1021.625-2524.606=-1502.981
max	1021.629-2524.606=-1502.977

*mean*	7400.000-7301.000=99.000
σ	0.000
min	7400.000-7301.000=99.000
max	7400.000-7301.000=99.000

*mean*	360.221-1293.794=-933.573
σ	41.743-414.038=-372.295
min	343.094-1036.640=-693.545
max	463.440-2197.784=-1734.344

op=load_product(), with indexes

*mean*	3495.878-8744.722=-5248.843
σ	0.469-0.469=-0.001
min	3495.713-8744.553=-5248.840
max	3497.038-8745.883=-5248.845

*mean*	3745.000-3572.875=172.125
σ	2297.906-1796.964=500.942
min	720.000-1044.000=-324.000
max	7400.000-5797.000=1603.000

*mean*	1621.343-4806.777=-3185.434
σ	547.800-1392.897=-845.097
min	1393.163-3518.536=-2125.373
max	2969.134-6656.836=-3687.703

CSV - unindexed operations

Factor

allocated MiB

peak allocated MiB

time (ms)

op=column_set() on unindexed, dense

*mean*	62.078
σ	0.002
min	62.076
max	62.081

*mean*	4151.500
σ	1900.331
min	1554.000
max	7301.000

*mean*	80.690
σ	9.991
min	70.768
max	97.294

op=column_set() on unindexed, dense, minor warmup

*mean*	107.854
σ	0.000
min	107.853
max	107.855

*mean*	4398.750
σ	2226.313
min	1485.000
max	7400.000

*mean*	189.697
σ	144.122
min	126.192
max	542.976

op=column_set() on unindexed, dense, repeat

*mean*	62.082
σ	0.000
min	62.081
max	62.082

*mean*	4580.000
σ	2254.937
min	1485.000
max	7400.000

*mean*	122.066
σ	221.715
min	41.519
max	670.766

op=vertical_lookup_list() on unindexed missing Int

*mean*	40.944
σ	0.000
min	40.944
max	40.945

*mean*	7301.000
σ	0.000
min	7301.000
max	7301.000

*mean*	107.210
σ	3.132
min	102.041
max	111.318

op=vertical_lookup_list() repeated on unindexed missing Int

*mean*	40.948
σ	0.002
min	40.947
max	40.950

*mean*	7400.000
σ	0.000
min	7400.000
max	7400.000

*mean*	22.214
σ	0.964
min	21.746
max	24.592

op=vertical_lookup_row_list() on unindexed small unique Int

*mean*	71.308-66.686=4.622
σ	0.002-0.000=0.001
min	71.307-66.685=4.621
max	71.310-66.687=4.624

*mean*	7400.000-7301.000=99.000
σ	0.000
min	7400.000-7301.000=99.000
max	7400.000-7301.000=99.000

*mean*	247.466-163.304=84.162
σ	539.595-6.049=533.546
min	55.163-149.177=-94.014
max	1582.891-167.438=1415.454

CSV - warmup

Factor

allocated MiB

peak allocated MiB

time (ms)

op=table_records()

*mean*	4646.850-11656.836=-7009.986
σ	0.014-4.324=-4.311
min	4646.845-11655.305=-7008.460
max	4646.884-11667.538=-7020.654

*mean*	4164.250-4151.500=12.750
σ	1946.207-1900.331=45.876
min	1485.000-1554.000=-69.000
max	7400.000-7301.000=99.000

*mean*	3072.354-6448.563=-3376.209
σ	758.709-1090.450=-331.741
min	2533.166-4923.586=-2390.419
max	4535.751-7810.620=-3274.869

op=vertical_lookup_list() on indexed

*mean*	1973.851-11560.065=-9586.214
σ	0.002-0.001=0.001
min	1973.849-11560.064=-9586.215
max	1973.854-11560.066=-9586.212

*mean*	7400.000-7301.000=99.000
σ	0.000
min	7400.000-7301.000=99.000
max	7400.000-7301.000=99.000

*mean*	1084.094-5727.379=-4643.285
σ	267.342-1418.083=-1150.741
min	932.340-4397.033=-3464.693
max	1707.024-7727.376=-6020.352

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

*mean*	905.105
σ	0.002
min	905.102
max	905.108

*mean*	7400.000
σ	0.000
min	7400.000
max	7400.000

*mean*	403.158
σ	37.059
min	385.758
max	494.603

CSV internal benchmark: pointedIndexFromKvs

Factor

allocated MiB

peak allocated MiB

time (ms)

op=pointedIndexFromKvs

rows=200000

*mean*	148.144-172.559=-24.414
σ	0.001
min	148.144-172.558=-24.414
max	148.148-172.562=-24.414

*mean*	476.625-477.000=-0.375
σ	0.518-0.000=0.518
min	476.000-477.000=-1.000
max	477.000

*mean*	385.814-381.298=4.516
σ	34.809-16.171=18.637
min	329.674-351.657=-21.983
max	430.808-394.446=36.362

op=pointedIndexFromKvs

rows=400000

*mean*	308.493-357.322=-48.828
σ	0.001
min	308.493-357.321=-48.828
max	308.497-357.325=-48.828

*mean*	565.500-560.000=5.500
σ	1.414-0.000=1.414
min	562.000-560.000=2.000
max	566.000-560.000=6.000

*mean*	773.151-763.357=9.795
σ	50.976-26.888=24.088
min	697.232-705.999=-8.767
max	857.360-791.847=65.513

Marine Hull: transactPolicy

Factor

allocated MiB

peak allocated MiB

time

datapoints=1

iterations=20

*mean*	963.971-1008.501=-44.529
σ	1.821-0.759=1.062
min	963.263-1008.027=-44.764
max	971.672-1011.638=-39.966

*mean*	1055.200-1047.200=8.000
σ	310.028-314.227=-4.199
min	575.000-572.000=3.000
max	1511.000-1512.000=-1.000

*mean*	1.284-1.527=-0.243
σ	0.151-0.075=0.076
min	1.184-1.452=-0.268
max	1.798-1.719=0.079

Parser: Comma Sep

Factor

allocated MiB

peak allocated MiB

time (ms)

name=ambiguous_item.art

*mean*	0.913-0.913=0.000
σ	0.020
min	0.903-0.903=0.000
max	0.949-0.949=0.000

*mean*	402.000
σ	0.000
min	402.000
max	402.000

*mean*	0.508-0.302=0.205
σ	0.470-0.299=0.170
min	0.261-0.144=0.117
max	1.341-0.835=0.507

name=error_case.art

*mean*	2.340-2.339=0.001
σ	0.012
min	2.334-2.333=0.001
max	2.362-2.361=0.001

*mean*	402.000
σ	0.000
min	402.000
max	402.000

*mean*	0.839-0.487=0.352
σ	0.524-0.322=0.203
min	0.572-0.330=0.243
max	1.776-1.062=0.714

name=heavy_item.art

*mean*	1.523-1.522=0.000
σ	0.002
min	1.521-1.521=0.000
max	1.525-1.525=0.000

*mean*	402.000
σ	0.000
min	402.000
max	402.000

*mean*	0.386-0.219=0.167
σ	0.045-0.031=0.014
min	0.351-0.193=0.158
max	0.464-0.270=0.194

name=nested_use.art

*mean*	2.358-2.357=0.001
σ	0.002
min	2.357-2.356=0.001
max	2.361-2.360=0.001

*mean*	402.000
σ	0.000
min	402.000
max	402.000

*mean*	0.597-0.332=0.266
σ	0.039-0.017=0.022
min	0.565-0.319=0.246
max	0.663-0.360=0.304

Parser: Real World

Factor

allocated MiB

peak allocated MiB

time (sec)

name=aon_gpf25_7k_loc.art

*mean*	964.971-964.741=0.230
σ	0.011
min	964.965-964.736=0.230
max	964.989-964.760=0.230

*mean*	431.800-432.800=-1.000
σ	1.789-3.033=-1.244
min	431.000-430.000=1.000
max	435.000-436.000=-1.000

*mean*	0.610-0.565=0.045
σ	0.084-0.022=0.062
min	0.536-0.527=0.008
max	0.746-0.582=0.164

name=cdr_enhanced_4k_loc.art

*mean*	885.898-885.814=0.084
σ	0.002
min	885.897-885.812=0.084
max	885.901-885.816=0.084

*mean*	443.000-436.000=7.000
σ	0.000
min	443.000-436.000=7.000
max	443.000-436.000=7.000

*mean*	0.488-0.493=-0.006
σ	0.027-0.056=-0.029
min	0.444-0.394=0.050
max	0.517-0.529=-0.012

Parser: Record Parsing

Factor

allocated MiB

peak allocated MiB

time (ms)

name=record_render_large_success.art

*mean*	7.710-7.708=0.002
σ	0.002
min	7.709-7.707=0.002
max	7.713-7.711=0.002

*mean*	443.000-436.000=7.000
σ	0.000
min	443.000-436.000=7.000
max	443.000-436.000=7.000

*mean*	2.247-1.966=0.281
σ	0.361-0.071=0.290
min	1.830-1.822=0.008
max	3.025-2.224=0.801

name=record_render_large_syntax_err.art

*mean*	7.658-7.656=0.002
σ	0.002
min	7.657-7.655=0.002
max	7.661-7.659=0.002

*mean*	443.000-436.000=7.000
σ	0.000
min	443.000-436.000=7.000
max	443.000-436.000=7.000

*mean*	1.956-1.968=-0.012
σ	0.064-0.091=-0.027
min	1.842-1.821=0.022
max	2.237-2.275=-0.038

name=record_render_success.art

*mean*	2.290-2.289=0.000
σ	0.002
min	2.289-2.288=0.000
max	2.293-2.292=0.000

*mean*	443.000-436.000=7.000
σ	0.000
min	443.000-436.000=7.000
max	443.000-436.000=7.000

*mean*	0.306-0.306=0.001
σ	0.010-0.008=0.002
min	0.293-0.293=0.000
max	0.357-0.345=0.012

name=record_render_syntax_err.art

*mean*	2.165-2.165=0.000
σ	0.002
min	2.164-2.164=0.000
max	2.168-2.168=0.000

*mean*	443.000-436.000=7.000
σ	0.000
min	443.000-436.000=7.000
max	443.000-436.000=7.000

*mean*	0.296-0.293=0.004
σ	0.010-0.007=0.002
min	0.278-0.280=-0.002
max	0.358-0.322=0.035

Revision Creation

Factor

allocated MiB

peak allocated MiB

time_s

number of threads=8

revision count=1000

*mean*	11.450
σ	11.988
min	0.718
max	129.946

*mean*	460.756
σ	19.478
min	407.000
max	478.000

*mean*	0.026
σ	0.029
min	0.001
max	0.310

SoV import

Factor

allocated MiB

peak allocated MiB

time_s

iters=10

rows=1000

*mean*	278.725-297.942=-19.217
σ	0.994-1.019=-0.025
min	278.242-297.573=-19.331
max	281.545-300.841=-19.296

*mean*	442.200-442.600=-0.400
σ	19.447-14.976=4.471
min	413.000-418.000=-5.000
max	475.000-464.000=11.000

*mean*	0.580-0.614=-0.034
σ	0.030-0.020=0.009
min	0.533-0.578=-0.045
max	0.636-0.634=0.002

Timed compile per phase

Factor

allocated MiB

peak allocated MiB

time (ms)

phase=buildDeclTree

*mean*	173.738-222.008=-48.270
σ	0.000-0.000=0.000
min	173.738-222.008=-48.270
max	173.738-222.008=-48.270

*mean*	860.000-1726.000=-866.000
σ	0.000
min	860.000-1726.000=-866.000
max	860.000-1726.000=-866.000

*mean*	241.237-207.901=33.336
σ	18.258-1.465=16.792
min	197.550-205.344=-7.794
max	252.575-209.887=42.688

phase=macro expansion

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

*mean*	860.000-1726.000=-866.000
σ	0.000
min	860.000-1726.000=-866.000
max	860.000-1726.000=-866.000

*mean*	9.324-11.425=-2.101
σ	0.764-1.485=-0.721
min	7.458-9.394=-1.936
max	9.794-12.620=-2.826

phase=parser

*mean*	1042.435-1042.097=0.339
σ	0.001-0.000=0.001
min	1042.432-1042.096=0.336
max	1042.436-1042.097=0.339

*mean*	860.000-1726.000=-866.000
σ	0.000
min	860.000-1726.000=-866.000
max	860.000-1726.000=-866.000

*mean*	570.253-704.090=-133.837
σ	58.607-46.759=11.848
min	434.948-588.789=-153.842
max	607.355-728.759=-121.404

phase=processProdDef

*mean*	2243.976-6169.660=-3925.684
σ	0.001-0.001=0.000
min	2243.976-6169.659=-3925.683
max	2243.979-6169.661=-3925.682

*mean*	860.000-1728.000=-868.000
σ	0.000-5.657=-5.657
min	860.000-1726.000=-866.000
max	860.000-1742.000=-882.000

*mean*	3019.037-5338.930=-2319.894
σ	452.515-1375.105=-922.590
min	2014.074-3750.397=-1736.323
max	3461.923-7578.379=-4116.455

phase=renaming

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

*mean*	860.000-1726.000=-866.000
σ	0.000
min	860.000-1726.000=-866.000
max	860.000-1726.000=-866.000

*mean*	38.314-42.110=-3.796
σ	4.548-7.872=-3.324
min	27.114-29.069=-1.955
max	40.348-47.640=-7.292

phase=type checker

*mean*	989.755-958.461=31.294
σ	0.066-0.066=0.001
min	989.654-958.363=31.291
max	989.845-958.551=31.294

*mean*	860.000-1726.000=-866.000
σ	0.000
min	860.000-1726.000=-866.000
max	860.000-1726.000=-866.000

*mean*	682.001-797.340=-115.339
σ	18.917-112.309=-93.392
min	655.035-636.187=18.847
max	713.821-920.570=-206.749

Workflow: transactPolicy

Factor

allocated MiB

peak allocated MiB

time

iters=5

new-facts=1

prior-facts=1

*mean*	282.386-293.381=-10.995
σ	0.037-0.034=0.003
min	282.337-293.333=-10.996
max	282.428-293.418=-10.990

*mean*	444.800-442.400=2.400
σ	1.095-0.894=0.201
min	444.000-442.000=2.000
max	446.000-444.000=2.000

*mean*	0.380-0.401=-0.021
σ	0.007-0.006=0.001
min	0.375-0.397=-0.022
max	0.392-0.412=-0.020

iters=5

new-facts=1

prior-facts=6402

*mean*	1267.100-1303.467=-36.367
σ	0.093-0.086=0.008
min	1267.005-1303.319=-36.314
max	1267.254-1303.529=-36.275

*mean*	1113.800-1116.000=-2.200
σ	170.790-186.377=-15.587
min	898.000-894.000=4.000
max	1331.000-1369.000=-38.000

*mean*	1.976-2.076=-0.100
σ	0.094-0.164=-0.070
min	1.893-1.892=0.001
max	2.079-2.270=-0.191

iters=5

new-facts=6402

prior-facts=1

*mean*	1506.130-1546.518=-40.388
σ	2.960-4.021=-1.062
min	1504.627-1544.593=-39.966
max	1511.414-1553.707=-42.293

*mean*	629.200-619.200=10.000
σ	90.295-87.964=2.331
min	505.000-523.000=-18.000
max	729.000-728.000=1.000

*mean*	2.377-2.338=0.039
σ	0.310-0.219=0.091
min	2.049-2.125=-0.076
max	2.817-2.647=0.170

iters=5

new-facts=6402

prior-facts=6402

*mean*	1829.117-1865.456=-36.339
σ	0.090-0.076=0.014
min	1829.023-1865.373=-36.350
max	1829.257-1865.571=-36.314

*mean*	1771.200-1739.400=31.800
σ	212.284-215.587=-3.303
min	1492.000-1452.000=40.000
max	1973.000-1942.000=31.000

*mean*	3.245-3.213=0.032
σ	0.399-0.229=0.170
min	2.827-2.922=-0.095
max	3.723-3.450=0.273

newProductH/cdr_auton/broker

Factor

time_s

iterations=5

*mean*	1.796-1.721=0.076
σ	0.071-0.158=-0.086
min	1.697-1.518=0.179
max	1.883-1.905=-0.022

policy addition benchmark

Factor

allocated MiB

db queries

peak allocated MiB

time

policies=2

*mean*	397.697-447.979=-50.283
σ	518.051-579.240=-61.189
min	138.668-158.356=-19.688
max	1174.773-1316.839=-142.066

*mean*	97.750-96.250=1.500
σ	7.500-8.500=-1.000
min	94.000-92.000=2.000
max	109.000

*mean*	446.000-440.000=6.000
σ	0.000
min	446.000-440.000=6.000
max	446.000-440.000=6.000

*mean*	0.481-0.536=-0.054
σ	0.492-0.552=-0.060
min	0.232-0.252=-0.021
max	1.219-1.363=-0.144

policies=20

*mean*	1386.826-1583.923=-197.098
σ	0.162-0.370=-0.207
min	1386.713-1583.669=-196.955
max	1387.067-1584.471=-197.404

*mean*	940.000-920.000=20.000
σ	0.000
min	940.000-920.000=20.000
max	940.000-920.000=20.000

*mean*	446.000
σ	0.000-6.928=-6.928
min	446.000-440.000=6.000
max	446.000-452.000=-6.000

*mean*	2.332-2.654=-0.322
σ	0.010-0.069=-0.060
min	2.321-2.607=-0.285
max	2.344-2.754=-0.410

policies=200

*mean*	13876.755-15847.267=-1970.512
σ	0.115-0.156=-0.040
min	13876.674-15847.067=-1970.393
max	13876.926-15847.440=-1970.514

*mean*	9400.000-9200.000=200.000
σ	0.000
min	9400.000-9200.000=200.000
max	9400.000-9200.000=200.000

*mean*	494.000-493.000=1.000
σ	5.099-3.916=1.183
min	489.000
max	501.000-498.000=3.000

*mean*	23.615-26.596=-2.980
σ	0.168-0.086=0.081
min	23.444-26.492=-3.048
max	23.779-26.678=-2.899