Skip to content

[DNR][ConSan] Restrict tensor-core completion visibility - #11190

Draft
jeffniu-openai wants to merge 1 commit into
mainfrom
jeffniu/consan-tensor-core-completion
Draft

[DNR][ConSan] Restrict tensor-core completion visibility#11190
jeffniu-openai wants to merge 1 commit into
mainfrom
jeffniu/consan-tensor-core-completion

Conversation

@jeffniu-openai

Copy link
Copy Markdown
Collaborator

PR description written by Codex

Restrict tensor-core completion to qualifying tensor-core effects, while preserving prerequisite writes for tensor-core-read buffers. This prevents remote mbarriers from publishing unrelated distributed-shared-memory writes.

Validated with the complete ConSan suite (414 passed, 70 skipped), NVIDIA/AMD sanitizer lit tests, and targeted Gluon regressions.

@jeffniu-openai
jeffniu-openai force-pushed the jeffniu/consan-tensor-core-completion branch from 893fdd5 to 90c92a3 Compare August 6, 2026 03:04
@jeffniu-openai
jeffniu-openai changed the base branch from jeffniu/consan-async-shared-store to main August 6, 2026 03:04
Comment on lines +1188 to +1189
cta = ttgl.inline_asm_elementwise("mov.u32 $0, %cluster_ctarank;", "=r", [], dtype=ttgl.int32, is_pure=True,
pack=1)

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.

nope, not good

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.

we should document somewhere that this type of code is not officially supported in gluon, so that codex stops finding these "bugs"

Copy link
Copy Markdown
Collaborator Author

Choose a reason for hiding this comment

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

this is a real bug. the reproducer just happens to be written this way

@jeffniu-openai jeffniu-openai changed the title [ConSan] Restrict tensor-core completion visibility [DNR][ConSan] Restrict tensor-core completion visibility Aug 7, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants