Skip to content

Fix concurrent clique table publication - #1775

Draft
derluke wants to merge 1 commit into
NVIDIA:mainfrom
derluke:fix/clique-table-publication-race
Draft

Fix concurrent clique table publication#1775
derluke wants to merge 1 commit into
NVIDIA:mainfrom
derluke:fix/clique-table-publication-race

Conversation

@derluke

@derluke derluke commented Aug 24, 2026

Copy link
Copy Markdown

Closes #1774.

  • Allocate and publish the initial clique table before launching its OpenMP producer task, avoiding an unsynchronized read/write of the owning shared_ptr.
  • Let the task mutate only the pre-published table; the existing signal/dependency still joins mutation before cut generation reads it.
  • Exercise 25 sequential solves with concurrent initial-clique generation enabled.

Pre-commit passes. The C++ regression requires the cuOpt build environment and MIP datasets, so it is left for CI.

Signed-off-by: Lukas Innig <lukas.innig@gmail.com>
@copy-pr-bot

copy-pr-bot Bot commented Aug 24, 2026

Copy link
Copy Markdown

This pull request requires additional validation before any workflows can run on NVIDIA's runners.

Pull request vetters can view their responsibilities here.

Contributors can view more details about this message here.

@akifcorduk akifcorduk added bug Something isn't working non-breaking Introduces a non-breaking change labels Aug 25, 2026
@akifcorduk akifcorduk self-assigned this Aug 25, 2026
@akifcorduk akifcorduk added this to the 26.10 milestone Aug 25, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

bug Something isn't working non-breaking Introduces a non-breaking change

Projects

None yet

Development

Successfully merging this pull request may close these issues.

[BUG] Concurrent initial-clique publication can race during MIP solve

2 participants