Skip to content
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.

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

Fix is_distinct from for float NaN values #5446

Merged
merged 2 commits into from
Mar 3, 2023

Conversation

comphead
Copy link
Contributor

@comphead comphead commented Mar 2, 2023

Which issue does this PR close?

Closes #5392.

Rationale for this change

To fix wrong behavior when comparing NaN. Details in #5392

What changes are included in this PR?

Are these changes tested?

Yes

Are there any user-facing changes?

No

@github-actions github-actions bot added core Core DataFusion crate physical-expr Physical Expressions sqllogictest SQL Logic Tests (.slt) labels Mar 2, 2023
@comphead
Copy link
Contributor Author

comphead commented Mar 2, 2023

cc @viirya @sunchao

@comphead
Copy link
Contributor Author

comphead commented Mar 2, 2023

@alamb @tustvold please check this whenever you have time

Copy link
Contributor

@alamb alamb left a comment

Choose a reason for hiding this comment

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

This looks good to me. Thank you @comphead -- I have some suggestions but I don't think they are required to merge this PR.

I wonder if it is time to start porting more of these kernels into arrow 🤔

@@ -80,3 +80,29 @@ select '1' from foo order by column1;
# foo distinct order by
statement error DataFusion error: Error during planning: For SELECT DISTINCT, ORDER BY expressions column1 must appear in select list
select distinct '1' from foo order by column1;

# distincts for float nan
Copy link
Contributor

Choose a reason for hiding this comment

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

Copy link
Contributor Author

Choose a reason for hiding this comment

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

Ive duplicated in both select.slt and pg_compat_simple.slt Reason for that is PG doesn't support double datatype

Comment on lines 152 to 157
!(left_isnull != right_isnull
|| left_value.is_nan() != right_value.is_nan()
|| (!left_value.is_nan()
&& !right_value.is_nan()
&& left_value != right_value))
},
Copy link
Contributor

Choose a reason for hiding this comment

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

It took me quite some time to see that the only difference here is that there is a ! in front of the entire expression. Would it be possible to factor out the duplication so the difference between the kernels are clearer?

Copy link
Contributor Author

Choose a reason for hiding this comment

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

Done

@comphead
Copy link
Contributor Author

comphead commented Mar 2, 2023

This looks good to me. Thank you @comphead -- I have some suggestions but I don't think they are required to merge this PR.

I wonder if it is time to start porting more of these kernels into arrow 🤔

Right, I think apache/arrow-rs#960 is good place to do it.

1::float is distinct from null v17
;
----
false true false true true false true true false false true
Copy link
Contributor

Choose a reason for hiding this comment

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

❤️

@@ -32,6 +32,14 @@ use std::sync::Arc;
// Simple (low performance) kernels until optimized kernels are added to arrow
// See https://github.com/apache/arrow-rs/issues/960

macro_rules! distinct_float {
Copy link
Contributor

Choose a reason for hiding this comment

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

thank you -- this is great

@alamb alamb merged commit 8de7ea4 into apache:main Mar 3, 2023
@alamb
Copy link
Contributor

alamb commented Mar 3, 2023

Thanks again @comphead

@ursabot
Copy link

ursabot commented Mar 3, 2023

Benchmark runs are scheduled for baseline = 61fc514 and contender = 8de7ea4. 8de7ea4 is a master commit associated with this PR. Results will be available as each benchmark for each run completes.
Conbench compare runs links:
[Skipped ⚠️ Benchmarking of arrow-datafusion-commits is not supported on ec2-t3-xlarge-us-east-2] ec2-t3-xlarge-us-east-2
[Skipped ⚠️ Benchmarking of arrow-datafusion-commits is not supported on test-mac-arm] test-mac-arm
[Skipped ⚠️ Benchmarking of arrow-datafusion-commits is not supported on ursa-i9-9960x] ursa-i9-9960x
[Skipped ⚠️ Benchmarking of arrow-datafusion-commits is not supported on ursa-thinkcentre-m75q] ursa-thinkcentre-m75q
Buildkite builds:
Supported benchmarks:
ec2-t3-xlarge-us-east-2: Supported benchmark langs: Python, R. Runs only benchmarks with cloud = True
test-mac-arm: Supported benchmark langs: C++, Python, R
ursa-i9-9960x: Supported benchmark langs: Python, R, JavaScript
ursa-thinkcentre-m75q: Supported benchmark langs: C++, Java

@andygrove andygrove added the bug Something isn't working label Mar 12, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
bug Something isn't working core Core DataFusion crate physical-expr Physical Expressions sqllogictest SQL Logic Tests (.slt)
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Null safe join works wrong with NaN values
4 participants