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-558.633=-111.750
σ	0.000
min	446.883-558.633=-111.750
max	446.883-558.633=-111.750

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.861-54.881=-0.020
σ	0.361-0.360=0.001
min	54.721-54.750=-0.029
max	55.886-55.905=-0.019

*mean*	415.700-421.700=-6.000
σ	0.483
min	415.000-421.000=-6.000
max	416.000-422.000=-6.000

*mean*	0.141-0.141=0.000
σ	0.004-0.005=-0.001
min	0.138-0.136=0.002
max	0.149-0.149=0.001

cache=y

dps=1

iters=10

policies=100

*mean*	43.847-43.849=-0.002
σ	0.007-0.005=0.002
min	43.836-43.841=-0.005
max	43.853-43.857=-0.004

*mean*	416.000-422.000=-6.000
σ	0.000
min	416.000-422.000=-6.000
max	416.000-422.000=-6.000

*mean*	0.124-0.125=-0.001
σ	0.005-0.005=0.000
min	0.119-0.120=-0.001
max	0.133-0.133=0.000

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.616=0.001
max	36.618-36.620=-0.003

*mean*	4588.500-4043.750=544.750
σ	2253.245-2010.271=242.973
min	1486.000-1218.000=268.000
max	7403.000-7153.000=250.000

*mean*	13.221-14.099=-0.878
σ	3.032-2.317=0.715
min	11.882-12.513=-0.632
max	20.685-17.937=2.748

op=column_set() on indexed, repeat

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

*mean*	4588.500-4043.750=544.750
σ	2253.245-2010.271=242.973
min	1486.000-1218.000=268.000
max	7403.000-7153.000=250.000

*mean*	13.766-13.916=-0.149
σ	2.893-2.661=0.233
min	11.794-11.374=0.419
max	20.851-18.254=2.597

op=table_records(), no indexes

*mean*	41.948-41.930=0.018
σ	0.002-0.002=0.000
min	41.946-41.928=0.018
max	41.950-41.932=0.018

*mean*	7403.000-7153.000=250.000
σ	0.000
min	7403.000-7153.000=250.000
max	7403.000-7153.000=250.000

*mean*	10.978-15.189=-4.211
σ	0.245-0.156=0.089
min	10.567-14.924=-4.357
max	11.336-15.475=-4.139

op=table_records(), repeat

*mean*	41.933-41.929=0.004
σ	0.000-0.002=-0.002
min	41.933-41.927=0.005
max	41.934-41.932=0.001

*mean*	4175.625-4043.750=131.875
σ	1945.445-2010.271=-64.827
min	1486.000-1218.000=268.000
max	7403.000-7153.000=250.000

*mean*	11.690-14.248=-2.558
σ	1.755-1.606=0.148
min	10.833-11.021=-0.188
max	15.984-15.752=0.231

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

*mean*	27.655-27.654=0.001
σ	0.137-0.136=0.000
min	27.606-27.604=0.002
max	27.993-27.991=0.002

*mean*	4175.625-4043.750=131.875
σ	1945.445-2010.271=-64.827
min	1486.000-1218.000=268.000
max	7403.000-7153.000=250.000

*mean*	9.140-9.972=-0.832
σ	1.311-1.568=-0.258
min	8.250-8.810=-0.560
max	12.328-12.660=-0.332

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

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

*mean*	4175.625-4043.750=131.875
σ	1945.445-2010.271=-64.827
min	1486.000-1218.000=268.000
max	7403.000-7153.000=250.000

*mean*	7.020-7.771=-0.751
σ	0.946-1.558=-0.612
min	6.025-6.340=-0.315
max	9.133-10.496=-1.363

op=vertical_lookup_row_list() on 2 indexed

*mean*	25.681-25.668=0.013
σ	0.003-0.004=-0.001
min	25.680-25.665=0.014
max	25.688-25.678=0.010

*mean*	4588.500-4043.750=544.750
σ	2253.245-2010.271=242.973
min	1486.000-1218.000=268.000
max	7403.000-7153.000=250.000

*mean*	6.233-6.319=-0.086
σ	0.479-0.651=-0.172
min	5.953-5.763=0.190
max	7.400-7.398=0.002

op=vertical_lookup_row_list() on 3 (1 unindexed)

*mean*	25.984-25.970=0.015
σ	0.000-0.002=-0.001
min	25.984-25.968=0.016
max	25.985-25.972=0.013

*mean*	4588.500-4043.750=544.750
σ	2253.245-2010.271=242.973
min	1486.000-1218.000=268.000
max	7403.000-7153.000=250.000

*mean*	6.048-6.201=-0.153
σ	0.411-0.729=-0.318
min	5.711-5.624=0.087
max	7.040-7.441=-0.401

CSV - loading a lazy table

Factor

allocated MiB

peak allocated MiB

time (ms)

op=load_product(), no indexes

*mean*	1021.627-1021.613=0.014
σ	0.002-0.002=-0.000
min	1021.625-1021.612=0.013
max	1021.629-1021.616=0.013

*mean*	7403.000-7153.000=250.000
σ	0.000
min	7403.000-7153.000=250.000
max	7403.000-7153.000=250.000

*mean*	365.718-378.101=-12.383
σ	44.299-83.814=-39.515
min	347.732-346.793=0.939
max	475.286-585.498=-110.212

op=load_product(), with indexes

*mean*	3495.878-7917.792=-4421.914
σ	0.468-0.469=-0.001
min	3495.713-7917.624=-4421.912
max	3497.038-7918.954=-4421.917

*mean*	3753.000-3274.250=478.750
σ	2299.283-1825.186=474.097
min	719.000-810.000=-91.000
max	7403.000-5622.000=1781.000

*mean*	1687.214-3699.504=-2012.290
σ	561.905-912.388=-350.483
min	1382.582-3108.030=-1725.448
max	2750.518-5726.574=-2976.056

CSV - unindexed operations

Factor

allocated MiB

peak allocated MiB

time (ms)

op=column_set() on unindexed, dense

*mean*	62.077
σ	0.002
min	62.076
max	62.080

*mean*	4043.750
σ	2010.271
min	1218.000
max	7153.000

*mean*	90.634
σ	21.669
min	70.608
max	124.427

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

*mean*	107.854
σ	0.000
min	107.853
max	107.855

*mean*	4409.625
σ	2224.350
min	1486.000
max	7403.000

*mean*	268.532
σ	377.457
min	126.579
max	1201.670

op=column_set() on unindexed, dense, repeat

*mean*	62.082
σ	0.000
min	62.081
max	62.082

*mean*	4588.500
σ	2253.245
min	1486.000
max	7403.000

*mean*	184.576
σ	397.134
min	42.312
max	1167.426

op=vertical_lookup_list() on unindexed missing Int

*mean*	40.946
σ	0.002
min	40.944
max	40.950

*mean*	7153.000
σ	0.000
min	7153.000
max	7153.000

*mean*	61.831
σ	2.545
min	60.514
max	68.064

op=vertical_lookup_list() repeated on unindexed missing Int

*mean*	40.948
σ	0.002
min	40.947
max	40.950

*mean*	7403.000
σ	0.000
min	7403.000
max	7403.000

*mean*	22.200
σ	0.708
min	21.616
max	23.891

op=vertical_lookup_row_list() on unindexed small unique Int

*mean*	71.308-66.688=4.620
σ	0.002-0.002=-0.000
min	71.307-66.686=4.621
max	71.311-66.691=4.620

*mean*	7403.000-7153.000=250.000
σ	0.000
min	7403.000-7153.000=250.000
max	7403.000-7153.000=250.000

*mean*	260.998-99.097=161.901
σ	579.194-0.906=578.289
min	55.458-97.997=-42.539
max	1694.428-100.504=1593.924

CSV - warmup

Factor

allocated MiB

peak allocated MiB

time (ms)

op=table_records()

*mean*	4646.851-14217.171=-9570.320
σ	0.014-4.303=-4.290
min	4646.845-14215.575=-9568.730
max	4646.884-14227.820=-9580.936

*mean*	4175.625-4043.750=131.875
σ	1945.445-2010.271=-64.827
min	1486.000-1218.000=268.000
max	7403.000-7153.000=250.000

*mean*	3371.091-8110.348=-4739.257
σ	877.426-1884.398=-1006.972
min	2501.732-5968.995=-3467.263
max	4799.271-10529.710=-5730.438

op=vertical_lookup_list() on indexed

*mean*	1973.851-13159.109=-11185.257
σ	0.002-0.002=0.000
min	1973.849-13159.106=-11185.256
max	1973.854-13159.110=-11185.256

*mean*	7403.000-7153.000=250.000
σ	0.000
min	7403.000-7153.000=250.000
max	7403.000-7153.000=250.000

*mean*	1038.079-5425.987=-4387.907
σ	182.900-1015.003=-832.103
min	910.719-4987.304=-4076.584
max	1353.851-7913.444=-6559.594

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

*mean*	905.105
σ	0.002
min	905.102
max	905.108

*mean*	7403.000
σ	0.000
min	7403.000
max	7403.000

*mean*	390.358
σ	2.585
min	386.672
max	395.317

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*	475.000-478.000=-3.000
σ	0.000
min	475.000-478.000=-3.000
max	475.000-478.000=-3.000

*mean*	382.285-373.551=8.735
σ	35.050-31.869=3.180
min	315.298-295.858=19.440
max	419.637-390.202=29.435

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*	562.000-560.000=2.000
σ	0.000
min	562.000-560.000=2.000
max	562.000-560.000=2.000

*mean*	735.374-723.956=11.418
σ	56.378-69.933=-13.555
min	628.551-594.080=34.471
max	813.306-772.130=41.177

Marine Hull: transactPolicy

Factor

allocated MiB

peak allocated MiB

time

datapoints=1

iterations=20

*mean*	1024.564-1024.299=0.265
σ	0.760-0.759=0.001
min	1024.095-1023.827=0.268
max	1027.705-1027.437=0.268

*mean*	1046.550-1037.350=9.200
σ	313.000-303.218=9.782
min	553.000
max	1655.000-1461.000=194.000

*mean*	1.388-1.554=-0.167
σ	0.082-0.062=0.021
min	1.302-1.435=-0.133
max	1.601-1.650=-0.049

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.315-0.298=0.016
σ	0.334-0.292=0.042
min	0.141-0.141=0.000
max	0.909-0.816=0.093

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.480-0.474=0.006
σ	0.321-0.326=-0.005
min	0.326-0.319=0.007
max	1.055-1.057=-0.002

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.218-0.226=-0.008
σ	0.024-0.024=-0.000
min	0.203-0.208=-0.006
max	0.258-0.267=-0.009

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.329-0.333=-0.004
σ	0.014-0.015=-0.000
min	0.314-0.325=-0.011
max	0.351-0.359=-0.008

Parser: Real World

Factor

allocated MiB

peak allocated MiB

time (sec)

name=aon_gpf25_7k_loc.art

*mean*	964.971-964.840=0.130
σ	0.011
min	964.965-964.835=0.130
max	964.989-964.859=0.130

*mean*	436.200
σ	5.541-1.789=3.752
min	431.000-433.000=-2.000
max	442.000-437.000=5.000

*mean*	0.632-0.503=0.128
σ	0.067-0.061=0.006
min	0.580-0.440=0.140
max	0.743-0.569=0.173

name=cdr_enhanced_4k_loc.art

*mean*	885.898-885.820=0.078
σ	0.002
min	885.897-885.819=0.078
max	885.901-885.823=0.078

*mean*	442.000-437.000=5.000
σ	0.000
min	442.000-437.000=5.000
max	442.000-437.000=5.000

*mean*	0.615-0.500=0.116
σ	0.038-0.035=0.003
min	0.550-0.454=0.096
max	0.641-0.534=0.108

Parser: Record Parsing

Factor

allocated MiB

peak allocated MiB

time (ms)

name=record_render_large_success.art

*mean*	7.710-7.709=0.001
σ	0.002
min	7.709-7.708=0.001
max	7.713-7.712=0.001

*mean*	442.000-437.000=5.000
σ	0.000
min	442.000-437.000=5.000
max	442.000-437.000=5.000

*mean*	3.471-2.611=0.860
σ	0.098-0.225=-0.127
min	3.346-1.956=1.390
max	3.936-2.936=1.000

name=record_render_large_syntax_err.art

*mean*	7.658-7.657=0.001
σ	0.002
min	7.657-7.656=0.001
max	7.661-7.660=0.001

*mean*	442.000-437.000=5.000
σ	0.000
min	442.000-437.000=5.000
max	442.000-437.000=5.000

*mean*	3.432-2.331=1.101
σ	0.076-0.366=-0.290
min	3.285-1.878=1.407
max	3.785-3.038=0.747

name=record_render_success.art

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

*mean*	442.000-437.000=5.000
σ	0.000
min	442.000-437.000=5.000
max	442.000-437.000=5.000

*mean*	0.543-0.311=0.232
σ	0.035-0.009=0.026
min	0.338-0.294=0.043
max	0.658-0.357=0.301

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*	442.000-437.000=5.000
σ	0.000
min	442.000-437.000=5.000
max	442.000-437.000=5.000

*mean*	0.523-0.297=0.226
σ	0.016-0.007=0.009
min	0.500-0.284=0.216
max	0.617-0.323=0.294

Revision Creation

Factor

allocated MiB

peak allocated MiB

time_s

number of threads=8

revision count=1000

*mean*	11.552
σ	12.915
min	0.573
max	145.744

*mean*	461.283
σ	19.574
min	407.000
max	479.000

*mean*	0.026
σ	0.031
min	0.001
max	0.351

SoV import

Factor

allocated MiB

peak allocated MiB

time_s

iters=10

rows=1000

*mean*	298.708-298.634=0.074
σ	1.071-1.026=0.045
min	298.281-298.246=0.035
max	301.750-301.553=0.198

*mean*	439.500-443.900=-4.400
σ	15.974-17.214=-1.240
min	416.000-417.000=-1.000
max	466.000-470.000=-4.000

*mean*	0.591-0.592=-0.001
σ	0.024-0.029=-0.005
min	0.545-0.544=0.001
max	0.633-0.637=-0.004

Timed compile per phase

Factor

allocated MiB

peak allocated MiB

time (ms)

phase=buildDeclTree

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

*mean*	845.000-1064.000=-219.000
σ	0.000-33.941=-33.941
min	845.000-980.000=-135.000
max	845.000-1076.000=-231.000

*mean*	216.750-210.554=6.196
σ	24.677-3.431=21.245
min	192.459-203.452=-10.992
max	254.308-213.880=40.428

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*	844.250-1064.000=-219.750
σ	2.121-33.941=-31.820
min	839.000-980.000=-141.000
max	845.000-1076.000=-231.000

*mean*	9.216-8.540=0.676
σ	0.710-1.710=-0.999
min	7.462-6.370=1.092
max	9.514-10.192=-0.678

phase=parser

*mean*	1042.434-1042.363=0.071
σ	0.000-0.000=-0.000
min	1042.433-1042.362=0.071
max	1042.434-1042.363=0.071

*mean*	844.250-1064.000=-219.750
σ	2.121-33.941=-31.820
min	839.000-980.000=-141.000
max	845.000-1076.000=-231.000

*mean*	581.777-513.250=68.527
σ	59.270-79.939=-20.669
min	438.234-369.914=68.320
max	614.450-641.707=-27.257

phase=processProdDef

*mean*	2243.977-4850.764=-2606.788
σ	0.000-0.000=-0.000
min	2243.977-4850.764=-2606.788
max	2243.977-4850.765=-2606.788

*mean*	845.000-1076.000=-231.000
σ	0.000
min	845.000-1076.000=-231.000
max	845.000-1076.000=-231.000

*mean*	3076.575-5134.148=-2057.573
σ	485.416-349.339=136.076
min	1999.268-4583.365=-2584.098
max	3449.961-5513.745=-2063.784

phase=renaming

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

*mean*	844.250-1064.000=-219.750
σ	2.121-33.941=-31.820
min	839.000-980.000=-141.000
max	845.000-1076.000=-231.000

*mean*	38.384-34.963=3.420
σ	4.791-9.164=-4.373
min	26.556-20.519=6.037
max	40.642-42.563=-1.921

phase=type checker

*mean*	989.752-990.450=-0.698
σ	0.066-0.071=-0.005
min	989.654-990.344=-0.690
max	989.841-990.563=-0.722

*mean*	844.250-1064.000=-219.750
σ	2.121-33.941=-31.820
min	839.000-980.000=-141.000
max	845.000-1076.000=-231.000

*mean*	714.799-697.495=17.304
σ	24.670-60.975=-36.305
min	669.664-647.300=22.364
max	741.164-841.651=-100.487

Workflow: transactPolicy

Factor

allocated MiB

peak allocated MiB

time

iters=5

new-facts=1

prior-facts=1

*mean*	293.820-293.817=0.004
σ	0.041-0.040=0.001
min	293.765-293.763=0.002
max	293.862-293.859=0.003

*mean*	442.200
σ	1.643
min	441.000
max	444.000

*mean*	0.394-0.400=-0.007
σ	0.006-0.008=-0.002
min	0.389-0.394=-0.005
max	0.403-0.414=-0.011

iters=5

new-facts=1

prior-facts=6402

*mean*	1320.295-1320.210=0.085
σ	0.135-0.049=0.086
min	1320.167-1320.141=0.026
max	1320.506-1320.253=0.253

*mean*	1116.400-1085.000=31.400
σ	176.435-181.670=-5.235
min	899.000-868.000=31.000
max	1348.000-1308.000=40.000

*mean*	1.926-2.223=-0.297
σ	0.050-0.058=-0.009
min	1.849-2.158=-0.308
max	1.975-2.302=-0.326

iters=5

new-facts=6402

prior-facts=1

*mean*	1559.285-1560.610=-1.325
σ	2.997-6.213=-3.216
min	1557.656-1557.640=0.016
max	1564.632-1571.720=-7.088

*mean*	625.800-611.000=14.800
σ	87.317-94.189=-6.872
min	496.000-498.000=-2.000
max	729.000-734.000=-5.000

*mean*	2.241-2.270=-0.029
σ	0.255-0.117=0.139
min	2.064-2.143=-0.079
max	2.692-2.397=0.295

iters=5

new-facts=6402

prior-facts=6402

*mean*	1882.362-1882.170=0.192
σ	0.084-0.053=0.031
min	1882.254-1882.101=0.153
max	1882.460-1882.244=0.216

*mean*	1754.800-1729.800=25.000
σ	212.921-176.436=36.485
min	1467.000-1484.000=-17.000
max	1955.000-1895.000=60.000

*mean*	3.213-2.973=0.240
σ	0.375-0.254=0.121
min	2.884-2.721=0.163
max	3.809-3.386=0.423

newProductH/cdr_auton/broker

Factor

time_s

iterations=5

*mean*	1.768-1.853=-0.085
σ	0.093-0.060=0.034
min	1.650-1.801=-0.151
max	1.855-1.945=-0.090

policy addition benchmark

Factor

allocated MiB

db queries

peak allocated MiB

time

policies=2

*mean*	419.767-452.081=-32.315
σ	518.097-582.721=-64.624
min	160.714-160.721=-0.006
max	1196.912-1326.162=-129.251

*mean*	101.750-102.250=-0.500
σ	7.500-8.500=-1.000
min	98.000
max	113.000-115.000=-2.000

*mean*	446.000-443.000=3.000
σ	0.000
min	446.000-443.000=3.000
max	446.000-443.000=3.000

*mean*	0.521-0.542=-0.021
σ	0.510-0.533=-0.023
min	0.262-0.271=-0.009
max	1.287-1.342=-0.055

policies=20

*mean*	1607.469-1607.509=-0.039
σ	0.351-0.416=-0.065
min	1607.232-1607.245=-0.014
max	1607.991-1608.127=-0.136

*mean*	980.000
σ	0.000
min	980.000
max	980.000

*mean*	450.250-450.500=-0.250
σ	8.500-8.660=-0.160
min	446.000-443.000=3.000
max	463.000-458.000=5.000

*mean*	2.585-2.702=-0.117
σ	0.020-0.023=-0.003
min	2.564-2.675=-0.111
max	2.606-2.722=-0.116

policies=200

*mean*	16083.542-16083.386=0.155
σ	0.096-0.189=-0.092
min	16083.433-16083.226=0.207
max	16083.668-16083.644=0.023

*mean*	9800.000
σ	0.000
min	9800.000
max	9800.000

*mean*	497.750-496.750=1.000
σ	5.123-3.500=1.623
min	493.000
max	505.000-501.000=4.000

*mean*	26.152-27.233=-1.081
σ	0.121-0.005=0.116
min	26.015-27.228=-1.213
max	26.287-27.238=-0.951