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: Reduce fuzzer expression depth due to bias run failure #12337

Open
wants to merge 1 commit into
base: main
Choose a base branch
from

Conversation

peterenescu
Copy link
Contributor

Summary: Reduce bias run fuzzer depth due to a recent failure caused by array_top_n merge. The error is a result of byte limitation imposed by JVM that C++ doesn't have, which causes fuzzer tests to failure for nested calls.

Differential Revision: D69674802

@facebook-github-bot facebook-github-bot added the CLA Signed This label is managed by the Facebook bot. Authors need to sign the CLA before a PR can be reviewed. label Feb 14, 2025
@facebook-github-bot
Copy link
Contributor

This pull request was exported from Phabricator. Differential Revision: D69674802

Copy link

netlify bot commented Feb 14, 2025

Deploy Preview for meta-velox canceled.

Name Link
🔨 Latest commit eba2463
🔍 Latest deploy log https://app.netlify.com/sites/meta-velox/deploys/67af9f16fa76980008b46357

peterenescu added a commit to peterenescu/velox that referenced this pull request Feb 14, 2025
…incubator#12337)

Summary:

Reduce bias run fuzzer depth due to a recent failure caused by array_top_n merge. The error is a result of byte limitation imposed by JVM that C++ doesn't have, which causes fuzzer tests to failure for nested calls.

Differential Revision: D69674802
@facebook-github-bot
Copy link
Contributor

This pull request was exported from Phabricator. Differential Revision: D69674802

peterenescu added a commit to peterenescu/velox that referenced this pull request Feb 14, 2025
…incubator#12337)

Summary:

Reduce bias run fuzzer depth due to a recent failure caused by array_top_n merge. The error is a result of byte limitation imposed by JVM that C++ doesn't have, which causes fuzzer tests to failure for nested calls.

Differential Revision: D69674802
@facebook-github-bot
Copy link
Contributor

This pull request was exported from Phabricator. Differential Revision: D69674802

peterenescu added a commit to peterenescu/velox that referenced this pull request Feb 14, 2025
…incubator#12337)

Summary:

Reduce bias run fuzzer depth due to a recent failure caused by array_top_n merge. The error is a result of byte limitation imposed by JVM that C++ doesn't have, which causes fuzzer tests to failure for nested calls.

Differential Revision: D69674802
@facebook-github-bot
Copy link
Contributor

This pull request was exported from Phabricator. Differential Revision: D69674802

…incubator#12337)

Summary:

Reduce bias run fuzzer depth due to a recent failure caused by array_top_n merge. The error is a result of byte limitation imposed by JVM that C++ doesn't have, which causes fuzzer tests to failure for nested calls.

Differential Revision: D69674802
@facebook-github-bot
Copy link
Contributor

This pull request was exported from Phabricator. Differential Revision: D69674802

@@ -992,6 +992,7 @@ jobs:
--stderrthreshold=2 \
--log_dir=/tmp/presto_only_bias_function_fuzzer_repro/logs \
--repro_persist_path=/tmp/presto_only_bias_function_fuzzer_repro \
--velox_fuzzer_max_level_of_nesting=4 \
Copy link
Contributor

Choose a reason for hiding this comment

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

I think it will be better if we dont change it. The failure found in array_top_n is a good thing and it will only retrigger if array_top_n is modified again. We should aim to find more such bugs.

Copy link
Contributor

Choose a reason for hiding this comment

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

One thing to be mindful of is that this will fail the fuzzer and prevent potential correctness issues to be tested, so if we encounter this in the future, we should encourage the author to run this fuzzer with reduced level of nesting in order to surface actual correctness bugs

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
CLA Signed This label is managed by the Facebook bot. Authors need to sign the CLA before a PR can be reviewed. fb-exported
Projects
None yet
Development

Successfully merging this pull request may close these issues.

4 participants