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.824-57.824=-0.000
σ	0.360-0.361=-0.001
min	57.678-57.684=-0.006
max	58.849-58.850=-0.002

*mean*	420.000-422.000=-2.000
σ	0.000
min	420.000-422.000=-2.000
max	420.000-422.000=-2.000

*mean*	0.145-0.146=-0.001
σ	0.006-0.005=0.000
min	0.137-0.138=-0.001
max	0.155-0.155=-0.000

cache=y

dps=1

iters=10

policies=100

*mean*	46.897-46.898=-0.001
σ	0.005-0.006=-0.001
min	46.890-46.889=0.001
max	46.902-46.909=-0.007

*mean*	420.000-422.000=-2.000
σ	0.000
min	420.000-422.000=-2.000
max	420.000-422.000=-2.000

*mean*	0.127-0.131=-0.004
σ	0.005-0.004=0.001
min	0.122-0.127=-0.005
max	0.135-0.138=-0.002

CSV - indexed operations

Factor

allocated MiB

peak allocated MiB

time (ms)

op=column_set() on indexed

*mean*	36.607-36.605=0.001
σ	0.002-0.000=0.002
min	36.605
max	36.609-36.606=0.003

*mean*	3969.500-4194.500=-225.000
σ	1953.863-2079.963=-126.100
min	1330.000-1244.000=86.000
max	7313.000-7763.000=-450.000

*mean*	11.889-12.006=-0.117
σ	0.070-0.139=-0.069
min	11.796-11.906=-0.110
max	12.011-12.294=-0.282

op=column_set() on indexed, repeat

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

*mean*	3969.500-4194.500=-225.000
σ	1953.863-2079.963=-126.100
min	1330.000-1244.000=86.000
max	7313.000-7763.000=-450.000

*mean*	12.373-11.560=0.813
σ	0.470-0.408=0.062
min	11.285-11.307=-0.021
max	12.904-12.554=0.349

op=table_records(), no indexes

*mean*	41.940-41.941=-0.001
σ	0.002-0.002=-0.000
min	41.939-41.939=0.000
max	41.943-41.944=-0.001

*mean*	7480.500-7966.625=-486.125
σ	179.065-281.029=-101.964
min	7313.000-7763.000=-450.000
max	7648.000-8306.000=-658.000

*mean*	11.190-11.149=0.041
σ	0.178-0.200=-0.021
min	10.870-10.963=-0.093
max	11.401-11.458=-0.057

op=table_records(), repeat

*mean*	41.924-41.926=-0.001
σ	0.002-0.000=0.001
min	41.921-41.925=-0.004
max	41.926-41.926=-0.000

*mean*	3969.500-4194.500=-225.000
σ	1953.863-2079.963=-126.100
min	1330.000-1244.000=86.000
max	7313.000-7763.000=-450.000

*mean*	10.931-11.060=-0.129
σ	0.201-0.135=0.066
min	10.589-10.888=-0.299
max	11.196-11.233=-0.037

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

*mean*	27.634-27.635=-0.000
σ	0.137-0.136=0.000
min	27.586
max	27.973

*mean*	3969.500-4194.500=-225.000
σ	1953.863-2079.963=-126.100
min	1330.000-1244.000=86.000
max	7313.000-7763.000=-450.000

*mean*	8.725-8.443=0.283
σ	0.242-0.247=-0.005
min	8.480-8.036=0.444
max	9.204-8.777=0.426

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

*mean*	26.384-26.386=-0.001
σ	0.002-0.000=0.002
min	26.382-26.386=-0.004
max	26.386

*mean*	3969.500-4194.500=-225.000
σ	1953.863-2079.963=-126.100
min	1330.000-1244.000=86.000
max	7313.000-7763.000=-450.000

*mean*	6.822-6.669=0.153
σ	0.154-0.352=-0.198
min	6.537-6.365=0.172
max	6.976-7.443=-0.467

op=vertical_lookup_row_list() on 2 indexed

*mean*	25.666-25.664=0.001
σ	0.004-0.004=-0.000
min	25.662
max	25.675-25.675=-0.000

*mean*	3969.500-4194.500=-225.000
σ	1953.863-2079.963=-126.100
min	1330.000-1244.000=86.000
max	7313.000-7763.000=-450.000

*mean*	5.895-5.724=0.171
σ	0.139-0.088=0.051
min	5.629-5.594=0.036
max	6.084-5.883=0.201

op=vertical_lookup_row_list() on 3 (1 unindexed)

*mean*	25.963-25.963=0.000
σ	0.000-0.001=-0.000
min	25.963-25.963=0.000
max	25.964

*mean*	3969.500-4194.500=-225.000
σ	1953.863-2079.963=-126.100
min	1330.000-1244.000=86.000
max	7313.000-7763.000=-450.000

*mean*	5.873-5.697=0.176
σ	0.266-0.102=0.164
min	5.680-5.495=0.185
max	6.498-5.812=0.687

CSV - loading a lazy table

Factor

allocated MiB

peak allocated MiB

time (ms)

op=load_product(), no indexes

*mean*	1021.600-1021.600=-0.000
σ	0.002-0.002=-0.000
min	1021.598
max	1021.602-1021.602=-0.000

*mean*	7438.625-7898.750=-460.125
σ	173.379-251.360=-77.981
min	7313.000-7763.000=-450.000
max	7648.000-8306.000=-658.000

*mean*	370.755-347.328=23.427
σ	69.829-2.028=67.801
min	344.420-344.356=0.065
max	543.537-350.087=193.450

op=load_product(), with indexes

*mean*	3495.849-3495.848=0.000
σ	0.460-0.460=-0.000
min	3495.686
max	3496.987-3496.988=-0.000

*mean*	3570.750-3356.000=214.750
σ	2284.417-1784.000=500.417
min	638.000-642.000=-4.000
max	7313.000-5548.000=1765.000

*mean*	2023.255-1696.674=326.581
σ	879.290-580.713=298.577
min	1402.362-1386.446=15.917
max	3527.017-2899.333=627.685

CSV - unindexed operations

Factor

allocated MiB

peak allocated MiB

time (ms)

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

*mean*	107.844-107.842=0.001
σ	0.002-0.000=0.002
min	107.842-107.842=0.000
max	107.846-107.843=0.003

*mean*	3969.500-4194.500=-225.000
σ	1953.863-2079.963=-126.100
min	1330.000-1244.000=86.000
max	7313.000-7763.000=-450.000

*mean*	128.695-140.537=-11.841
σ	4.517-10.098=-5.581
min	121.296-125.551=-4.255
max	136.249-157.624=-21.375

op=column_set() on unindexed, dense, repeat

*mean*	62.068-62.069=-0.001
σ	0.002-0.001=0.001
min	62.066-62.066=-0.000
max	62.070

*mean*	3969.500-4194.500=-225.000
σ	1953.863-2079.963=-126.100
min	1330.000-1244.000=86.000
max	7313.000-7763.000=-450.000

*mean*	41.825-42.950=-1.126
σ	1.086-1.814=-0.728
min	40.645-40.732=-0.087
max	43.808-45.289=-1.480

op=vertical_lookup_list() repeated on unindexed missing Int

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

*mean*	7480.500-7966.625=-486.125
σ	179.065-281.029=-101.964
min	7313.000-7763.000=-450.000
max	7648.000-8306.000=-658.000

*mean*	21.632-21.872=-0.240
σ	0.158-0.180=-0.022
min	21.336-21.644=-0.307
max	21.892-22.124=-0.232

op=vertical_lookup_row_list() on unindexed small unique Int

*mean*	71.295-71.295=0.000
σ	0.002-0.002=0.001
min	71.294-71.294=-0.000
max	71.299-71.298=0.001

*mean*	7480.500-7966.625=-486.125
σ	179.065-281.029=-101.964
min	7313.000-7763.000=-450.000
max	7648.000-8306.000=-658.000

*mean*	55.993-63.521=-7.528
σ	0.402-0.511=-0.110
min	55.270-62.679=-7.409
max	56.322-64.349=-8.028

CSV - warmup

Factor

allocated MiB

peak allocated MiB

time (ms)

op=table_records()

*mean*	4646.843-4646.843=-0.000
σ	0.014-0.013=0.000
min	4646.838-4646.838=-0.000
max	4646.877-4646.876=0.001

*mean*	3969.500-4194.500=-225.000
σ	1953.863-2079.963=-126.100
min	1330.000-1244.000=86.000
max	7313.000-7763.000=-450.000

*mean*	3423.167-3537.842=-114.675
σ	912.580-753.424=159.156
min	2547.721-2495.516=52.206
max	4845.877-4463.559=382.318

op=vertical_lookup_list() on indexed

*mean*	1973.831-1973.831=-0.000
σ	0.002-0.002=0.000
min	1973.829
max	1973.834

*mean*	7480.500-7966.625=-486.125
σ	179.065-281.029=-101.964
min	7313.000-7763.000=-450.000
max	7648.000-8306.000=-658.000

*mean*	1086.593-1065.153=21.440
σ	452.388-401.083=51.305
min	919.675-912.594=7.081
max	2206.156-2057.706=148.450

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

*mean*	905.084-905.084=-0.000
σ	0.002-0.002=-0.000
min	905.082
max	905.086-905.088=-0.001

*mean*	7480.500-7966.625=-486.125
σ	179.065-281.029=-101.964
min	7313.000-7763.000=-450.000
max	7648.000-8306.000=-658.000

*mean*	396.595-396.917=-0.322
σ	1.759-2.461=-0.702
min	394.437-392.403=2.034
max	398.885-399.141=-0.256

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.000-475.750=0.250
σ	0.000-0.463=-0.463
min	476.000-475.000=1.000
max	476.000

*mean*	362.524-379.950=-17.426
σ	29.464-27.782=1.683
min	318.688-348.339=-29.651
max	403.469-434.668=-31.198

op=pointedIndexFromKvs

rows=400000

*mean*	308.493
σ	0.001
min	308.493
max	308.497

*mean*	565.000-563.000=2.000
σ	0.000
min	565.000-563.000=2.000
max	565.000-563.000=2.000

*mean*	757.300-748.207=9.093
σ	72.954-53.752=19.201
min	633.615-679.670=-46.054
max	846.498-812.806=33.692

Marine Hull: transactPolicy

Factor

allocated MiB

peak allocated MiB

time

datapoints=1

iterations=20

*mean*	976.919-976.917=0.002
σ	2.437-2.438=-0.001
min	976.074-976.074=0.000
max	987.248-987.250=-0.002

*mean*	1049.250-1048.800=0.450
σ	317.928-316.619=1.309
min	573.000-586.000=-13.000
max	1519.000-1516.000=3.000

*mean*	1.270-1.324=-0.054
σ	0.076-0.172=-0.096
min	1.204-1.104=0.100
max	1.459-1.754=-0.295

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.395-0.319=0.077
σ	0.514-0.319=0.195
min	0.139-0.148=-0.009
max	1.313-0.887=0.426

name=error_case.art

*mean*	2.346
σ	0.012
min	2.340
max	2.368

*mean*	402.000
σ	0.000
min	402.000
max	402.000

*mean*	0.476-0.482=-0.006
σ	0.314-0.317=-0.004
min	0.326-0.321=0.005
max	1.037-1.049=-0.012

name=heavy_item.art

*mean*	1.523
σ	0.002
min	1.522
max	1.526

*mean*	402.000
σ	0.000
min	402.000
max	402.000

*mean*	0.220-0.216=0.004
σ	0.023-0.025=-0.001
min	0.202-0.199=0.003
max	0.258-0.259=-0.001

name=nested_use.art

*mean*	2.364
σ	0.002
min	2.363
max	2.367

*mean*	402.000
σ	0.000
min	402.000
max	402.000

*mean*	0.337-0.340=-0.003
σ	0.015-0.018=-0.003
min	0.323-0.322=0.001
max	0.358-0.368=-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
σ	0.000
min	431.000
max	431.000

*mean*	0.572-0.585=-0.013
σ	0.038-0.031=0.007
min	0.506-0.532=-0.026
max	0.602-0.609=-0.008

name=cdr_enhanced_4k_loc.art

*mean*	886.000
σ	0.002
min	885.999
max	886.003

*mean*	431.000
σ	0.000
min	431.000
max	431.000

*mean*	0.472-0.474=-0.002
σ	0.026-0.034=-0.008
min	0.444-0.427=0.017
max	0.513-0.522=-0.009

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

*mean*	2.579-2.672=-0.093
σ	0.105-0.108=-0.003
min	2.416-2.480=-0.064
max	3.075-2.940=0.136

name=record_render_large_syntax_err.art

*mean*	7.667
σ	0.002
min	7.666
max	7.670

*mean*	431.000
σ	0.000
min	431.000
max	431.000

*mean*	2.562-2.611=-0.050
σ	0.076-0.082=-0.006
min	2.402-2.455=-0.054
max	2.913-2.868=0.045

name=record_render_success.art

*mean*	2.290
σ	0.002
min	2.290
max	2.294

*mean*	431.000
σ	0.000
min	431.000
max	431.000

*mean*	0.305-0.302=0.003
σ	0.015-0.009=0.006
min	0.283-0.284=-0.001
max	0.415-0.351=0.064

name=record_render_syntax_err.art

*mean*	2.166
σ	0.002
min	2.165
max	2.169

*mean*	431.000
σ	0.000
min	431.000
max	431.000

*mean*	0.292-0.291=0.001
σ	0.020-0.020=-0.001
min	0.274-0.274=0.000
max	0.419-0.451=-0.031

Revision Creation

Factor

allocated MiB

peak allocated MiB

time_s

number of threads=8

revision count=1000

*mean*	11.609-11.893=-0.283
σ	12.833-12.088=0.745
min	0.574-0.574=0.000
max	146.104-115.656=30.448

*mean*	465.650-465.123=0.527
σ	19.603-18.485=1.118
min	409.000-407.000=2.000
max	482.000-479.000=3.000

*mean*	0.027-0.027=-0.001
σ	0.031-0.030=0.002
min	0.001-0.001=0.000
max	0.356-0.277=0.079

SoV import

Factor

allocated MiB

peak allocated MiB

time_s

iters=10

rows=1000

*mean*	293.628-293.730=-0.102
σ	1.053-1.062=-0.009
min	293.241-293.370=-0.129
max	296.623-296.751=-0.128

*mean*	443.900-442.800=1.100
σ	18.466-16.075=2.391
min	416.000
max	467.000-463.000=4.000

*mean*	0.593-0.592=0.001
σ	0.018-0.023=-0.006
min	0.561-0.553=0.009
max	0.622-0.620=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*	847.000-848.000=-1.000
σ	0.000
min	847.000-848.000=-1.000
max	847.000-848.000=-1.000

*mean*	134.770-148.700=-13.930
σ	9.011-12.368=-3.357
min	124.949-130.748=-5.799
max	146.799-161.539=-14.739

phase=macro expansion

*mean*	5.897-5.894=0.004
σ	0.000
min	5.897-5.894=0.004
max	5.897-5.894=0.004

*mean*	847.000-848.000=-1.000
σ	0.000
min	847.000-848.000=-1.000
max	847.000-848.000=-1.000

*mean*	5.866-6.318=-0.452
σ	0.135-1.071=-0.936
min	5.708-5.861=-0.153
max	6.132-8.965=-2.833

phase=parser

*mean*	1042.133-1042.130=0.003
σ	0.000-0.000=-0.000
min	1042.133-1042.130=0.003
max	1042.133-1042.130=0.003

*mean*	847.000-848.000=-1.000
σ	0.000
min	847.000-848.000=-1.000
max	847.000-848.000=-1.000

*mean*	376.940-407.277=-30.337
σ	2.248-82.533=-80.284
min	373.807-375.082=-1.275
max	380.043-611.491=-231.448

phase=processProdDef

*mean*	2241.194-2241.195=-0.001
σ	0.000
min	2241.194-2241.195=-0.001
max	2241.194-2241.195=-0.001

*mean*	847.000-848.000=-1.000
σ	0.000
min	847.000-848.000=-1.000
max	847.000-848.000=-1.000

*mean*	2697.055-3007.984=-310.929
σ	418.824-360.844=57.980
min	2086.236-2320.401=-234.165
max	3188.659-3381.478=-192.819

phase=renaming

*mean*	21.430
σ	0.000
min	21.430
max	21.430

*mean*	847.000-848.000=-1.000
σ	0.000
min	847.000-848.000=-1.000
max	847.000-848.000=-1.000

*mean*	36.982-36.277=0.705
σ	3.210-4.472=-1.262
min	33.273-32.898=0.375
max	41.977-46.900=-4.923

phase=type checker

*mean*	958.462
σ	0.047
min	958.439
max	958.564

*mean*	847.000-848.000=-1.000
σ	0.000
min	847.000-848.000=-1.000
max	847.000-848.000=-1.000

*mean*	670.814-678.632=-7.817
σ	17.422-13.884=3.538
min	649.046-658.796=-9.750
max	692.326-695.739=-3.413

Workflow: transactPolicy

Factor

allocated MiB

peak allocated MiB

time

iters=5

new-facts=1

prior-facts=1

*mean*	327.855-327.854=0.001
σ	0.037-0.037=0.000
min	327.805-327.804=0.001
max	327.893-327.892=0.001

*mean*	442.000-440.600=1.400
σ	4.583-3.578=1.005
min	434.000-437.000=-3.000
max	445.000

*mean*	0.431-0.434=-0.003
σ	0.008-0.009=-0.001
min	0.424-0.424=0.000
max	0.442-0.448=-0.006

iters=5

new-facts=1

prior-facts=6402

*mean*	1313.069-1313.060=0.009
σ	0.139-0.138=0.000
min	1312.964-1312.971=-0.007
max	1313.311-1313.303=0.008

*mean*	1071.600-1099.800=-28.200
σ	164.465-180.745=-16.280
min	876.000-890.000=-14.000
max	1278.000-1335.000=-57.000

*mean*	1.891-1.933=-0.042
σ	0.057-0.119=-0.063
min	1.823-1.753=0.070
max	1.937-2.087=-0.150

iters=5

new-facts=6402

prior-facts=1

*mean*	1552.106-1552.074=0.032
σ	3.013-3.077=-0.064
min	1550.596-1550.504=0.092
max	1557.490-1557.569=-0.079

*mean*	618.800-607.200=11.600
σ	84.242-72.241=12.001
min	521.000-506.000=15.000
max	732.000-685.000=47.000

*mean*	2.313-2.390=-0.077
σ	0.167-0.338=-0.171
min	2.160-2.080=0.080
max	2.539-2.841=-0.302

iters=5

new-facts=6402

prior-facts=6402

*mean*	1875.063-1875.058=0.006
σ	0.052-0.045=0.006
min	1875.006-1875.003=0.003
max	1875.133-1875.113=0.020

*mean*	1705.000-1741.400=-36.400
σ	264.014-156.669=107.345
min	1392.000-1503.000=-111.000
max	2076.000-1934.000=142.000

*mean*	2.935-2.886=0.048
σ	0.125-0.058=0.068
min	2.822-2.802=0.020
max	3.121-2.955=0.166

newProductH/cdr_auton/broker

Factor

time_s

iterations=5

*mean*	1.302-1.554=-0.252
σ	0.053-0.081=-0.028
min	1.218-1.470=-0.252
max	1.364-1.649=-0.284

policy addition benchmark

Factor

allocated MiB

db queries

peak allocated MiB

time

policies=2

*mean*	419.413-419.410=0.002
σ	508.905-508.904=0.000
min	164.958-164.955=0.003
max	1182.770-1182.767=0.003

*mean*	101.250
σ	6.500
min	98.000
max	111.000

*mean*	432.000
σ	0.000
min	432.000
max	432.000

*mean*	0.515-0.522=-0.008
σ	0.489-0.499=-0.010
min	0.264-0.267=-0.003
max	1.248-1.271=-0.023

policies=20

*mean*	1649.836-1649.815=0.020
σ	0.376-0.390=-0.014
min	1649.608-1649.589=0.019
max	1650.396-1650.399=-0.003

*mean*	980.000
σ	0.000
min	980.000
max	980.000

*mean*	449.250-452.500=-3.250
σ	13.200-10.630=2.570
min	433.000-439.000=-6.000
max	460.000-461.000=-1.000

*mean*	2.658-2.673=-0.016
σ	0.013-0.022=-0.009
min	2.643-2.651=-0.008
max	2.675-2.703=-0.028

policies=200

*mean*	16506.198-16505.938=0.260
σ	0.067-0.149=-0.082
min	16506.138-16505.762=0.375
max	16506.293-16506.105=0.188

*mean*	9800.000
σ	0.000
min	9800.000
max	9800.000

*mean*	499.000-501.500=-2.500
σ	5.354-5.972=-0.618
min	494.000-495.000=-1.000
max	505.000-509.000=-4.000

*mean*	26.757-26.804=-0.047
σ	0.108-0.193=-0.086
min	26.662-26.587=0.075
max	26.860-27.025=-0.165