Skip to content

[GR-77549] Fix a race condition in AnalysisObject.getInstanceFieldTypeStore(...)#13965

Closed
graalvmbot wants to merge 1 commit into
masterfrom
chaeubl/GR-77500
Closed

[GR-77549] Fix a race condition in AnalysisObject.getInstanceFieldTypeStore(...)#13965
graalvmbot wants to merge 1 commit into
masterfrom
chaeubl/GR-77500

Conversation

@graalvmbot

Copy link
Copy Markdown
Collaborator

Fixes a race condition:

  • Thread A creates a new FieldTypeStore.
  • Thread A publishes it into instanceFieldsTypeStore via compareAndSet(...).
  • Before Thread A calls fieldStore.init(...), Thread B obtains that same store and uses its read/write flow.
  • Before Thread A calls linkFieldFlows(...), Thread B sees a store whose:
    • initial field flow is not connected to the store’s write flow;
    • read flow is not connected to the field’s global sink flow;
    • split-store write-to-read link may also be absent.
  • Thread B can therefore process a load/store using an empty or incomplete type state.

@oracle-contributor-agreement oracle-contributor-agreement Bot added the OCA Verified All contributors have signed the Oracle Contributor Agreement. label Jul 13, 2026
@graalvmbot graalvmbot changed the title [GR-77500] Fix a race condition in AnalysisObject.getInstanceFieldTypeStore(...) [GR-77549] Fix a race condition in AnalysisObject.getInstanceFieldTypeStore(...) Jul 13, 2026
@graalvmbot graalvmbot closed this Jul 13, 2026
@graalvmbot
graalvmbot deleted the chaeubl/GR-77500 branch July 13, 2026 18:50
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

OCA Verified All contributors have signed the Oracle Contributor Agreement.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants