Skip to content

chore: Add existence (semi / anti ) benchmarks for hashjoinexec #21821

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
2010YOUY01 merged 11 commits into from
May 23, 2026
Merged

chore: Add existence (semi / anti ) benchmarks for hashjoinexec #21821

Show file tree
Hide file tree
Changes from 6 commits
Commits
Show all changes
11 commits
Select commit Hold shift + click to select a range
a9d6d68
add_existence_benchmarks_hashjoin
Apr 24, 2026
6eb40b7
add_existence_benchmarks_hashjoin
Apr 24, 2026
57cfc3e
Merge branch 'main' into implement_additional_benchmarks_hashjoin
coderfender Apr 24, 2026
ad83914
Merge branch 'main' into implement_additional_benchmarks_hashjoin
coderfender Apr 25, 2026
4cfb0c5
address_review_comments
May 5, 2026
499c5d7
Merge branch 'main' into implement_additional_benchmarks_hashjoin
coderfender May 5, 2026
436cce4
address_review_comments
May 6, 2026
eff28d9
address_review_comments
May 9, 2026
89307de
Merge branch 'main' into implement_additional_benchmarks_hashjoin
coderfender May 10, 2026
e483e59
Merge branch 'main' into implement_additional_benchmarks_hashjoin
coderfender May 21, 2026
1ee87f7
address docu review comments
May 21, 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
82 changes: 80 additions & 2 deletions benchmarks/src/hj.rs
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -25,8 +25,6 @@ use std::path::PathBuf;

use futures::StreamExt;

// TODO: Add existence joins

/// Run the Hash Join benchmark
///
/// This micro-benchmark focuses on the performance characteristics of Hash Joins.
Expand Down Expand Up @@ -303,6 +301,86 @@ const HASH_QUERIES: &[HashJoinQuery] = &[
build_size: "100K_(20%_dups)",
probe_size: "60M",
},
// RightSemi Join benchmarks with Int32 keys
// Q16: RightSemi, Small build (25 rows), 100% Hit rate

@2010YOUY01 2010YOUY01 May 5, 2026

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Let's also doc the fanout here, it means if we change the join type to inner join, for each probe row, how many matches can be found on average.

This can be automatically calculated from explain analyze the query, after changing join type to inner join, it will show up in the HashJoinExec's metrics.

And later we should ensure those queries have covered different fanouts.

@2010YOUY01 2010YOUY01 May 7, 2026

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Hmm, my previous explanation may have been confusing. Let me try again.

Suppose we have the query:

SELECT *
FROM generate_series(100) AS t1(v1)
RIGHT SEMI JOIN generate_series(10) AS t2(v1)
ON (t1.v1 % 10) = t2.v1

Here, each probe row from t2 matches 10 rows on average from t1, so the matching rows per probe row ratio is 10:1.

Although a semi join only returns whether a match exists, this ratio still matters for execution behavior, because we are evaluating short-circuit optimizations here.

So I suggest we could doc this metric here. See the original reply for how to get this matching ratio metric automatically.

@coderfender coderfender May 21, 2026 •
edited
Loading

Copy link
Copy Markdown
Contributor Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Thank you for your patience. I added more documentation around what fanout is and why it matters here

// Build Side: nation (25 rows) | Probe Side: customer (1.5M rows)
HashJoinQuery {
sql: r###"SELECT c.k
FROM (SELECT CAST(n_nationkey AS INT) as k FROM nation) n
RIGHT SEMI JOIN (SELECT CAST(c_nationkey AS INT) as k FROM customer) c
ON n.k = c.k"###,
density: 1.0,
prob_hit: 1.0,
build_size: "25",
probe_size: "1.5M_RightSemi",
},
// Q17: RightSemi, Medium build (100K rows), 100% Hit rate
// Build Side: supplier (100K rows) | Probe Side: lineitem (60M rows)
HashJoinQuery {
sql: r###"SELECT l.k
FROM (SELECT CAST(s_suppkey AS INT) as k FROM supplier) s
RIGHT SEMI JOIN (SELECT CAST(l_suppkey AS INT) as k FROM lineitem) l
ON s.k = l.k"###,
density: 1.0,
prob_hit: 1.0,
build_size: "100K",
probe_size: "60M_RightSemi",
},
// Q18: RightSemi, Medium build (100K rows), 10% Hit rate
// Build Side: supplier (100K rows) | Probe Side: lineitem (60M rows)
HashJoinQuery {
sql: r###"SELECT l.k
FROM (SELECT CAST(s_suppkey AS INT) as k FROM supplier) s
RIGHT SEMI JOIN (
SELECT CAST(CASE WHEN l_suppkey % 10 = 0 THEN l_suppkey ELSE l_suppkey + 1000000 END AS INT) as k
FROM lineitem
) l
ON s.k = l.k"###,
density: 1.0,
prob_hit: 0.1,
build_size: "100K",
probe_size: "60M_RightSemi",
},
// RightAnti Join benchmarks with Int32 keys
// Q19: RightAnti, Small build (25 rows), 100% Hit rate (no output)
// Build Side: nation (25 rows) | Probe Side: customer (1.5M rows)
HashJoinQuery {
sql: r###"SELECT c.k
FROM (SELECT CAST(n_nationkey AS INT) as k FROM nation) n
RIGHT ANTI JOIN (SELECT CAST(c_nationkey AS INT) as k FROM customer) c
ON n.k = c.k"###,
density: 1.0,
prob_hit: 1.0,
build_size: "25",
probe_size: "1.5M_RightAnti",
},
// Q20: RightAnti, Medium build (100K rows), 100% Hit rate (no output)
// Build Side: supplier (100K rows) | Probe Side: lineitem (60M rows)
HashJoinQuery {
sql: r###"SELECT l.k
FROM (SELECT CAST(s_suppkey AS INT) as k FROM supplier) s
RIGHT ANTI JOIN (SELECT CAST(l_suppkey AS INT) as k FROM lineitem) l
ON s.k = l.k"###,
density: 1.0,
prob_hit: 1.0,
build_size: "100K",
probe_size: "60M_RightAnti",
},
// Q21: RightAnti, Medium build (100K rows), 10% Hit rate (90% output)
// Build Side: supplier (100K rows) | Probe Side: lineitem (60M rows)
HashJoinQuery {
sql: r###"SELECT l.k
FROM (SELECT CAST(s_suppkey AS INT) as k FROM supplier) s
RIGHT ANTI JOIN (
SELECT CAST(CASE WHEN l_suppkey % 10 = 0 THEN l_suppkey ELSE l_suppkey + 1000000 END AS INT) as k
FROM lineitem
) l
ON s.k = l.k"###,
density: 1.0,
prob_hit: 0.1,
build_size: "100K",
probe_size: "60M_RightAnti",
},
];

impl RunOpt {
Expand Down
5 changes: 5 additions & 0 deletions datafusion/physical-plan/Cargo.toml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -112,3 +112,8 @@ required-features = ["test_utils"]
harness = false
name = "aggregate_vectorized"
required-features = ["test_utils"]

[[bench]]
harness = false
name = "hash_join_semi_anti"
required-features = ["test_utils"]
Loading
Loading