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.

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

Jump to bottom

Disable race analyses for other ConcurrencySafety properties #1667

Open
wants to merge 12 commits into
base: master
Choose a base branch
from
Open

Disable race analyses for other ConcurrencySafety properties #1667

wants to merge 12 commits into from
+44 −48

Conversation

karoliineh
Copy link
Member

@karoliineh karoliineh commented Jan 30, 2025 •
edited
Loading

  • Make autotuner disable always-enabled race, region, and symb_locks analyses for other ConcurrencySafety properties, in addition to its previous behavior of disabling all thread analyses for single-threaded programs
  • Rename autotune option singleThreaded → reduceAnalyses
  • Refactor logging info about enabling analyses into enableAnalyses function
  • Use List.mem when looking for one specification in the list of specifications instead of iterating over the whole list

@karoliineh karoliineh self-assigned this Jan 30, 2025
@karoliineh karoliineh added sv-comp SV-COMP (analyses, results), witnesses performance Analysis time, memory usage labels Jan 30, 2025
@karoliineh karoliineh added this to the SV-COMP 2026 milestone Jan 30, 2025
@karoliineh karoliineh linked an issue Jan 30, 2025 that may be closed by this pull request
Disable race analyses for other ConcurrencySafety properties #1661
Open
@karoliineh karoliineh marked this pull request as ready for review January 30, 2025 22:41
sim642
sim642 reviewed Jan 31, 2025
View reviewed changes
src/witness/svcompSpec.ml Outdated Show resolved Hide resolved
src/autoTune.ml Outdated Show resolved Hide resolved
conf/svcomp26.json Outdated Show resolved Hide resolved
@michael-schwarz michael-schwarz self-requested a review January 31, 2025 12:14
michael-schwarz
michael-schwarz requested changes Feb 5, 2025
View reviewed changes
src/autoTune.ml Outdated Show resolved Hide resolved
src/autoTune.ml Show resolved Hide resolved
@sim642 sim642 self-requested a review February 12, 2025 08:37
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@michael-schwarz michael-schwarz michael-schwarz approved these changes

@sim642 sim642 Awaiting requested review from sim642

Assignees

@karoliineh karoliineh

Labels
performance Analysis time, memory usage sv-comp SV-COMP (analyses, results), witnesses
Projects
None yet
Milestone
SV-COMP 2026
Development

Successfully merging this pull request may close these issues.

Disable race analyses for other ConcurrencySafety properties
3 participants
@karoliineh @sim642 @michael-schwarz