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)

Factor

compact size MiB

phase=processProdDef

*mean*	558.633
σ	0.000
min	558.633
max	558.633

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.677-54.583=0.094
σ	0.358-0.344=0.013
min	54.541-54.447=0.094
max	55.693-55.562=0.132

*mean*	418.000-414.000=4.000
σ	0.000
min	418.000-414.000=4.000
max	418.000-414.000=4.000

*mean*	0.139-0.141=-0.001
σ	0.005-0.004=0.001
min	0.132-0.138=-0.006
max	0.148-0.148=-0.000

cache=y

dps=1

iters=10

policies=100

*mean*	43.705-43.705=-0.001
σ	0.007-0.005=0.002
min	43.694-43.696=-0.002
max	43.718-43.711=0.007

*mean*	418.000-414.000=4.000
σ	0.000
min	418.000-414.000=4.000
max	418.000-414.000=4.000

*mean*	0.122-0.122=-0.000
σ	0.005-0.005=-0.000
min	0.116-0.115=0.001
max	0.131-0.130=0.001

CSV - indexed operations

Factor

allocated MiB

peak allocated MiB

time (ms)

op=column_set() on indexed

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

*mean*	3874.000-4156.875=-282.875
σ	1847.279-1907.091=-59.813
min	1279.000-1556.000=-277.000
max	6160.000-7327.000=-1167.000

*mean*	12.374-13.049=-0.674
σ	0.209-0.248=-0.039
min	12.086-12.710=-0.624
max	12.685-13.312=-0.627

op=column_set() on indexed, repeat

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

*mean*	3874.000-4156.875=-282.875
σ	1847.279-1907.091=-59.813
min	1279.000-1556.000=-277.000
max	6160.000-7327.000=-1167.000

*mean*	12.115-13.176=-1.061
σ	0.595-0.390=0.204
min	11.511-12.269=-0.757
max	13.105-13.495=-0.390

op=table_records(), no indexes

*mean*	41.930-41.931=-0.002
σ	0.002-0.001=0.001
min	41.928-41.929=-0.000
max	41.933-41.932=0.001

*mean*	6160.000-7327.000=-1167.000
σ	0.000
min	6160.000-7327.000=-1167.000
max	6160.000-7327.000=-1167.000

*mean*	14.914-14.299=0.616
σ	0.207-0.797=-0.590
min	14.725-12.377=2.347
max	15.316-14.767=0.549

op=table_records(), repeat

*mean*	41.928-41.928=-0.000
σ	0.000-0.002=-0.001
min	41.928-41.927=0.001
max	41.929-41.931=-0.002

*mean*	3874.000-4156.875=-282.875
σ	1847.279-1907.091=-59.813
min	1279.000-1556.000=-277.000
max	6160.000-7327.000=-1167.000

*mean*	12.498-12.502=-0.003
σ	1.991-1.674=0.317
min	10.495-10.924=-0.429
max	14.686-14.542=0.144

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

*mean*	27.653-27.653=0.000
σ	0.136-0.136=0.000
min	27.604-27.603=0.001
max	27.991-27.990=0.001

*mean*	3874.000-4156.875=-282.875
σ	1847.279-1907.091=-59.813
min	1279.000-1556.000=-277.000
max	6160.000-7327.000=-1167.000

*mean*	8.732-9.064=-0.332
σ	0.386-0.358=0.028
min	8.171-8.600=-0.429
max	9.215-9.558=-0.344

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

*mean*	26.402-26.400=0.001
σ	0.002-0.002=0.000
min	26.400-26.399=0.001
max	26.404-26.403=0.001

*mean*	3874.000-4156.875=-282.875
σ	1847.279-1907.091=-59.813
min	1279.000-1556.000=-277.000
max	6160.000-7327.000=-1167.000

*mean*	6.045-7.090=-1.045
σ	0.520-0.094=0.426
min	5.136-6.928=-1.792
max	6.828-7.262=-0.434

op=vertical_lookup_row_list() on 2 indexed

*mean*	25.669-25.666=0.003
σ	0.003-0.002=0.001
min	25.666-25.665=0.001
max	25.674-25.669=0.005

*mean*	3874.000-4156.875=-282.875
σ	1847.279-1907.091=-59.813
min	1279.000-1556.000=-277.000
max	6160.000-7327.000=-1167.000

*mean*	5.649-6.119=-0.471
σ	0.193-0.142=0.051
min	5.276-5.955=-0.680
max	5.895-6.390=-0.495

op=vertical_lookup_row_list() on 3 (1 unindexed)

*mean*	25.970-25.968=0.002
σ	0.002-0.002=0.000
min	25.968-25.967=0.001
max	25.974-25.972=0.001

*mean*	3874.000-4156.875=-282.875
σ	1847.279-1907.091=-59.813
min	1279.000-1556.000=-277.000
max	6160.000-7327.000=-1167.000

*mean*	5.183-5.787=-0.603
σ	0.170-0.066=0.103
min	4.927-5.675=-0.748
max	5.392-5.901=-0.509

CSV - loading a lazy table

Factor

allocated MiB

peak allocated MiB

time (ms)

op=load_product(), no indexes

*mean*	2524.604-2524.606=-0.002
σ	0.002-0.000=0.002
min	2524.602-2524.606=-0.003
max	2524.606-2524.607=-0.000

*mean*	6160.000-7327.000=-1167.000
σ	0.000
min	6160.000-7327.000=-1167.000
max	6160.000-7327.000=-1167.000

*mean*	1371.065-1051.076=319.989
σ	588.320-8.368=579.952
min	1034.217-1033.361=0.855
max	2445.043-1059.857=1385.185

op=load_product(), with indexes

*mean*	7878.102-8744.721=-866.619
σ	0.469-0.469=0.000
min	7877.935-8744.553=-866.618
max	7879.264-8745.883=-866.619

*mean*	3233.125-3578.125=-345.000
σ	1838.321-1803.844=34.477
min	810.000-1044.000=-234.000
max	6160.000-5818.000=342.000

*mean*	3811.157-4927.222=-1116.065
σ	1280.575-1661.246=-380.671
min	3113.200-3545.894=-432.694
max	6200.475-7425.330=-1224.855

CSV - unindexed operations

Factor

allocated MiB

peak allocated MiB

time (ms)

op=column_set() on unindexed, dense

*mean*	62.078-62.078=-0.000
σ	0.002-0.002=-0.000
min	62.076-62.076=0.000
max	62.081-62.081=0.000

*mean*	3874.000-4156.875=-282.875
σ	1847.279-1907.091=-59.813
min	1279.000-1556.000=-277.000
max	6160.000-7327.000=-1167.000

*mean*	80.674-81.987=-1.313
σ	8.807-11.064=-2.257
min	70.602-71.717=-1.114
max	93.479-104.343=-10.864

op=vertical_lookup_list() on unindexed missing Int

*mean*	40.946-40.944=0.002
σ	0.002-0.001=0.001
min	40.945-40.944=0.001
max	40.948-40.945=0.003

*mean*	6160.000-7327.000=-1167.000
σ	0.000
min	6160.000-7327.000=-1167.000
max	6160.000-7327.000=-1167.000

*mean*	62.924-104.157=-41.233
σ	3.115-8.751=-5.635
min	61.327-84.555=-23.227
max	70.313-111.782=-41.468

op=vertical_lookup_row_list() on unindexed small unique Int

*mean*	66.687-66.686=0.002
σ	0.002-0.000=0.001
min	66.686-66.685=0.001
max	66.690-66.687=0.003

*mean*	6160.000-7327.000=-1167.000
σ	0.000
min	6160.000-7327.000=-1167.000
max	6160.000-7327.000=-1167.000

*mean*	99.306-161.194=-61.888
σ	1.254-12.559=-11.305
min	97.812-131.019=-33.207
max	101.812-168.117=-66.305

CSV - warmup

Factor

allocated MiB

peak allocated MiB

time (ms)

op=table_records()

*mean*	11849.156-11656.836=192.320
σ	4.304-4.325=-0.021
min	11847.561-11655.305=192.256
max	11859.806-11667.538=192.268

*mean*	3874.000-4156.875=-282.875
σ	1847.279-1907.091=-59.813
min	1279.000-1556.000=-277.000
max	6160.000-7327.000=-1167.000

*mean*	6216.503-6456.411=-239.908
σ	1204.351-1204.164=0.187
min	5032.299-5004.905=27.394
max	8160.734-8175.039=-14.305

op=vertical_lookup_list() on indexed

*mean*	10791.093-11560.065=-768.971
σ	0.002-0.001=0.002
min	10791.091-11560.064=-768.973
max	10791.096-11560.066=-768.970

*mean*	6160.000-7327.000=-1167.000
σ	0.000
min	6160.000-7327.000=-1167.000
max	6160.000-7327.000=-1167.000

*mean*	4757.857-5845.889=-1088.031
σ	1341.347-1449.121=-107.774
min	4046.512-4451.405=-404.893
max	7602.674-7692.845=-90.171

CSV internal benchmark: pointedIndexFromKvs

Factor

allocated MiB

peak allocated MiB

time (ms)

op=pointedIndexFromKvs

rows=200000

*mean*	172.559
σ	0.001
min	172.558
max	172.562

*mean*	477.000
σ	0.000
min	477.000
max	477.000

*mean*	381.787-366.453=15.334
σ	20.717-16.533=4.185
min	346.406-344.278=2.128
max	395.144-381.278=13.866

op=pointedIndexFromKvs

rows=400000

*mean*	357.322
σ	0.001
min	357.321
max	357.325

*mean*	562.000-560.000=2.000
σ	0.000
min	562.000-560.000=2.000
max	562.000-560.000=2.000

*mean*	751.341-723.319=28.022
σ	52.690-52.158=0.531
min	650.376-629.155=21.221
max	788.506-779.147=9.359

Marine Hull: transactPolicy

Factor

allocated MiB

peak allocated MiB

time

datapoints=1

iterations=20

*mean*	1024.327-1008.499=15.828
σ	0.758-0.760=-0.001
min	1023.855-1008.025=15.830
max	1027.466-1011.641=15.825

*mean*	1050.850-1057.350=-6.500
σ	318.853-309.652=9.200
min	544.000-585.000=-41.000
max	1562.000-1511.000=51.000

*mean*	1.577-1.541=0.037
σ	0.076-0.070=0.006
min	1.395-1.481=-0.086
max	1.730-1.751=-0.021

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

*mean*	0.401-0.345=0.055
σ	0.509-0.392=0.116
min	0.142-0.141=0.001
max	1.308-1.044=0.264

name=error_case.art

*mean*	2.339
σ	0.012
min	2.333
max	2.361

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

*mean*	0.484-0.424=0.060
σ	0.325-0.197=0.127
min	0.332-0.319=0.013
max	1.065-0.776=0.289

name=heavy_item.art

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

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

*mean*	0.217-0.220=-0.003
σ	0.022-0.023=-0.001
min	0.205-0.204=0.000
max	0.255-0.259=-0.004

name=nested_use.art

*mean*	2.357
σ	0.002
min	2.356
max	2.360

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

*mean*	0.333-0.332=0.001
σ	0.011-0.018=-0.007
min	0.324-0.319=0.006
max	0.350-0.363=-0.013

Parser: Real World

Factor

allocated MiB

peak allocated MiB

time (sec)

name=aon_gpf25_7k_loc.art

*mean*	964.840-964.741=0.099
σ	0.011
min	964.835-964.736=0.099
max	964.859-964.760=0.099

*mean*	434.000-435.800=-1.800
σ	3.674-6.017=-2.342
min	431.000-430.000=1.000
max	438.000-442.000=-4.000

*mean*	0.546-0.511=0.034
σ	0.043-0.056=-0.012
min	0.491-0.450=0.041
max	0.612-0.592=0.020

name=cdr_enhanced_4k_loc.art

*mean*	885.820-885.814=0.007
σ	0.002
min	885.819-885.812=0.007
max	885.823-885.816=0.007

*mean*	438.000-442.000=-4.000
σ	0.000
min	438.000-442.000=-4.000
max	438.000-442.000=-4.000

*mean*	0.426-0.450=-0.024
σ	0.033-0.066=-0.034
min	0.390-0.386=0.004
max	0.474-0.533=-0.059

Parser: Record Parsing

Factor

allocated MiB

peak allocated MiB

time (ms)

name=record_render_large_success.art

*mean*	7.709-7.708=0.001
σ	0.002
min	7.708-7.707=0.001
max	7.712-7.711=0.001

*mean*	438.000-442.000=-4.000
σ	0.000
min	438.000-442.000=-4.000
max	438.000-442.000=-4.000

*mean*	1.848-2.596=-0.748
σ	0.071-0.086=-0.015
min	1.738-2.447=-0.708
max	2.130-2.882=-0.752

name=record_render_large_syntax_err.art

*mean*	7.657-7.656=0.001
σ	0.002
min	7.656-7.655=0.001
max	7.660-7.659=0.001

*mean*	438.000-442.000=-4.000
σ	0.000
min	438.000-442.000=-4.000
max	438.000-442.000=-4.000

*mean*	2.467-2.561=-0.094
σ	0.245-0.071=0.174
min	1.794-2.450=-0.656
max	2.732-2.810=-0.078

name=record_render_success.art

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

*mean*	438.000-442.000=-4.000
σ	0.000
min	438.000-442.000=-4.000
max	438.000-442.000=-4.000

*mean*	0.311-0.305=0.006
σ	0.007-0.007=0.000
min	0.299-0.291=0.008
max	0.348-0.347=0.001

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*	438.000-442.000=-4.000
σ	0.000
min	438.000-442.000=-4.000
max	438.000-442.000=-4.000

*mean*	0.295-0.290=0.005
σ	0.007-0.012=-0.005
min	0.284-0.277=0.007
max	0.340-0.362=-0.022

SoV import

Factor

allocated MiB

peak allocated MiB

time_s

iters=10

rows=1000

*mean*	298.844-298.112=0.732
σ	1.024-1.056=-0.032
min	298.476-297.684=0.792
max	301.757-301.112=0.645

*mean*	445.300-445.100=0.200
σ	16.077-14.693=1.384
min	425.000-422.000=3.000
max	469.000-466.000=3.000

*mean*	0.594-0.615=-0.021
σ	0.031-0.011=0.020
min	0.527-0.601=-0.074
max	0.646-0.630=0.015

Timed compile per phase

Factor

allocated MiB

peak allocated MiB

time (ms)

phase=buildDeclTree

*mean*	236.678-222.008=14.670
σ	0.000-0.000=0.000
min	236.678-222.008=14.670
max	236.678-222.008=14.670

*mean*	1680.125-1741.000=-60.875
σ	2.475-0.000=2.475
min	1674.000-1741.000=-67.000
max	1681.000-1741.000=-60.000

*mean*	216.713-204.539=12.174
σ	5.354-3.368=1.987
min	210.432-200.385=10.048
max	225.827-212.177=13.651

phase=macro expansion

*mean*	6.130
σ	0.000
min	6.130
max	6.130

*mean*	1680.125-1741.000=-60.875
σ	2.475-0.000=2.475
min	1674.000-1741.000=-67.000
max	1681.000-1741.000=-60.000

*mean*	10.204-11.541=-1.337
σ	1.515-2.047=-0.531
min	7.388-7.305=0.083
max	12.835-12.756=0.079

phase=parser

*mean*	1042.367-1042.099=0.268
σ	0.000-0.000=0.000
min	1042.367-1042.099=0.268
max	1042.367-1042.099=0.268

*mean*	1680.125-1741.000=-60.875
σ	2.475-0.000=2.475
min	1674.000-1741.000=-67.000
max	1681.000-1741.000=-60.000

*mean*	605.030-677.100=-72.070
σ	89.865-89.088=0.777
min	451.749-485.083=-33.335
max	731.490-728.195=3.295

phase=processProdDef

*mean*	4753.276-6169.659=-1416.383
σ	0.000-0.001=-0.000
min	4753.276-6169.659=-1416.383
max	4753.276-6169.660=-1416.384

*mean*	1681.000-1741.000=-60.000
σ	0.000
min	1681.000-1741.000=-60.000
max	1681.000-1741.000=-60.000

*mean*	4441.637-5494.515=-1052.878
σ	584.392-1639.562=-1055.170
min	3505.971-3374.577=131.394
max	5213.594-7361.589=-2147.995

phase=renaming

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

*mean*	1680.125-1741.000=-60.875
σ	2.475-0.000=2.475
min	1674.000-1741.000=-67.000
max	1681.000-1741.000=-60.000

*mean*	36.263-45.617=-9.354
σ	5.851-3.861=1.990
min	30.313-38.823=-8.510
max	47.560-49.152=-1.592

phase=type checker

*mean*	990.454-958.457=31.997
σ	0.071-0.066=0.005
min	990.348-958.360=31.989
max	990.567-958.547=32.020

*mean*	1680.125-1741.000=-60.875
σ	2.475-0.000=2.475
min	1674.000-1741.000=-67.000
max	1681.000-1741.000=-60.000

*mean*	732.988-819.376=-86.388
σ	75.162-74.722=0.440
min	656.653-690.330=-33.676
max	880.283-879.160=1.123

Workflow: transactPolicy

Factor

allocated MiB

peak allocated MiB

time

iters=5

new-facts=1

prior-facts=1

*mean*	293.918-293.687=0.231
σ	0.038-0.044=-0.006
min	293.865-293.631=0.234
max	293.957-293.737=0.220

*mean*	446.000-444.000=2.000
σ	0.000
min	446.000-444.000=2.000
max	446.000-444.000=2.000

*mean*	0.397-0.404=-0.006
σ	0.006-0.007=-0.002
min	0.392-0.399=-0.007
max	0.404-0.417=-0.013

iters=5

new-facts=1

prior-facts=6402

*mean*	1320.302-1303.780=16.522
σ	0.043-0.063=-0.019
min	1320.247-1303.714=16.533
max	1320.351-1303.868=16.484

*mean*	1108.000-1099.400=8.600
σ	170.410-191.003=-20.594
min	896.000-837.000=59.000
max	1331.000-1329.000=2.000

*mean*	2.234-2.030=0.204
σ	0.080-0.199=-0.119
min	2.133-1.822=0.312
max	2.320-2.267=0.052

iters=5

new-facts=6402

prior-facts=1

*mean*	1559.443-1546.825=12.618
σ	3.390-4.031=-0.641
min	1557.746-1544.812=12.934
max	1565.500-1554.029=11.471

*mean*	624.400-618.000=6.400
σ	87.286-80.567=6.719
min	514.000-497.000=17.000
max	726.000-713.000=13.000

*mean*	2.354-2.275=0.079
σ	0.243-0.184=0.060
min	2.098-2.142=-0.044
max	2.736-2.598=0.138

iters=5

new-facts=6402

prior-facts=6402

*mean*	1882.277-1865.810=16.467
σ	0.052-0.050=0.002
min	1882.213-1865.753=16.460
max	1882.342-1865.887=16.455

*mean*	1748.600-1730.600=18.000
σ	210.002-177.046=32.956
min	1479.000-1480.000=-1.000
max	1949.000-1893.000=56.000

*mean*	3.337-3.063=0.274
σ	0.411-0.270=0.141
min	2.898-2.881=0.017
max	3.833-3.542=0.291

newProductH/cdr_auton/broker

Factor

time_s

iterations=5

*mean*	1.769-1.775=-0.007
σ	0.122-0.197=-0.074
min	1.649-1.521=0.128
max	1.905-1.952=-0.048

policy addition benchmark

Factor

allocated MiB

db queries

peak allocated MiB

time

policies=2

*mean*	452.411-450.088=2.323
σ	583.278-579.264=4.014
min	160.770-160.454=0.316
max	1327.329-1318.985=8.344

*mean*	102.250
σ	8.500
min	98.000
max	115.000

*mean*	446.000-444.000=2.000
σ	0.000
min	446.000-444.000=2.000
max	446.000-444.000=2.000

*mean*	0.552-0.535=0.017
σ	0.564-0.533=0.030
min	0.268-0.266=0.003
max	1.397-1.335=0.063

policies=20

*mean*	1608.047-1604.881=3.167
σ	0.421-0.403=0.018
min	1607.760-1604.599=3.161
max	1608.671-1605.476=3.194

*mean*	980.000
σ	0.000
min	980.000
max	980.000

*mean*	448.250-446.250=2.000
σ	1.500
min	446.000-444.000=2.000
max	449.000-447.000=2.000

*mean*	2.708-2.667=0.041
σ	0.017-0.007=0.010
min	2.688-2.657=0.031
max	2.723-2.672=0.052

policies=200

*mean*	16088.599-16057.069=31.530
σ	0.096-0.119=-0.023
min	16088.513-16056.916=31.597
max	16088.734-16057.206=31.528

*mean*	9800.000
σ	0.000
min	9800.000
max	9800.000

*mean*	498.750-497.000=1.750
σ	4.031-5.598=-1.566
min	494.000-490.000=4.000
max	503.000-502.000=1.000

*mean*	27.369-27.117=0.252
σ	0.083-0.120=-0.037
min	27.287-26.986=0.301
max	27.483-27.268=0.214