Skip to content

[pull] master from GaijinEntertainment:master #1031

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
pull merged 10 commits into from
May 24, 2026
Merged

[pull] master from GaijinEntertainment:master #1031

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
10 commits
Select commit Hold shift + click to select a range
59c4f3f
linq_fold: terminal _select extension across 5 splice arms + chain au…
borisbat May 24, 2026
55d55a0
benchmarks/sql: refresh results.md + audit-doc commit hash
borisbat May 24, 2026
ed2684e
linq_fold: tighten plan_decs_join bail to reject iterator-typed conte…
borisbat May 24, 2026
8d547a2
Merge pull request #2851 from GaijinEntertainment/bbatkin/linq-fold-t…
borisbat May 24, 2026
4b13eed
linq_fold: Theme 2 trailing _where extension across plan_decs_join + …
borisbat May 24, 2026
24da050
benchmarks/sql: refresh results.md per living-doc policy (Theme 2 com…
borisbat May 24, 2026
590e8a6
tests/linq: format theme2 trailing-where test file per pre-push forma…
borisbat May 24, 2026
4921b21
linq_fold: drop unused selectElemType in plan_decs_join (Copilot review)
borisbat May 24, 2026
bb249b5
docs/linq_fold_patterns: catalog new splice surfaces from PRs #2848 +…
borisbat May 24, 2026
7fc5281
Merge pull request #2852 from GaijinEntertainment/bbatkin/linq-fold-t…
borisbat May 24, 2026
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
1,413 changes: 1,413 additions & 0 deletions benchmarks/sql/linq_fold_chain_audit.md
View file
Open in desktop

Large diffs are not rendered by default.

147 changes: 73 additions & 74 deletions benchmarks/sql/results.md
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
# Benchmarks — SQL / Array / Decs comparison

Generated 2026-05-23 from `62336a4a7` (PR for `plan_decs_join`).
Generated 2026-05-24 from `4b13eed9a` (Theme 2 — trailing-`_where` extension).
Fixture size: n = 100 000 (cars), 100 dealers, 5 brands. Each row is
one bench family in `benchmarks/sql/`; columns are nanoseconds per
logical operation. `—` marks an intentionally absent lane — see
Expand All @@ -26,114 +26,113 @@ before the timer resolution can measure them — they should be read as

| Benchmark | SQL (m1) | Array (m3f) | Decs (m4) | Decs vs Array |
|---|---:|---:|---:|---:|
| `aggregate_match` | 35.3 | 5.9 | 5.8 | 0.98× |
| `all_match` | 28.1 | 3.6 | 3.5 | 0.97× |
| `aggregate_match` | 35.1 | 6.0 | 5.8 | 0.97× |
| `all_match` | 27.8 | 3.6 | 3.5 | 0.97× |
| `any_match` | 0.00 | 0.00 | 0.00 | — |
| `average_aggregate` | 29.9 | 5.9 | 8.8 | 1.49× |
| `bare_order_where` | 278.2 | 118.4 | 126.6 | 1.07× |
| `chained_where` | 38.5 | 6.7 | 6.7 | 1.00× |
| `average_aggregate` | 29.9 | 6.4 | 10.4 | 1.62× |
| `bare_order_where` | 278.4 | 119.0 | 126.8 | 1.07× |
| `chained_where` | 36.0 | 6.7 | 6.7 | 1.00× |
| `contains_match` | 0.00 | 2.2 | 1.4 | 0.64× |
| `count_aggregate` | 29.1 | 4.1 | 4.2 | 1.02× |
| `distinct_by_count` | 40.6 | 15.8 | 16.0 | 1.01× |
| `distinct_count` | 41.1 | 16.1 | 16.0 | 0.99× |
| `count_aggregate` | 29.2 | 4.1 | 4.1 | 1.00× |
| `distinct_by_count` | 41.0 | 15.7 | 16.1 | 1.03× |
| `distinct_count` | 41.0 | 16.1 | 16.0 | 0.99× |
| `distinct_take` | 0.00 | 0.00 | 0.00 | — |
| `element_at_match` | 0.00 | 0.00 | 0.00 | — |
| `first_match` | 0.00 | 0.00 | 0.00 | — |
| `first_or_default_match` | 0.00 | 0.00 | 0.00 | — |
| `groupby_average` | 174.3 | 30.3 | 30.2 | 1.00× |
| `groupby_count` | 144.3 | 19.4 | 19.3 | 0.99× |
| `groupby_first` | — | 20.0 | 19.3 | 0.97× |
| `groupby_having_count` | 142.6 | 19.3 | 19.4 | 1.01× |
| `groupby_having_hidden_sum` | 175.7 | 24.5 | 24.1 | 0.98× |
| `groupby_max` | 176.7 | 25.0 | 25.4 | 1.02× |
| `groupby_min` | 175.7 | 25.1 | 25.4 | 1.01× |
| `groupby_multi_reducer` | 191.4 | 33.7 | 32.7 | 0.97× |
| `groupby_select_sum` | 207.1 | 36.8 | 36.7 | 1.00× |
| `groupby_sum` | 172.4 | 18.8 | 18.8 | 1.00× |
| `groupby_where_count` | 75.7 | 14.7 | 15.0 | 1.02× |
| `groupby_where_sum` | 86.7 | 14.3 | 14.7 | 1.03× |
| `indexed_lookup` | 1454.5 | 204673.2 | 472.2 | 0.00× |
| `join_count` | 38.0 | 121.2 | 64.0 | 0.53× |
| `groupby_average` | 171.0 | 30.3 | 30.5 | 1.01× |
| `groupby_count` | 143.6 | 19.8 | 19.5 | 0.98× |
| `groupby_first` | — | 18.6 | 19.3 | 1.04× |
| `groupby_having_count` | 142.7 | 19.2 | 19.3 | 1.01× |
| `groupby_having_hidden_sum` | 177.5 | 24.5 | 24.1 | 0.98× |
| `groupby_max` | 176.1 | 25.2 | 25.4 | 1.01× |
| `groupby_min` | 176.4 | 25.1 | 25.4 | 1.01× |
| `groupby_multi_reducer` | 191.6 | 32.5 | 32.6 | 1.00× |
| `groupby_select_sum` | 210.3 | 36.8 | 36.5 | 0.99× |
| `groupby_sum` | 173.0 | 18.8 | 18.8 | 1.00× |
| `groupby_where_count` | 75.6 | 14.8 | 15.0 | 1.01× |
| `groupby_where_sum` | 86.9 | 14.3 | 14.8 | 1.03× |
| `indexed_lookup` | 1499.4 | 204476.6 | 495.4 | 0.00× |
| `join_count` | 38.2 | 122.4 | 64.1 | 0.52× |
| `last_match` | 0.00 | 5.9 | 14.0 | 2.37× |
| `long_count_aggregate` | 29.3 | 4.2 | 4.2 | 1.00× |
| `max_aggregate` | 30.8 | 6.1 | 6.9 | 1.13× |
| `min_aggregate` | 30.4 | 6.2 | 6.9 | 1.11× |
| `order_take_desc` | 38.1 | 15.9 | 20.1 | 1.26× |
| `long_count_aggregate` | 29.6 | 4.3 | 4.1 | 0.95× |
| `max_aggregate` | 30.5 | 6.1 | 6.9 | 1.13× |
| `min_aggregate` | 30.4 | 6.4 | 6.9 | 1.08× |
| `order_take_desc` | 37.8 | 16.0 | 20.1 | 1.26× |
| `reverse_take` | 0.10 | 0.00 | 9.3 | — |
| `select_count` | 0.10 | 0.00 | 2.2 | — |
| `select_where` | 194.2 | 11.1 | 19.5 | 1.76× |
| `select_where_count` | 32.5 | 5.2 | 7.4 | 1.42× |
| `select_where_order_take` | 36.4 | 12.2 | 14.9 | 1.22× |
| `select_where_sum` | 37.0 | 7.5 | 7.5 | 1.00× |
| `select_count` | 0.10 | 0.00 | 2.9 | — |
| `select_where` | 193.4 | 11.2 | 22.2 | 1.98× |
| `select_where_count` | 32.6 | 5.2 | 7.4 | 1.42× |
| `select_where_order_take` | 36.3 | 12.2 | 14.8 | 1.21× |
| `select_where_sum` | 37.1 | 7.8 | 7.5 | 0.96× |
| `single_match` | 0.00 | 2.9 | 5.5 | 1.90× |
| `skip_take` | 0.50 | 0.10 | 0.20 | 2.00× |
| `skip_while_match` | 3.4 | 5.3 | 5.3 | 1.00× |
| `sort_first` | 37.9 | 11.1 | 13.4 | 1.21× |
| `sort_take` | 38.1 | 16.4 | 20.3 | 1.24× |
| `sum_aggregate` | 30.0 | 2.2 | 2.1 | 0.95× |
| `sum_where` | 32.8 | 4.3 | 4.3 | 1.00× |
| `take_count` | 3.6 | 0.20 | 0.40 | 2.00× |
| `skip_while_match` | 3.5 | 5.3 | 5.3 | 1.00× |
| `sort_first` | 37.9 | 11.5 | 13.5 | 1.17× |
| `sort_take` | 38.1 | 16.4 | 20.4 | 1.24× |
| `sum_aggregate` | 30.1 | 2.2 | 2.1 | 0.95× |
| `sum_where` | 33.0 | 4.3 | 4.3 | 1.00× |
| `take_count` | 3.7 | 0.20 | 0.40 | 2.00× |
| `take_count_filtered` | — | 0.20 | 0.20 | 1.00× |
| `take_sum_aggregate` | — | 0.10 | 0.10 | 1.00× |
| `take_while_match` | 7.9 | 2.5 | 2.5 | 1.00× |
| `to_array_filter` | 70.1 | 11.7 | 11.9 | 1.02× |
| `zip_dot_product` | — | 8.1 | 4.8 | 0.59× |
| `take_while_match` | 8.0 | 2.5 | 2.5 | 1.00× |
| `to_array_filter` | 70.3 | 11.8 | 11.8 | 1.00× |
| `zip_dot_product` | — | 8.0 | 4.8 | 0.60× |

## JIT

| Benchmark | SQL (m1) | Array (m3f) | Decs (m4) | Decs vs Array |
|---|---:|---:|---:|---:|
| `aggregate_match` | 34.4 | 0.40 | 0.70 | 1.75× |
| `all_match` | 27.4 | 0.30 | 0.20 | 0.67× |
| `aggregate_match` | 34.3 | 0.40 | 0.70 | 1.75× |
| `all_match` | 27.4 | 0.40 | 0.20 | 0.50× |
| `any_match` | 0.00 | 0.00 | 0.00 | — |
| `average_aggregate` | 29.7 | 1.0 | 3.6 | 3.60× |
| `bare_order_where` | 185.9 | 33.7 | 35.0 | 1.04× |
| `chained_where` | 35.9 | 0.60 | 0.80 | 1.33× |
| `average_aggregate` | 29.8 | 1.0 | 3.6 | 3.60× |
| `bare_order_where` | 187.4 | 33.8 | 35.0 | 1.04× |
| `chained_where` | 36.1 | 0.60 | 0.80 | 1.33× |
| `contains_match` | 0.00 | 0.20 | 0.10 | 0.50× |
| `count_aggregate` | 29.0 | 0.40 | 0.60 | 1.50× |
| `count_aggregate` | 29.1 | 0.40 | 0.60 | 1.50× |
| `distinct_by_count` | 40.8 | 2.1 | 2.1 | 1.00× |
| `distinct_count` | 41.0 | 2.1 | 2.1 | 1.00× |
| `distinct_count` | 41.2 | 2.1 | 2.1 | 1.00× |
| `distinct_take` | 0.00 | 0.00 | 0.00 | — |
| `element_at_match` | 0.00 | 0.00 | 0.00 | — |
| `first_match` | 0.00 | 0.00 | 0.00 | — |
| `first_or_default_match` | 0.00 | 0.00 | 0.00 | — |
| `groupby_average` | 170.7 | 2.6 | 2.9 | 1.12× |
| `groupby_count` | 141.1 | 2.4 | 2.5 | 1.04× |
| `groupby_average` | 171.0 | 2.6 | 2.9 | 1.12× |
| `groupby_count` | 142.0 | 2.4 | 2.5 | 1.04× |
| `groupby_first` | — | 2.2 | 3.1 | 1.41× |
| `groupby_having_count` | 147.0 | 2.4 | 2.5 | 1.04× |
| `groupby_having_hidden_sum` | 174.1 | 2.5 | 2.8 | 1.12× |
| `groupby_max` | 172.0 | 2.4 | 2.7 | 1.13× |
| `groupby_min` | 174.2 | 2.4 | 2.7 | 1.13× |
| `groupby_multi_reducer` | 191.1 | 2.7 | 3.0 | 1.11× |
| `groupby_select_sum` | 198.8 | 3.2 | 3.7 | 1.16× |
| `groupby_sum` | 173.6 | 2.4 | 2.7 | 1.13× |
| `groupby_where_count` | 75.6 | 1.7 | 1.8 | 1.06× |
| `groupby_where_sum` | 86.8 | 1.7 | 1.8 | 1.06× |
| `indexed_lookup` | 1266.6 | 36139.0 | 104.1 | 0.00× |
| `join_count` | 38.0 | 36.2 | 13.3 | 0.37× |
| `last_match` | 0.00 | 0.60 | 1.4 | 2.33× |
| `long_count_aggregate` | 29.3 | 0.40 | 0.60 | 1.50× |
| `max_aggregate` | 30.6 | 0.60 | 0.50 | 0.83× |
| `min_aggregate` | 30.7 | 0.60 | 0.50 | 0.83× |
| `order_take_desc` | 37.8 | 0.70 | 1.4 | 2.00× |
| `groupby_having_count` | 141.3 | 2.4 | 2.5 | 1.04× |
| `groupby_having_hidden_sum` | 175.4 | 2.5 | 2.8 | 1.12× |
| `groupby_max` | 172.6 | 2.4 | 2.7 | 1.13× |
| `groupby_min` | 173.8 | 2.4 | 2.7 | 1.13× |
| `groupby_multi_reducer` | 190.9 | 2.7 | 3.0 | 1.11× |
| `groupby_select_sum` | 207.6 | 3.2 | 3.7 | 1.16× |
| `groupby_sum` | 170.5 | 2.4 | 2.7 | 1.13× |
| `groupby_where_count` | 76.1 | 1.7 | 1.8 | 1.06× |
| `groupby_where_sum` | 87.0 | 1.7 | 1.9 | 1.12× |
| `indexed_lookup` | 1258.1 | 35549.6 | 103.3 | 0.00× |
| `join_count` | 37.9 | 36.1 | 13.4 | 0.37× |
| `last_match` | 0.00 | 0.50 | 1.4 | 2.80× |
| `long_count_aggregate` | 36.6 | 0.40 | 0.70 | 1.75× |
| `max_aggregate` | 48.1 | 0.70 | 0.50 | 0.71× |
| `min_aggregate` | 31.7 | 0.70 | 0.50 | 0.71× |
| `order_take_desc` | 37.9 | 0.70 | 1.4 | 2.00× |
| `reverse_take` | 0.00 | 0.00 | 1.1 | — |
| `select_count` | 0.10 | 0.00 | 0.00 | — |
| `select_where` | 105.6 | 4.1 | 5.5 | 1.34× |
| `select_where` | 105.6 | 4.7 | 5.5 | 1.17× |
| `select_where_count` | 32.4 | 0.40 | 0.60 | 1.50× |
| `select_where_order_take` | 36.4 | 0.70 | 1.4 | 2.00× |
| `select_where_sum` | 36.9 | 0.50 | 0.60 | 1.20× |
| `select_where_sum` | 36.8 | 0.50 | 0.60 | 1.20× |
| `single_match` | 0.00 | 0.40 | 1.1 | 2.75× |
| `skip_take` | 0.30 | 0.00 | 0.00 | — |
| `skip_while_match` | 3.5 | 0.40 | 0.40 | 1.00× |
| `sort_first` | 37.5 | 0.40 | 1.3 | 3.25× |
| `sort_take` | 38.0 | 0.70 | 1.4 | 2.00× |
| `sum_aggregate` | 30.3 | 0.40 | 0.30 | 0.75× |
| `skip_while_match` | 3.4 | 0.40 | 0.40 | 1.00× |
| `sort_first` | 37.4 | 0.40 | 1.3 | 3.25× |
| `sort_take` | 37.9 | 0.70 | 1.4 | 2.00× |
| `sum_aggregate` | 29.9 | 0.40 | 0.40 | 1.00× |
| `sum_where` | 33.0 | 0.40 | 0.60 | 1.50× |
| `take_count` | 1.8 | 0.10 | 0.10 | 1.00× |
| `take_count_filtered` | — | 0.00 | 0.00 | — |
| `take_sum_aggregate` | — | 0.00 | 0.00 | — |
| `take_while_match` | 8.0 | 0.20 | 0.30 | 1.50× |
| `to_array_filter` | 48.3 | 3.2 | 3.4 | 1.06× |
| `to_array_filter` | 48.5 | 3.3 | 3.4 | 1.03× |
| `zip_dot_product` | — | 0.50 | 0.50 | 1.00× |

## Notes on missing lanes (the `—` cells)
Expand Down
Loading
Loading